[Bug target/68088] New: [6 Regression] ICE: RTL check: expected code 'reg', have 'subreg' in rhs_regno, at rtl.h:1782 @ aarch64

[Bug target/68088] New: [6 Regression] ICE: RTL check: expected code 'reg', have 'subreg' in rhs_regno, at rtl.h:1782 @ aarch64

[zsojka at seznam dot cz]

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

            Bug ID: 68088
           Summary: [6 Regression] ICE: RTL check: expected code 'reg',
                    have 'subreg' in rhs_regno, at rtl.h:1782 @ 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 36581
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=36581&action=edit
reduced testcase

This ICE happened when building libdebug with an x86_64 -> aarch64
crosscompiler.

RTL checking must be enabled.

$ cc1 -quiet testcase.c -O2         
testcase.c: In function 'foo':
testcase.c:13:5: internal compiler error: RTL check: expected code 'reg', have
'subreg' in rhs_regno, at rtl.h:1782
     }
     ^
0xa90e27 rtl_check_failed_code1(rtx_def const*, rtx_code, char const*, int,
char const*)
        /mnt/svn/gcc-trunk/gcc/rtl.c:811
0x551cb2 rhs_regno
        /mnt/svn/gcc-trunk/gcc/rtl.h:1782
0xe42a00 rhs_regno
        /mnt/svn/gcc-trunk/gcc/config/arm/aarch-common.c:429
0xe42a00 aarch_accumulator_forwarding(rtx_insn*, rtx_insn*)
        /mnt/svn/gcc-trunk/gcc/config/arm/aarch-common.c:463
0xf08450 internal_insn_latency
       
/home/smatz/build-229293-lto-fortran-checking-yes-rtl-df-disable-bootstrap-disable-graphite-aarch64/gcc/insn-automata.c:22594
0xf08450 insn_latency(rtx_def*, rtx_def*)
       
/home/smatz/build-229293-lto-fortran-checking-yes-rtl-df-disable-bootstrap-disable-graphite-aarch64/gcc/insn-automata.c:23777
0x11075ea dep_cost_1(_dep*, unsigned int)
        /mnt/svn/gcc-trunk/gcc/haifa-sched.c:1489
0x11093ef dep_cost
        /mnt/svn/gcc-trunk/gcc/haifa-sched.c:1530
0x11093ef priority
        /mnt/svn/gcc-trunk/gcc/haifa-sched.c:1681
0x11094f0 set_priorities(rtx_insn*, rtx_insn*)
        /mnt/svn/gcc-trunk/gcc/haifa-sched.c:7213
0xaaab8c compute_priorities()
        /mnt/svn/gcc-trunk/gcc/sched-rgn.c:2921
0xaadb3d schedule_region
        /mnt/svn/gcc-trunk/gcc/sched-rgn.c:3014
0xaadb3d schedule_insns
        /mnt/svn/gcc-trunk/gcc/sched-rgn.c:3412
0xaae2f3 schedule_insns
        /mnt/svn/gcc-trunk/gcc/sched-rgn.c:3397
0xaae2f3 rest_of_handle_sched
        /mnt/svn/gcc-trunk/gcc/sched-rgn.c:3616
0xaae2f3 execute
        /mnt/svn/gcc-trunk/gcc/sched-rgn.c:3724
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.


$ xgcc -v     
Using built-in specs.
COLLECT_GCC=/home/smatz/build-229293-lto-fortran-checking-yes-rtl-df-disable-bootstrap-disable-graphite-aarch64//gcc/xgcc
Target: aarch64-unknown-linux-gnu
Configured with: /mnt/svn/gcc-trunk//configure --disable-bootstrap
--enable-checking=yes,rtl,df --enable-languages=c,c++,lto,fortran
--prefix=/mnt/svn/gcc-trunk/binary-229293-lto-fortran-checking-yes-rtl-df-disable-bootstrap-disable-graphite-aarch64/
--without-cloog --without-ppl --without-isl --host=x86_64-pc-linux-gnu
--target=aarch64-unknown-linux-gnu --build=x86_64-pc-linux-gnu
--with-sysroot=/home/aarch64-chroot
Thread model: posix
gcc version 6.0.0 20151025 (experimental) (GCC) 


Tested revisions:
r229293 - ICE
5-branch r229292 - OK
4_9-branch r229291 - OK

[Bug target/68088] [6 Regression] ICE: RTL check: expected code 'reg', have 'subreg' in rhs_regno, at rtl.h:1782 @ aarch64

[pinskia at gcc dot gnu.org]

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

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Note it might also effect arm*-*-* too but only with -mcpu=cortext-a57 .

[Bug target/68088] [6 Regression] ICE: RTL check: expected code 'reg', have 'subreg' in rhs_regno, at rtl.h:1782 @ aarch64

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-10-25
                 CC|                            |jgreenhalgh at gcc dot gnu.org
   Target Milestone|---                         |6.0
     Ever confirmed|0                           |1

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Introduced with:

------------------------------------------------------------------------
r228324 | jgreenhalgh | 2015-10-01 17:33:40 +0800 (Thu, 01 Oct 2015) | 10 lines

[Patch 2/2 ARM/AArch64] Add a new Cortex-A53 scheduling model

        * config/arm/aarch-common-protos.h
        (aarch_accumulator_forwarding): New.
        (aarch_forward_to_shift_is_not_shifted_reg): Likewise.
        * config/arm/aarch-common.c (aarch_accumulator_forwarding): New.
        (aarch_forward_to_shift_is_not_shifted_reg): Liekwise.
        * config/arm/cortex-a53.md: Rewrite.


So actually -mcpu=cortex-a53 and not a57 can allow it to show up on arm*-*-*.

[Bug target/68088] [6 Regression] ICE: RTL check: expected code 'reg', have 'subreg' in rhs_regno, at rtl.h:1782 @ aarch64

[jgreenhalgh at gcc dot gnu.org]

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

James Greenhalgh <jgreenhalgh at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2015-10-25 00:00:00         |2015-10-26
           Assignee|unassigned at gcc dot gnu.org      |jgreenhalgh at gcc dot gnu.org

--- Comment #3 from James Greenhalgh <jgreenhalgh at gcc dot gnu.org> ---
Confirmed, and mine. This looks like me trying to pull REGNO out of
"accumulator" without first checking it is a REG.

I'll take a look at a fix when I'm properly back from vacation.