Lines Matching refs:Iex_Const
695 return expr->tag == Iex_Const && expr->Iex.Const.con->tag == Ico_U64;