From 638cee48e65b9efcbced5adbef24233544a3450e Mon Sep 17 00:00:00 2001
From: Aldy Hernandez <aldyh@redhat.com>
Date: Thu, 30 Apr 2020 08:37:48 +0200
Subject: Query SSA names even for -fno-rvrp-changes.

This fixes the issue with RVRP1 running but not producing tracing dumps.
---
 gcc/gimple-ranger-vrp.cc | 18 +++++-------------
 1 file changed, 5 insertions(+), 13 deletions(-)

(limited to 'gcc')

diff --git a/gcc/gimple-ranger-vrp.cc b/gcc/gimple-ranger-vrp.cc
index 571bce2..5867d7a 100644
--- a/gcc/gimple-ranger-vrp.cc
+++ b/gcc/gimple-ranger-vrp.cc
@@ -74,27 +74,19 @@ public:
 
   tree get_value (tree op, gimple *stmt)
   {
-    if (disable_il_changes_p ())
-      return NULL;
-
     widest_irange r;
     tree singleton;
-    if (ranger.range_of_expr (r, op, stmt) && r.singleton_p (&singleton))
+    if (ranger.range_of_expr (r, op, stmt) && r.singleton_p (&singleton)
+	&& allow_il_changes)
       return singleton;
     return NULL;
   }
 
   bool fold_stmt (gimple_stmt_iterator *gsi)
   {
-    if (disable_il_changes_p ())
-      return false;
-
-    return simplifier.simplify (gsi);
-  }
-
-  bool disable_il_changes_p ()
-  {
-    return !allow_il_changes;
+    if (allow_il_changes)
+      return simplifier.simplify (gsi);
+    return false;
   }
 
 private:
-- 
cgit v1.1