[Bug tree-optimization/68715] [6 Regression] ice: in harmful_stmt_in_region, at graphite-scop-detection.c:1043

[vries at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68715

vries at gcc dot gnu.org changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

--- Comment #11 from vries at gcc dot gnu.org ---
patch with test-cases committed, marking resolved-fixed.

[Bug tree-optimization/68715] [6 Regression] ice: in harmful_stmt_in_region, at graphite-scop-detection.c:1043

[vries at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68715

--- Comment #10 from vries at gcc dot gnu.org ---
Author: vries
Date: Wed Mar 16 09:19:23 2016
New Revision: 234251

URL: https://gcc.gnu.org/viewcvs?rev=234251=gcc=rev
Log:
Add missing single_pred_p test in scop_detection::merge_sese

2016-03-16  Tom de Vries  

PR tree-optimization/68715
* graphite-scop-detection.c (scop_detection::merge_sese): Add missing
single_pred_p test.

* gcc.dg/graphite/pr68715-2.c: New test.
* gcc.dg/graphite/pr68715.c: New test.
* gfortran.dg/graphite/pr68715.f90: New test.

Added:
trunk/gcc/testsuite/gcc.dg/graphite/pr68715-2.c
trunk/gcc/testsuite/gcc.dg/graphite/pr68715.c
trunk/gcc/testsuite/gfortran.dg/graphite/pr68715.f90
Modified:
trunk/gcc/ChangeLog
trunk/gcc/graphite-scop-detection.c
trunk/gcc/testsuite/ChangeLog

[Bug tree-optimization/68715] [6 Regression] ice: in harmful_stmt_in_region, at graphite-scop-detection.c:1043

[vries at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68715

vries at gcc dot gnu.org changed:

   What|Removed |Added

   Keywords||ice-on-valid-code, patch

--- Comment #9 from vries at gcc dot gnu.org ---
https://gcc.gnu.org/ml/gcc-patches/2016-03/msg00877.html

[Bug tree-optimization/68715] [6 Regression] ice: in harmful_stmt_in_region, at graphite-scop-detection.c:1043

[vries at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68715

--- Comment #8 from vries at gcc dot gnu.org ---
*** Bug 69735 has been marked as a duplicate of this bug. ***

[Bug tree-optimization/68715] [6 Regression] ice: in harmful_stmt_in_region, at graphite-scop-detection.c:1043

[Joost.VandeVondele at mat dot ethz.ch]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68715

--- Comment #7 from Joost VandeVondele  
---
(In reply to vries from comment #6)
> Created attachment 37976 [details]
> tentative patch, fixes examples from comment 4 and 5.

also fixes the first testcase, thanks!

For whatever reason I had to apply it manually.

[Bug tree-optimization/68715] [6 Regression] ice: in harmful_stmt_in_region, at graphite-scop-detection.c:1043

[vries at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68715

vries at gcc dot gnu.org changed:

   What|Removed |Added

 CC||vries at gcc dot gnu.org

--- Comment #6 from vries at gcc dot gnu.org ---
Created attachment 37976
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=37976=edit
tentative patch, fixes examples from comment 4 and 5.

[Bug tree-optimization/68715] [6 Regression] ice: in harmful_stmt_in_region, at graphite-scop-detection.c:1043

[ktkachov at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68715

--- Comment #5 from ktkachov at gcc dot gnu.org ---
Another testcase:
int a, b, c, d, f, g;
int e[1], h[1];
void fn2 ();
void fn3 ();
void
fn1 ()
{
  fn2 ();
  b = 0;
  for (; b < 10; b++)
;
}

void
fn2 ()
{
  if (a)
{
  fn3 ();
  c = d;
}
}

void
fn3 ()
{
  for (; g; g++)
e[g] = 2;
  if (f)
for (; g; g++)
  h[g] = 5;
}

[Bug tree-optimization/68715] [6 Regression] ice: in harmful_stmt_in_region, at graphite-scop-detection.c:1043

[ktkachov at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68715

ktkachov at gcc dot gnu.org changed:

   What|Removed |Added

   Last reconfirmed|2016-01-07 00:00:00 |2016-2-2
 CC||ktkachov at gcc dot gnu.org

--- Comment #4 from ktkachov at gcc dot gnu.org ---
Seeing this on aarch64 with current trunk at -Ofast -floop-interchange with the
C testcase with ISL 0.15:

int a[1], c[1];
int b, d, e;

void
fn1 (int p1)
{
  for (;;)
;
}

int
fn3 ()
{
  for (; e; e++)
c[e] = 2;
  for (; d; d--)
a[d] = 8;
  return 0;
}

int fn5 (int);

int
fn2 ()
{
  fn3 ();
}

void
fn4 ()
{
  fn1 (b || fn5 (fn2 ()));
}

[Bug tree-optimization/68715] [6 Regression] ice: in harmful_stmt_in_region, at graphite-scop-detection.c:1043

[law at redhat dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68715

Jeffrey A. Law  changed:

   What|Removed |Added

   Priority|P3  |P4
 CC||law at redhat dot com

[Bug tree-optimization/68715] [6 Regression] ice: in harmful_stmt_in_region, at graphite-scop-detection.c:1043

[dominiq at lps dot ens.fr]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68715

Dominique d'Humieres  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
 Ever confirmed|0   |1

--- Comment #2 from Dominique d'Humieres  ---
Confirmed, the test compiles with r227754, but gives an ICE with r228407.

[Bug tree-optimization/68715] [6 Regression] ice: in harmful_stmt_in_region, at graphite-scop-detection.c:1043

[Joost.VandeVondele at mat dot ethz.ch]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68715

Joost VandeVondele  changed:

   What|Removed |Added

   Last reconfirmed||2015-12-5
 CC||Joost.VandeVondele at mat dot 
ethz
   ||.ch, spop at gcc dot gnu.org
   Target Milestone|--- |6.0
  Known to fail||6.0

--- Comment #1 from Joost VandeVondele  
---
another graphite ice.