From: Paolo Bonzini <pbonzini@redhat.com>
To: qemu-devel@nongnu.org
Cc: richard.henderson@linaro.org
Subject: [PATCH 00/11] target/i386: fixes for INHIBIT_IRQ, TF and RF
Date: Tue, 4 Jun 2024 09:18:22 +0200 [thread overview]
Message-ID: <20240604071833.962574-1-pbonzini@redhat.com> (raw)
While Richard pointed out that there _are_ good reasons to use
DISAS_NORETURN in the TCG x86 frontend, most instructions that
use it (VMRUN, HLT, MWAIT, PAUSE) are broken because they do
not do the work that gen_eob() does on INHIBIT_IRQ, EFLAGS.TF
and EFLAGS.RF.
This series tackles this, plus it has a few more fixes for
failures in kvm-unit-tests debug.flat and svm.flat. Note that
neither of the two completely pass, but the situation is
improved a lot. Comments are added when things are more
complicated and probably deserve their own series.
Paolo
Paolo Bonzini (11):
target/i386: fix pushed value of EFLAGS.RF
target/i386: fix implementation of ICEBP
target/i386: cleanup HLT helpers
target/i386: cleanup PAUSE helpers
target/i386: implement DR7.GD
target/i386: disable/enable breakpoints on vmentry/vmexit
target/i386: fix INHIBIT_IRQ/TF/RF handling for VMRUN
target/i386: fix INHIBIT_IRQ/TF/RF handling for PAUSE
target/i386: fix TF/RF handling for HLT
target/i386: document incorrect semantics of watchpoint following
MOV/POP SS
target/i386: document use of DISAS_NORETURN
include/hw/core/tcg-cpu-ops.h | 15 +++++-
target/i386/helper.h | 5 +-
target/i386/tcg/helper-tcg.h | 6 ++-
accel/tcg/cpu-exec.c | 7 ++-
target/i386/tcg/bpt_helper.c | 6 +++
target/i386/tcg/excp_helper.c | 20 ++++++++
target/i386/tcg/misc_helper.c | 14 ++----
target/i386/tcg/seg_helper.c | 49 +++++++++++++++++--
target/i386/tcg/sysemu/bpt_helper.c | 18 +++++++
target/i386/tcg/sysemu/misc_helper.c | 17 ++-----
target/i386/tcg/sysemu/seg_helper.c | 18 +++++--
target/i386/tcg/sysemu/svm_helper.c | 71 +++++++++++++++++++---------
target/i386/tcg/translate.c | 37 +++++++++++++++
target/i386/tcg/decode-new.c.inc | 19 ++++++--
target/i386/tcg/emit.c.inc | 29 ++++++------
15 files changed, 252 insertions(+), 79 deletions(-)
--
2.45.1
next reply other threads:[~2024-06-04 7:19 UTC|newest]
Thread overview: 27+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-06-04 7:18 Paolo Bonzini [this message]
2024-06-04 7:18 ` [PATCH 01/11] target/i386: fix pushed value of EFLAGS.RF Paolo Bonzini
2024-06-04 10:51 ` Richard Henderson
2024-06-04 7:18 ` [PATCH 02/11] target/i386: fix implementation of ICEBP Paolo Bonzini
2024-06-04 13:50 ` Richard Henderson
2024-06-04 7:18 ` [PATCH 03/11] target/i386: cleanup HLT helpers Paolo Bonzini
2024-06-04 10:54 ` Richard Henderson
2024-06-04 7:18 ` [PATCH 04/11] target/i386: cleanup PAUSE helpers Paolo Bonzini
2024-06-04 10:59 ` Richard Henderson
2024-06-04 14:08 ` Paolo Bonzini
2024-06-04 7:18 ` [PATCH 05/11] target/i386: implement DR7.GD Paolo Bonzini
2024-06-04 13:22 ` Richard Henderson
2024-06-04 7:18 ` [PATCH 06/11] target/i386: disable/enable breakpoints on vmentry/vmexit Paolo Bonzini
2024-06-04 13:24 ` Richard Henderson
2024-06-04 7:18 ` [PATCH 07/11] target/i386: fix INHIBIT_IRQ/TF/RF handling for VMRUN Paolo Bonzini
2024-06-04 13:28 ` Richard Henderson
2024-06-04 7:18 ` [PATCH 08/11] target/i386: fix INHIBIT_IRQ/TF/RF handling for PAUSE Paolo Bonzini
2024-06-04 13:44 ` Richard Henderson
2024-06-04 13:49 ` Richard Henderson
2024-06-04 14:10 ` Paolo Bonzini
2024-06-04 14:14 ` Richard Henderson
2024-06-04 7:18 ` [PATCH 09/11] target/i386: fix TF/RF handling for HLT Paolo Bonzini
2024-06-04 13:46 ` Richard Henderson
2024-06-04 7:18 ` [PATCH 10/11] target/i386: document incorrect semantics of watchpoint following MOV/POP SS Paolo Bonzini
2024-06-04 13:57 ` Richard Henderson
2024-06-04 7:18 ` [PATCH 11/11] target/i386: document use of DISAS_NORETURN Paolo Bonzini
2024-06-04 13:58 ` Richard Henderson
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20240604071833.962574-1-pbonzini@redhat.com \
--to=pbonzini@redhat.com \
--cc=qemu-devel@nongnu.org \
--cc=richard.henderson@linaro.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).