[Bug tree-optimization/116577] New: [15 Regression] tonto in SPECCPU 2006 ICEs in vect_lower_load_permutations

[Bug tree-optimization/116577] New: [15 Regression] tonto in SPECCPU 2006 ICEs in vect_lower_load_permutations

[tnfchris at gcc dot gnu.org]

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

            Bug ID: 116577
           Summary: [15 Regression] tonto in SPECCPU 2006 ICEs in
                    vect_lower_load_permutations
           Product: gcc
           Version: 15.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: tnfchris at gcc dot gnu.org
  Target Milestone: ---
            Target: aarch64*

with -mcpu=neoverse-v1 -Ofast -flto tonto ICEs with

crystal.fppized.f90:1795:3: internal compiler error: Segmentation fault
 1795 |    function d_chi2(p) result(res)
      |   ^
0x1c0a0f7 internal_error(char const*, ...)
       
/opt/buildAgent/work/5c94c4ced6ebfcd0/gcc/diagnostic-global-context.cc:492
0xcff233 crash_signal
        /opt/buildAgent/work/5c94c4ced6ebfcd0/gcc/toplev.cc:321
0xfa9db8 vect_lower_load_permutations
        /opt/buildAgent/work/5c94c4ced6ebfcd0/gcc/tree-vect-slp.cc:4354
0xfae8c3 vect_lower_load_permutations
        /opt/buildAgent/work/5c94c4ced6ebfcd0/gcc/tree-vect-slp.cc:4509
0xfae8c3 vect_analyze_slp(vec_info*, unsigned int)
        /opt/buildAgent/work/5c94c4ced6ebfcd0/gcc/tree-vect-slp.cc:4777
0xf83a6b vect_analyze_loop_2
        /opt/buildAgent/work/5c94c4ced6ebfcd0/gcc/tree-vect-loop.cc:2862
0xf85123 vect_analyze_loop_1
        /opt/buildAgent/work/5c94c4ced6ebfcd0/gcc/tree-vect-loop.cc:3409
0xf85857 vect_analyze_loop(loop*, vec_info_shared*)
        /opt/buildAgent/work/5c94c4ced6ebfcd0/gcc/tree-vect-loop.cc:3567
0xfc3cef try_vectorize_loop_1
        /opt/buildAgent/work/5c94c4ced6ebfcd0/gcc/tree-vectorizer.cc:1068
0xfc3cef try_vectorize_loop
        /opt/buildAgent/work/5c94c4ced6ebfcd0/gcc/tree-vectorizer.cc:1184
0xfc4223 execute
        /opt/buildAgent/work/5c94c4ced6ebfcd0/gcc/tree-vectorizer.cc:1300

Running reducer and bisect

[Bug tree-optimization/116577] [15 Regression] tonto in SPECCPU 2006 ICEs in vect_lower_load_permutations

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |15.0
                 CC|                            |pinskia at gcc dot gnu.org

[Bug tree-optimization/116577] [15 Regression] tonto in SPECCPU 2006 ICEs in vect_lower_load_permutations

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rguenth at gcc dot gnu.org

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Either r15-3363-g9aaedfc4146c5e or r15-3362-g464067a2421506 .

r15-3362 added vect_lower_load_permutations .

[Bug tree-optimization/116577] [15 Regression] tonto in SPECCPU 2006 ICEs in vect_lower_load_permutations

[tnfchris at gcc dot gnu.org]

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

--- Comment #2 from Tamar Christina <tnfchris at gcc dot gnu.org> ---
---
module type
   type a
   complex(kind(1.0d0)) j
   real(kind(1.0d0)) k
   real(kind(1.0d0)) l
   end type
   contains
   subroutine b(c,g)
    type(a), dimension(:) :: c
     target c
     type(a), dimension(:), target :: g
     type(a), pointer :: d,h
     do i=1,e
       h => c(i)
       d  => g(i)
       h%j  = d%j
       h%l  = d%l
       h%k = f
     end do
    end
   end

compiled with -mcpu=neoverse-v1 -Ofast reproduces the ICE

[Bug tree-optimization/116577] [15 Regression] tonto in SPECCPU 2006 ICEs in vect_lower_load_permutations

[tnfchris at gcc dot gnu.org]

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

--- Comment #3 from Tamar Christina <tnfchris at gcc dot gnu.org> ---
reproducer should be saved with extension .f90

[Bug tree-optimization/116577] [15 Regression] tonto in SPECCPU 2006 ICEs in vect_lower_load_permutations

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2024-09-03

--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Tamar Christina from comment #2)
> compiled with -mcpu=neoverse-v1 -Ofast reproduces the ICE

Here is a C testcase:
```
struct a
{
  _Complex double j;
  double k;
  double l;
};

void b(struct a *__restrict c,
       struct a *__restrict  g,
       int e, double f)
{
  for(int i = 0; i < e; i++)
  {
        c[i].j  = g[i].j;
        c[i].l  = g[i].l;
        c[i].k = f;
  }
}
```

`-march=armv9-a -O3 ` is enough to reproduce it.

[Bug tree-optimization/116577] [15 Regression] tonto in SPECCPU 2006 ICEs in vect_lower_load_permutations

[pinskia at gcc dot gnu.org]

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

--- Comment #5 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Andrew Pinski from comment #4)
> (In reply to Tamar Christina from comment #2)
> > compiled with -mcpu=neoverse-v1 -Ofast reproduces the ICE
> 
> `-march=armv9-a -O3 ` is enough to reproduce it.

The k field is not needed:
```
struct a
{
  _Complex double j;
  double l;
};

void b(struct a *__restrict c,
       struct a *__restrict  g,
       int e, double f)
{
  for(int i = 0; i < e; i++)
  {
        c[i].j  = g[i].j;
        c[i].l  = g[i].l;
  }
}

[Bug tree-optimization/116577] [15 Regression] tonto in SPECCPU 2006 ICEs in vect_lower_load_permutations

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|aarch64*                    |aarch64* x86_64

--- Comment #6 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Andrew Pinski from comment #5)
> (In reply to Andrew Pinski from comment #4)
> > (In reply to Tamar Christina from comment #2)
> > > compiled with -mcpu=neoverse-v1 -Ofast reproduces the ICE
> > 
> > `-march=armv9-a -O3 ` is enough to reproduce it.

'-O3' is enough with this reduced testcase and can reproduce on x86_64 too.

[Bug tree-optimization/116577] [15 Regression] tonto in SPECCPU 2006 ICEs in vect_lower_load_permutations

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|NEW                         |RESOLVED

--- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> ---
I think r15-3394-g7c9394e84c5423 should have fixed this.