[Bug tree-optimization/96037] New: [11 regression] ICE at tree-ssa-loop.c:414 after r11-1782

[Bug tree-optimization/96037] New: [11 regression] ICE at tree-ssa-loop.c:414 after r11-1782

[seurer at linux dot vnet.ibm.com]

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

            Bug ID: 96037
           Summary: [11 regression] ICE at tree-ssa-loop.c:414 after
                    r11-1782
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: seurer at linux dot vnet.ibm.com
  Target Milestone: ---

g:d5d9f7834ab809841c4ccc90bca74808b4bcaf8d, r11-1782

FAIL: libgomp.c++/../libgomp.c-c++-common/simd-15.c (internal compiler error)
FAIL: libgomp.c++/../libgomp.c-c++-common/simd-15.c (test for excess errors)
FAIL: libgomp.c/../libgomp.c-c++-common/simd-15.c (internal compiler error)
FAIL: libgomp.c/../libgomp.c-c++-common/simd-15.c (test for excess errors)


Executing on host: /home/seurer/gcc/git/build/gcc-test/./gcc/xgcc
-B/home/seurer/gcc/git/build/gcc-test/./gcc/
-B/home/seurer/gcc/git/install/gcc-test/powerpc64-unknown-linux-gnu/bin/
-B/home/seurer/gcc/git/install/gcc-test/powerpc64-unknown-linux-gnu/lib/
-isystem
/home/seurer/gcc/git/install/gcc-test/powerpc64-unknown-linux-gnu/include
-isystem
/home/seurer/gcc/git/install/gcc-test/powerpc64-unknown-linux-gnu/sys-include  

/home/seurer/gcc/git/gcc-test/libgomp/testsuite/libgomp.c/../libgomp.c-c++-common/simd-15.c
  -B/home/seurer/gcc/git/build/gcc-test/powerpc64-unknown-linux-gnu/./libgomp/
-B/home/seurer/gcc/git/build/gcc-test/powerpc64-unknown-linux-gnu/./libgomp/.libs
-I/home/seurer/gcc/git/build/gcc-test/powerpc64-unknown-linux-gnu/./libgomp
-I/home/seurer/gcc/git/gcc-test/libgomp/testsuite/../../include
-I/home/seurer/gcc/git/gcc-test/libgomp/testsuite/.. -fmessage-length=0
-fno-diagnostics-show-caret -Wno-hsa -fdiagnostics-color=never -fopenmp  -O2  
-L/home/seurer/gcc/git/build/gcc-test/powerpc64-unknown-linux-gnu/./libgomp/.libs
-lm  -o ./simd-15.exe    (timeout = 300)
spawn -ignore SIGHUP /home/seurer/gcc/git/build/gcc-test/./gcc/xgcc
-B/home/seurer/gcc/git/build/gcc-test/./gcc/
-B/home/seurer/gcc/git/install/gcc-test/powerpc64-unknown-linux-gnu/bin/
-B/home/seurer/gcc/git/install/gcc-test/powerpc64-unknown-linux-gnu/lib/
-isystem
/home/seurer/gcc/git/install/gcc-test/powerpc64-unknown-linux-gnu/include
-isystem
/home/seurer/gcc/git/install/gcc-test/powerpc64-unknown-linux-gnu/sys-include
/home/seurer/gcc/git/gcc-test/libgomp/testsuite/libgomp.c/../libgomp.c-c++-common/simd-15.c
-B/home/seurer/gcc/git/build/gcc-test/powerpc64-unknown-linux-gnu/./libgomp/
-B/home/seurer/gcc/git/build/gcc-test/powerpc64-unknown-linux-gnu/./libgomp/.libs
-I/home/seurer/gcc/git/build/gcc-test/powerpc64-unknown-linux-gnu/./libgomp
-I/home/seurer/gcc/git/gcc-test/libgomp/testsuite/../../include
-I/home/seurer/gcc/git/gcc-test/libgomp/testsuite/.. -fmessage-length=0
-fno-diagnostics-show-caret -Wno-hsa -fdiagnostics-color=never -fopenmp -O2
-L/home/seurer/gcc/git/build/gcc-test/powerpc64-unknown-linux-gnu/./libgomp/.libs
-lm -o ./simd-15.exe
during GIMPLE pass: vect
/home/seurer/gcc/git/gcc-test/libgomp/testsuite/libgomp.c/../libgomp.c-c++-common/simd-15.c:
In function 'main':
/home/seurer/gcc/git/gcc-test/libgomp/testsuite/libgomp.c/../libgomp.c-c++-common/simd-15.c:12:1:
internal compiler error: Segmentation fault
0x10b5873b crash_signal
        /home/seurer/gcc/git/gcc-test/gcc/toplev.c:328
