Lines Matching refs:frac_part

3108    IRTemp frac_part = newTemp(Ity_I32);  in is_Inf_sp()  local
3111 assign( frac_part, binop( Iop_And32, mkexpr(src), mkU32(0x007fffff)) ); in is_Inf_sp()
3113 return mkAND1( Inf_exp, binop( Iop_CmpEQ32, mkexpr( frac_part ), mkU32( 0 ) ) ); in is_Inf_sp()
3121 IRTemp frac_part; in is_Inf() local
3126 frac_part = newTemp(Ity_I64); in is_Inf()
3127 assign( frac_part, FP_FRAC_PART(src) ); in is_Inf()
3129 hi32 = unop( Iop_64HIto32, mkexpr( frac_part ) ); in is_Inf()
3130 low32 = unop( Iop_64to32, mkexpr( frac_part ) ); in is_Inf()
3166 IRTemp frac_part = newTemp(Ity_I64); in is_NaN() local
3168 assign( frac_part, FP_FRAC_PART(src) ); in is_NaN()
3169 hi32 = unop( Iop_64HIto32, mkexpr( frac_part ) ); in is_NaN()
3170 low32 = unop( Iop_64to32, mkexpr( frac_part ) ); in is_NaN()
3188 IRExpr * frac_part = FP_FRAC_PART32(src); in is_NaN_32() local
3194 return mkAND1( NaN_exp, binop( Iop_CmpNE32, frac_part, mkU32( 0 ) ) ); in is_NaN_32()
8454 IRTemp frac_part = newTemp(Ity_I32); in do_fp_tsqrt() local
8455 assign( frac_part, binop( Iop_And32, mkexpr(frB_Int), mkU32(0x007fffff)) ); in do_fp_tsqrt()
8458 binop( Iop_CmpNE32, mkexpr( frac_part ), mkU32( 0 ) ) ); in do_fp_tsqrt()
8461 IRTemp frac_part = newTemp(Ity_I64); in do_fp_tsqrt() local
8463 assign( frac_part, FP_FRAC_PART(frB_Int) ); in do_fp_tsqrt()
8464 hi32 = unop( Iop_64HIto32, mkexpr( frac_part ) ); in do_fp_tsqrt()
8465 low32 = unop( Iop_64to32, mkexpr( frac_part ) ); in do_fp_tsqrt()
8653 IRTemp frac_part = newTemp(Ity_I64); in _do_fp_tdiv() local
8654 assign( frac_part, FP_FRAC_PART(frB_int) ); in _do_fp_tdiv()
8656 hi32 = unop( Iop_64HIto32, mkexpr( frac_part ) ); in _do_fp_tdiv()
8657 low32 = unop( Iop_64to32, mkexpr( frac_part ) ); in _do_fp_tdiv()