[Bug tree-optimization/106403] New: [13 Regression] ICE in vect pass

[Bug tree-optimization/106403] New: [13 Regression] ICE in vect pass

[marxin at gcc dot gnu.org]

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

            Bug ID: 106403
           Summary: [13 Regression] ICE in vect pass
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
  Target Milestone: ---
              Host: x86_64-linux-gnu
            Target: aarch64-linux-gnu

The following crashes:

$ cat matmul.f90
module x
contains
  subroutine mm1(a,b,c)
  end subroutine mm1
end module x
program main
  integer, parameter :: n = 3, m=4, cnt=2
  real, dimension(n,cnt) :: a
  real, dimension(m,cnt) :: b
  real, dimension(n,m) :: c, cres
  real, dimension(:,:), allocatable :: calloc
  calloc = matmul(a,transpose(b)) ! { dg-warning "Code for reallocating the
allocatable array" }
  if (sum(calloc-cres)>1e-4) STOP 6
end program main

$ aarch64-linux-gnu-gcc -O3 matmul.f90 -c
during GIMPLE pass: vect
matmul.f90:14:16:

   14 | end program main
      |                ^
internal compiler error: Segmentation fault
0xd371ff crash_signal
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-aarch64/build/gcc/toplev.cc:322
0x7ffff78567bf ???
       
/usr/src/debug/glibc-2.35-6.1.x86_64/signal/../sysdeps/unix/sysv/linux/x86_64/libc_sigaction.c:0
0xedb0d1 rpo_vn_valueize(tree_node*)
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-aarch64/build/gcc/tree-ssa-sccvn.cc:7505
0xee545e vn_reference_lookup_3
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-aarch64/build/gcc/tree-ssa-sccvn.cc:3226
0xe19a2b walk_non_aliased_vuses(ao_ref*, tree_node*, bool, void* (*)(ao_ref*,
tree_node*, void*), void* (*)(ao_ref*, tree_node*, void*, translate_flags*),
tree_node* (*)(tree_node*), unsigned int&, void*)
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-aarch64/build/gcc/tree-ssa-alias.cc:3880
0xee022d vn_reference_lookup(tree_node*, tree_node*, vn_lookup_kind,
vn_reference_s**, bool, tree_node**, tree_node*, bool)
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-aarch64/build/gcc/tree-ssa-sccvn.cc:3908
0xee7b23 visit_reference_op_load
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-aarch64/build/gcc/tree-ssa-sccvn.cc:5548
0xee7b23 visit_stmt
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-aarch64/build/gcc/tree-ssa-sccvn.cc:5997
0xee8156 process_bb
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-aarch64/build/gcc/tree-ssa-sccvn.cc:7724
0xee9704 do_rpo_vn(function*, edge_def*, bitmap_head*, bool, bool,
vn_lookup_kind)
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-aarch64/build/gcc/tree-ssa-sccvn.cc:8323
0xeea953 do_rpo_vn(function*, edge_def*, bitmap_head*)
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-aarch64/build/gcc/tree-ssa-sccvn.cc:8419
0xf9eb51 execute
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-aarch64/build/gcc/tree-vectorizer.cc:1388
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.

[Bug tree-optimization/106403] [13 Regression] ICE in vect pass

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rguenth at gcc dot gnu.org
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1
   Last reconfirmed|                            |2022-07-22

[Bug tree-optimization/106403] [13 Regression] ICE in rpo_vn_valueize at gcc/tree-ssa-sccvn.cc:7505

[marxin at gcc dot gnu.org]

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

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
where it gets RHS for:

# .MEM_136 = VDEF <.MEM_129>
MEM <real(kind=4)[12]> [(real(kind=4) *)vectp.64_120] = .STORE_LANES
(vect_array.66);

[Bug tree-optimization/106403] [13 Regression] ICE in rpo_vn_valueize at gcc/tree-ssa-sccvn.cc:7505

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot gnu.org
             Status|NEW                         |ASSIGNED
   Target Milestone|---                         |13.0

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Mine.

[Bug tree-optimization/106403] [13 Regression] ICE in rpo_vn_valueize at gcc/tree-ssa-sccvn.cc:7505

[rguenth at gcc dot gnu.org]

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

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Ah, internal_fn_stored_value_index returns -1 for .STORE_LANES :/  Well, the
fix is reasonably easy.

[Bug tree-optimization/106403] [13 Regression] ICE in rpo_vn_valueize at gcc/tree-ssa-sccvn.cc:7505

[cvs-commit at gcc dot gnu.org]

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

--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Richard Biener <rguenth@gcc.gnu.org>:

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

commit r13-1795-gd85e5aeb7665ea941ff0ef7c11bfe1d39986b48a
Author: Richard Biener <rguenther@suse.de>
Date:   Fri Jul 22 10:13:06 2022 +0200

    tree-optimization/106403 - fix ICE with VN of .STORE_LANES

    While .STORE_LANES is not supported by the recent VN patch we were
    still accessing the stored value and valueizing it - but
    internal_fn_stored_value_index does not support .STORE_LANES and
    we failed to honor that case.  Fixed by simply moving the affected
    code below the check for the actual supported internal functions.

            PR tree-optimization/106403
            * tree-ssa-sccvn.cc (vn_reference_lookup_3): Move stored
            value valueization after check for IFN_MASKED_STORE or
            IFN_LEN_STORE.

[Bug tree-optimization/106403] [13 Regression] ICE in rpo_vn_valueize at gcc/tree-ssa-sccvn.cc:7505

[rguenth at gcc dot gnu.org]

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

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

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

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed.