[gcc(refs/users/guojiufu/heads/personal-branch)] change base<bnd to base<=bnd

[gcc(refs/users/guojiufu/heads/personal-branch)] change base<bnd to base<=bnd

[Jiu Fu Guo]

https://gcc.gnu.org/g:2801d6286a7b55139d4ff026ca552f47eba20348

commit 2801d6286a7b55139d4ff026ca552f47eba20348
Author: Jiufu Guo <guojiufu@linux.ibm.com>
Date:   Mon Jun 21 13:14:39 2021 +0800

    change base<bnd to base<=bnd

Diff:
---
 gcc/tree-ssa-loop-split.c | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/gcc/tree-ssa-loop-split.c b/gcc/tree-ssa-loop-split.c
index bf9cee66e92..c9d161565e4 100644
--- a/gcc/tree-ssa-loop-split.c
+++ b/gcc/tree-ssa-loop-split.c
@@ -1774,9 +1774,8 @@ get_wrap_assumption (class loop *loop, edge *exit, idx_elements &data)
       tree bnd_type = TREE_TYPE (bnd);
       if (!INTEGRAL_TYPE_P (bnd_type) || !TYPE_UNSIGNED (bnd_type))
 	continue;
-      if (TREE_CODE (bnd) == INTEGER_CST
-	  && (tree_int_cst_equal (bnd, TYPE_MAX_VALUE (bnd_type))
-	      || tree_int_cst_equal (bnd, TYPE_MIN_VALUE (bnd_type))))
+      if (tree_int_cst_equal (bnd, TYPE_MAX_VALUE (bnd_type))
+	  || tree_int_cst_equal (bnd, TYPE_MIN_VALUE (bnd_type)))
 	continue;
 
       /* Check if it is "idx != bnd" or "idx < bnd".  */
@@ -1823,7 +1822,7 @@ get_wrap_assumption (class loop *loop, edge *exit, idx_elements &data)
 	= fold_build2 (expect_code1, boolean_type_node, bnd, max_min_bnd);
       no_wrap
 	= fold_build2 (TRUTH_AND_EXPR, boolean_type_node, no_wrap,
-		       fold_build2 (expect_code, boolean_type_node, base, bnd));
+		       fold_build2 (expect_code1, boolean_type_node, base, bnd));
 
       if (integer_zerop (no_wrap))
 	continue;