From: Jan Hubicka <jh@suse.cz>
Date: Tue, 5 Jul 2016 16:02:52 +0000 (+0200)
Subject: tree-scalar-evoluiton.c (simple_iv): Use nowrap_type to check if IV can overflow.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1210573b1dc2b4151f7a1076e23d05f605f22b39;p=gcc.git

tree-scalar-evoluiton.c (simple_iv): Use nowrap_type to check if IV can overflow.

	* tree-scalar-evoluiton.c (simple_iv): Use nowrap_type to check if
	IV can overflow.

From-SVN: r238009
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 135fd5b678b..5e466b7cd7d 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2016-07-05  Jan Hubicka  <jh@suse.cz>
+
+	* tree-scalar-evoluiton.c (simple_iv): Use nowrap_type to check if
+	IV can overflow.
+
 2016-07-05  Richard Biener  <rguenther@suse.de>
 
 	* gimple-ssa-split-paths.c (find_block_to_duplicate_for_splitting_pa):
diff --git a/gcc/tree-scalar-evolution.c b/gcc/tree-scalar-evolution.c
index d6f2a2fba14..7c4c4336728 100644
--- a/gcc/tree-scalar-evolution.c
+++ b/gcc/tree-scalar-evolution.c
@@ -3375,8 +3375,7 @@ simple_iv (struct loop *wrto_loop, struct loop *use_loop, tree op,
   if (tree_contains_chrecs (iv->base, NULL))
     return false;
 
-  iv->no_overflow = (!folded_casts && ANY_INTEGRAL_TYPE_P (type)
-		     && TYPE_OVERFLOW_UNDEFINED (type));
+  iv->no_overflow = !folded_casts && nowrap_type_p (type);
 
   /* Try to simplify iv base: