[Bug target/105383] New: [11/12 Regression] ICE: in change_insns, at rtl-ssa/changes.cc:674 with -Os -fno-tree-dominator-opts -fno-tree-vrp -msseregparm -m32

[Bug target/105383] New: [11/12 Regression] ICE: in change_insns, at rtl-ssa/changes.cc:674 with -Os -fno-tree-dominator-opts -fno-tree-vrp -msseregparm -m32

[zsojka at seznam dot cz]

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

            Bug ID: 105383
           Summary: [11/12 Regression] ICE: in change_insns, at
                    rtl-ssa/changes.cc:674 with -Os
                    -fno-tree-dominator-opts -fno-tree-vrp -msseregparm
                    -m32
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: zsojka at seznam dot cz
  Target Milestone: ---
              Host: x86_64-pc-linux-gnu
            Target: x86_64-pc-linux-gnu

Created attachment 52873
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=52873&action=edit
reduced testcase

Compiler output:
$ x86_64-pc-linux-gnu-gcc -Os -fno-tree-dominator-opts -fno-tree-vrp
-msseregparm -m32 testcase.c 
during RTL pass: fwprop1
testcase.c: In function 'foo':
testcase.c:12:1: internal compiler error: in change_insns, at
rtl-ssa/changes.cc:674
   11 | }
      | ^
0xce7bdd
rtl_ssa::function_info::change_insns(array_slice<rtl_ssa::insn_change*>)
        /repo/gcc-trunk/gcc/rtl-ssa/changes.cc:674
0x2458417 rtl_ssa::function_info::change_insn(rtl_ssa::insn_change&)
        /repo/gcc-trunk/gcc/rtl-ssa/changes.cc:717
0x2306d68 try_fwprop_subst_pattern
        /repo/gcc-trunk/gcc/fwprop.cc:553
0x2306d68 try_fwprop_subst
        /repo/gcc-trunk/gcc/fwprop.cc:627
0x230748c forward_propagate_and_simplify
        /repo/gcc-trunk/gcc/fwprop.cc:823
0x230748c forward_propagate_into
        /repo/gcc-trunk/gcc/fwprop.cc:886
0x230773b forward_propagate_into
        /repo/gcc-trunk/gcc/fwprop.cc:835
0x230773b fwprop_insn
        /repo/gcc-trunk/gcc/fwprop.cc:943
0x2307819 fwprop
        /repo/gcc-trunk/gcc/fwprop.cc:995
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.

$ x86_64-pc-linux-gnu-gcc -v
Using built-in specs.
COLLECT_GCC=/repo/gcc-trunk/binary-latest-amd64/bin/x86_64-pc-linux-gnu-gcc
COLLECT_LTO_WRAPPER=/repo/gcc-trunk/binary-trunk-r12-8242-20220425114659-gf0e170f72f8-checking-yes-rtl-df-extra-nobootstrap-amd64/bin/../libexec/gcc/x86_64-pc-linux-gnu/12.0.1/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: /repo/gcc-trunk//configure --enable-languages=c,c++
--enable-valgrind-annotations --disable-nls --enable-checking=yes,rtl,df,extra
--disable-bootstrap --with-cloog --with-ppl --with-isl
--build=x86_64-pc-linux-gnu --host=x86_64-pc-linux-gnu
--target=x86_64-pc-linux-gnu --with-ld=/usr/bin/x86_64-pc-linux-gnu-ld
--with-as=/usr/bin/x86_64-pc-linux-gnu-as --disable-libstdcxx-pch
--prefix=/repo/gcc-trunk//binary-trunk-r12-8242-20220425114659-gf0e170f72f8-checking-yes-rtl-df-extra-nobootstrap-amd64
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 12.0.1 20220425 (experimental) (GCC)

[Bug target/105383] [11/12 Regression] ICE: in change_insns, at rtl-ssa/changes.cc:674 with -Os -fno-tree-dominator-opts -fno-tree-vrp -msseregparm -m32 since r11-6188-g0b76990a9d75d97b

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |marxin at gcc dot gnu.org,
                   |                            |rsandifo at gcc dot gnu.org
             Status|UNCONFIRMED                 |NEW
            Summary|[11/12 Regression] ICE: in  |[11/12 Regression] ICE: in
                   |change_insns, at            |change_insns, at
                   |rtl-ssa/changes.cc:674 with |rtl-ssa/changes.cc:674 with
                   |-Os                         |-Os
                   |-fno-tree-dominator-opts    |-fno-tree-dominator-opts
                   |-fno-tree-vrp -msseregparm  |-fno-tree-vrp -msseregparm
                   |-m32                        |-m32 since
                   |                            |r11-6188-g0b76990a9d75d97b
   Last reconfirmed|                            |2022-04-25
     Ever confirmed|0                           |1

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
Started with r11-6188-g0b76990a9d75d97b.

