Lines Matching refs:Ity_F64
1478 return IRExpr_Get( xmmGuestRegLane64offset(xmmreg,laneno), Ity_F64 );
1510 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_F64);
1560 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_F64);
5033 vassert(typeOfIRExpr(irsb->tyenv, value) == Ity_F64);
5034 descr = mkIRRegArray( OFFB_FPREGS, Ity_F64, 8 );
5063 IRRegArray* descr = mkIRRegArray( OFFB_FPREGS, Ity_F64, 8 );
5101 IRTemp old_val = newTemp(Ity_F64);
5103 IRTemp new_val = newTemp(Ity_F64);
5269 loadLE(Ity_F64,mkexpr(addr))
5294 loadLE(Ity_F64,mkexpr(addr)),
5749 t1 = newTemp(Ity_F64);
5758 t1 = newTemp(Ity_F64);
5759 t2 = newTemp(Ity_F64);
5865 IRTemp argD = newTemp(Ity_F64);
5868 IRTemp resD = newTemp(Ity_F64);
5900 IRTemp argF = newTemp(Ity_F64);
5901 IRTemp sigF = newTemp(Ity_F64);
5902 IRTemp expF = newTemp(Ity_F64);
5936 IRTemp a1 = newTemp(Ity_F64);
5937 IRTemp a2 = newTemp(Ity_F64);
5963 IRTemp a1 = newTemp(Ity_F64);
5964 IRTemp a2 = newTemp(Ity_F64);
6004 IRTemp argD = newTemp(Ity_F64);
6007 IRTemp resD = newTemp(Ity_F64);
6049 IRTemp argD = newTemp(Ity_F64);
6052 IRTemp resD = newTemp(Ity_F64);
6412 //.. loadLE(Ity_F64,mkexpr(addr))),
6427 loadLE(Ity_F64,mkexpr(addr))),
6509 put_ST(0, loadLE(Ity_F64, mkexpr(addr)));
10056 IRTemp argL = newTemp(Ity_F64);
10057 IRTemp argR = newTemp(Ity_F64);
10070 assign( argR, loadLE(Ity_F64, mkexpr(addr)) );
10328 IRTemp f64lo = newTemp(Ity_F64);
10340 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));
10520 IRTemp t0 = newTemp(Ity_F64);
10521 IRTemp t1 = newTemp(Ity_F64);
10674 t0 = newTemp(Ity_F64);
10675 t1 = newTemp(Ity_F64);
13135 IRTemp f64lo = newTemp(Ity_F64);
13136 IRTemp f64hi = newTemp(Ity_F64);
13151 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));
13152 assign(f64hi, loadLE(Ity_F64, binop( Iop_Add64,
13432 IRTemp f64lo = newTemp(Ity_F64);
13442 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));
19199 IRTemp src0 = newTemp(Ity_F64);
19200 IRTemp src1 = newTemp(Ity_F64);
19201 IRTemp res0 = newTemp(Ity_F64);
19202 IRTemp res1 = newTemp(Ity_F64);
19222 assign( src0, loadLE(Ity_F64,
19224 assign( src1, loadLE(Ity_F64,
19257 IRTemp src = newTemp(isD ? Ity_F64 : Ity_F32);
19258 IRTemp res = newTemp(isD ? Ity_F64 : Ity_F32);
19276 assign( src, loadLE( isD ? Ity_F64 : Ity_F32, mkexpr(addr) ));
25136 IRTemp f64lo = newTemp(Ity_F64);
25147 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)) );
27533 IRType ty = getRexW(pfx) ? Ity_F64 : Ity_F32;
27596 suffix = ty == Ity_F64 ? "sd" : "ss";
27598 suffix = ty == Ity_F64 ? "pd" : "ps";
27601 assign( vX, ty == Ity_F64
27603 assign( vZ, ty == Ity_F64
27614 assign( vY, ty == Ity_F64
27689 IROp op = ty == Ity_F64
27697 z[i] = unop(ty == Ity_F64 ? Iop_NegF64 : Iop_NegF32, z[i]);
27698 x[i] = IRExpr_Qop(ty == Ity_F64 ? Iop_MAddF64 : Iop_MAddF32,
27701 x[i] = unop(ty == Ity_F64 ? Iop_NegF64 : Iop_NegF32, x[i]);
27702 if (ty == Ity_F64)
30644 IRTemp src = newTemp(isD ? Ity_F64 : Ity_F32);
30645 IRTemp res = newTemp(isD ? Ity_F64 : Ity_F32);
30660 assign( src, loadLE( isD ? Ity_F64 : Ity_F32, mkexpr(addr) ));
