Lines Matching refs:Ity_D32
994 vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_D32);
1003 return IRExpr_Get(fpr_w0_offset(archreg), Ity_D32);
7204 IRTemp dst1 = newTemp(Ity_D32);
7210 IRTemp dst4 = newTemp(Ity_D32);
7216 IRTemp dst7 = newTemp(Ity_D32);
7221 IRTemp src10 = newTemp(Ity_D32);
7223 IRTemp src11 = newTemp(Ity_D32);
7225 IRTemp src12 = newTemp(Ity_D32);
10149 IRTemp op = newTemp(Ity_D32);
10502 IRTemp value = newTemp(Ity_D32);
10541 IRTemp value = newTemp(Ity_D32);