Lines Matching refs:Ity_I64
226 vassert(guest_word_type == Ity_I32 || guest_word_type == Ity_I64);533 if (host_word_szB == 8) host_word_type = Ity_I64;732 host_word_type==Ity_I64 ? Iop_CmpNE64 : Iop_CmpNE32,734 host_word_type==Ity_I64