Lines Matching refs:Ity_I64
230 vassert(guest_word_type == Ity_I32 || guest_word_type == Ity_I64);537 if (host_word_szB == 8) host_word_type = Ity_I64;736 host_word_type==Ity_I64 ? Iop_CmpNE64 : Iop_CmpNE32,738 host_word_type==Ity_I64
