584    return IRExpr_Get( xmmGuestRegLane64offset(xmmreg,laneno), Ity_F64 );  in getXMMRegLane64F()
611    vassert(typeOfIRExpr(irsb->tyenv,e) == Ity_F64);  in putXMMRegLane64F()
3552    vassert(typeOfIRExpr(irsb->tyenv, value) == Ity_F64);  in put_ST_UNCHECKED()
3553    descr = mkIRRegArray( OFFB_FPREGS, Ity_F64, 8 );  in put_ST_UNCHECKED()
3582    IRRegArray* descr = mkIRRegArray( OFFB_FPREGS, Ity_F64, 8 );  in get_ST_UNCHECKED()
3620    IRTemp old_val = newTemp(Ity_F64);  in maybe_put_ST()
3622    IRTemp new_val = newTemp(Ity_F64);  in maybe_put_ST()
3741                 loadLE(Ity_F64,mkexpr(addr))  in fp_do_op_mem_ST_0()
3766                 loadLE(Ity_F64,mkexpr(addr)),  in fp_do_oprev_mem_ST_0()
4193                t1 = newTemp(Ity_F64);  in dis_FPU()
4202                t1 = newTemp(Ity_F64);  in dis_FPU()
4203                t2 = newTemp(Ity_F64);  in dis_FPU()
4327                IRTemp argD = newTemp(Ity_F64);  in dis_FPU()
4330                IRTemp resD = newTemp(Ity_F64);  in dis_FPU()
4362                IRTemp argF = newTemp(Ity_F64);  in dis_FPU()
4363                IRTemp sigF = newTemp(Ity_F64);  in dis_FPU()
4364                IRTemp expF = newTemp(Ity_F64);  in dis_FPU()
4398                IRTemp a1 = newTemp(Ity_F64);  in dis_FPU()
4399                IRTemp a2 = newTemp(Ity_F64);  in dis_FPU()
4424                IRTemp a1 = newTemp(Ity_F64);  in dis_FPU()
4425                IRTemp a2 = newTemp(Ity_F64);  in dis_FPU()
4464                IRTemp argD = newTemp(Ity_F64);  in dis_FPU()
4467                IRTemp resD = newTemp(Ity_F64);  in dis_FPU()
4509                IRTemp argD = newTemp(Ity_F64);  in dis_FPU()
4512                IRTemp resD = newTemp(Ity_F64);  in dis_FPU()
4920                                       loadLE(Ity_F64,mkexpr(addr))),  in dis_FPU()
4934                                       loadLE(Ity_F64,mkexpr(addr))),  in dis_FPU()
5015                put_ST(0, loadLE(Ity_F64, mkexpr(addr)));  in dis_FPU()
9592       IRTemp argL = newTemp(Ity_F64);  in disInstr_X86_WRK()
9593       IRTemp argR = newTemp(Ity_F64);  in disInstr_X86_WRK()
9602 	 assign( argR, loadLE(Ity_F64, mkexpr(addr)) );  in disInstr_X86_WRK()
9715       t0 = newTemp(Ity_F64);  in disInstr_X86_WRK()
9716       t1 = newTemp(Ity_F64);  in disInstr_X86_WRK()
9743       IRTemp f64lo  = newTemp(Ity_F64);  in disInstr_X86_WRK()
9744       IRTemp f64hi  = newTemp(Ity_F64);  in disInstr_X86_WRK()
9759 	 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));  in disInstr_X86_WRK()
9760 	 assign(f64hi, loadLE(Ity_F64, binop( Iop_Add32,   in disInstr_X86_WRK()
9811       t0 = newTemp(Ity_F64);  in disInstr_X86_WRK()
9812       t1 = newTemp(Ity_F64);  in disInstr_X86_WRK()
9950       IRTemp f64lo = newTemp(Ity_F64);  in disInstr_X86_WRK()
9963 	 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));  in disInstr_X86_WRK()
9986       IRTemp f64lo = newTemp(Ity_F64);  in disInstr_X86_WRK()
9997 	 assign(f64lo, loadLE(Ity_F64, mkexpr(addr)));  in disInstr_X86_WRK()
10087       t0 = newTemp(Ity_F64);  in disInstr_X86_WRK()
10088       t1 = newTemp(Ity_F64);  in disInstr_X86_WRK()
12891       IRTemp src = newTemp(isD ? Ity_F64 : Ity_F32);  in disInstr_X86_WRK()
12892       IRTemp res = newTemp(isD ? Ity_F64 : Ity_F32);  in disInstr_X86_WRK()
12910          assign( src, loadLE( isD ? Ity_F64 : Ity_F32, mkexpr(addr) ));  in disInstr_X86_WRK()