[gcc r12-3842] Remove dominator check in fold_using_range::range_of_phi.

Aldy Hernandez aldyh@gcc.gnu.org
Thu Sep 23 11:08:56 GMT 2021


https://gcc.gnu.org/g:00446916206cbf9812a92b418090919515289a20

commit r12-3842-g00446916206cbf9812a92b418090919515289a20
Author: Aldy Hernandez <aldyh@redhat.com>
Date:   Thu Sep 23 09:40:59 2021 +0200

    Remove dominator check in fold_using_range::range_of_phi.
    
    Revert the following patch, as it was an artifact of diagnostic code
    being run with improper IL.
    
    commit 64b80b8819f9ea74712625bceb0ec4388e25f67d
    Author: Aldy Hernandez <aldyh@redhat.com>
    Date:   Tue Sep 21 08:28:28 2021 +0200
    
        Do not query SCEV in range_of_phi unless dominators are available.
    
        SCEV won't work without dominators and we can get called without
        dominators from debug_ranger.
    
    gcc/ChangeLog:
    
            * gimple-range-fold.cc (fold_using_range::range_of_phi):
            Remove dominator check.

Diff:
---
 gcc/gimple-range-fold.cc | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/gcc/gimple-range-fold.cc b/gcc/gimple-range-fold.cc
index 1da1befa9a2..35324fd72c2 100644
--- a/gcc/gimple-range-fold.cc
+++ b/gcc/gimple-range-fold.cc
@@ -826,9 +826,7 @@ fold_using_range::range_of_phi (irange &r, gphi *phi, fur_source &src)
       }
 
   // If SCEV is available, query if this PHI has any knonwn values.
-  if (dom_info_available_p (CDI_DOMINATORS)
-      && scev_initialized_p ()
-      && !POINTER_TYPE_P (TREE_TYPE (phi_def)))
+  if (scev_initialized_p () && !POINTER_TYPE_P (TREE_TYPE (phi_def)))
     {
       value_range loop_range;
       class loop *l = loop_containing_stmt (phi);


More information about the Gcc-cvs mailing list