FRINT<r>
Floating-point round to integral value (predicated)
Round to an integral floating-point value with the specified rounding option from each active floating-point element of the source vector, and place the results in the corresponding elements of the destination vector. Inactive elements in the destination vector register remain unmodified.
<r>
Rounding Option
N
to nearest, with ties to even
A
to nearest, with ties away from zero
M
toward minus Infinity
P
toward plus Infinity
Z
toward zero
I
current FPCR rounding mode
X
current FPCR rounding mode, signalling inexact
Green
True
True
True
It has encodings from 7 classes:
Current mode
,
Current mode signalling inexact
,
Nearest with ties to away
,
Nearest with ties to even
,
Toward zero
,
Toward minus infinity
and
Toward plus infinity
0
1
1
0
0
1
0
1
0
0
0
1
1
1
1
0
1
FRINTI <Zd>.<T>, <Pg>/M, <Zn>.<T>
if !IsFeatureImplemented(FEAT_SVE) && !IsFeatureImplemented(FEAT_SME) then UNDEFINED;
if size == '00' then UNDEFINED;
constant integer esize = 8 << UInt(size);
constant integer g = UInt(Pg);
constant integer n = UInt(Zn);
constant integer d = UInt(Zd);
constant boolean exact = FALSE;
constant FPRounding rounding = FPRoundingMode(FPCR);
0
1
1
0
0
1
0
1
0
0
0
1
1
0
1
0
1
FRINTX <Zd>.<T>, <Pg>/M, <Zn>.<T>
if !IsFeatureImplemented(FEAT_SVE) && !IsFeatureImplemented(FEAT_SME) then UNDEFINED;
if size == '00' then UNDEFINED;
constant integer esize = 8 << UInt(size);
constant integer g = UInt(Pg);
constant integer n = UInt(Zn);
constant integer d = UInt(Zd);
constant boolean exact = TRUE;
constant FPRounding rounding = FPRoundingMode(FPCR);
0
1
1
0
0
1
0
1
0
0
0
1
0
0
1
0
1
FRINTA <Zd>.<T>, <Pg>/M, <Zn>.<T>
if !IsFeatureImplemented(FEAT_SVE) && !IsFeatureImplemented(FEAT_SME) then UNDEFINED;
if size == '00' then UNDEFINED;
constant integer esize = 8 << UInt(size);
constant integer g = UInt(Pg);
constant integer n = UInt(Zn);
constant integer d = UInt(Zd);
constant boolean exact = FALSE;
constant FPRounding rounding = FPRounding_TIEAWAY;
0
1
1
0
0
1
0
1
0
0
0
0
0
0
1
0
1
FRINTN <Zd>.<T>, <Pg>/M, <Zn>.<T>
if !IsFeatureImplemented(FEAT_SVE) && !IsFeatureImplemented(FEAT_SME) then UNDEFINED;
if size == '00' then UNDEFINED;
constant integer esize = 8 << UInt(size);
constant integer g = UInt(Pg);
constant integer n = UInt(Zn);
constant integer d = UInt(Zd);
constant boolean exact = FALSE;
constant FPRounding rounding = FPRounding_TIEEVEN;
0
1
1
0
0
1
0
1
0
0
0
0
1
1
1
0
1
FRINTZ <Zd>.<T>, <Pg>/M, <Zn>.<T>
if !IsFeatureImplemented(FEAT_SVE) && !IsFeatureImplemented(FEAT_SME) then UNDEFINED;
if size == '00' then UNDEFINED;
constant integer esize = 8 << UInt(size);
constant integer g = UInt(Pg);
constant integer n = UInt(Zn);
constant integer d = UInt(Zd);
constant boolean exact = FALSE;
constant FPRounding rounding = FPRounding_ZERO;
0
1
1
0
0
1
0
1
0
0
0
0
1
0
1
0
1
FRINTM <Zd>.<T>, <Pg>/M, <Zn>.<T>
if !IsFeatureImplemented(FEAT_SVE) && !IsFeatureImplemented(FEAT_SME) then UNDEFINED;
if size == '00' then UNDEFINED;
constant integer esize = 8 << UInt(size);
constant integer g = UInt(Pg);
constant integer n = UInt(Zn);
constant integer d = UInt(Zd);
constant boolean exact = FALSE;
constant FPRounding rounding = FPRounding_NEGINF;
0
1
1
0
0
1
0
1
0
0
0
0
0
1
1
0
1
FRINTP <Zd>.<T>, <Pg>/M, <Zn>.<T>
if !IsFeatureImplemented(FEAT_SVE) && !IsFeatureImplemented(FEAT_SME) then UNDEFINED;
if size == '00' then UNDEFINED;
constant integer esize = 8 << UInt(size);
constant integer g = UInt(Pg);
constant integer n = UInt(Zn);
constant integer d = UInt(Zd);
constant boolean exact = FALSE;
constant FPRounding rounding = FPRounding_POSINF;
<Zd>
Is the name of the destination scalable vector register, encoded in the "Zd" field.
<T>
Is the size specifier,
size
<T>
00
RESERVED
01
H
10
S
11
D
<Pg>
Is the name of the governing scalable predicate register P0-P7, encoded in the "Pg" field.
<Zn>
Is the name of the source scalable vector register, encoded in the "Zn" field.
CheckSVEEnabled();
constant integer VL = CurrentVL;
constant integer PL = VL DIV 8;
constant integer elements = VL DIV esize;
constant bits(PL) mask = P[g, PL];
constant bits(VL) operand = if AnyActiveElement(mask, esize) then Z[n, VL] else Zeros(VL);
bits(VL) result = Z[d, VL];
for e = 0 to elements-1
if ActivePredicateElement(mask, e, esize) then
constant bits(esize) element = Elem[operand, e, esize];
Elem[result, e, esize] = FPRoundInt(element, FPCR, rounding, exact);
Z[d, VL] = result;