Lines Matching refs:t64
893 static IRExpr* mkQNarrow64Sto32 ( IRExpr* t64 )
898 vassert(typeOfIRExpr(irsb->tyenv, t64) == Ity_I64);
900 assign( hi32, unop(Iop_64HIto32, t64));
901 assign( lo32, unop(Iop_64to32, t64));
915 static IRExpr* mkQNarrow64Uto32 ( IRExpr* t64 )
920 vassert(typeOfIRExpr(irsb->tyenv, t64) == Ity_I64);
922 assign( hi32, unop(Iop_64HIto32, t64));
923 assign( lo32, unop(Iop_64to32, t64));
926 /* if (top 32 bits of t64 are 0) */
2096 IRTemp t64;
2154 t64 = newTemp(Ity_I64);
2155 assign( t64, binop(Iop_MullS32, argL, argR) );
2158 unop(Iop_64HIto32, mkexpr(t64)),
2160 unop(Iop_64to32, mkexpr(t64)),
