Lines Matching refs:Ity_I128
63 in 32 bit mode or Ity_I128 temps in 64-bit mode.496 vassert(ty == Ity_I128);2177 case Ity_I128: {2405 case Ity_I128: