[Bug target/123026] New: aarch64: wrong code for vectorized loop

[kristerw at gcc dot gnu.org via Gcc-bugs]

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

            Bug ID: 123026
           Summary: aarch64: wrong code for vectorized loop
           Product: gcc
           Version: 16.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: kristerw at gcc dot gnu.org
            Blocks: 118443
  Target Milestone: ---

The following test fails when compiled with -O2 or -O3 as:
  aarch64-unknown-linux-gnu-gcc -O2 bug1.c


int g;

__attribute__ ((noipa)) void
foo(bool a) {
  for (int i = 0; i < 4; i++)
    if (!i || a)
      g += 1;
}

int main()
{
  foo(0);
  if (g != 1)
    __builtin_abort();
  return 0;
}


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118443
[Bug 118443] [Meta bug] Bugs triggered by and blocking more smtgcc testing