Lines Matching full:hi32
790 IRTemp hi32 = newTemp(Ity_I32);
795 assign( hi32, unop(Iop_64HIto32, t64));
799 /* if (hi32 == (lo32 >>s 31)) */
801 binop(Iop_CmpEQ32, mkexpr(hi32),
805 binop(Iop_Shr32, mkexpr(hi32), mkU8(31))),
813 IRTemp hi32 = newTemp(Ity_I32);
818 assign( hi32, unop(Iop_64HIto32, t64));
823 unop(Iop_1Uto8, binop(Iop_CmpEQ32, mkexpr(hi32), mkU32(0))),
2821 IRExpr * Inf_exp, * hi32, * low32;
2830 hi32 = unop( Iop_64HIto32, mkexpr( frac_part ) );
2832 return mkAND1( Inf_exp, binop( Iop_CmpEQ32, binop( Iop_Or32, low32, hi32 ),
2846 IRExpr * hi32, * low32;
2854 hi32 = unop( Iop_64HIto32, mkexpr( sign_less_part ) );
2856 return binop( Iop_CmpEQ32, binop( Iop_Or32, low32, hi32 ),
2866 IRExpr * NaN_exp, * hi32, * low32;
2870 hi32 = unop( Iop_64HIto32, mkexpr( frac_part ) );
2875 return mkAND1( NaN_exp, binop( Iop_CmpNE32, binop( Iop_Or32, low32, hi32 ),
3196 /* rD[hi32] are undefined: setting them to sign of lo32
3255 /* rD[hi32] are undefined: setting them to sign of lo32
3277 /* rD[hi32] are undefined: setting them to sign of lo32
3296 /* rD[hi32] are undefined: setting them to sign of lo32
7669 IRExpr * hi32, * low32, * fraction_is_nonzero;
7673 hi32 = unop( Iop_64HIto32, mkexpr( frac_part ) );
7675 fraction_is_nonzero = binop( Iop_CmpNE32, binop( Iop_Or32, low32, hi32 ),
7861 IRExpr * hi32, * low32;
7865 hi32 = unop( Iop_64HIto32, mkexpr( frac_part ) );
7867 fraction_is_nonzero = binop( Iop_CmpNE32, binop( Iop_Or32, low32, hi32 ),
12820 IRExpr * hi32;
12882 hi32 = unop( Iop_64HIto32, mkexpr(frB_I64) );
12886 binop( Iop_And32, hi32, mkU32( 0x00080000 ) ),
