diff options
Diffstat (limited to 'results/classifier/105/instruction/1224')
| -rw-r--r-- | results/classifier/105/instruction/1224 | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/results/classifier/105/instruction/1224 b/results/classifier/105/instruction/1224 new file mode 100644 index 000000000..7b8330e86 --- /dev/null +++ b/results/classifier/105/instruction/1224 @@ -0,0 +1,23 @@ +instruction: 0.864 +graphic: 0.810 +device: 0.749 +network: 0.632 +semantic: 0.518 +socket: 0.456 +vnc: 0.374 +other: 0.295 +boot: 0.209 +mistranslation: 0.186 +assembly: 0.074 +KVM: 0.003 + +QEMU crashes with failed assertion when executing compressed instructions with C extension support disabled +Description of problem: +When executing compressed instructions with compressed instruction support disabled (c=off), the tcg riscv translations fails an assertion. +``` +qemu-system-riscv64: qemu/accel/tcg/translate-all.c:1449: tb_gen_code: Assertion `tb->size != 0' failed. +``` + +I believe that the issue is caused due to the fact that the compressed instruction without RVC support branch of the `decode_opc` function does not update `ctx->pc_succ_insn`, which causes `ctx->base.pc_next` to not be updated in `riscv_tr_translate_insn`, which then finally triggers the assertion once the tcg generation returns to `tb_gen_code`. + +Side note, it also seems like the `gen_exception_illegal` call in the same if case is not needed, since we also call it again at the end of the function. |