afonso360 opened issue #5496:
:wave: Hey,
I'm starting to run fuzzgen on riscv64 and it found an interesting case. This segfaults, removing either the
br_table
or thecold
block annotation make it pass.
.clif
Test Casetest interpret test run target riscv64 function %a(i32) -> i8 system_v { jt0 = jump_table [] block0(v4: i32): jump block1 block1 cold: br_table v4, block2, jt0 block2: v99 = iconst.i8 0 return v99 } ; run: %a(0) == 0
Steps to Reproduce
It is reproducible under QEMU
- clif-util test ./th-above.clif
Expected Results
The test to pass
Actual Results
Segfault
Versions and Environment
Cranelift version or commit: main
Operating system: Linux
Architecture: riscv64
afonso360 labeled issue #5496:
:wave: Hey,
I'm starting to run fuzzgen on riscv64 and it found an interesting case. This segfaults, removing either the
br_table
or thecold
block annotation make it pass.
.clif
Test Casetest interpret test run target riscv64 function %a(i32) -> i8 system_v { jt0 = jump_table [] block0(v4: i32): jump block1 block1 cold: br_table v4, block2, jt0 block2: v99 = iconst.i8 0 return v99 } ; run: %a(0) == 0
Steps to Reproduce
It is reproducible under QEMU
- clif-util test ./th-above.clif
Expected Results
The test to pass
Actual Results
Segfault
Versions and Environment
Cranelift version or commit: main
Operating system: Linux
Architecture: riscv64
afonso360 labeled issue #5496:
:wave: Hey,
I'm starting to run fuzzgen on riscv64 and it found an interesting case. This segfaults, removing either the
br_table
or thecold
block annotation make it pass.
.clif
Test Casetest interpret test run target riscv64 function %a(i32) -> i8 system_v { jt0 = jump_table [] block0(v4: i32): jump block1 block1 cold: br_table v4, block2, jt0 block2: v99 = iconst.i8 0 return v99 } ; run: %a(0) == 0
Steps to Reproduce
It is reproducible under QEMU
- clif-util test ./th-above.clif
Expected Results
The test to pass
Actual Results
Segfault
Versions and Environment
Cranelift version or commit: main
Operating system: Linux
Architecture: riscv64
elliottt closed issue #5496:
:wave: Hey,
I'm starting to run fuzzgen on riscv64 and it found an interesting case. This segfaults, removing either the
br_table
or thecold
block annotation make it pass.
.clif
Test Casetest interpret test run target riscv64 function %a(i32) -> i8 system_v { jt0 = jump_table [] block0(v4: i32): jump block1 block1 cold: br_table v4, block2, jt0 block2: v99 = iconst.i8 0 return v99 } ; run: %a(0) == 0
Steps to Reproduce
It is reproducible under QEMU
- clif-util test ./th-above.clif
Expected Results
The test to pass
Actual Results
Segfault
Versions and Environment
Cranelift version or commit: main
Operating system: Linux
Architecture: riscv64
Last updated: Dec 23 2024 at 12:05 UTC