Lines Matching refs:lo32
786 IRTemp lo32 = newTemp(Ity_I32);
791 assign( lo32, unop(Iop_64to32, t64));
794 /* if (hi32 == (lo32 >>s 31)) */
797 binop( Iop_Sar32, mkexpr(lo32), mkU8(31)))),
802 mkexpr(lo32) );
809 IRTemp lo32 = newTemp(Ity_I32);
814 assign( lo32, unop(Iop_64to32, t64));
822 mkexpr(lo32) );
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
3732 IRExpr* lo32;
3741 lo32 = mode64 ? unop(Iop_64to32, mkexpr(rS)) : mkexpr(rS);
3744 irx = binop(Iop_CmpNE32, lo32, mkU32(0));
3748 unop(Iop_Clz32, lo32)),
