Lines Matching defs:lo32
791 IRTemp lo32 = newTemp(Ity_I32);
796 assign( lo32, unop(Iop_64to32, t64));
799 /* if (hi32 == (lo32 >>s 31)) */
802 binop( Iop_Sar32, mkexpr(lo32), mkU8(31)))),
807 mkexpr(lo32) );
814 IRTemp lo32 = newTemp(Ity_I32);
819 assign( lo32, unop(Iop_64to32, t64));
827 mkexpr(lo32) );
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
3830 IRExpr* lo32;
3839 lo32 = mode64 ? unop(Iop_64to32, mkexpr(rS)) : mkexpr(rS);
3842 irx = binop(Iop_CmpNE32, lo32, mkU32(0));
3846 unop(Iop_Clz32, lo32)),
