SCVTF (scalar, integer)
Signed integer convert to floating-point (scalar)
This instruction converts the signed integer value
in the general-purpose source register to a
floating-point value using the rounding mode that is specified by the
FPCR, and
writes the result to the SIMD&FP destination register.
A floating-point exception can be generated by this instruction.
Depending on the settings in FPCR,
the exception results in either a flag being set in FPSR,
or a synchronous exception being generated.
For more information, see
Floating-point exception traps.
Depending on the settings in the CPACR_EL1,
CPTR_EL2, and CPTR_EL3 registers,
and the current Security state and Exception level,
an attempt to execute the instruction might be trapped.
0
0
1
1
1
1
0
1
0
0
0
1
0
0
0
0
0
0
0
0
1
1
SCVTF <Hd>, <Wn>
0
0
0
SCVTF <Sd>, <Wn>
0
0
1
SCVTF <Dd>, <Wn>
1
1
1
SCVTF <Hd>, <Xn>
1
0
0
SCVTF <Sd>, <Xn>
1
0
1
SCVTF <Dd>, <Xn>
if ftype == '10' || (ftype == '11' && !IsFeatureImplemented(FEAT_FP16)) then UNDEFINED;
constant integer d = UInt(Rd);
constant integer n = UInt(Rn);
constant integer intsize = 32 << UInt(sf);
constant integer decode_fltsize = 8 << UInt(ftype EOR '10');
constant boolean unsigned = FALSE;
<Hd>
Is the 16-bit name of the SIMD&FP destination register, encoded in the "Rd" field.
<Wn>
Is the 32-bit name of the general-purpose source register, encoded in the "Rn" field.
<Sd>
Is the 32-bit name of the SIMD&FP destination register, encoded in the "Rd" field.
<Dd>
Is the 64-bit name of the SIMD&FP destination register, encoded in the "Rd" field.
<Xn>
Is the 64-bit name of the general-purpose source register, encoded in the "Rn" field.
CheckFPEnabled64();
constant integer fltsize = if IsMerging(FPCR) then 128 else decode_fltsize;
constant bits(intsize) intval = X[n, intsize];
constant FPRounding rounding = FPRoundingMode(FPCR);
constant integer fracbits = 0;
bits(fltsize) fltval = if IsMerging(FPCR) then V[d, fltsize] else Zeros(fltsize);
Elem[fltval, 0, decode_fltsize] = FixedToFP(intval, fracbits, unsigned,
FPCR, rounding, decode_fltsize);
V[d, fltsize] = fltval;