From: Kazu Hirata <kazu@cs.umass.edu>
Date: Thu, 14 Apr 2005 13:34:57 +0000 (+0000)
Subject: re PR tree-optimization/20657 ([tcb] VRP does not get rid of a redundant "if" statement.)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a0ce797889cd14d04b87cdacb089fcee6f73415e;p=gcc.git

re PR tree-optimization/20657 ([tcb] VRP does not get rid of a redundant "if" statement.)

gcc/
	PR tree-optimization/20657
	* tree-vrp.c (extract_range_from_expr): Notice INTEGER_CST to
	create an appropriate range from it.

testsuite/
	PR tree-optimization/20657
	* gcc.dg/tree-ssa/pr20657.c: New.

From-SVN: r98134
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 5dc6889c69e..3a5d50a735c 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2005-04-14  Kazu Hirata  <kazu@cs.umass.edu>
+
+	PR tree-optimization/20657
+	* tree-vrp.c (extract_range_from_expr): Notice INTEGER_CST to
+	create an appropriate range from it.
+
 2005-04-14  Uros Bizjak  <uros@kss-loka.si>
 
 	* reg-stack.c (subst_stack_regs_pat): Handle <UNSPEC_FIST_FLOOR> and
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index d7731060aa8..83d08f52ed2 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2005-04-14  Kazu Hirata  <kazu@cs.umass.edu>
+
+	PR tree-optimization/20657
+	* gcc.dg/tree-ssa/pr20657.c: New.
+
 2005-04-14  Uros Bizjak  <uros@kss-loka.si>
 
 	* gcc.dg/builtins-53.c: Also check (int)trunc* and
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr20657.c b/gcc/testsuite/gcc.dg/tree-ssa/pr20657.c
new file mode 100644
index 00000000000..ac89847901a
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/tree-ssa/pr20657.c
@@ -0,0 +1,17 @@
+/* PR tree-optimization/20657
+   VRP did not pick up a conditional equivalence from the first "if"
+   statement, which was needed to eliminate the second "if" statement.  */
+
+/* { dg-do compile } */
+/* { dg-options "-O2 -fno-tree-dominator-opts -fdump-tree-vrp-details" } */
+
+int
+foo (int a)
+{
+  if (a == 0)
+    if (a == 0)
+      return 1;
+  return 0;
+}
+
+/* { dg-final { scan-tree-dump-times "Folding predicate" 1 "vrp"} } */
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c
index e8f52bb72f4..014f1956926 100644
--- a/gcc/tree-vrp.c
+++ b/gcc/tree-vrp.c
@@ -830,6 +830,8 @@ extract_range_from_expr (value_range *vr, tree expr)
     extract_range_from_unary_expr (vr, expr);
   else if (expr_computes_nonzero (expr))
     set_value_range_to_nonnull (vr, TREE_TYPE (expr));
+  else if (TREE_CODE (expr) == INTEGER_CST)
+    set_value_range (vr, VR_RANGE, expr, expr);
   else
     set_value_range (vr, VR_VARYING, NULL_TREE, NULL_TREE);
 }