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)));
9954 IRTemp argL = newTemp(Ity_F64);
9955 IRTemp argR = newTemp(Ity_F64);
9968 assign( argR, loadLE(Ity_F64, mkexpr(addr)) );
10226 IRTemp f64lo = newTemp(Ity_F64);
10238 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));
10418 IRTemp t0 = newTemp(Ity_F64);
10419 IRTemp t1 = newTemp(Ity_F64);
10572 t0 = newTemp(Ity_F64);
10573 t1 = newTemp(Ity_F64);
12543 IRTemp f64lo = newTemp(Ity_F64);
12544 IRTemp f64hi = newTemp(Ity_F64);
12559 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));
12560 assign(f64hi, loadLE(Ity_F64, binop( Iop_Add64,
12839 IRTemp f64lo = newTemp(Ity_F64);
12849 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));
18732 IRTemp src0 = newTemp(Ity_F64);
18733 IRTemp src1 = newTemp(Ity_F64);
18734 IRTemp res0 = newTemp(Ity_F64);
18735 IRTemp res1 = newTemp(Ity_F64);
18755 assign( src0, loadLE(Ity_F64,
18757 assign( src1, loadLE(Ity_F64,
18790 IRTemp src = newTemp(isD ? Ity_F64 : Ity_F32);
18791 IRTemp res = newTemp(isD ? Ity_F64 : Ity_F32);
18809 assign( src, loadLE( isD ? Ity_F64 : Ity_F32, mkexpr(addr) ));
24621 IRTemp f64lo = newTemp(Ity_F64);
24632 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)) );
27018 IRType ty = getRexW(pfx) ? Ity_F64 : Ity_F32;
27081 suffix = ty == Ity_F64 ? "sd" : "ss";
27083 suffix = ty == Ity_F64 ? "pd" : "ps";
27086 assign( vX, ty == Ity_F64
27088 assign( vZ, ty == Ity_F64
27099 assign( vY, ty == Ity_F64
27174 IROp op = ty == Ity_F64
27182 z[i] = unop(ty == Ity_F64 ? Iop_NegF64 : Iop_NegF32, z[i]);
27183 x[i] = IRExpr_Qop(ty == Ity_F64 ? Iop_MAddF64 : Iop_MAddF32,
27186 x[i] = unop(ty == Ity_F64 ? Iop_NegF64 : Iop_NegF32, x[i]);
27187 if (ty == Ity_F64)
30043 IRTemp src = newTemp(isD ? Ity_F64 : Ity_F32);
30044 IRTemp res = newTemp(isD ? Ity_F64 : Ity_F32);
30059 assign( src, loadLE( isD ? Ity_F64 : Ity_F32, mkexpr(addr) ));