Lines Matching refs:Ity_I64
227 vassert(guest_word_type == Ity_I32 || guest_word_type == Ity_I64);535 if (host_word_szB == 8) host_word_type = Ity_I64;734 host_word_type==Ity_I64 ? Iop_CmpNE64 : Iop_CmpNE32,736 host_word_type==Ity_I64