Lines Matching refs:Ity_F64
978 vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_F64);
987 return IRExpr_Get(fpr_dw0_offset(archreg), Ity_F64);
7209 IRTemp src4 = newTemp(Ity_F64);
7211 IRTemp src5 = newTemp(Ity_F64);
7213 IRTemp src6 = newTemp(Ity_F64);
7224 IRTemp dst11 = newTemp(Ity_F64);
7230 IRTemp dst14 = newTemp(Ity_F64);
7236 IRTemp dst17 = newTemp(Ity_F64);
8771 put_fpr_dw0(r1, load(Ity_F64, mkexpr(op2addr)));
8787 put_fpr_dw0(r1, load(Ity_F64, mkexpr(op2addr)));
8961 IRTemp op1 = newTemp(Ity_F64);
8962 IRTemp op2 = newTemp(Ity_F64);
8963 IRTemp result = newTemp(Ity_F64);
8997 IRTemp op1 = newTemp(Ity_F64);
8998 IRTemp op2 = newTemp(Ity_F64);
8999 IRTemp result = newTemp(Ity_F64);
9003 assign(op2, load(Ity_F64, mkexpr(op2addr)));
9166 IRTemp op = newTemp(Ity_F64);
9206 IRTemp op = newTemp(Ity_F64);
9240 IRTemp op = newTemp(Ity_F64);
9274 IRTemp op = newTemp(Ity_F64);
9307 IRTemp op1 = newTemp(Ity_F64);
9308 IRTemp op2 = newTemp(Ity_F64);
9309 IRTemp result = newTemp(Ity_F64);
9341 IRTemp op1 = newTemp(Ity_F64);
9342 IRTemp op2 = newTemp(Ity_F64);
9343 IRTemp result = newTemp(Ity_F64);
9347 assign(op2, load(Ity_F64, mkexpr(op2addr)));
9370 IRTemp result = newTemp(Ity_F64);
9394 IRTemp result = newTemp(Ity_F64);
9433 IRTemp op = newTemp(Ity_F64);
9463 IRTemp op1 = newTemp(Ity_F64);
9464 IRTemp op2 = newTemp(Ity_F64);
9465 IRTemp result = newTemp(Ity_F64);
9497 IRTemp op1 = newTemp(Ity_F64);
9498 IRTemp op2 = newTemp(Ity_F64);
9499 IRTemp result = newTemp(Ity_F64);
9503 assign(op2, load(Ity_F64, mkexpr(op2addr)));
9532 IRTemp op1 = newTemp(Ity_F64);
9533 IRTemp op2 = newTemp(Ity_F64);
9534 IRTemp result = newTemp(Ity_F64);
9568 IRTemp op1 = newTemp(Ity_F64);
9569 IRTemp op2 = newTemp(Ity_F64);
9570 IRTemp result = newTemp(Ity_F64);
9574 assign(op2, load(Ity_F64, mkexpr(op2addr)));
12010 IRTemp op1 = newTemp(Ity_F64);
12011 IRTemp op2 = newTemp(Ity_F64);
12064 IRTemp op1 = newTemp(Ity_F64);
12065 IRTemp op2 = newTemp(Ity_F64);
12070 assign(op2, load(Ity_F64, mkexpr(op2addr)));
12254 IRTemp op = newTemp(Ity_F64);
12276 IRTemp op = newTemp(Ity_F64);
12278 assign(op, load(Ity_F64, mkexpr(op2addr)));
12310 IRTemp result = newTemp(Ity_F64);
12346 IRTemp result = newTemp(Ity_F64);
12375 IRTemp result = newTemp(Ity_F64);
12455 IRExpr *op2 = load(Ity_F64, mkexpr(op2addr));
12501 IRExpr *op2 = load(Ity_F64, mkexpr(op2addr));
12525 IRTemp result = newTemp(Ity_F64);
12562 IRTemp op = newTemp(Ity_F64);
12565 assign(op, load(Ity_F64, mkexpr(op2addr)));
12604 IRTemp value = newTemp(Ity_F64);
12628 IRTemp result = newTemp(Ity_F64);
12639 IRTemp result = newTemp(Ity_F64);
12650 IRTemp result = newTemp(Ity_F64);