[Bug rtl-optimization/105383] [11/12 Regression] ICE: in change_insns, at rtl-ssa/changes.cc:674 with -Os -fno-tree-dominator-opts -fno-tree-vrp -msseregparm -m32 since r11-6188-g0b76990a9d75d97b

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2
   Target Milestone|---                         |11.4
          Component|target                      |rtl-optimization

[Bug rtl-optimization/105383] [11/12 Regression] ICE: in change_insns, at rtl-ssa/changes.cc:674 with -Os -fno-tree-dominator-opts -fno-tree-vrp -msseregparm -m32 since r11-6188-g0b76990a9d75d97b

[zsojka at seznam dot cz]

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

--- Comment #2 from Zdenek Sojka <zsojka at seznam dot cz> ---
Created attachment 52886
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=52886&action=edit
a bit different testcase

A bit different testcase, a bit different flags:
$ x86_64-pc-linux-gnu-gcc -Os -fnon-call-exceptions -fno-tree-bit-ccp -m32
testcase2.c 
during RTL pass: fwprop1
testcase2.c: In function 'foo':
testcase2.c:15:1: internal compiler error: in change_insns, at
rtl-ssa/changes.cc:674
   15 | }
      | ^
0xd3c823
rtl_ssa::function_info::change_insns(array_slice<rtl_ssa::insn_change*>)
        /repo/gcc-trunk/gcc/rtl-ssa/changes.cc:674
0x24b9c97 rtl_ssa::function_info::change_insn(rtl_ssa::insn_change&)
        /repo/gcc-trunk/gcc/rtl-ssa/changes.cc:717
0x2368548 try_fwprop_subst_pattern
        /repo/gcc-trunk/gcc/fwprop.cc:553
0x2368548 try_fwprop_subst
        /repo/gcc-trunk/gcc/fwprop.cc:627
0x2368c6c forward_propagate_and_simplify
        /repo/gcc-trunk/gcc/fwprop.cc:823
0x2368c6c forward_propagate_into
        /repo/gcc-trunk/gcc/fwprop.cc:886
0x2368f1b forward_propagate_into
        /repo/gcc-trunk/gcc/fwprop.cc:835
0x2368f1b fwprop_insn
        /repo/gcc-trunk/gcc/fwprop.cc:943
0x2368ff9 fwprop
        /repo/gcc-trunk/gcc/fwprop.cc:995
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 rtl-optimization/105383] [11/12 Regression] ICE: in change_insns, at rtl-ssa/changes.cc:674 with -Os -fno-tree-dominator-opts -fno-tree-vrp -msseregparm -m32 since r11-6188-g0b76990a9d75d97b

[zsojka at seznam dot cz]

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

--- Comment #3 from Zdenek Sojka <zsojka at seznam dot cz> ---
Created attachment 52890
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=52890&action=edit
testcase failing at just -Os -m32

$ x86_64-pc-linux-gnu-gcc -Os -m32 testcase-Os.c 
during RTL pass: fwprop1
testcase-Os.c: In function 'foo':
testcase-Os.c:10:1: internal compiler error: in change_insns, at
rtl-ssa/changes.cc:674
   10 | }
      | ^
0xd3c823
rtl_ssa::function_info::change_insns(array_slice<rtl_ssa::insn_change*>)
        /repo/gcc-trunk/gcc/rtl-ssa/changes.cc:674
0x24b9c97 rtl_ssa::function_info::change_insn(rtl_ssa::insn_change&)
        /repo/gcc-trunk/gcc/rtl-ssa/changes.cc:717
0x2368548 try_fwprop_subst_pattern
        /repo/gcc-trunk/gcc/fwprop.cc:553
0x2368548 try_fwprop_subst
        /repo/gcc-trunk/gcc/fwprop.cc:627
0x2368c6c forward_propagate_and_simplify
        /repo/gcc-trunk/gcc/fwprop.cc:823
0x2368c6c forward_propagate_into
        /repo/gcc-trunk/gcc/fwprop.cc:886
0x2368f1b forward_propagate_into
        /repo/gcc-trunk/gcc/fwprop.cc:835
0x2368f1b fwprop_insn
        /repo/gcc-trunk/gcc/fwprop.cc:943
0x2368ff9 fwprop
        /repo/gcc-trunk/gcc/fwprop.cc:995
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 rtl-optimization/105383] [11/12/13 Regression] ICE: in change_insns, at rtl-ssa/changes.cc:674 with -Os -m32 since r11-6188-g0b76990a9d75d97b

[rsandifo at gcc dot gnu.org]

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

rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |rsandifo at gcc dot gnu.org
             Status|NEW                         |ASSIGNED

--- Comment #4 from rsandifo at gcc dot gnu.org <rsandifo at gcc dot gnu.org> ---
Mine.  Sorry for the slow response, somehow missed this.

[Bug rtl-optimization/105383] [11/12/13/14 Regression] ICE: in change_insns, at rtl-ssa/changes.cc:674 with -Os -m32 since r11-6188-g0b76990a9d75d97b

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|11.4                        |11.5

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 11.4 is being released, retargeting bugs to GCC 11.5.