[Bug libgomp/84466] [8 regression] libgomp.graphite/force-parallel-8.c fails starting with r257723

2018-02-27 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84466

--- Comment #6 from Richard Biener  ---
Author: rguenth
Date: Tue Feb 27 14:45:46 2018
New Revision: 258035

URL: https://gcc.gnu.org/viewcvs?rev=258035&root=gcc&view=rev
Log:
2018-02-27  Richard Biener  

PR tree-optimization/84466
* graphite-scop-detection.c (scop_detection::stmt_simple_for_scop_p):
Adjust last change to less strictly validate use operands.

Modified:
trunk/gcc/ChangeLog
trunk/gcc/graphite-scop-detection.c

[Bug libgomp/84466] [8 regression] libgomp.graphite/force-parallel-8.c fails starting with r257723

2018-02-27 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84466

Richard Biener  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED

--- Comment #5 from Richard Biener  ---
Fixed.

[Bug libgomp/84466] [8 regression] libgomp.graphite/force-parallel-8.c fails starting with r257723

2018-02-27 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84466

--- Comment #4 from Richard Biener  ---
So the issue is

  for (i = 0; i < N; i++)
{
  y[i] = i;

  for (j = 0; j < N; j++)
{
  if (j > 500)
{
  x[i][j] = i + j + 3;
  y[j] = i*j + 10;
^^^

here we now verify that we can instantiate i*j + 10 at this point which
is (int) {10, +, {0, +, 1}_3}_4 and that fails the graphite_can_represent_scev
test because of

case POLYNOMIAL_CHREC:
  /* Check for constant strides.  With a non constant stride of
 'n' we would have a value of 'iv * n'.  Also check that the
 initial value can represented: for example 'n * m' cannot be
 represented.  */
  gcc_assert (loop_in_sese_p (get_loop (cfun,
CHREC_VARIABLE (scev)), scop));
  if (!evolution_function_right_is_integer_cst (scev)
  || !graphite_can_represent_init (scev))
return false;

given CHREC_RIGHT is {0, +, 1}_3 and not an INTEGER_CST.

I think with graphite_can_represent_scev I used the wrong tool (it is supposed
to guard what extract_affine handles).  Testing a patch.

[Bug libgomp/84466] [8 regression] libgomp.graphite/force-parallel-8.c fails starting with r257723

2018-02-26 Thread andrey.y.guskov at intel dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84466

Andrey Guskov  changed:

   What|Removed |Added

 CC||andrey.y.guskov at intel dot 
com

--- Comment #3 from Andrey Guskov  ---
Confirmed on Intel Silvermont.

[Bug libgomp/84466] [8 regression] libgomp.graphite/force-parallel-8.c fails starting with r257723

2018-02-26 Thread rguenth at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84466

Richard Biener  changed:

   What|Removed |Added

 Status|NEW |ASSIGNED
   Assignee|unassigned at gcc dot gnu.org  |rguenth at gcc dot 
gnu.org
   Target Milestone|--- |8.0

--- Comment #2 from Richard Biener  ---
Mine.

[Bug libgomp/84466] [8 regression] libgomp.graphite/force-parallel-8.c fails starting with r257723

2018-02-19 Thread danglin at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84466

John David Anglin  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2018-02-19
 CC||danglin at gcc dot gnu.org
 Ever confirmed|0   |1

--- Comment #1 from John David Anglin  ---
Also seen on hppa-unknown-linux-gnu.  Only 3 loops carried no dependency.