Lines Matching refs:Ity_F64
584 return IRExpr_Get( xmmGuestRegLane64offset(xmmreg,laneno), Ity_F64 );
611 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_F64);
3552 vassert(typeOfIRExpr(irsb->tyenv, value) == Ity_F64);
3553 descr = mkIRRegArray( OFFB_FPREGS, Ity_F64, 8 );
3582 IRRegArray* descr = mkIRRegArray( OFFB_FPREGS, Ity_F64, 8 );
3620 IRTemp old_val = newTemp(Ity_F64);
3622 IRTemp new_val = newTemp(Ity_F64);
3741 loadLE(Ity_F64,mkexpr(addr))
3766 loadLE(Ity_F64,mkexpr(addr)),
4193 t1 = newTemp(Ity_F64);
4202 t1 = newTemp(Ity_F64);
4203 t2 = newTemp(Ity_F64);
4327 IRTemp argD = newTemp(Ity_F64);
4330 IRTemp resD = newTemp(Ity_F64);
4362 IRTemp argF = newTemp(Ity_F64);
4363 IRTemp sigF = newTemp(Ity_F64);
4364 IRTemp expF = newTemp(Ity_F64);
4398 IRTemp a1 = newTemp(Ity_F64);
4399 IRTemp a2 = newTemp(Ity_F64);
4424 IRTemp a1 = newTemp(Ity_F64);
4425 IRTemp a2 = newTemp(Ity_F64);
4464 IRTemp argD = newTemp(Ity_F64);
4467 IRTemp resD = newTemp(Ity_F64);
4509 IRTemp argD = newTemp(Ity_F64);
4512 IRTemp resD = newTemp(Ity_F64);
4920 loadLE(Ity_F64,mkexpr(addr))),
4934 loadLE(Ity_F64,mkexpr(addr))),
5015 put_ST(0, loadLE(Ity_F64, mkexpr(addr)));
9583 IRTemp argL = newTemp(Ity_F64);
9584 IRTemp argR = newTemp(Ity_F64);
9593 assign( argR, loadLE(Ity_F64, mkexpr(addr)) );
9706 t0 = newTemp(Ity_F64);
9707 t1 = newTemp(Ity_F64);
9734 IRTemp f64lo = newTemp(Ity_F64);
9735 IRTemp f64hi = newTemp(Ity_F64);
9750 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));
9751 assign(f64hi, loadLE(Ity_F64, binop( Iop_Add32,
9802 t0 = newTemp(Ity_F64);
9803 t1 = newTemp(Ity_F64);
9941 IRTemp f64lo = newTemp(Ity_F64);
9954 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));
9977 IRTemp f64lo = newTemp(Ity_F64);
9988 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));
10078 t0 = newTemp(Ity_F64);
10079 t1 = newTemp(Ity_F64);
12886 IRTemp src = newTemp(isD ? Ity_F64 : Ity_F32);
12887 IRTemp res = newTemp(isD ? Ity_F64 : Ity_F32);
12905 assign( src, loadLE( isD ? Ity_F64 : Ity_F32, mkexpr(addr) ));