else if FPSCR.RN = 0b11 then
rnd <- bfp_ROUND_TO_INTEGER_FLOOR(src)
-# set conversion flags
-switch(IT)
- case(0): # Signed 32-bit
- si32_CONVERT_FROM_BFP(rnd)
- case(1): # Unsigned 32-bit
- ui32_CONVERT_FROM_BFP(rnd)
- case(2): # Signed 64-bit
- si64_CONVERT_FROM_BFP(rnd)
- default: # Unsigned 64-bit
- ui64_CONVERT_FROM_BFP(rnd)
-
switch(CVM)
case(0, 1): # OpenPower semantics
if IsNaN(rnd) then
else if FPSCR.RN = 0b11 then
rnd <- bfp_ROUND_TO_INTEGER_FLOOR(src)
-# set conversion flags
-switch(IT)
- case(0): # Signed 32-bit
- si32_CONVERT_FROM_BFP(rnd)
- case(1): # Unsigned 32-bit
- ui32_CONVERT_FROM_BFP(rnd)
- case(2): # Signed 64-bit
- si64_CONVERT_FROM_BFP(rnd)
- default: # Unsigned 64-bit
- ui64_CONVERT_FROM_BFP(rnd)
-
switch(CVM)
case(0, 1): # OpenPower semantics
if IsNaN(rnd) then