Lines Matching refs:Ico_U64
932 && e->Iex.Const.con->tag == Ico_U64
3636 || udst->Iex.Const.con->tag == Ico_U64)) {
3639 xxx_value = udst->Iex.Const.con->tag == Ico_U64
3681 vassert(con->tag == Ico_U32 || con->tag == Ico_U64);
3683 xxx_value = con->tag == Ico_U64
3719 vassert(con->tag == Ico_U32 || con->tag == Ico_U64);
3724 || udst->Iex.Const.con->tag == Ico_U64);
3728 if (con->tag == Ico_U64) {
