Lines Matching refs:Ity_F64
587 return IRExpr_Get( xmmGuestRegLane64offset(xmmreg,laneno), Ity_F64 );
614 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_F64);
3523 vassert(typeOfIRExpr(irsb->tyenv, value) == Ity_F64);
3524 descr = mkIRRegArray( OFFB_FPREGS, Ity_F64, 8 );
3552 IRRegArray* descr = mkIRRegArray( OFFB_FPREGS, Ity_F64, 8 );
3630 loadLE(Ity_F64,mkexpr(addr))
3655 loadLE(Ity_F64,mkexpr(addr)),
4080 t1 = newTemp(Ity_F64);
4089 t1 = newTemp(Ity_F64);
4090 t2 = newTemp(Ity_F64);
4234 IRTemp argF = newTemp(Ity_F64);
4235 IRTemp sigF = newTemp(Ity_F64);
4236 IRTemp expF = newTemp(Ity_F64);
4270 IRTemp a1 = newTemp(Ity_F64);
4271 IRTemp a2 = newTemp(Ity_F64);
4296 IRTemp a1 = newTemp(Ity_F64);
4297 IRTemp a2 = newTemp(Ity_F64);
4335 IRTemp a1 = newTemp(Ity_F64);
4784 loadLE(Ity_F64,mkexpr(addr))),
4798 loadLE(Ity_F64,mkexpr(addr))),
4879 put_ST(0, loadLE(Ity_F64, mkexpr(addr)));
9345 IRTemp argL = newTemp(Ity_F64);
9346 IRTemp argR = newTemp(Ity_F64);
9355 assign( argR, loadLE(Ity_F64, mkexpr(addr)) );
9468 t0 = newTemp(Ity_F64);
9469 t1 = newTemp(Ity_F64);
9496 IRTemp f64lo = newTemp(Ity_F64);
9497 IRTemp f64hi = newTemp(Ity_F64);
9512 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));
9513 assign(f64hi, loadLE(Ity_F64, binop( Iop_Add32,
9564 t0 = newTemp(Ity_F64);
9565 t1 = newTemp(Ity_F64);
9703 IRTemp f64lo = newTemp(Ity_F64);
9716 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));
9739 IRTemp f64lo = newTemp(Ity_F64);
9750 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));
9840 t0 = newTemp(Ity_F64);
9841 t1 = newTemp(Ity_F64);
12617 IRTemp src = newTemp(isD ? Ity_F64 : Ity_F32);
12618 IRTemp res = newTemp(isD ? Ity_F64 : Ity_F32);
12636 assign( src, loadLE( isD ? Ity_F64 : Ity_F32, mkexpr(addr) ));
