(old) | htmldiff from- | (new) |
Increment vector by countactive ofpredicate trueelement predicate elements.count.
Counts the number of trueactive elements in the source predicate and then uses the result to increment all destination vector elements.
The predicate size specifier may be omitted in assembler source code, but this is deprecated and will be prohibited in a future release of the architecture.
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 | 1 | 0 | 1 | 1 | 0 | 0 | 1 | 0 | 0 | 0 | 0 | 0 | 0 | Pm | Zdn |
if !HaveSVE() then UNDEFINED;
if size == '00' then UNDEFINED;
integer esize = 8 << UInt(size);
integer m =integer g = UInt(Pm);
(Pg);
integer dn = UInt(Zdn);
<Zdn> | Is the name of the source and destination scalable vector register, encoded in the "Zdn" field. |
<T> |
Is the size specifier,
encoded in
size:
|
<Pm | Is the name of the source |
CheckSVEEnabled();
integer elements = VL DIV esize;
bits(VL) operand1 =bits(PL) mask = P[g];
bits(VL) operand = Z[dn];
bits(PL) operand2 = P[m];
[dn];
bits(VL) result;
integer count = 0;
for e = 0 to elements-1
if ElemP[operand2, e, esize] == '1' then
[mask, e, esize] == '1' then
count = count + 1;
for e = 0 to elements-1
Elem[result, e, esize] = Elem[operand1, e, esize] + count;[operand, e, esize] + count;
Z[dn] = result;
If PSTATE.DIT is 1:
This instruction might be immediately preceded in program order by a MOVPRFX instruction that conforms to all of the following requirements, otherwise the behavior of either or both instructions is unpredictable:
Internal version only: isa v30.44v30.42, AdvSIMD v27.08, pseudocode v8.5-2019-06_rc2-5-g22901f2future-20190403, sve v2019-06_rc4v8.5-00bet10_rc5
; Build timestamp: 2019-06-26T222019-04-17T09:0458
Copyright © 2010-2019 Arm Limited or its affiliates. All rights reserved. This document is Non-Confidential.
(old) | htmldiff from- | (new) |