Lines Matching refs:Ity_F64
696 *t0 = newTemp(Ity_F64);
697 *t1 = newTemp(Ity_F64);
698 *t2 = newTemp(Ity_F64);
699 *t3 = newTemp(Ity_F64);
1145 return IRExpr_Get( floatGuestRegOffset(archreg), Ity_F64 );
1152 vassert(typeOfIRExpr(irsb->tyenv, e) == Ity_F64);
4193 IRTemp frB = newTemp(Ity_F64);
4207 IRTemp frA = newTemp(Ity_F64);
7483 putFReg( frD_addr, loadBE(Ity_F64, mkexpr(EA)) );
7491 putFReg( frD_addr, loadBE(Ity_F64, mkexpr(EA)) );
7522 putFReg( frD_addr, loadBE(Ity_F64, mkexpr(EA)) );
7530 putFReg( frD_addr, loadBE(Ity_F64, mkexpr(EA)) );
7586 IRTemp frS = newTemp(Ity_F64);
7716 IRTemp frD = newTemp(Ity_F64);
7717 IRTemp frA = newTemp(Ity_F64);
7718 IRTemp frB = newTemp(Ity_F64);
7719 IRTemp frC = newTemp(Ity_F64);
7954 IRTemp frD = newTemp(Ity_F64);
7955 IRTemp frA = newTemp(Ity_F64);
7956 IRTemp frB = newTemp(Ity_F64);
7957 IRTemp frC = newTemp(Ity_F64);
7959 IRTemp tmp = newTemp(Ity_F64);
8504 IRTemp frA = newTemp(Ity_F64);
8505 IRTemp frB = newTemp(Ity_F64);
8599 IRTemp frD = newTemp(Ity_F64);
8600 IRTemp frB = newTemp(Ity_F64);
8816 IRTemp frT_hi = newTemp(Ity_F64);
8817 IRTemp frT_lo = newTemp(Ity_F64);
8870 putFReg( frT_hi_addr, loadBE(Ity_F64, mkexpr(EA_hi)) );
8871 putFReg( frT_lo_addr, loadBE(Ity_F64, mkexpr(EA_lo)) );
8892 IRTemp frD = newTemp(Ity_F64);
8893 IRTemp frA = newTemp(Ity_F64);
8894 IRTemp frB = newTemp(Ity_F64);
8948 IRTemp frD = newTemp(Ity_F64);
8949 IRTemp frB = newTemp(Ity_F64);
8950 IRTemp itmpB = newTemp(Ity_F64);
8969 frA = newTemp(Ity_F64);
9150 IRTemp frB = newTemp(Ity_F64);
12242 xB = newTemp(Ity_F64);
12250 xB = newTemp(Ity_F64);
12251 xB2 = newTemp(Ity_F64);
12729 IRTemp frA = newTemp(Ity_F64);
12730 IRTemp frB = newTemp(Ity_F64);
12731 IRTemp frA2 = newTemp(Ity_F64);
12732 IRTemp frB2 = newTemp(Ity_F64);
12852 IRTemp frT = newTemp(Ity_F64);
12853 IRTemp frT2 = newTemp(Ity_F64);
13666 IRTemp frB = newTemp(Ity_F64);
13667 IRTemp frD = newTemp(Ity_F64);
13776 IRTemp sqrtHi = newTemp(Ity_F64);
13777 IRTemp sqrtLo = newTemp(Ity_F64);
13819 IRTemp sqrt3 = newTemp(Ity_F64);
13820 IRTemp sqrt2 = newTemp(Ity_F64);
13821 IRTemp sqrt1 = newTemp(Ity_F64);
13822 IRTemp sqrt0 = newTemp(Ity_F64);
14037 Ity_F64);
14038 IRTemp frB2 = newTemp(Ity_F64);
14039 IRTemp abs_resultHi = newTemp(Ity_F64);
14040 IRTemp abs_resultLo = newTemp(Ity_F64);
14102 IRTemp frB = newTemp(Ity_F64);
14103 IRTemp frB2 = newTemp(Ity_F64);
14229 IRTemp frA = newTemp(Ity_F64);
14230 IRTemp frB = newTemp(Ity_F64);
14295 IRTemp frT = newTemp(Ity_F64);
14313 IRTemp frT = newTemp(Ity_F64);
14330 IRTemp frT = newTemp(Ity_F64);
14348 IRTemp frT = newTemp(Ity_F64);
14371 IRTemp frT = newTemp(Ity_F64);
14391 IRTemp frT = newTemp(Ity_F64);
14414 IRTemp frT = newTemp(Ity_F64);
14438 IRTemp frT = newTemp(Ity_F64);
14558 IRTemp frA = newTemp(Ity_F64);
14559 IRTemp frB = newTemp(Ity_F64);
14589 IRTemp frA_hi = newTemp(Ity_F64);
14590 IRTemp frB_hi = newTemp(Ity_F64);
14591 IRTemp frA_lo = newTemp(Ity_F64);
14592 IRTemp frB_lo = newTemp(Ity_F64);
14891 IRTemp frB = newTemp(Ity_F64);
14892 IRTemp sqrt = newTemp(Ity_F64);
14925 IRTemp frB = newTemp(Ity_F64);
14926 IRTemp sqrt = newTemp(Ity_F64);
14953 IRTemp frB = newTemp(Ity_F64);
15213 IRTemp high64 = newTemp(Ity_F64);