[Bug tree-optimization/114297] [14 Regression] Yet more problems with "definition in block does not dominate use in block"

2024-03-12 Thread rguenth at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114297

Richard Biener  changed:

   What|Removed |Added

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

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

[Bug tree-optimization/114297] [14 Regression] Yet more problems with "definition in block does not dominate use in block"

2024-03-12 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114297

--- Comment #3 from GCC Commits  ---
The master branch has been updated by Richard Biener :

https://gcc.gnu.org/g:c0c57246d5b47459bdb488734bc2c004a92668b5

commit r14-9435-gc0c57246d5b47459bdb488734bc2c004a92668b5
Author: Richard Biener 
Date:   Mon Mar 11 14:58:57 2024 +0100

tree-optimization/114297 - SLP reduction with early break fix

The following makes sure to pass in the SLP node for the live stmts
we are generating the reduction epilogue for to
vect_create_epilog_for_reduction.  This follows the previous fix for
the non-SLP path.

PR tree-optimization/114297
* tree-vect-loop.cc (vectorizable_live_operation): Pass in the
live stmts SLP node to vect_create_epilog_for_reduction.

* gcc.dg/vect/vect-early-break_123-pr114297.c: New testcase.

[Bug tree-optimization/114297] [14 Regression] Yet more problems with "definition in block does not dominate use in block"

2024-03-11 Thread rguenth at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114297

Richard Biener  changed:

   What|Removed |Added

   Assignee|unassigned at gcc dot gnu.org  |rguenth at gcc dot 
gnu.org
 Status|NEW |ASSIGNED

--- Comment #2 from Richard Biener  ---
Let me have a look.

[Bug tree-optimization/114297] [14 Regression] Yet more problems with "definition in block does not dominate use in block"

2024-03-10 Thread pinskia at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114297

Andrew Pinski  changed:

   What|Removed |Added

 Ever confirmed|0   |1
   Last reconfirmed||2024-03-10
 Status|UNCONFIRMED |NEW
 Target|x86_64  |x86_64 aarch64

--- Comment #1 from Andrew Pinski  ---
Reduced testcase:
```

void h() __attribute__((__noreturn__));
struct Extremes {
  int w;
  int h;
};
struct Extremes *array;
int f(int num, int size1)
{
  int sw = 0, sh = 0;
  for (int i = 0; i < size1; ++i)
  {
if (num - i == 0)
  h();
sw += array[i].w;
sh += array[i].h;
  }
  return (sw) +  (sh);
}
```

Also ICEs on aarch64 with just -O3.

[Bug tree-optimization/114297] [14 Regression] Yet more problems with "definition in block does not dominate use in block"

2024-03-10 Thread pinskia at gcc dot gnu.org via Gcc-bugs 
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114297

Andrew Pinski  changed:

   What|Removed |Added

Summary|Yet more problems with  |[14 Regression] Yet more
   |"definition in block does   |problems with "definition
   |not dominate use in block"  |in block does not dominate
   ||use in block"
   Target Milestone|--- |14.0
 Target||x86_64