diff options
| author | Aldy Hernandez <aldyh@redhat.com> | 2020-04-30 08:37:48 +0200 |
|---|---|---|
| committer | Aldy Hernandez <aldyh@redhat.com> | 2020-04-30 09:32:24 +0200 |
| commit | 638cee48e65b9efcbced5adbef24233544a3450e (patch) | |
| tree | f36e74c0f11108b59074842a830f4112543eba1e | |
| parent | 2453788a87920efd9cd9a87667cce8a8ce695c1b (diff) | |
| download | gcc-638cee48e65b9efcbced5adbef24233544a3450e.zip gcc-638cee48e65b9efcbced5adbef24233544a3450e.tar.gz gcc-638cee48e65b9efcbced5adbef24233544a3450e.tar.bz2 | |
Query SSA names even for -fno-rvrp-changes.
This fixes the issue with RVRP1 running but not producing tracing dumps.
| -rw-r--r-- | gcc/gimple-ranger-vrp.cc | 18 |
1 files changed, 5 insertions, 13 deletions
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: |