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