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)));
9592 IRTemp argL = newTemp(Ity_F64);
9593 IRTemp argR = newTemp(Ity_F64);
9602 assign( argR, loadLE(Ity_F64, mkexpr(addr)) );
9715 t0 = newTemp(Ity_F64);
9716 t1 = newTemp(Ity_F64);
9743 IRTemp f64lo = newTemp(Ity_F64);
9744 IRTemp f64hi = newTemp(Ity_F64);
9759 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));
9760 assign(f64hi, loadLE(Ity_F64, binop( Iop_Add32,
9811 t0 = newTemp(Ity_F64);
9812 t1 = newTemp(Ity_F64);
9950 IRTemp f64lo = newTemp(Ity_F64);
9963 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));
9986 IRTemp f64lo = newTemp(Ity_F64);
9997 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));
10087 t0 = newTemp(Ity_F64);
10088 t1 = newTemp(Ity_F64);
12891 IRTemp src = newTemp(isD ? Ity_F64 : Ity_F32);
12892 IRTemp res = newTemp(isD ? Ity_F64 : Ity_F32);
12910 assign( src, loadLE( isD ? Ity_F64 : Ity_F32, mkexpr(addr) ));
