The following fixes VRP to be less susceptible to TREE_OVERFLOW in the
GIMPLE IL (which we don't really want...). It also fixes fallout from
my earlier graphite fixes (look better at this stage than ignoring
fake edges when computing loop exists everywhere...).
Bootstrapped and tested on x86_64-unknown-linux-gnu, applied to trunk.
Richard.
2018-01-11 Richard Biener <rguent...@suse.de>
PR tree-optimization/83435
* graphite.c (canonicalize_loop_form): Ignore fake loop exit edges.
* graphite-scop-detection.c (scop_detection::get_sese): Likewise.
* tree-vrp.c (add_assert_info): Drop TREE_OVERFLOW if they appear.
* gcc.dg/graphite/pr83435.c: New testcase.
Index: gcc/graphite.c
===================================================================
--- gcc/graphite.c (revision 256479)
+++ gcc/graphite.c (working copy)
@@ -324,7 +324,7 @@ canonicalize_loop_form (void)
FOR_EACH_LOOP (loop, LI_FROM_INNERMOST)
{
edge e = single_exit (loop);
- if (!e || (e->flags & EDGE_COMPLEX))
+ if (!e || (e->flags & (EDGE_COMPLEX|EDGE_FAKE)))
continue;
canonicalize_loop_closed_ssa (loop, e);
Index: gcc/graphite-scop-detection.c
===================================================================
--- gcc/graphite-scop-detection.c (revision 256479)
+++ gcc/graphite-scop-detection.c (working copy)
@@ -428,7 +428,7 @@ scop_detection::get_sese (loop_p loop)
edge scop_begin = loop_preheader_edge (loop);
edge scop_end = single_exit (loop);
- if (!scop_end || (scop_end->flags & EDGE_COMPLEX))
+ if (!scop_end || (scop_end->flags & (EDGE_COMPLEX|EDGE_FAKE)))
return invalid_sese;
/* Include the BB with the loop-closed SSA PHI nodes.
canonicalize_loop_closed_ssa makes sure that is in proper shape. */
Index: gcc/tree-vrp.c
===================================================================
--- gcc/tree-vrp.c (revision 256479)
+++ gcc/tree-vrp.c (working copy)
@@ -2786,6 +2786,8 @@ add_assert_info (vec<assert_info> &asser
assert_info info;
info.comp_code = comp_code;
info.name = name;
+ if (TREE_OVERFLOW_P (val))
+ val = drop_tree_overflow (val);
info.val = val;
info.expr = expr;
asserts.safe_push (info);
Index: gcc/testsuite/gcc.dg/graphite/pr83435.c
===================================================================
--- gcc/testsuite/gcc.dg/graphite/pr83435.c (nonexistent)
+++ gcc/testsuite/gcc.dg/graphite/pr83435.c (working copy)
@@ -0,0 +1,25 @@
+/* { dg-do compile } */
+/* { dg-options "-O -ftree-parallelize-loops=2 -floop-parallelize-all" } */
+
+int yj, ax;
+
+void
+gf (signed char mp)
+{
+ int *dh = &yj;
+
+ for (;;)
+ {
+ signed char sb;
+
+ for (sb = 0; sb < 1; sb -= 8)
+ {
+ }
+
+ mp &= mp <= sb;
+ if (mp == 0)
+ dh = &ax;
+ mp = 0;
+ *dh = 0;
+ }
+}
