Skip to content
Closed
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
36 changes: 26 additions & 10 deletions generators/testgen/src/testgen/coverpoints/cp_fp_reg_edges.py
Original file line number Diff line number Diff line change
Expand Up @@ -57,13 +57,21 @@ def make_fs2_edges(instr_name: str, instr_type: str, coverpoint: str, test_data:
else:
edges = FLOAT_EDGES.single

cross_frm = "_frm" in coverpoint

frm_modes = ("dyn", "rdn", "rmm", "rne", "rtz", "rup") if cross_frm else [None]

test_chunks: list[TestChunk] = []
for edge_val in edges:
params = generate_random_params(test_data, instr_type, exclude_regs=[0], fs2val=edge_val)
desc = f"{coverpoint} (Test source fs2 value = {test_data.flen_format_str.format(edge_val)})"
tc = format_single_testcase(instr_name, instr_type, test_data, params, desc, f"b{edge_val:#x}", coverpoint)
test_chunks.append(tc)
return_test_regs(test_data, params)
for frm_mode in frm_modes:
params = generate_random_params(
test_data, instr_type, exclude_regs=[0], fs2val=edge_val, frm=frm_mode
)
bin_name = f"b{edge_val:#x}{f'_{frm_mode}' if frm_mode is not None else ''}"
desc = f"{coverpoint} (Test source fs2 value = {test_data.flen_format_str.format(edge_val)}{f', frm = {frm_mode}' if frm_mode is not None else ''})"
tc = format_single_testcase(instr_name, instr_type, test_data, params, desc, bin_name, coverpoint)
test_chunks.append(tc)
return_test_regs(test_data, params)

return test_chunks

Expand All @@ -80,12 +88,20 @@ def make_fs3_edges(instr_name: str, instr_type: str, coverpoint: str, test_data:
else:
edges = FLOAT_EDGES.single

cross_frm = "_frm" in coverpoint

frm_modes = ("dyn", "rdn", "rmm", "rne", "rtz", "rup") if cross_frm else [None]

test_chunks: list[TestChunk] = []
for edge_val in edges:
params = generate_random_params(test_data, instr_type, exclude_regs=[0], fs3val=edge_val)
desc = f"{coverpoint} (Test source fs3 value = {test_data.flen_format_str.format(edge_val)})"
tc = format_single_testcase(instr_name, instr_type, test_data, params, desc, f"b{edge_val:#x}", coverpoint)
test_chunks.append(tc)
return_test_regs(test_data, params)
for frm_mode in frm_modes:
params = generate_random_params(
test_data, instr_type, exclude_regs=[0], fs3val=edge_val, frm=frm_mode
)
bin_name = f"b{edge_val:#x}{f'_{frm_mode}' if frm_mode is not None else ''}"
desc = f"{coverpoint} (Test source fs3 value = {test_data.flen_format_str.format(edge_val)}{f', frm = {frm_mode}' if frm_mode is not None else ''})"
tc = format_single_testcase(instr_name, instr_type, test_data, params, desc, bin_name, coverpoint)
test_chunks.append(tc)
return_test_regs(test_data, params)

return test_chunks
Loading