[Bug tree-optimization/113290] New: Optimize dominator updated for peeling with multiple exits

[Bug tree-optimization/113290] New: Optimize dominator updated for peeling with multiple exits

[tnfchris at gcc dot gnu.org]

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

            Bug ID: 113290
           Summary: Optimize dominator updated for peeling with multiple
                    exits
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: tnfchris at gcc dot gnu.org
          Reporter: tnfchris at gcc dot gnu.org
  Target Milestone: ---

When peeling with multiple exits we currently have a quadratic dominators
update.

We should see if we can't optimize this by delaying dominators update till
after vectorization as we don't require dominators during vect.

[Bug tree-optimization/113290] Optimize dominator updated for peeling with multiple exits

[tnfchris at gcc dot gnu.org]

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

Tamar Christina <tnfchris at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2024-01-09

--- Comment #1 from Tamar Christina <tnfchris at gcc dot gnu.org> ---
mine for GCC 15

[Bug tree-optimization/113290] Optimize dominator updated for peeling with multiple exits

[tnfchris at gcc dot gnu.org]

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

Tamar Christina <tnfchris at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |15.0
           Keywords|                            |compile-time-hog

--- Comment #2 from Tamar Christina <tnfchris at gcc dot gnu.org> ---
marked as compile-time-hog but should be within reason in GCC 14 due to limits
on which loops we support.  But as we generalize it it'll become an issue.

[Bug tree-optimization/113290] Optimize dominator updated for peeling with multiple exits

[rguenth at gcc dot gnu.org]

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

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
int a[77];

int bar ();
void foo ()
{
  int val;
#define LOOP \
  val = bar (); \
  for (int i = 0; i < 77; ++i) \
    { \
      if (a[i] == val) \
        break; \
      a[i]++; \
    }
#define LOOP10 LOOP LOOP LOOP LOOP LOOP LOOP LOOP LOOP LOOP LOOP
#define LOOP100 LOOP10 LOOP10 LOOP10 LOOP10 LOOP10 LOOP10 LOOP10 LOOP10 LOOP10
LOOP10
#define LOOP1000 LOOP100 LOOP100 LOOP100 LOOP100 LOOP100 LOOP100 LOOP100
LOOP100 LOOP100 LOOP100
  LOOP1000
}