UCVTF (scalar, integer) Unsigned integer convert to floating-point (scalar) This instruction converts the unsigned 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 1 0 0 0 0 0 0 0 1 1 UCVTF <Hd>, <Wn> 0 0 0 UCVTF <Sd>, <Wn> 0 0 1 UCVTF <Dd>, <Wn> 1 1 1 UCVTF <Hd>, <Xn> 1 0 0 UCVTF <Sd>, <Xn> 1 0 1 UCVTF <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 = TRUE; <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;