0x10eb10c0 get_vectype_for_scalar_type(vec_info*, tree_node*, _slp_tree*)
        /home/seurer/gcc/git/gcc-test/gcc/tree-vect-stmts.c:10999
0x10eb10c0 vectorizable_shift
        /home/seurer/gcc/git/gcc-test/gcc/tree-vect-stmts.c:5404
0x10ece83b vect_transform_stmt(vec_info*, _stmt_vec_info*,
gimple_stmt_iterator*, _slp_tree*, _slp_instance*)
        /home/seurer/gcc/git/gcc-test/gcc/tree-vect-stmts.c:10642
0x10ed4153 vect_transform_loop_stmt
        /home/seurer/gcc/git/gcc-test/gcc/tree-vect-loop.c:8327
0x10eed06f vect_transform_loop(_loop_vec_info*, gimple*)
        /home/seurer/gcc/git/gcc-test/gcc/tree-vect-loop.c:8730
0x10f1577f try_vectorize_loop_1
        /home/seurer/gcc/git/gcc-test/gcc/tree-vectorizer.c:1053
0x10f1614f vectorize_loops()
        /home/seurer/gcc/git/gcc-test/gcc/tree-vectorizer.c:1189
0x10d870a7 execute
        /home/seurer/gcc/git/gcc-test/gcc/tree-ssa-loop.c:414
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
compiler exited with status 1
FAIL: libgomp.c/../libgomp.c-c++-common/simd-15.c (internal compiler error)

[Bug tree-optimization/96037] [11 regression] ICE at tree-ssa-loop.c:414 after r11-1782

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |ASSIGNED
   Target Milestone|---                         |11.0
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot gnu.org
   Last reconfirmed|                            |2020-07-03

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Meh.

[Bug tree-optimization/96037] [11 regression] ICE at tree-ssa-loop.c:414 after r11-1782

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |WAITING

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
So I'm guessing this is powerpc64be from your command line but with a cc1
cross configured as

./configure --target=powerpc64-suse-linux

I cannot reproduce this:

gcc> ./cc1 -quiet simd-15.c -I include -O2 -fopenmp

adding various -mcpu or -mvsx / -maltivec doesn't help either but any of
-mvsx or -maltivec are required to have the vectorizer run at all.

So ...?

[Bug tree-optimization/96037] [11 regression] ICE at tree-ssa-loop.c:414 after r11-1782

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |NEW
                 CC|                            |marxin at gcc dot gnu.org

--- Comment #3 from Martin Liška <marxin at gcc dot gnu.org> ---
I see the same ICE for e.g.:

$ ppc64le-linux-gnu-gcc
/home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/vect/pr33373b.c -O3 -c
during GIMPLE pass: vect
/home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/vect/pr33373b.c: In function
‘f’:
/home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/vect/pr33373b.c:2:6: internal
compiler error: Segmentation fault
    2 | void f (unsigned int *d, unsigned int *s, int w)
      |      ^
0xadeebf crash_signal
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-ppc64le/build/gcc/toplev.c:328
0x7ffff78b752f ???
       
