blob: 86377f0d1af82022b1b20acaeaeb01b78b4dece4 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
<think>
Okay, so I need to classify this bug report from QEMU into one of the given categories. Let me read through the problem description carefully.
The user reports that QEMU crashes with a failed assertion when executing compressed instructions, specifically when C extension support is disabled. The error message points to `qemu/accel/tcg/translate-all.c:1449` where the function `tb_gen_code` fails an assertion because `tb->size != 0`.
From what I understand, this has to do with translation of RISC-V instructions using TCG (Translation Code Generator). The issue arises in the `decode_opc` function when compressed instruction support is off. It seems that without RVC (the C extension), the code doesn't update `ctx->pc_succ_insn`, which affects how `riscv_tr_translate_insn` handles the next program counter. This omission leads to the assertion failure during TCG generation.
The user also mentions a side note about redundant calls to `gen_exception_illegal`. They believe this function is called twice unnecessarily in the same case, once within the if block and again at the end of the function.
Looking at the possible categories: mistranslation refers to incorrect mapping from source architecture to IR or target. Since this issue occurs during TCG translation (which maps instructions) and involves a missing update in the decode function leading to incorrect PC handling, it seems related to how the instruction is being translated incorrectly when RVC is disabled.
Other categories like assembly lowering might be relevant if it were an issue with generating assembly code from IR, but here the problem lies in the translation process itself. The bug isn't about device drivers, graphics, networking, or any of the other listed areas. It's more specific to how QEMU handles instruction decoding and translation for RISC-V when certain features are disabled.
So, putting it together, this is a mistranslation issue because the decoder isn't handling the case correctly without C extensions, leading to an assertion failure during code generation.
</think>
mistranslation
|