diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2023-10-11 15:26:40 +0200 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2023-12-29 22:04:30 +0100 |
| commit | e7bbb7cb71b3001c54f23c66848d84e694c47243 (patch) | |
| tree | 934fe1292455dc6a3a4cd3e26c3ed10db4d661af /scripts/qapi/expr.py | |
| parent | 4b2baf4a555620f29e75b8194ce2d4fed07a58d0 (diff) | |
| download | focaccia-qemu-e7bbb7cb71b3001c54f23c66848d84e694c47243.tar.gz focaccia-qemu-e7bbb7cb71b3001c54f23c66848d84e694c47243.zip | |
target/i386: introduce flags writeback mechanism
ALU instructions can write to both memory and flags. If the CC_SRC* and CC_DST locations have been written already when a memory access causes a fault, the value in CC_SRC* and CC_DST might be interpreted with the wrong CC_OP (the one that is in effect before the instruction. Besides just using the wrong result for the flags, something like subtracting -1 can have disastrous effects if the current CC_OP is CC_OP_EFLAGS: this is because QEMU does not expect bits outside the ALU flags to be set in CC_SRC, and env->eflags can end up set to all-ones. In the case of the attached testcase, this sets IOPL to 3 and would cause an assertion failure if SUB is moved to the new decoder. This mechanism is not really needed for BMI instructions, which can only write to a register, but put it to use anyway for cleanliness. In the case of BZHI, the code has to be modified slightly to ensure that decode->cc_src is written, otherwise the new assertions trigger. Reviewed-by: Richard Henderson <richard.henderson@linaro.org> Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'scripts/qapi/expr.py')
0 files changed, 0 insertions, 0 deletions