Lines Matching refs:Ity_F16
3364 vassert(ty == Ity_F16);3626 if (tyd == Ity_F16 && 0 == (offs & 1) && offs < (2<<12)) {4083 case Ity_F16: // we'll use HRcFlt64 regs for F16 too