[Bug target/103097] New: ICE in move_for_stack_reg, at reg-stack.c:1186

[Bug target/103097] New: ICE in move_for_stack_reg, at reg-stack.c:1186

[asolokha at gmx dot com]

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

            Bug ID: 103097
           Summary: ICE in move_for_stack_reg, at reg-stack.c:1186
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Keywords: error-recovery, ice-on-invalid-code
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
  Target Milestone: ---
            Target: x86_64-unknown-linux-gnu

gcc-12.0.0-alpha20211031 snapshot (g:ca84f39399fda80c770306465276ffd66d3766ed)
ICEs when compiling
gcc/testsuite/gcc.target/s390/vector/long-double-asm-earlyclobber.c w/ -O1
-fharden-conditional-branches:

% x86_64-unknown-linux-gnu-gcc-12.0.0 -O1 -fharden-conditional-branches -c
gcc/testsuite/gcc.target/s390/vector/long-double-asm-earlyclobber.c
gcc/testsuite/gcc.target/s390/vector/long-double-asm-earlyclobber.c: In
function 'main':
gcc/testsuite/gcc.target/s390/vector/long-double-asm-earlyclobber.c:12:3:
error: output constraint 0 must specify a single register
   12 |   asm("lzxr\t%0\n"
      |   ^~~
during RTL pass: stack
gcc/testsuite/gcc.target/s390/vector/long-double-asm-earlyclobber.c:17:1:
internal compiler error: in move_for_stack_reg, at reg-stack.c:1186
   17 | }
      | ^
0x7077c5 move_for_stack_reg
       
/var/tmp/portage/sys-devel/gcc-12.0.0_alpha20211031/work/gcc-12-20211031/gcc/reg-stack.c:1186
0xe0567a subst_stack_regs
       
/var/tmp/portage/sys-devel/gcc-12.0.0_alpha20211031/work/gcc-12-20211031/gcc/reg-stack.c:2457
0xe05851 convert_regs_1
       
/var/tmp/portage/sys-devel/gcc-12.0.0_alpha20211031/work/gcc-12-20211031/gcc/reg-stack.c:3093
0xe05851 convert_regs_2
       
/var/tmp/portage/sys-devel/gcc-12.0.0_alpha20211031/work/gcc-12-20211031/gcc/reg-stack.c:3227
0xe069a1 convert_regs
       
/var/tmp/portage/sys-devel/gcc-12.0.0_alpha20211031/work/gcc-12-20211031/gcc/reg-stack.c:3262
0xe069a1 reg_to_stack
       
/var/tmp/portage/sys-devel/gcc-12.0.0_alpha20211031/work/gcc-12-20211031/gcc/reg-stack.c:3387
0xe069a1 rest_of_handle_stack_regs
       
/var/tmp/portage/sys-devel/gcc-12.0.0_alpha20211031/work/gcc-12-20211031/gcc/reg-stack.c:3442
0xe069a1 execute
       
/var/tmp/portage/sys-devel/gcc-12.0.0_alpha20211031/work/gcc-12-20211031/gcc/reg-stack.c:3474

[Bug target/103097] ICE in move_for_stack_reg, at reg-stack.c:1186

[marxin at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |aoliva at gcc dot gnu.org,
                   |                            |marxin at gcc dot gnu.org
   Last reconfirmed|                            |2021-11-05
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1

[Bug target/103097] ICE in move_for_stack_reg, at reg-stack.c:1186

[aoliva at gcc dot gnu.org]

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

Alexandre Oliva <aoliva at gcc dot gnu.org> changed:

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

--- Comment #1 from Alexandre Oliva <aoliva at gcc dot gnu.org> ---
Mine, thanks for the report.  I think the underlying cause for this one is the
same as for bug 103149 (the "=g" constraint), and hopefully the fix will be the
same as well, but I'll keep both open for now.

[Bug target/103097] ICE in move_for_stack_reg, at reg-stack.c:1186

[cvs-commit at gcc dot gnu.org]

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

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Alexandre Oliva <aoliva@gcc.gnu.org>:

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

commit r12-5853-gaf93386ffc18ca6c7d1949751ff97cc6ce092b2c
Author: Alexandre Oliva <oliva@adacore.com>
Date:   Wed Dec 8 23:37:15 2021 -0300

    [PR103097] tolerate reg-stack cross-block malformed asms

    The testcase shows malformed asms in one block confuse reg-stack logic
    in another block.  Moving the resetting of any_malformed_asm to the
    end of the pass enables it to take effect throughout the affected
    function.


    for  gcc/ChangeLog

            PR target/103097
            * reg-stack.c (convert_regs_1): Move any_malformed_asm
            resetting...
            (reg_to_stack): ... here.

    for  gcc/testsuite/ChangeLog

            PR target/103097
            * gcc.target/i386/pr103097.c: New.

[Bug target/103097] ICE in move_for_stack_reg, at reg-stack.c:1186

[aoliva at gcc dot gnu.org]

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

Alexandre Oliva <aoliva at gcc dot gnu.org> changed:

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

--- Comment #3 from Alexandre Oliva <aoliva at gcc dot gnu.org> ---
Fixed