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