MSR (register) Move general-purpose register to Special register Move general-purpose register to Special register moves selected bits of a general-purpose register to the APSR, CPSR or SPSR_<current_mode>. Because of the Do-Not-Modify nature of its reserved bits, a read-modify-write sequence is normally required when the MSR instruction is being used at Application level and its destination is not APSR_nzcvq (CPSR_f). If an MSR (register) moves selected bits of an immediate value to the CPSR, the PE checks whether the value being written to PSTATE.M is legal. See Illegal changes to PSTATE.M. An MSR (register) executed in User mode: Is UNPREDICTABLE if it attempts to update the SPSR. Otherwise, does not update any CPSR field that is accessible only at EL1 or higher. An MSR (register) executed in System mode is UNPREDICTABLE if it attempts to update the SPSR. The CPSR.E bit is writable from any mode using an MSR instruction. Arm deprecates using this to change its value. For more information about the CONSTRAINED UNPREDICTABLE behavior of this instruction, see Architectural Constraints on UNPREDICTABLE behaviors. It has encodings from the following instruction sets: A32 ( A1 ) and T32 ( T1 ) . != 1111 0 0 0 1 0 1 0 (1) (1) (1) (1) (0) (0) 0 (0) 0 0 0 0 MSR{<c>}{<q>} <spec_reg>, <Rn> let n : integer = UInt(Rn); let write_spsr : boolean = (R == '1'); if mask == '0000' then UnpredictableProcedure(); end; if n == 15 then UnpredictableProcedure(); end; mask == '0000' 1 1 1 1 0 0 1 1 1 0 0 1 0 (0) 0 (0) (0) 0 (0) (0) (0) (0) (0) MSR{<c>}{<q>} <spec_reg>, <Rn> let n : integer = UInt(Rn); let write_spsr : boolean = (R == '1'); if mask == '0000' then UnpredictableProcedure(); end; // Armv8-A removes UNPREDICTABLE for R13 if n == 15 then UnpredictableProcedure(); end; mask == '0000' <c> See Standard assembler syntax fields. <q> See Standard assembler syntax fields. <spec_reg> Is one of: APSR_<bits>. CPSR_<fields>. SPSR_<fields>. For CPSR and SPSR, <fields> is a sequence of one or more of the following: c mask<0> = '1' to enable writing of bits<7:0> of the destination PSR. x mask<1> = '1' to enable writing of bits<15:8> of the destination PSR. s mask<2> = '1' to enable writing of bits<23:16> of the destination PSR. f mask<3> = '1' to enable writing of bits<31:24> of the destination PSR. For APSR, <bits> is one of nzcvq, g, or nzcvqg. These map to the following CPSR_<fields> values: APSR_nzcvq is the same as CPSR_f (mask== '1000'). APSR_g is the same as CPSR_s (mask == '0100'). APSR_nzcvqg is the same as CPSR_fs (mask == '1100'). Arm recommends the APSR_<bits> forms when only the N, Z, C, V, Q, and GE[3:0] bits are being written. For more information, see The Application Program Status Register, APSR. <Rn> Is the general-purpose source register, encoded in the "Rn" field. if ConditionPassed() then EncodingSpecificOperations(); if write_spsr then if PSTATE.M IN {M32_User,M32_System} then UnpredictableProcedure(); else SPSRWriteByInstr(R(n), mask); end; else // Attempts to change to an illegal mode will invoke the Illegal Execution state mechanism CPSRWriteByInstr(R(n), mask); end; end; write_spsr && PSTATE.M IN {M32_User,M32_System} 2026-03-12 12:23:09 2025-09_rel_asl1