[Bug tree-optimization/103041] New: [12 regression] gcc.dg/vect/slp-reduc-10a.c etc. FAIL

[Bug tree-optimization/103041] New: [12 regression] gcc.dg/vect/slp-reduc-10a.c etc. FAIL

[ro at gcc dot gnu.org]

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

            Bug ID: 103041
           Summary: [12 regression] gcc.dg/vect/slp-reduc-10a.c etc. FAIL
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ro at gcc dot gnu.org
                CC: luoxhu at gcc dot gnu.org
  Target Milestone: ---
            Target: sparc-sun-solaris2.11

Between 20211031 (0ef944629aebaa4ab2ca306762a9ff0e8537b597) and 20211101
(a11c53985a7080f9bf6143788ccb455dc9b0da21),
a couple of tests regressed on Solaris/SPARC (32 and 64-bit):

+FAIL: gcc.dg/vect/slp-reduc-10a.c (internal compiler error)
+FAIL: gcc.dg/vect/slp-reduc-10a.c (test for excess errors)
+FAIL: gcc.dg/vect/slp-reduc-10a.c -flto -ffat-lto-objects (internal compiler
error)
+FAIL: gcc.dg/vect/slp-reduc-10a.c -flto -ffat-lto-objects (test for excess
errors)
+FAIL: gcc.dg/vect/slp-reduc-10b.c (internal compiler error)
+FAIL: gcc.dg/vect/slp-reduc-10b.c (test for excess errors)
+FAIL: gcc.dg/vect/slp-reduc-10b.c -flto -ffat-lto-objects (internal compiler
error)
+FAIL: gcc.dg/vect/slp-reduc-10b.c -flto -ffat-lto-objects (test for excess
errors)
+FAIL: gcc.dg/vect/slp-reduc-10c.c (internal compiler error)
+FAIL: gcc.dg/vect/slp-reduc-10c.c (test for excess errors)
+FAIL: gcc.dg/vect/slp-reduc-10c.c -flto -ffat-lto-objects (internal compiler
error)
+FAIL: gcc.dg/vect/slp-reduc-10c.c -flto -ffat-lto-objects (test for excess
errors)
+FAIL: gcc.dg/vect/slp-reduc-10d.c (internal compiler error)
+FAIL: gcc.dg/vect/slp-reduc-10d.c (test for excess errors)
+FAIL: gcc.dg/vect/slp-reduc-10d.c -flto -ffat-lto-objects (internal compiler
error)
+FAIL: gcc.dg/vect/slp-reduc-10d.c -flto -ffat-lto-objects (test for excess
errors)
+FAIL: gcc.dg/vect/slp-reduc-10e.c (internal compiler error)
+FAIL: gcc.dg/vect/slp-reduc-10e.c (test for excess errors)
+FAIL: gcc.dg/vect/slp-reduc-10e.c -flto -ffat-lto-objects (internal compiler
error)
+FAIL: gcc.dg/vect/slp-reduc-10e.c -flto -ffat-lto-objects (test for excess
errors)

Excess errors:
during GIMPLE pass: vect
dump file: slp-reduc-10a.c.169t.vect
/vol/gcc/src/hg/master/local/gcc/testsuite/gcc.dg/vect/slp-reduc-10a.c:6:1:
internal compiler error: Segmentation Fault
0xd7a563 crash_signal
        /vol/gcc/src/hg/master/local/gcc/toplev.c:322
0xf49a9b gimple_phi_arg_def
        /vol/gcc/src/hg/master/local/gcc/gimple.h:4628
0xf49a9b find_uses_to_rename_bb
        /vol/gcc/src/hg/master/local/gcc/tree-ssa-loop-manip.c:466
0xf4b647 find_uses_to_rename
        /vol/gcc/src/hg/master/local/gcc/tree-ssa-loop-manip.c:498
0xf4b647 rewrite_into_loop_closed_ssa_1(bitmap_head*, unsigned int, int, loop*)
        /vol/gcc/src/hg/master/local/gcc/tree-ssa-loop-manip.c:664
