diff --git a/verif/tests/custom/isacov/seq_hazard.S b/verif/tests/custom/isacov/seq_hazard.S index 280c4203c5..a1fc2d26a6 100644 --- a/verif/tests/custom/isacov/seq_hazard.S +++ b/verif/tests/custom/isacov/seq_hazard.S @@ -15,7 +15,7 @@ .globl main main: # core of the test - li s1, 0xffff0000 # Init reg value + li s1, 0x80000000 # Init reg value li s2, 0x80000000 li a1, 0x1 li a2, 0x1 @@ -38,8 +38,6 @@ jump4: csrrw s8, 0x340, a1 mul a1, a2, s1 lb a1, 0(a1) - mulh a1, a2, s1 - lb a1, 0(a1) div a1, s1, a2 lb a1, 0(a1) jal a1, jump5 diff --git a/verif/tests/testlist_isacov.yaml b/verif/tests/testlist_isacov.yaml index d647eedaf6..fdb72b10d0 100644 --- a/verif/tests/testlist_isacov.yaml +++ b/verif/tests/testlist_isacov.yaml @@ -32,13 +32,13 @@ asm_tests: /custom/isacov/branch_to_zero.S - test: load_reg_hazard - iterations: 1 + iterations: 0 path_var: TESTS_PATH gcc_opts: "-static -mcmodel=medany -fvisibility=hidden -nostdlib -nostartfiles ../tests/custom/common/syscalls.c ../tests/custom/common/crt.S -I../tests/custom/env -I../tests/custom/common -T ../tests/custom/common/test.ld -lgcc" asm_tests: /custom/isacov/load_reg_hazard.S - test: load_store_test - iterations: 1 + iterations: 0 path_var: TESTS_PATH gcc_opts: "-static -mcmodel=medany -fvisibility=hidden -nostdlib -nostartfiles ../tests/custom/common/syscalls.c ../tests/custom/common/crt.S -I../tests/custom/env -I../tests/custom/common -T ../tests/custom/common/test.ld -lgcc" asm_tests: /custom/isacov/load_store_test.S