Lines Matching refs:Ity_F64
1471 return IRExpr_Get( xmmGuestRegLane64offset(xmmreg,laneno), Ity_F64 );
1503 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_F64);
1553 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_F64);
5026 vassert(typeOfIRExpr(irsb->tyenv, value) == Ity_F64);
5027 descr = mkIRRegArray( OFFB_FPREGS, Ity_F64, 8 );
5056 IRRegArray* descr = mkIRRegArray( OFFB_FPREGS, Ity_F64, 8 );
5094 IRTemp old_val = newTemp(Ity_F64);
5096 IRTemp new_val = newTemp(Ity_F64);
5216 loadLE(Ity_F64,mkexpr(addr))
5241 loadLE(Ity_F64,mkexpr(addr)),
5694 t1 = newTemp(Ity_F64);
5703 t1 = newTemp(Ity_F64);
5704 t2 = newTemp(Ity_F64);
5810 IRTemp argD = newTemp(Ity_F64);
5813 IRTemp resD = newTemp(Ity_F64);
5845 IRTemp argF = newTemp(Ity_F64);
5846 IRTemp sigF = newTemp(Ity_F64);
5847 IRTemp expF = newTemp(Ity_F64);
5881 IRTemp a1 = newTemp(Ity_F64);
5882 IRTemp a2 = newTemp(Ity_F64);
5908 IRTemp a1 = newTemp(Ity_F64);
5909 IRTemp a2 = newTemp(Ity_F64);
5949 IRTemp argD = newTemp(Ity_F64);
5952 IRTemp resD = newTemp(Ity_F64);
5994 IRTemp argD = newTemp(Ity_F64);
5997 IRTemp resD = newTemp(Ity_F64);
6389 //.. loadLE(Ity_F64,mkexpr(addr))),
6404 loadLE(Ity_F64,mkexpr(addr))),
6485 put_ST(0, loadLE(Ity_F64, mkexpr(addr)));
9963 IRTemp argL = newTemp(Ity_F64);
9964 IRTemp argR = newTemp(Ity_F64);
9977 assign( argR, loadLE(Ity_F64, mkexpr(addr)) );
10235 IRTemp f64lo = newTemp(Ity_F64);
10247 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));
10427 IRTemp t0 = newTemp(Ity_F64);
10428 IRTemp t1 = newTemp(Ity_F64);
10581 t0 = newTemp(Ity_F64);
10582 t1 = newTemp(Ity_F64);
12552 IRTemp f64lo = newTemp(Ity_F64);
12553 IRTemp f64hi = newTemp(Ity_F64);
12568 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));
12569 assign(f64hi, loadLE(Ity_F64, binop( Iop_Add64,
12848 IRTemp f64lo = newTemp(Ity_F64);
12858 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));
18747 IRTemp src0 = newTemp(Ity_F64);
18748 IRTemp src1 = newTemp(Ity_F64);
18749 IRTemp res0 = newTemp(Ity_F64);
18750 IRTemp res1 = newTemp(Ity_F64);
18770 assign( src0, loadLE(Ity_F64,
18772 assign( src1, loadLE(Ity_F64,
18805 IRTemp src = newTemp(isD ? Ity_F64 : Ity_F32);
18806 IRTemp res = newTemp(isD ? Ity_F64 : Ity_F32);
18824 assign( src, loadLE( isD ? Ity_F64 : Ity_F32, mkexpr(addr) ));
24675 IRTemp f64lo = newTemp(Ity_F64);
24686 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)) );
27072 IRType ty = getRexW(pfx) ? Ity_F64 : Ity_F32;
27135 suffix = ty == Ity_F64 ? "sd" : "ss";
27137 suffix = ty == Ity_F64 ? "pd" : "ps";
27140 assign( vX, ty == Ity_F64
27142 assign( vZ, ty == Ity_F64
27153 assign( vY, ty == Ity_F64
27228 IROp op = ty == Ity_F64
27236 z[i] = unop(ty == Ity_F64 ? Iop_NegF64 : Iop_NegF32, z[i]);
27237 x[i] = IRExpr_Qop(ty == Ity_F64 ? Iop_MAddF64 : Iop_MAddF32,
27240 x[i] = unop(ty == Ity_F64 ? Iop_NegF64 : Iop_NegF32, x[i]);
27241 if (ty == Ity_F64)
30183 IRTemp src = newTemp(isD ? Ity_F64 : Ity_F32);
30184 IRTemp res = newTemp(isD ? Ity_F64 : Ity_F32);
30199 assign( src, loadLE( isD ? Ity_F64 : Ity_F32, mkexpr(addr) ));
