[Bug rtl-optimization/100066] New: [11 Regression] ICE in lra_assign, at lra-assigns.c:1649

[Bug rtl-optimization/100066] New: [11 Regression] ICE in lra_assign, at lra-assigns.c:1649

[asolokha at gmx dot com]

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

            Bug ID: 100066
           Summary: [11 Regression] ICE in lra_assign, at
                    lra-assigns.c:1649
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Keywords: ice-on-invalid-code
          Severity: normal
          Priority: P3
         Component: rtl-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
  Target Milestone: ---
            Target: x86_64-unknown-linux-gnu

gcc-11.0.1-alpha20210411 snapshot (g:ac200799acb5cd2fb9e1758f6bf5fff1978daaeb)
ICEs when compiling the following testcase w/ -O1:

int pm;

void
w3 (int, int, int);

void
e6 (__int128 rt, long int mo)
{
  mo += rt / 0;
  w3 (pm / mo, pm, 0);
}

% x86_64-unknown-linux-gnu-gcc-11.0.1 -O1 -w -c eukuvtrk.c
during RTL pass: reload
eukuvtrk.c: In function 'e6':
eukuvtrk.c:11:1: internal compiler error: in lra_assign, at lra-assigns.c:1649
   11 | }
      | ^
0xc6d9fa lra_assign(bool&)
       
/var/tmp/portage/sys-devel/gcc-11.0.1_alpha20210411/work/gcc-11-20210411/gcc/lra-assigns.c:1649
0xc67b94 lra(_IO_FILE*)
       
/var/tmp/portage/sys-devel/gcc-11.0.1_alpha20210411/work/gcc-11-20210411/gcc/lra.c:2387
0xc203c9 do_reload
       
/var/tmp/portage/sys-devel/gcc-11.0.1_alpha20210411/work/gcc-11-20210411/gcc/ira.c:5835
0xc203c9 execute
       
/var/tmp/portage/sys-devel/gcc-11.0.1_alpha20210411/work/gcc-11-20210411/gcc/ira.c:6021

It ICEs on the same assertion as in PR99829, so I suppose it's actually a
duplicate.

[Bug rtl-optimization/100066] [11 Regression] ICE in lra_assign, at lra-assigns.c:1649

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Target Milestone|---                         |11.0
                 CC|                            |jakub at gcc dot gnu.org,
                   |                            |vmakarov at gcc dot gnu.org
   Last reconfirmed|                            |2021-04-13
     Ever confirmed|0                           |1
           Priority|P3                          |P1

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Started with r11-8008-g4bbd51afaa4a3c116fb538d912b35e126be80b41

[Bug rtl-optimization/100066] [11 Regression] ICE in lra_assign, at lra-assigns.c:1649

[vmakarov at gcc dot gnu.org]

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

--- Comment #2 from Vladimir Makarov <vmakarov at gcc dot gnu.org> ---
Thank you for reporting this.  I've reproduced this bug.  It seems something
wrong  with hard reg live range splitting.  This code is complicated so I can
not say when it will be fixed but I'll do my best to fix this as soon as
possible.

[Bug rtl-optimization/100066] [11 Regression] ICE in lra_assign, at lra-assigns.c:1649

[cvs-commit at gcc dot gnu.org]

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

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Vladimir Makarov <vmakarov@gcc.gnu.org>:

https://gcc.gnu.org/g:f99f64f69db49ce6343d79a39eab28dcc6b91865

commit r11-8180-gf99f64f69db49ce6343d79a39eab28dcc6b91865
Author: Vladimir N. Makarov <vmakarov@redhat.com>
Date:   Wed Apr 14 13:21:40 2021 -0400

    [PR100066] Check paradoxical subreg when splitting hard reg live range

    When splitting live range of a hard reg, LRA actually split multi-register
    containing the hard reg.  So we need to check the biggest used mode of the
hard reg on
    paradoxical subregister when the natural and the biggest
    mode are ordered.

    gcc/ChangeLog:

            PR rtl-optimization/100066
            * lra-constraints.c (split_reg): Check paradoxical_subreg_p for
            ordered modes when choosing splitting mode for hard reg.

    gcc/testsuite/ChangeLog:

            PR rtl-optimization/100066
            * gcc.target/i386/pr100066.c: New.

[Bug rtl-optimization/100066] [11 Regression] ICE in lra_assign, at lra-assigns.c:1649

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|NEW                         |RESOLVED

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Fixed.