Lines Matching refs:Ity_I128
3083 IRTemp src128 = newTemp(Ity_I128);3084 IRTemp dst128 = newTemp(Ity_I128);3648 IRTemp res128 = newTemp(Ity_I128);