UQINCD (scalar)
Unsigned saturating increment scalar by multiple of 64-bit predicate constraint element count
Determines the number of active 64-bit elements implied by the named predicate constraint, multiplies that by an immediate in the range 1 to 16 inclusive, and then uses the result to increment the scalar destination. The result is saturated to the general-purpose register's unsigned integer range.
The named predicate constraint limits the number of active elements in a single predicate to:
A fixed number (VL1 to VL256)
The largest power of two (POW2)
The largest multiple of three or four (MUL3 or MUL4)
All available, implicitly a multiple of two (ALL).
Unspecified or out of range constraint encodings generate an empty predicate or zero element count rather than Undefined Instruction exception.
Green
False
It has encodings from 2 classes:
32-bit
and
64-bit
0
0
0
0
0
1
0
0
1
1
1
0
1
1
1
1
0
1
UQINCD <Wdn>{, <pattern>{, MUL #<imm>}}
if !IsFeatureImplemented(FEAT_SVE) && !IsFeatureImplemented(FEAT_SME) then UNDEFINED;
constant integer esize = 64;
constant integer dn = UInt(Rdn);
constant bits(5) pat = pattern;
constant integer imm = UInt(imm4) + 1;
constant boolean unsigned = TRUE;
constant integer ssize = 32;
0
0
0
0
0
1
0
0
1
1
1
1
1
1
1
1
0
1
UQINCD <Xdn>{, <pattern>{, MUL #<imm>}}
if !IsFeatureImplemented(FEAT_SVE) && !IsFeatureImplemented(FEAT_SME) then UNDEFINED;
constant integer esize = 64;
constant integer dn = UInt(Rdn);
constant bits(5) pat = pattern;
constant integer imm = UInt(imm4) + 1;
constant boolean unsigned = TRUE;
constant integer ssize = 64;
<Wdn>
Is the 32-bit name of the source and destination general-purpose register, encoded in the "Rdn" field.
<Xdn>
Is the 64-bit name of the source and destination general-purpose register, encoded in the "Rdn" field.
<pattern>
Is the optional pattern specifier, defaulting to ALL,
pattern
<pattern>
00000
POW2
00001
VL1
00010
VL2
00011
VL3
00100
VL4
00101
VL5
00110
VL6
00111
VL7
01000
VL8
01001
VL16
01010
VL32
01011
VL64
01100
VL128
01101
VL256
0111x
#uimm5
101x1
#uimm5
10110
#uimm5
1x0x1
#uimm5
1x010
#uimm5
1xx00
#uimm5
11101
MUL4
11110
MUL3
11111
ALL
<imm>
Is the immediate multiplier, in the range 1 to 16, defaulting to 1, encoded in the "imm4" field.
CheckSVEEnabled();
constant integer count = DecodePredCount(pat, esize);
constant bits(ssize) operand1 = X[dn, ssize];
bits(ssize) result;
constant integer element1 = Int(operand1, unsigned);
(result, -) = SatQ(element1 + (count * imm), ssize, unsigned);
X[dn, 64] = Extend(result, 64, unsigned);