Find next active predicate
An instruction used to construct a loop which iterates over all active elements in a predicate. If all source predicate elements are false it sets the first active predicate element in the destination predicate to true. Otherwise it determines the next active predicate element following the last true source predicate element, and if one is found sets the corresponding destination predicate element to true. All other destination predicate elements are set to false. Sets the First (N), None (Z), !Last (C) condition flags based on the predicate result, and the V flag to zero.
| 31 | 30 | 29 | 28 | 27 | 26 | 25 | 24 | 23 | 22 | 21 | 20 | 19 | 18 | 17 | 16 | 15 | 14 | 13 | 12 | 11 | 10 | 9 | 8 | 7 | 6 | 5 | 4 | 3 | 2 | 1 | 0 |
| 0 | 0 | 1 | 0 | 0 | 1 | 0 | 1 | size | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 0 | 0 | 0 | 1 | 0 | Pg | 0 | Pdn | |||||||
if !HaveSVE() then UNDEFINED; integer esize = 8 << UInt(size); integer g = UInt(Pg); integer dn = UInt(Pdn);
| <Pdn> |
Is the name of the source and destination scalable predicate register, encoded in the "Pdn" field. |
| <T> |
Is the size specifier,
encoded in
|
| <Pg> |
Is the name of the governing scalable predicate register, encoded in the "Pg" field. |
CheckSVEEnabled(); integer elements = VL DIV esize; bits(PL) mask = P[g]; bits(PL) operand = P[dn]; bits(PL) result; integer next = LastActiveElement(operand, esize) + 1; while next < elements && (ElemP[mask, next, esize] == '0') do next = next + 1; result = Zeros(); if next < elements then ElemP[result, next, esize] = '1'; PSTATE.<N,Z,C,V> = PredTest(mask, result, esize); P[dn] = result;
Internal version only: isa v32.15, AdvSIMD v29.05, pseudocode v2021-03, sve v2021-03_rc2 ; Build timestamp: 2021-03-30T21:36
Copyright © 2010-2021 Arm Limited or its affiliates. All rights reserved. This document is Non-Confidential.