[Bug target/68254] New: [4.9/5/6 Regression] ICE: in lra_set_insn_recog_data, at lra.c:954 with -O -fPIC and "X" asm input @ aarch64

[zsojka at seznam dot cz]

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

            Bug ID: 68254
           Summary: [4.9/5/6 Regression] ICE: in lra_set_insn_recog_data,
                    at lra.c:954 with -O -fPIC and "X" asm input @ aarch64
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: zsojka at seznam dot cz
  Target Milestone: ---

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

Compiler output:
$ aarch64-unknown-linux-gnu-gcc testcase.c -O -fPIC         
testcase.c: In function 'foo':
testcase.c:7:1: internal compiler error: in lra_set_insn_recog_data, at
lra.c:954
 }
 ^
0x967431 lra_set_insn_recog_data(rtx_insn*)
        /repo/gcc-trunk/gcc/lra.c:952
0x967507 lra_get_insn_recog_data
        /repo/gcc-trunk/gcc/lra-int.h:486
0x967507 lra_update_insn_regno_info
        /repo/gcc-trunk/gcc/lra.c:1574
0x967c07 lra_update_insn_regno_info
        /repo/gcc-trunk/gcc/vec.h:1410
0x967c07 lra_push_insn_1
        /repo/gcc-trunk/gcc/lra.c:1639
0x967c07 lra_push_insn
        /repo/gcc-trunk/gcc/lra.c:1647
0x967c07 push_insns
        /repo/gcc-trunk/gcc/lra.c:1690
0x969759 lra_process_new_insns(rtx_insn*, rtx_insn*, rtx_insn*, char const*)
        /repo/gcc-trunk/gcc/lra.c:1736
0x97caf5 curr_insn_transform
        /repo/gcc-trunk/gcc/lra-constraints.c:3919
0x97e5e6 lra_constraints(bool)
        /repo/gcc-trunk/gcc/lra-constraints.c:4406
0x96a6dc lra(_IO_FILE*)
        /repo/gcc-trunk/gcc/lra.c:2267
0x912bb9 do_reload
        /repo/gcc-trunk/gcc/ira.c:5380
0x912bb9 execute
        /repo/gcc-trunk/gcc/ira.c:5551
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.


$ aarch64-unknown-linux-gnu-gcc -v                 
Using built-in specs.
COLLECT_GCC=/repo/gcc-trunk/binary-latest-aarch64/bin/aarch64-unknown-linux-gnu-gcc
COLLECT_LTO_WRAPPER=/repo/gcc-trunk/binary-trunk-229845-checking-yes-rtl-df-nographite-aarch64/bin/../libexec/gcc/aarch64-unknown-linux-gnu/6.0.0/lto-wrapper
Target: aarch64-unknown-linux-gnu
Configured with: /repo/gcc-trunk//configure --enable-languages=c,c++
--enable-checking=yes,rtl,df --without-cloog --without-ppl --without-isl
--build=x86_64-pc-linux-gnu --host=x86_64-pc-linux-gnu
--target=aarch64-unknown-linux-gnu
--with-ld=/usr/bin/aarch64-unknown-linux-gnu-ld
--with-as=/usr/bin/aarch64-unknown-linux-gnu-as --with-sysroot=/chroot/aarch64
--disable-libstdcxx-pch
--prefix=/repo/gcc-trunk//binary-trunk-229845-checking-yes-rtl-df-nographite-aarch64
Thread model: posix
gcc version 6.0.0 20151106 (experimental) (GCC) 


The failing assert is:
          /* It is a special insn like USE or CLOBBER.  We should
             recognize any regular insn otherwise LRA can do nothing
             with this insn.  */
          gcc_assert (GET_CODE (PATTERN (insn)) == USE
                      || GET_CODE (PATTERN (insn)) == CLOBBER
                      || GET_CODE (PATTERN (insn)) == ASM_INPUT);


Tested revisions:
trunk r229845 - ICE
5-branch r229829 - ICE
4_9-branch r229828 - ICE
4_8-branch r224828 - OK