0xf4b647 rewrite_into_loop_closed_ssa_1(bitmap_head*, unsigned int, int, loop*)
        /vol/gcc/src/hg/master/local/gcc/tree-ssa-loop-manip.c:629
0x10f2963 vectorize_loops()
        /vol/gcc/src/hg/master/local/gcc/tree-vectorizer.c:1320

Running
cc1 -fpreprocessed slp-reduc-10a.i -quiet -mclear-hwcap -mcpu=ultrasparc -mvis
-O2 -ftree-vectorize -fno-tree-loop-distribute-patterns
-fvect-cost-model=unlimited -fno-common -fdump-tree-vect-details -fgimple -o
slp-reduc-10a.s
under gdb shows

Thread 2 received signal SIGSEGV, Segmentation fault.
[Switching to Thread 1 (LWP 1)]
find_uses_to_rename_bb (bb=<basic_block 0xfa8ba1c0 (6)>, use_blocks=0x1ef8a68,
need_phis=0x1ec2748, use_flags=1) at
/vol/gcc/src/hg/master/local/gcc/tree-ssa-loop-manip.c:466
466               find_uses_to_rename_use (bb, PHI_ARG_DEF_FROM_EDGE (phi, e),
(gdb) bt
#0  find_uses_to_rename_bb (bb=<basic_block 0xfa8ba1c0 (6)>,
use_blocks=0x1ef8a68, need_phis=0x1ec2748, use_flags=1) at
/vol/gcc/src/hg/master/local/gcc/tree-ssa-loop-manip.c:466
#1  0x00f4b648 in find_uses_to_rename (use_flags=1, need_phis=0x1ec2748,
use_blocks=0x1ef8a68, changed_bbs=<optimized out>) at
/vol/gcc/src/hg/master/local/gcc/tree-ssa-loop-manip.c:498
#2  rewrite_into_loop_closed_ssa_1 (loop=<optimized out>, use_flags=1,
update_flag=16384, changed_bbs=<optimized out>) at
/vol/gcc/src/hg/master/local/gcc/tree-ssa-loop-manip.c:664
#3  rewrite_into_loop_closed_ssa_1 (changed_bbs=<optimized out>,
update_flag=16384, use_flags=1, loop=<optimized out>) at
/vol/gcc/src/hg/master/local/gcc/tree-ssa-loop-manip.c:629
#4  0x010f2964 in vectorize_loops () at
/vol/gcc/src/hg/master/local/gcc/tree-vectorizer.c:1320
#5  0x00c52bf8 in execute_one_pass (pass=<opt_pass* 0x1dccb48 "vect"(174)>) at
/vol/gcc/src/hg/master/local/gcc/passes.c:2567
#6  0x00c53610 in execute_pass_list_1 (pass=<opt_pass* 0x1dccb48 "vect"(174)>)
at /vol/gcc/src/hg/master/local/gcc/passes.c:2656
#7  0x00c53634 in execute_pass_list_1 (pass=<opt_pass* 0x1dcc5f8 "loop"(153)>)
at /vol/gcc/src/hg/master/local/gcc/passes.c:2657
#8  0x00c53634 in execute_pass_list_1 (pass=<opt_pass* 0x1dcb8d8
"*all_optimizations"(-1)>) at /vol/gcc/src/hg/master/local/gcc/passes.c:2657
#9  0x00c53688 in execute_pass_list (fn=0xfa8b6000, pass=<opt_pass* 0x1dcb6d8
"fixup_cfg"(97)>) at /vol/gcc/src/hg/master/local/gcc/passes.c:2667
#10 0x007e0070 in cgraph_node::expand (this=<cgraph_node * const 0xfa8100a0
"foo"/0>) at /vol/gcc/src/hg/master/local/gcc/context.h:48
#11 cgraph_node::expand (this=<cgraph_node * const 0xfa8100a0 "foo"/0>) at
/vol/gcc/src/hg/master/local/gcc/cgraphunit.c:1781
#12 0x007e1d3c in expand_all_functions () at
/vol/gcc/src/hg/master/local/gcc/cgraphunit.c:1992
#13 symbol_table::compile (this=0xfa810000) at
/vol/gcc/src/hg/master/local/gcc/cgraphunit.c:2356
#14 0x007e5720 in symbol_table::compile (this=0xfa810000) at
/vol/gcc/src/hg/master/local/gcc/cgraphunit.c:2269
#15 symbol_table::finalize_compilation_unit (this=0xfa810000) at
/vol/gcc/src/hg/master/local/gcc/cgraphunit.c:2537
#16 0x00d7a8f0 in compile_file () at
/vol/gcc/src/hg/master/local/gcc/toplev.c:477
#17 0x00d7e2fc in do_compile (no_backend=false) at
/vol/gcc/src/hg/master/local/gcc/toplev.c:2154
#18 toplev::main (this=<optimized out>, argc=<optimized out>, argv=<optimized
out>) at /vol/gcc/src/hg/master/local/gcc/toplev.c:2306
#19 0x018d47f4 in main (argc=16, argv=0xffbfe854) at
/vol/gcc/src/hg/master/local/gcc/main.c:39

