REV (predicate) Reverse all elements in a predicate Reverse the order of all elements in the source predicate and place in the destination predicate. This instruction is unpredicated. Green False True 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 1 0 0 0 0 0 0 REV <Pd>.<T>, <Pn>.<T> if !IsFeatureImplemented(FEAT_SVE) && !IsFeatureImplemented(FEAT_SME) then UNDEFINED; constant integer esize = 8 << UInt(size); constant integer n = UInt(Pn); constant integer d = UInt(Pd); <Pd> Is the name of the destination scalable predicate register, encoded in the "Pd" field. <T> Is the size specifier, size <T> 00 B 01 H 10 S 11 D <Pn> Is the name of the source scalable predicate register, encoded in the "Pn" field. CheckSVEEnabled(); constant integer VL = CurrentVL; constant integer PL = VL DIV 8; constant bits(PL) operand = P[n, PL]; constant bits(PL) result = Reverse(operand, esize DIV 8); P[d, PL] = result;