From: Richard Henderson <richard.henderson@linaro.org>
To: Paolo Bonzini <pbonzini@redhat.com>, qemu-devel@nongnu.org
Subject: Re: [PATCH 08/11] target/i386: fix INHIBIT_IRQ/TF/RF handling for PAUSE
Date: Tue, 4 Jun 2024 08:49:07 -0500 [thread overview]
Message-ID: <8855bd45-9b9c-485d-b737-2f23f0da6406@linaro.org> (raw)
In-Reply-To: <0dc2521f-7d7c-48c1-943e-b71566284450@linaro.org>
On 6/4/24 08:44, Richard Henderson wrote:
> On 6/4/24 02:18, Paolo Bonzini wrote:
>> PAUSE uses DISAS_NORETURN because the corresponding helper
>> calls cpu_loop_exit(). However, while HLT clear HF_INHIBIT_IRQ_MASK
>> to correctly handle "STI; HLT", the same is missing from PAUSE.
>> And also gen_eob() clears HF_RF_MASK and synthesizes a #DB exception
>> if single-step is active; none of this is done by HLT and PAUSE.
>> Start fixing PAUSE, HLT will follow.
>>
>> Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
>> ---
>> target/i386/tcg/misc_helper.c | 4 ++++
>> 1 file changed, 4 insertions(+)
>>
>> diff --git a/target/i386/tcg/misc_helper.c b/target/i386/tcg/misc_helper.c
>> index 8316d42ffcd..ed4cda8001e 100644
>> --- a/target/i386/tcg/misc_helper.c
>> +++ b/target/i386/tcg/misc_helper.c
>> @@ -92,6 +92,10 @@ G_NORETURN void helper_pause(CPUX86State *env)
>> {
>> CPUState *cs = env_cpu(env);
>> + /* Do gen_eob() tasks before going back to the main loop. */
>> + do_end_instruction(env);
>> + helper_rechecking_single_step(env);
>> +
>> /* Just let another CPU run. */
>> cs->exception_index = EXCP_INTERRUPT;
>> cpu_loop_exit(cs);
>
> Perhaps it would be better to do
>
> void helper_cpu_exit(CPUX86State *env)
> {
> cpu_exit(env_cpu(env));
> }
>
> static void gen_PAUSE(...)
> {
> helper_cpu_exit(tcg_env);
> s->base.is_jmp = DISAS_EOB_NEXT;
> }
>
> to keep from replicating gen_eob?
>
> Anyway, this is correct, so,
> Reviewed-by: Richard Henderson <richard.henderson@linaro.org>
Oh, based on the next patch, it would appear that PAUSE does not single-step properly
because it sets EXCP_INTERRUPT, and end-of-insn single-step depends on exception_index ==
-1. I'm thinking of the bottom of cpu_tb_exec().
r~
next prev parent reply other threads:[~2024-06-04 13:49 UTC|newest]
Thread overview: 27+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-06-04 7:18 [PATCH 00/11] target/i386: fixes for INHIBIT_IRQ, TF and RF Paolo Bonzini
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 [this message]
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=8855bd45-9b9c-485d-b737-2f23f0da6406@linaro.org \
--to=richard.henderson@linaro.org \
--cc=pbonzini@redhat.com \
--cc=qemu-devel@nongnu.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).