/usr/src/debug/glibc-2.31-6.1.x86_64/signal/../sysdeps/unix/sysv/linux/x86_64/sigaction.c:0
0xccbc40 get_vectype_for_scalar_type(vec_info*, tree_node*, _slp_tree*)
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-ppc64le/build/gcc/tree-vect-stmts.c:10999
0xccbc40 vectorizable_shift
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-ppc64le/build/gcc/tree-vect-stmts.c:5404
0xce0fad vect_analyze_stmt(vec_info*, _stmt_vec_info*, bool*, _slp_tree*,
_slp_instance*, vec<stmt_info_for_cost, va_heap, vl_ptr>*)
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-ppc64le/build/gcc/tree-vect-stmts.c:10555
0xcf83de vect_analyze_loop_operations
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-ppc64le/build/gcc/tree-vect-loop.c:1613
0xcf83de vect_analyze_loop_2
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-ppc64le/build/gcc/tree-vect-loop.c:2164
0xcf83de vect_analyze_loop(loop*, vec_info_shared*)
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-ppc64le/build/gcc/tree-vect-loop.c:2612
0xd156a4 try_vectorize_loop_1
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-ppc64le/build/gcc/tree-vectorizer.c:955
0xd160d9 vectorize_loops()
       
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-ppc64le/build/gcc/tree-vectorizer.c:1189
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.

$ ~/BIG/bin/ppc64le/dev/shm/buildbot/install/gcc/bin/ppc64le-linux-gnu-gcc -v
Using built-in specs.
COLLECT_GCC=/home/marxin/BIG/bin/ppc64le/dev/shm/buildbot/install/gcc/bin/ppc64le-linux-gnu-gcc
COLLECT_LTO_WRAPPER=/home/marxin/BIG/bin/ppc64le/dev/shm/buildbot/install/gcc/bin/../lib/gcc/ppc64le-linux-gnu/11.0.0/lto-wrapper
Target: ppc64le-linux-gnu
Configured with:
/home/marxin/BIG/buildbot/buildworker/marxinbox-gcc-trunk-ppc64le/build/configure
--enable-languages=c,c++,fortran --disable-bootstrap --disable-libsanitizer
--disable-multilib --enable-checking=release
--prefix=/dev/shm/buildbot/install/gcc --target=ppc64le-linux-gnu
--with-as=/usr/bin/powerpc64le-suse-linux-as
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 11.0.0 20200702 (experimental)
105ecbea5f402713130fef4d41bb000e2d23493b (GCC)

[Bug tree-optimization/96037] [11 regression] ICE at tree-ssa-loop.c:414 after r11-1782

[rguenth at gcc dot gnu.org]

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

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
Can't reproduce that either ...

obj-ppc64le-g/gcc> ./xgcc -B.  -I include pr33373b.c -O3 -c

ah, but I have an idea what happens.

[Bug tree-optimization/96037] [11 regression] ICE at tree-ssa-loop.c:414 after r11-1782

[marxin at gcc dot gnu.org]

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