It seems plausible that this was caused by

commit 4851c80ce8de18896dc5c4b1b023afa8456736ba
Author: Xionghu Luo <luoxhu@linux.ibm.com>
Date:   Mon Nov 1 00:14:01 2021 -0500

    Rename duplicate_loop_to_header_edge to duplicate_loop_body_to_header_edge

[Bug tree-optimization/103041] [12 regression] gcc.dg/vect/slp-reduc-10a.c etc. FAIL

[ro at gcc dot gnu.org]

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

Rainer Orth <ro at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |12.0

[Bug tree-optimization/103041] [12 regression] gcc.dg/vect/slp-reduc-10a.c etc. FAIL

[luoxhu at gcc dot gnu.org]

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

--- Comment #1 from luoxhu at gcc dot gnu.org ---
Could you please verify whether it is caused by r12-4818 instead of r12-4819?
r12-4819 is a NFC patch which seems more unlikely,  and r12-4818 also ICEs in
PR103029, it is possibly a duplicate of that.


commit f35af8df241a9eb9c2edf7da26d3c5f53d6e2511
Author: Xionghu Luo <luoxhu@linux.ibm.com>
Date:   Mon Nov 1 00:12:36 2021 -0500

    Refactor loop_version

[Bug tree-optimization/103041] [12 regression] gcc.dg/vect/slp-reduc-10a.c etc. FAIL

[rguenth at gcc dot gnu.org]

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

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
                 CC|rguenther at suse dot de           |rguenth at gcc dot gnu.org

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Probably a duplicate of PR103029.

[Bug tree-optimization/103041] [12 regression] gcc.dg/vect/slp-reduc-10a.c etc. FAIL

[rguenth at gcc dot gnu.org]

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

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
The dup was fixed, please close as duplicate in case the sparc issue goes away
as well.

[Bug tree-optimization/103041] [12 regression] gcc.dg/vect/slp-reduc-10a.c etc. FAIL

[ro at CeBiTec dot Uni-Bielefeld.DE]

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

--- Comment #4 from ro at CeBiTec dot Uni-Bielefeld.DE <ro at CeBiTec dot Uni-Bielefeld.DE> ---
> --- Comment #1 from luoxhu at gcc dot gnu.org ---
> Could you please verify whether it is caused by r12-4818 instead of r12-4819?
> r12-4819 is a NFC patch which seems more unlikely,  and r12-4818 also ICEs in
> PR103029, it is possibly a duplicate of that.
>
>
> commit f35af8df241a9eb9c2edf7da26d3c5f53d6e2511
> Author: Xionghu Luo <luoxhu@linux.ibm.com>
> Date:   Mon Nov 1 00:12:36 2021 -0500
>
>     Refactor loop_version

It is indeed r12-4818 that introduced the failures on sparc.

[Bug tree-optimization/103041] [12 regression] gcc.dg/vect/slp-reduc-10a.c etc. FAIL

[luoxhu at gcc dot gnu.org]

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

luoxhu at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |DUPLICATE

--- Comment #5 from luoxhu at gcc dot gnu.org ---
duplicate and fixed.

*** This bug has been marked as a duplicate of bug 103029 ***