Lines Matching refs:Ity_F32
3180 vassert(ty == Ity_F32);
3212 vassert(e->Iex.Load.ty == Ity_F32);
3570 if (tyd == Ity_F32) {
3620 if (tyd == Ity_F32 && 0 == (offs & 3) && offs < (4<<12)) {
3675 if (ty == Ity_F32) {
4065 case Ity_F32: // we'll use HRcFlt64 regs for F32 too
