Infineon TriCore TC1.6P - ITOF - Integer to Float

TriCore
®
TC1.6P & TC1.6E
32-bit Unified Processor Core
Instruction Set
V1.0 2013-07
User Manual (Volume 2) 3-409
ITOF
Integer to Float
Description
Converts the contents of data register D[a] from 32-bit two’s complement signed integer format to floating-point
format. The rounded result is put in data register D[c].
ITOFD[c], D[a] (RR)
rounded_result = ieee754_round(i_real(D[a]), PSW.RM);
result = ieee754_32bit_format(rounded_result);
D[c] = result[31:0];
Exception Flags
Examples
itof d2, d1
See Also
FTOI, FTOIZ
FS if(set_FX) then PSW.FS = 1 else PSW.FS = 0;
FI Not set by this instruction.
FV Not set by this instruction.
FZ Not set by this instruction.
FU Not set by this instruction.
FX if(f_real(result) != i_real(D[a])) then set_FX = 1 else set_FX = 0;
if(set_FX) then PSW.FX = 1;
31
c
28 27
14
H
20 19
-
18 17
1
H
16 15
-
12 11
a
8 7
4B
H
0