Correct a function pre/postcondition [PR102403].

[thirdparty/gcc.git] / gcc / graphite-scop-detection.c

diff --git a/gcc/graphite-scop-detection.c b/gcc/graphite-scop-detection.c
index 489d0b93b42f02a02be7051896fb390914b8c6ac..3e729b159b095d5471df2afeb520e2cf0811b808 100644 (file)
--- a/gcc/graphite-scop-detection.c
+++ b/gcc/graphite-scop-detection.c
@@ -1,5 +1,5 @@
 /* Detection of Static Control Parts (SCoP) for Graphite.
-   Copyright (C) 2009-2019 Free Software Foundation, Inc.
+   Copyright (C) 2009-2021 Free Software Foundation, Inc.
    Contributed by Sebastian Pop <sebastian.pop@amd.com> and
    Tobias Grosser <grosser@fim.uni-passau.de>.
 
@@ -19,7 +19,7 @@ You should have received a copy of the GNU General Public License
 along with GCC; see the file COPYING3.  If not see
 <http://www.gnu.org/licenses/>.  */
 
-#define USES_ISL
+#define INCLUDE_ISL
 
 #include "config.h"
 
@@ -30,7 +30,6 @@ along with GCC; see the file COPYING3.  If not see
 #include "backend.h"
 #include "cfghooks.h"
 #include "domwalk.h"
-#include "params.h"
 #include "tree.h"
 #include "gimple.h"
 #include "ssa.h"
@@ -1103,7 +1102,6 @@ static void
 assign_parameter_index_in_region (tree name, sese_info_p region)
 {
   gcc_assert (TREE_CODE (name) == SSA_NAME
-             && INTEGRAL_TYPE_P (TREE_TYPE (name))
              && ! defined_in_sese_p (name, region->region));
   int i;
   tree p;
@@ -1264,9 +1262,7 @@ build_cross_bb_scalars_def (scop_p scop, tree def, basic_block def_bb,
        && (def_bb != gimple_bb (use_stmt) && !is_gimple_debug (use_stmt)))
       {
        add_write (writes, def);
-       /* This is required by the FOR_EACH_IMM_USE_STMT when we want to break
-          before all the uses have been visited.  */
-       BREAK_FROM_IMM_USE_STMT (imm_iter);
+       break;
       }
 }
 
@@ -1639,7 +1635,7 @@ build_scops (vec<scop_p> *scops)
          continue;
        }
 
-      unsigned max_arrays = PARAM_VALUE (PARAM_GRAPHITE_MAX_ARRAYS_PER_SCOP);
+      unsigned max_arrays = param_graphite_max_arrays_per_scop;
       if (max_arrays > 0
          && scop->drs.length () >= max_arrays)
        {
@@ -1652,7 +1648,7 @@ build_scops (vec<scop_p> *scops)
        }
 
       find_scop_parameters (scop);
-      graphite_dim_t max_dim = PARAM_VALUE (PARAM_GRAPHITE_MAX_NB_SCOP_PARAMS);
+      graphite_dim_t max_dim = param_graphite_max_nb_scop_params;
       if (max_dim > 0
          && scop_nb_params (scop) > max_dim)
        {