--- Comment #5 from Martin Liška <marxin at gcc dot gnu.org> ---
val ~/BIG/bin/ppc64le/dev/shm/buildbot/install/gcc/bin/ppc64le-linux-gnu-gcc
/home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/vect/pr33373b.c -O3 -c
==29096== Memcheck, a memory error detector
==29096== Copyright (C) 2002-2017, and GNU GPL'd, by Julian Seward et al.
==29096== Using Valgrind-3.16.0 and LibVEX; rerun with -h for copyright info
==29096== Command:
/home/marxin/BIG/bin/ppc64le/dev/shm/buildbot/install/gcc/bin/ppc64le-linux-gnu-gcc
/home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/vect/pr33373b.c -O3 -c
==29096== 
==29097== Memcheck, a memory error detector
==29097== Copyright (C) 2002-2017, and GNU GPL'd, by Julian Seward et al.
==29097== Using Valgrind-3.16.0 and LibVEX; rerun with -h for copyright info
==29097== Command:
/home/marxin/BIG/bin/ppc64le/dev/shm/buildbot/install/gcc/bin/../lib/gcc/ppc64le-linux-gnu/11.0.0/cc1
-quiet -iprefix
/home/marxin/BIG/bin/ppc64le/dev/shm/buildbot/install/gcc/bin/../lib64/gcc/ppc64le-linux-gnu/11.0.0/
/home/marxin/Programming/gcc/gcc/testsuite/gcc.dg/vect/pr33373b.c -quiet
-dumpbase pr33373b.c -dumpbase-ext .c -O3 -o /tmp/cc34bJ5g.s
==29097== 
==29097== Conditional jump or move depends on uninitialised value(s)
==29097==    at 0xCCBC3A: get_vectype_for_scalar_type (tree-vect-stmts.c:10998)
==29097==    by 0xCCBC3A: vectorizable_shift(vec_info*, _stmt_vec_info*,
gimple_stmt_iterator*, gimple**, _slp_tree*, vec<stmt_info_for_cost, va_heap,
vl_ptr>*) (tree-vect-stmts.c:5404)
==29097==    by 0xCE0FAD: vect_analyze_stmt(vec_info*, _stmt_vec_info*, bool*,
_slp_tree*, _slp_instance*, vec<stmt_info_for_cost, va_heap, vl_ptr>*)
(tree-vect-stmts.c:10555)
==29097==    by 0xCF83DE: vect_analyze_loop_operations (tree-vect-loop.c:1613)
==29097==    by 0xCF83DE: vect_analyze_loop_2 (tree-vect-loop.c:2164)
==29097==    by 0xCF83DE: vect_analyze_loop(loop*, vec_info_shared*)
(tree-vect-loop.c:2612)
==29097==    by 0xD156A4: try_vectorize_loop_1(hash_table<simduid_to_vf, false,
xcallocator>*&, unsigned int*, loop*, gimple*, gimple*) (tree-vectorizer.c:955)
==29097==    by 0xD160D9: vectorize_loops() (tree-vectorizer.c:1189)
==29097==    by 0xA23347: execute_one_pass(opt_pass*) (passes.c:2502)
==29097==    by 0xA23C8F: execute_pass_list_1(opt_pass*) (passes.c:2590)
==29097==    by 0xA23CA1: execute_pass_list_1(opt_pass*) (passes.c:2591)
==29097==    by 0xA23CA1: execute_pass_list_1(opt_pass*) (passes.c:2591)
==29097==    by 0xA23CC8: execute_pass_list(function*, opt_pass*)
(passes.c:2601)
==29097==    by 0x710CFD: cgraph_node::expand() (cgraphunit.c:2301)
==29097==    by 0x711D8F: expand_all_functions (cgraphunit.c:2472)
==29097==    by 0x711D8F: symbol_table::compile() [clone .part.0]
(cgraphunit.c:2823)
==29097== 
==29097== Use of uninitialised value of size 8
==29097==    at 0xCCBC40: get_vectype_for_scalar_type (tree-vect-stmts.c:10999)
==29097==    by 0xCCBC40: vectorizable_shift(vec_info*, _stmt_vec_info*,
gimple_stmt_iterator*, gimple**, _slp_tree*, vec<stmt_info_for_cost, va_heap,
vl_ptr>*) (tree-vect-stmts.c:5404)
==29097==    by 0xCE0FAD: vect_analyze_stmt(vec_info*, _stmt_vec_info*, bool*,
_slp_tree*, _slp_instance*, vec<stmt_info_for_cost, va_heap, vl_ptr>*)
(tree-vect-stmts.c:10555)
==29097==    by 0xCF83DE: vect_analyze_loop_operations (tree-vect-loop.c:1613)
==29097==    by 0xCF83DE: vect_analyze_loop_2 (tree-vect-loop.c:2164)
==29097==    by 0xCF83DE: vect_analyze_loop(loop*, vec_info_shared*)
(tree-vect-loop.c:2612)
==29097==    by 0xD156A4: try_vectorize_loop_1(hash_table<simduid_to_vf, false,
xcallocator>*&, unsigned int*, loop*, gimple*, gimple*) (tree-vectorizer.c:955)
==29097==    by 0xD160D9: vectorize_loops() (tree-vectorizer.c:1189)
==29097==    by 0xA23347: execute_one_pass(opt_pass*) (passes.c:2502)
==29097==    by 0xA23C8F: execute_pass_list_1(opt_pass*) (passes.c:2590)
==29097==    by 0xA23CA1: execute_pass_list_1(opt_pass*) (passes.c:2591)
==29097==    by 0xA23CA1: execute_pass_list_1(opt_pass*) (passes.c:2591)
==29097==    by 0xA23CC8: execute_pass_list(function*, opt_pass*)
(passes.c:2601)
==29097==    by 0x710CFD: cgraph_node::expand() (cgraphunit.c:2301)
==29097==    by 0x711D8F: expand_all_functions (cgraphunit.c:2472)
==29097==    by 0x711D8F: symbol_table::compile() [clone .part.0]
(cgraphunit.c:2823)
==29097== 
==29097== Invalid read of size 4
==29097==    at 0xCCBC40: get_vectype_for_scalar_type (tree-vect-stmts.c:10999)
==29097==    by 0xCCBC40: vectorizable_shift(vec_info*, _stmt_vec_info*,
gimple_stmt_iterator*, gimple**, _slp_tree*, vec<stmt_info_for_cost, va_heap,
vl_ptr>*) (tree-vect-stmts.c:5404)
==29097==    by 0xCE0FAD: vect_analyze_stmt(vec_info*, _stmt_vec_info*, bool*,
_slp_tree*, _slp_instance*, vec<stmt_info_for_cost, va_heap, vl_ptr>*)
(tree-vect-stmts.c:10555)
==29097==    by 0xCF83DE: vect_analyze_loop_operations (tree-vect-loop.c:1613)
==29097==    by 0xCF83DE: vect_analyze_loop_2 (tree-vect-loop.c:2164)
==29097==    by 0xCF83DE: vect_analyze_loop(loop*, vec_info_shared*)
(tree-vect-loop.c:2612)
==29097==    by 0xD156A4: try_vectorize_loop_1(hash_table<simduid_to_vf, false,
xcallocator>*&, unsigned int*, loop*, gimple*, gimple*) (tree-vectorizer.c:955)
==29097==    by 0xD160D9: vectorize_loops() (tree-vectorizer.c:1189)
==29097==    by 0xA23347: execute_one_pass(opt_pass*) (passes.c:2502)
==29097==    by 0xA23C8F: execute_pass_list_1(opt_pass*) (passes.c:2590)
==29097==    by 0xA23CA1: execute_pass_list_1(opt_pass*) (passes.c:2591)
==29097==    by 0xA23CA1: execute_pass_list_1(opt_pass*) (passes.c:2591)
==29097==    by 0xA23CC8: execute_pass_list(function*, opt_pass*)
(passes.c:2601)
==29097==    by 0x710CFD: cgraph_node::expand() (cgraphunit.c:2301)
==29097==    by 0x711D8F: expand_all_functions (cgraphunit.c:2472)
==29097==    by 0x711D8F: symbol_table::compile() [clone .part.0]
(cgraphunit.c:2823)
==29097==  Address 0x80000005d is not stack'd, malloc'd or (recently) free'd
==29097==

[Bug tree-optimization/96037] [11 regression] ICE at tree-ssa-loop.c:414 after r11-1782

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED

--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
Testing patch.

[Bug tree-optimization/96037] [11 regression] ICE at tree-ssa-loop.c:414 after r11-1782

[cvs-commit at gcc dot gnu.org]

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

--- Comment #7 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:59cc32acc8dde3b8719b9b4f90d33e8c3e3f17bb

commit r11-1804-g59cc32acc8dde3b8719b9b4f90d33e8c3e3f17bb
Author: Richard Biener <rguenther@suse.de>
Date:   Fri Jul 3 12:50:37 2020 +0200

    tree-optimization/96037 - fix uninitialized use of slp_op

    The following avoids leaving slp_def as passed to vect_is_simple_use
    by reference uninitialized.

    2020-07-03  Richard Biener  <rguenther@suse.de>

            PR tree-optimization/96037
            * tree-vect-stmts.c (vect_is_simple_use): Initialize *slp_def.

[Bug tree-optimization/96037] [11 regression] ICE at tree-ssa-loop.c:414 after r11-1782

[rguenth at gcc dot gnu.org]

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

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

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

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