Lines Matching refs:hi32
814 IRTemp hi32 = newTemp(Ity_I32);
819 assign( hi32, unop(Iop_64HIto32, t64));
823 /* if (hi32 == (lo32 >>s 31)) */
824 binop(Iop_CmpEQ32, mkexpr(hi32),
830 binop(Iop_Shr32, mkexpr(hi32), mkU8(31))));
836 IRTemp hi32 = newTemp(Ity_I32);
841 assign( hi32, unop(Iop_64HIto32, t64));
846 binop(Iop_CmpEQ32, mkexpr(hi32), mkU32(0)),
2965 IRExpr * Inf_exp, * hi32, * low32;
2974 hi32 = unop( Iop_64HIto32, mkexpr( frac_part ) );
2976 return mkAND1( Inf_exp, binop( Iop_CmpEQ32, binop( Iop_Or32, low32, hi32 ),
2990 IRExpr * hi32, * low32;
2998 hi32 = unop( Iop_64HIto32, mkexpr( sign_less_part ) );
3000 return binop( Iop_CmpEQ32, binop( Iop_Or32, low32, hi32 ),
3010 IRExpr * NaN_exp, * hi32, * low32;
3014 hi32 = unop( Iop_64HIto32, mkexpr( frac_part ) );
3019 return mkAND1( NaN_exp, binop( Iop_CmpNE32, binop( Iop_Or32, low32, hi32 ),
3414 /* rD[hi32] are undefined: setting them to sign of lo32
3473 /* rD[hi32] are undefined: setting them to sign of lo32
3495 /* rD[hi32] are undefined: setting them to sign of lo32
3514 /* rD[hi32] are undefined: setting them to sign of lo32
8171 IRExpr * hi32, * low32, * fraction_is_nonzero;
8175 hi32 = unop( Iop_64HIto32, mkexpr( frac_part ) );
8177 fraction_is_nonzero = binop( Iop_CmpNE32, binop( Iop_Or32, low32, hi32 ),
8363 IRExpr * hi32, * low32;
8367 hi32 = unop( Iop_64HIto32, mkexpr( frac_part ) );
8369 fraction_is_nonzero = binop( Iop_CmpNE32, binop( Iop_Or32, low32, hi32 ),
13670 IRExpr * hi32;
13735 hi32 = unop( Iop_64HIto32, mkexpr(frB_I64) );
13739 binop( Iop_And32, hi32, mkU32( 0x00080000 ) ),