XAFLAG
Convert floating-point condition flags from external format to Arm format
This instruction converts the state of the PSTATE.{N,Z,C,V} flags from an
alternative representation required by some software to a form representing
the result of an Arm floating-point scalar compare instruction.
1
1
0
1
0
1
0
1
0
0
0
0
0
0
0
0
0
1
0
0
(0)
(0)
(0)
(0)
0
0
1
1
1
1
1
1
XAFLAG
if !IsFeatureImplemented(FEAT_FlagM2) then UNDEFINED;
constant bit n = NOT(PSTATE.C) AND NOT(PSTATE.Z);
constant bit z = PSTATE.Z AND PSTATE.C;
constant bit c = PSTATE.C OR PSTATE.Z;
constant bit v = NOT(PSTATE.C) AND PSTATE.Z;
PSTATE.N = n;
PSTATE.Z = z;
PSTATE.C = c;
PSTATE.V = v;