Lines Matching refs:Ity_F64

797    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_F64);
806 return IRExpr_Get(fpr_dw0_offset(archreg), Ity_F64);
7998 put_fpr_dw0(r1, load(Ity_F64, mkexpr(op2addr)));
8014 put_fpr_dw0(r1, load(Ity_F64, mkexpr(op2addr)));
8133 IRTemp op1 = newTemp(Ity_F64);
8134 IRTemp op2 = newTemp(Ity_F64);
8135 IRTemp result = newTemp(Ity_F64);
8167 IRTemp op1 = newTemp(Ity_F64);
8168 IRTemp op2 = newTemp(Ity_F64);
8169 IRTemp result = newTemp(Ity_F64);
8172 assign(op2, load(Ity_F64, mkexpr(op2addr)));
8243 IRTemp op = newTemp(Ity_F64);
8273 IRTemp op = newTemp(Ity_F64);
8304 IRTemp op1 = newTemp(Ity_F64);
8305 IRTemp op2 = newTemp(Ity_F64);
8306 IRTemp result = newTemp(Ity_F64);
8336 IRTemp op1 = newTemp(Ity_F64);
8337 IRTemp op2 = newTemp(Ity_F64);
8338 IRTemp result = newTemp(Ity_F64);
8341 assign(op2, load(Ity_F64, mkexpr(op2addr)));
8364 IRTemp result = newTemp(Ity_F64);
8388 IRTemp result = newTemp(Ity_F64);
8422 IRTemp op = newTemp(Ity_F64);
8449 IRTemp op1 = newTemp(Ity_F64);
8450 IRTemp op2 = newTemp(Ity_F64);
8451 IRTemp result = newTemp(Ity_F64);
8481 IRTemp op1 = newTemp(Ity_F64);
8482 IRTemp op2 = newTemp(Ity_F64);
8483 IRTemp result = newTemp(Ity_F64);
8486 assign(op2, load(Ity_F64, mkexpr(op2addr)));
8514 IRTemp op1 = newTemp(Ity_F64);
8515 IRTemp op2 = newTemp(Ity_F64);
8516 IRTemp result = newTemp(Ity_F64);
8548 IRTemp op1 = newTemp(Ity_F64);
8549 IRTemp op2 = newTemp(Ity_F64);
8550 IRTemp result = newTemp(Ity_F64);
8553 assign(op2, load(Ity_F64, mkexpr(op2addr)));
9976 IRTemp op1 = newTemp(Ity_F64);
9977 IRTemp op2 = newTemp(Ity_F64);
10030 IRTemp op1 = newTemp(Ity_F64);
10031 IRTemp op2 = newTemp(Ity_F64);
10036 assign(op2, load(Ity_F64, mkexpr(op2addr)));
10140 IRTemp op = newTemp(Ity_F64);
10162 IRTemp op = newTemp(Ity_F64);
10164 assign(op, load(Ity_F64, mkexpr(op2addr)));
10196 IRTemp result = newTemp(Ity_F64);
10232 IRTemp result = newTemp(Ity_F64);
10256 IRTemp result = newTemp(Ity_F64);
10323 IRExpr *op2 = load(Ity_F64, mkexpr(op2addr));
10363 IRExpr *op2 = load(Ity_F64, mkexpr(op2addr));
10385 IRTemp result = newTemp(Ity_F64);
10418 IRTemp op = newTemp(Ity_F64);
10420 assign(op, load(Ity_F64, mkexpr(op2addr)));
10458 IRTemp value = newTemp(Ity_F64);
10482 IRTemp result = newTemp(Ity_F64);
10493 IRTemp result = newTemp(Ity_F64);
10504 IRTemp result = newTemp(Ity_F64);