diff options
Diffstat (limited to 'arm/armV8_pstate.sail')
| -rw-r--r-- | arm/armV8_pstate.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/arm/armV8_pstate.sail b/arm/armV8_pstate.sail index 5be50b19..da707b44 100644 --- a/arm/armV8_pstate.sail +++ b/arm/armV8_pstate.sail @@ -43,14 +43,14 @@ register alias PSTATE_F = DAIF.F (* FIQ mask bit *) (* register alias PSTATE_SS = (* Software step bit *) *) (* register alias PSTATE_IL = (* Illegal execution state bit *) *) register alias PSTATE_EL = CurrentEL.EL (* Exception Level *) -register (bit) PSTATE_nRW (* not Register Width: 0=64, 1=32 *) +register (bit[1]) PSTATE_nRW (* not Register Width: 0=64, 1=32 *) register alias PSTATE_SP = SPSel.SP (* Stack pointer select: 0=SP0, 1=SPx [AArch64 only] *) (* TODO: confirm this *) (* register alias PSTATE_Q = (* Cumulative saturation flag [AArch32 only] *) *) (* register alias PSTATE_GE = (* Greater than or Equal flags [AArch32 only] *) *) (* register alias PSTATE_IT = (* If-then bits, RES0 in CPSR [AArch32 only] *) *) (* register alias PSTATE_J = (* J bit, RES0 in CPSR [AArch32 only, RES0 in ARMv8] *) *) (* register alias PSTATE_T = (* T32 bit, RES0 in CPSR [AArch32 only] *) *) -register (bit) PSTATE_E (* Endianness bit [AArch32 only] *) +register (bit[1]) PSTATE_E (* Endianness bit [AArch32 only] *) register (bit[5]) PSTATE_M (* Mode field [AArch32 only] *) |