[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [RFC PATCH v3 04/21] target/arm: Implement ALLINT MSR (immediate)
From: |
Jinjie Ruan |
Subject: |
Re: [RFC PATCH v3 04/21] target/arm: Implement ALLINT MSR (immediate) |
Date: |
Mon, 26 Feb 2024 10:22:28 +0800 |
User-agent: |
Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101 Thunderbird/102.2.0 |
On 2024/2/24 3:03, Richard Henderson wrote:
> On 2/23/24 00:32, Jinjie Ruan via wrote:
>> Add ALLINT MSR (immediate) to decodetree. And the EL0 check is necessary
>> to ALLINT. Avoid the unconditional write to pc and use raise_exception_ra
>> to unwind.
>>
>> Signed-off-by: Jinjie Ruan <ruanjinjie@huawei.com>
>> ---
>> v3:
>> - Remove EL0 check in allint_check().
>> - Add TALLINT check for EL1 in allint_check().
>> - Remove unnecessarily arm_rebuild_hflags() in msr_i_allint helper.
>> ---
>> target/arm/tcg/a64.decode | 1 +
>> target/arm/tcg/helper-a64.c | 24 ++++++++++++++++++++++++
>> target/arm/tcg/helper-a64.h | 1 +
>> target/arm/tcg/translate-a64.c | 10 ++++++++++
>> 4 files changed, 36 insertions(+)
>>
>> diff --git a/target/arm/tcg/a64.decode b/target/arm/tcg/a64.decode
>> index 8a20dce3c8..3588080024 100644
>> --- a/target/arm/tcg/a64.decode
>> +++ b/target/arm/tcg/a64.decode
>> @@ -207,6 +207,7 @@ MSR_i_DIT 1101 0101 0000 0 011 0100 .... 010
>> 11111 @msr_i
>> MSR_i_TCO 1101 0101 0000 0 011 0100 .... 100 11111 @msr_i
>> MSR_i_DAIFSET 1101 0101 0000 0 011 0100 .... 110 11111 @msr_i
>> MSR_i_DAIFCLEAR 1101 0101 0000 0 011 0100 .... 111 11111 @msr_i
>> +MSR_i_ALLINT 1101 0101 0000 0 001 0100 .... 000 11111 @msr_i
>
> Decode is incorrect either here, or in trans_MSR_i_ALLINT, because CRm
> != '000x' is UNDEFINED.
>
> MSR_i_ALLINT 1101 0101 0000 0 001 0100 000 imm:1 000 11111
>
> is perhaps the clearest implementation.
>
>> +static void allint_check(CPUARMState *env, uint32_t op,
>> + uint32_t imm, uintptr_t ra)
>> +{
>> + /* ALLINT update to PSTATE. */
>> + if (arm_current_el(env) == 1 && arm_is_el2_enabled(env) &&
>> + (arm_hcrx_el2_eff(env) & HCRX_TALLINT)) {
>> + raise_exception_ra(env, EXCP_UDEF,
>> + syn_aa64_sysregtrap(0, extract32(op, 0, 3),
>> + extract32(op, 3, 3), 4,
>> + imm, 0x1f, 0),
>> + exception_target_el(env), ra);
>> + }
>> +}
>> +
>> +void HELPER(msr_i_allint)(CPUARMState *env, uint32_t imm)
>> +{
>> + allint_check(env, 0x8, imm, GETPC());
>
> As previously noted, the check for MSR_i only applies to imm==1, not 0.
Sorry! The hardware manual I looked at didn't say this.
>
> As previously noted, with ALLINT in env->pstate, you can implement this
> completely inline for EL[23], or EL1 with imm==0.
>
> No point in passing in "op" and extracting, because you know exactly
> what the value should be for all MSR ALLINT.
>
>
> r~
- [RFC PATCH v3 03/21] target/arm: Add support for FEAT_NMI, Non-maskable Interrupt, (continued)
- [RFC PATCH v3 03/21] target/arm: Add support for FEAT_NMI, Non-maskable Interrupt, Jinjie Ruan, 2024/02/23
- [RFC PATCH v3 05/21] target/arm: Support MSR access to ALLINT, Jinjie Ruan, 2024/02/23
- [RFC PATCH v3 10/21] hw/arm/virt: Wire NMI and VNMI irq lines from GIC to CPU, Jinjie Ruan, 2024/02/23
- [RFC PATCH v3 15/21] hw/intc/arm_gicv3: Implement GICD_INMIR, Jinjie Ruan, 2024/02/23
- [RFC PATCH v3 16/21] hw/intc: Enable FEAT_GICv3_NMI Feature, Jinjie Ruan, 2024/02/23
- [RFC PATCH v3 04/21] target/arm: Implement ALLINT MSR (immediate), Jinjie Ruan, 2024/02/23
- [RFC PATCH v3 09/21] target/arm: Handle PSTATE.ALLINT on taking an exception, Jinjie Ruan, 2024/02/23
- [RFC PATCH v3 14/21] hw/intc/arm_gicv3_redist: Implement GICR_INMIR0, Jinjie Ruan, 2024/02/23
- Re: [RFC PATCH v3 00/21] target/arm: Implement FEAT_NMI and FEAT_GICv3_NMI, Richard Henderson, 2024/02/23