summary refs log tree commit diff stats
path: root/scripts/qapi/expr.py
diff options
context:
space:
mode:
authorPaolo Bonzini <pbonzini@redhat.com>2023-10-11 15:26:40 +0200
committerPaolo Bonzini <pbonzini@redhat.com>2023-12-29 22:04:30 +0100
commite7bbb7cb71b3001c54f23c66848d84e694c47243 (patch)
tree934fe1292455dc6a3a4cd3e26c3ed10db4d661af /scripts/qapi/expr.py
parent4b2baf4a555620f29e75b8194ce2d4fed07a58d0 (diff)
downloadfocaccia-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