Lines Matching refs:Ity_F32
774 vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_F32);
783 return IRExpr_Get(fpr_w0_offset(archreg), Ity_F32);
7990 put_fpr_w0(r1, load(Ity_F32, mkexpr(op2addr)));
8006 put_fpr_w0(r1, load(Ity_F32, mkexpr(op2addr)));
8116 IRTemp op1 = newTemp(Ity_F32);
8117 IRTemp op2 = newTemp(Ity_F32);
8118 IRTemp result = newTemp(Ity_F32);
8150 IRTemp op1 = newTemp(Ity_F32);
8151 IRTemp op2 = newTemp(Ity_F32);
8152 IRTemp result = newTemp(Ity_F32);
8155 assign(op2, load(Ity_F32, mkexpr(op2addr)));
8228 IRTemp op = newTemp(Ity_F32);
8258 IRTemp op = newTemp(Ity_F32);
8288 IRTemp op1 = newTemp(Ity_F32);
8289 IRTemp op2 = newTemp(Ity_F32);
8290 IRTemp result = newTemp(Ity_F32);
8320 IRTemp op1 = newTemp(Ity_F32);
8321 IRTemp op2 = newTemp(Ity_F32);
8322 IRTemp result = newTemp(Ity_F32);
8325 assign(op2, load(Ity_F32, mkexpr(op2addr)));
8352 IRTemp result = newTemp(Ity_F32);
8376 IRTemp result = newTemp(Ity_F32);
8400 IRTemp op = newTemp(Ity_F32);
8411 IRTemp op = newTemp(Ity_F32);
8413 assign(op, load(Ity_F32, mkexpr(op2addr)));
8433 IRTemp op1 = newTemp(Ity_F32);
8434 IRTemp op2 = newTemp(Ity_F32);
8435 IRTemp result = newTemp(Ity_F32);
8465 IRTemp op1 = newTemp(Ity_F32);
8466 IRTemp op2 = newTemp(Ity_F32);
8467 IRTemp result = newTemp(Ity_F32);
8470 assign(op2, load(Ity_F32, mkexpr(op2addr)));
8497 IRTemp op1 = newTemp(Ity_F32);
8498 IRTemp op2 = newTemp(Ity_F32);
8499 IRTemp result = newTemp(Ity_F32);
8531 IRTemp op1 = newTemp(Ity_F32);
8532 IRTemp op2 = newTemp(Ity_F32);
8533 IRTemp result = newTemp(Ity_F32);
8536 assign(op2, load(Ity_F32, mkexpr(op2addr)));
9958 IRTemp op1 = newTemp(Ity_F32);
9959 IRTemp op2 = newTemp(Ity_F32);
10012 IRTemp op1 = newTemp(Ity_F32);
10013 IRTemp op2 = newTemp(Ity_F32);
10018 assign(op2, load(Ity_F32, mkexpr(op2addr)));
10151 IRTemp op = newTemp(Ity_F32);
10173 IRTemp op = newTemp(Ity_F32);
10175 assign(op, load(Ity_F32, mkexpr(op2addr)));
10184 IRTemp result = newTemp(Ity_F32);
10220 IRTemp result = newTemp(Ity_F32);
10267 IRTemp result = newTemp(Ity_F32);
10312 IRExpr *op2 = load(Ity_F32, mkexpr(op2addr));
10352 IRExpr *op2 = load(Ity_F32, mkexpr(op2addr));
10374 IRTemp result = newTemp(Ity_F32);
10407 IRTemp op = newTemp(Ity_F32);
10409 assign(op, load(Ity_F32, mkexpr(op2addr)));
10446 IRTemp value = newTemp(Ity_F32);
