Lines Matching defs:hi32
785 IRTemp hi32 = newTemp(Ity_I32);
790 assign( hi32, unop(Iop_64HIto32, t64));
794 /* if (hi32 == (lo32 >>s 31)) */
796 binop(Iop_CmpEQ32, mkexpr(hi32),
800 binop(Iop_Shr32, mkexpr(hi32), mkU8(31))),
808 IRTemp hi32 = newTemp(Ity_I32);
813 assign( hi32, unop(Iop_64HIto32, t64));
818 unop(Iop_1Uto8, binop(Iop_CmpEQ32, mkexpr(hi32), mkU32(0))),
2723 IRExpr * Inf_exp, * hi32, * low32;
2732 hi32 = unop( Iop_64HIto32, mkexpr( frac_part ) );
2734 return mkAND1( Inf_exp, binop( Iop_CmpEQ32, binop( Iop_Or32, low32, hi32 ),
2748 IRExpr * hi32, * low32;
2756 hi32 = unop( Iop_64HIto32, mkexpr( sign_less_part ) );
2758 return binop( Iop_CmpEQ32, binop( Iop_Or32, low32, hi32 ),
2768 IRExpr * NaN_exp, * hi32, * low32;
2772 hi32 = unop( Iop_64HIto32, mkexpr( frac_part ) );
2777 return mkAND1( NaN_exp, binop( Iop_CmpNE32, binop( Iop_Or32, low32, hi32 ),
3098 /* rD[hi32] are undefined: setting them to sign of lo32
3157 /* rD[hi32] are undefined: setting them to sign of lo32
3179 /* rD[hi32] are undefined: setting them to sign of lo32
3198 /* rD[hi32] are undefined: setting them to sign of lo32
7421 IRExpr * hi32, * low32, * fraction_is_nonzero;
7425 hi32 = unop( Iop_64HIto32, mkexpr( frac_part ) );
7427 fraction_is_nonzero = binop( Iop_CmpNE32, binop( Iop_Or32, low32, hi32 ),
7613 IRExpr * hi32, * low32;
7617 hi32 = unop( Iop_64HIto32, mkexpr( frac_part ) );
7619 fraction_is_nonzero = binop( Iop_CmpNE32, binop( Iop_Or32, low32, hi32 ),
9669 IRExpr * hi32;
9731 hi32 = unop( Iop_64HIto32, mkexpr(frB_I64) );
9735 binop( Iop_And32, hi32, mkU32( 0x00080000 ) ),
