Lines Matching refs:Ity_F64
1399 return IRExpr_Get( xmmGuestRegLane64offset(xmmreg,laneno), Ity_F64 );
1431 vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_F64);
4652 vassert(typeOfIRExpr(irsb->tyenv, value) == Ity_F64);
4653 descr = mkIRRegArray( OFFB_FPREGS, Ity_F64, 8 );
4681 IRRegArray* descr = mkIRRegArray( OFFB_FPREGS, Ity_F64, 8 );
4760 loadLE(Ity_F64,mkexpr(addr))
4785 loadLE(Ity_F64,mkexpr(addr)),
5231 t1 = newTemp(Ity_F64);
5240 t1 = newTemp(Ity_F64);
5241 t2 = newTemp(Ity_F64);
5367 IRTemp argF = newTemp(Ity_F64);
5368 IRTemp sigF = newTemp(Ity_F64);
5369 IRTemp expF = newTemp(Ity_F64);
5403 IRTemp a1 = newTemp(Ity_F64);
5404 IRTemp a2 = newTemp(Ity_F64);
5430 IRTemp a1 = newTemp(Ity_F64);
5431 IRTemp a2 = newTemp(Ity_F64);
5470 IRTemp a1 = newTemp(Ity_F64);
5903 //.. loadLE(Ity_F64,mkexpr(addr))),
5918 loadLE(Ity_F64,mkexpr(addr))),
5999 put_ST(0, loadLE(Ity_F64, mkexpr(addr)));
10607 IRTemp argL = newTemp(Ity_F64);
10608 IRTemp argR = newTemp(Ity_F64);
10619 assign( argR, loadLE(Ity_F64, mkexpr(addr)) );
10747 t0 = newTemp(Ity_F64);
10748 t1 = newTemp(Ity_F64);
10776 IRTemp f64lo = newTemp(Ity_F64);
10777 IRTemp f64hi = newTemp(Ity_F64);
10792 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));
10793 assign(f64hi, loadLE(Ity_F64, binop( Iop_Add64,
10846 t0 = newTemp(Ity_F64);
10847 t1 = newTemp(Ity_F64);
11007 IRTemp f64lo = newTemp(Ity_F64);
11020 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));
11049 IRTemp f64lo = newTemp(Ity_F64);
11060 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));
15461 IRTemp src = newTemp(isD ? Ity_F64 : Ity_F32);
15462 IRTemp res = newTemp(isD ? Ity_F64 : Ity_F32);
15480 assign( src, loadLE( isD ? Ity_F64 : Ity_F32, mkexpr(addr) ));
15512 IRTemp src0 = newTemp(Ity_F64);
15513 IRTemp src1 = newTemp(Ity_F64);
15514 IRTemp res0 = newTemp(Ity_F64);
15515 IRTemp res1 = newTemp(Ity_F64);
15535 assign( src0, loadLE(Ity_F64,
15537 assign( src1, loadLE(Ity_F64,
