[Bug target/89399] New: ICE: RTL check: expected code 'set', 'clobber' or 'clobber_high', have 'parallel' in combine_reaching_defs, at ree.c:783

[zsojka at seznam dot cz]

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

            Bug ID: 89399
           Summary: ICE: RTL check: expected code 'set', 'clobber' or
                    'clobber_high', have 'parallel' in
                    combine_reaching_defs, at ree.c:783
           Product: gcc
           Version: 9.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: armv7a-softfp-linux-gnueabi-gcc

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

Compiler output:
$ armv7a-softfp-linux-gnueabi-gcc -O -mcpu=cortex-m23 -free testcase.c
during RTL pass: ree
testcase.c: In function 'foo':
testcase.c:9:1: internal compiler error: RTL check: expected code 'set',
'clobber' or 'clobber_high', have 'parallel' in combine_reaching_defs, at
ree.c:783
    9 | }
      | ^
0x57a347 rtl_check_failed_code3(rtx_def const*, rtx_code, rtx_code, rtx_code,
char const*, int, char const*)
        /repo/gcc-trunk/gcc/rtl.c:904
0x16848a6 combine_reaching_defs
        /repo/gcc-trunk/gcc/ree.c:852
0x16853b5 find_and_remove_re
        /repo/gcc-trunk/gcc/ree.c:1314
0x16853b5 rest_of_handle_ree
        /repo/gcc-trunk/gcc/ree.c:1385
0x16853b5 execute
        /repo/gcc-trunk/gcc/ree.c:1413
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.

$ armv7a-softfp-linux-gnueabi-gcc -v
Using built-in specs.
COLLECT_GCC=/repo/gcc-trunk/binary-latest-armv7a-softfp/bin/armv7a-softfp-linux-gnueabi-gcc
COLLECT_LTO_WRAPPER=/repo/gcc-trunk/binary-trunk-269006-checking-yes-rtl-df-extra-armv7a-softfp/bin/../libexec/gcc/armv7a-softfp-linux-gnueabi/9.0.1/lto-wrapper
Target: armv7a-softfp-linux-gnueabi
Configured with: /repo/gcc-trunk//configure --enable-languages=c,c++
--enable-valgrind-annotations --disable-nls --enable-checking=yes,rtl,df,extra
--with-cloog --with-ppl --with-isl --with-float=softfp --with-arch=armv7-a
--with-sysroot=/usr/armv7a-softfp-linux-gnueabi --build=x86_64-pc-linux-gnu
--host=x86_64-pc-linux-gnu --target=armv7a-softfp-linux-gnueabi
--with-ld=/usr/bin/armv7a-softfp-linux-gnueabi-ld
--with-as=/usr/bin/armv7a-softfp-linux-gnueabi-as --disable-libstdcxx-pch
--prefix=/repo/gcc-trunk//binary-trunk-269006-checking-yes-rtl-df-extra-armv7a-softfp
Thread model: posix
gcc version 9.0.1 20190219 (experimental) (GCC)