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