Lines Matching refs:t1
672 IRTemp* t1, IRTemp* t0 )
679 vassert(t1 && *t1 == IRTemp_INVALID);
683 *t1 = newTemp(Ity_F64);
696 assign( *t1,
710 IRTemp* t1, IRTemp* t0 )
717 vassert(t1 && *t1 == IRTemp_INVALID);
721 *t1 = newTemp(Ity_I64);
729 assign( *t1, unop(Iop_32Sto64, unop(Iop_64HIto32, mkexpr(lo64))) );
737 IRTemp* t1, IRTemp* t0 )
744 vassert(t1 && *t1 == IRTemp_INVALID);
748 *t1 = newTemp(Ity_I64);
756 assign( *t1, unop(Iop_32Uto64, unop(Iop_64HIto32, mkexpr(lo64))) );
763 IRTemp* t1, IRTemp* t0 )
770 vassert(t1 && *t1 == IRTemp_INVALID);
774 *t1 = newTemp(Ity_I32);
782 assign( *t1, unop(Iop_64HIto32, mkexpr(lo64)) );
832 IRExpr* t1, IRExpr* t0 )
836 vassert(typeOfIRExpr(irsb->tyenv, t1) == Ity_I64);
843 mkQNarrow64Sto32( t1 ),
849 IRExpr* t1, IRExpr* t0 )
853 vassert(typeOfIRExpr(irsb->tyenv, t1) == Ity_I64);
860 mkQNarrow64Uto32( t1 ),
12418 IRTemp t3, t2, t1, t0;
12455 t3 = t2 = t1 = t0 = IRTemp_INVALID;
12458 breakV128to4xF64( getVSReg( XT ), &t3, &t2, &t1, &t0 );
12474 mkexpr( msp ? t1 : b1 ),
12475 mkexpr( msp ? b1 : t1 ) ) ) ) );
14042 IRExpr * t3, *t2, *t1, *t0;
14055 t1 = loadBE( Ity_I32, irx_addr );
14061 binop( Iop_32HLto64, t1, t0 ) ) );
