------- Comment #13 from ebotcazou at gcc dot gnu dot org  2007-07-13 19:09 
-------
> What about doing the same for them?

That doesn't work as easily as I expected. :-)

Now I get the same assertion failure for non-degenerate PHI nodes whose result
is not SSA_NAME_OCCURS_IN_ABNORMAL_PHI but whose operands are, so something
like

--- tree-ssa-sccvn.c    (revision 126547)
+++ tree-ssa-sccvn.c    (working copy)
@@ -1502,7 +1502,11 @@ visit_use (tree use)
     {
       if (TREE_CODE (stmt) == PHI_NODE)
        {
-         changed = visit_phi (stmt);
+         tree result = PHI_RESULT (stmt);
+         if (SSA_NAME_OCCURS_IN_ABNORMAL_PHI (result))
+           changed = set_ssa_val_to (result, result);
+         else
+           changed = visit_phi (stmt);
        }
       else if (TREE_CODE (stmt) != GIMPLE_MODIFY_STMT
               || (ann && ann->has_volatile_ops))

is not sufficient.  So I'm going to test your solution.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=32705

Reply via email to