[Bug c/99123] New: ICE in decompose_normal_address, at rtlanal.c:6710

[Bug c/99123] New: ICE in decompose_normal_address, at rtlanal.c:6710

[gscfq@t-online.de]

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

            Bug ID: 99123
           Summary: ICE in decompose_normal_address, at rtlanal.c:6710
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gscfq@t-online.de
  Target Milestone: ---

Affects versions down to at least r5 at -O1+.
Testfile derived from gcc/testsuite/gcc.target/i386/20020729-1.c
with string "1" changed to "" :


$ cat z1.c
static inline void *
baz (void *s, unsigned long c, unsigned int count)
{
  int d0, d1;
  __asm__ __volatile__ (""
                        : "=&c" (d0), "=&D" (d1)
                        :"a" (c), "q" (count), "0" (count / 4), "" ((long) s)  
/// "1"
                        :"memory");
  return s;
}

struct A
{
  unsigned long *a;
};

inline static void *
bar (struct A *x, int y)
{
  char *ptr;

  ptr = (void *) x->a[y >> 12];
  ptr += y % (1UL << 12);
  return (void *) ptr;
}

int
foo (struct A *x, unsigned int *y, int z, int u)
{
  int a, b, c, d, e;

  z += *y;
  c = z + u;
  a = (z >> 12) + 1;
  do
    {
      b = (a << 12);
      d = b - z;
      e = c - z;
      if (e < d)
        d = e;
      baz (bar (x, z), 0, d);
      z = b;
      a++;
    }
  while (z < c);
  return 0;
}


$ gcc-11-20210214 -c z1.c -O2
during RTL pass: reload
z1.c: In function 'foo':
z1.c:48:1: internal compiler error: in decompose_normal_address, at
rtlanal.c:6710
   48 | }
      | ^
0xb10f70 decompose_normal_address
        ../../gcc/rtlanal.c:6710
0xb10f70 decompose_address(address_info*, rtx_def**, machine_mode, unsigned
char, rtx_code)
        ../../gcc/rtlanal.c:6787
0x9f4f3c uses_hard_regs_p
        ../../gcc/lra-constraints.c:1911
0x9f4f9a uses_hard_regs_p
        ../../gcc/lra-constraints.c:1922
0x9f7bd1 process_alt_operands
        ../../gcc/lra-constraints.c:3097
0x9fb81b curr_insn_transform
        ../../gcc/lra-constraints.c:4078
0x9fe556 lra_constraints(bool)
        ../../gcc/lra-constraints.c:5143
0x9ec8b2 lra(_IO_FILE*)
        ../../gcc/lra.c:2336
0x9a7689 do_reload
        ../../gcc/ira.c:5827
0x9a7689 execute
        ../../gcc/ira.c:6013

[Bug inline-asm/99123] [8/9/10/11 Regression] ICE in decompose_normal_address, at rtlanal.c:6710

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
   Target Milestone|---                         |8.5
                 CC|                            |jakub at gcc dot gnu.org,
                   |                            |vmakarov at gcc dot gnu.org
            Summary|ICE in                      |[8/9/10/11 Regression] ICE
                   |decompose_normal_address,   |in
                   |at rtlanal.c:6710           |decompose_normal_address,
                   |                            |at rtlanal.c:6710
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2021-02-16
          Component|c                           |inline-asm

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Started with r0-119686-g55a2c3226a3e90a6d65f19710bab1ac377054234
aka LRA introduction.

[Bug inline-asm/99123] [8/9/10/11 Regression] ICE in decompose_normal_address, at rtlanal.c:6710

[vmakarov at gcc dot gnu.org]

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

--- Comment #2 from Vladimir Makarov <vmakarov at gcc dot gnu.org> ---
(In reply to G. Steinmetz from comment #0)
> Affects versions down to at least r5 at -O1+.
> Testfile derived from gcc/testsuite/gcc.target/i386/20020729-1.c
> with string "1" changed to "" :
> 
> 

> $ gcc-11-20210214 -c z1.c -O2
> during RTL pass: reload
> z1.c: In function 'foo':
> z1.c:48:1: internal compiler error: in decompose_normal_address, at
> rtlanal.c:6710
>    48 | }
>       | ^
> 0xb10f70 decompose_normal_address
>         ../../gcc/rtlanal.c:6710

Thank you for reporting this.  I've reproduced the crash and started working on
it.  I guess the fix will be ready this week.

[Bug inline-asm/99123] [8/9/10/11 Regression] ICE in decompose_normal_address, at rtlanal.c:6710

[cvs-commit at gcc dot gnu.org]

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

--- 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:b6680c2084521d2612c3a08aa01b274078c4f3e3

commit r11-7373-gb6680c2084521d2612c3a08aa01b274078c4f3e3
Author: Vladimir N. Makarov <vmakarov@redhat.com>
Date:   Wed Feb 24 13:54:10 2021 -0500

    [PR99123] inline-asm: Don't use decompose_mem_address to find used hard
regs

    Inline asm in question has empty constraint which means anything
    including memory with invalid address.  To check used hard regs we
    used decompose_mem_address which assumes memory with valid address.
    The patch implements the same semantics without assuming valid
    addresses.

    gcc/ChangeLog:

            PR inline-asm/99123
            * lra-constraints.c (uses_hard_regs_p): Don't use
decompose_mem_address.

    gcc/testsuite/ChangeLog:

            PR inline-asm/99123
            * gcc.target/i386/pr99123.c: New.

[Bug inline-asm/99123] [8/9/10 Regression] ICE in decompose_normal_address, at rtlanal.c:6710

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |11.0
           Priority|P3                          |P2
           Keywords|                            |ice-on-valid-code, ra
            Summary|[8/9/10/11 Regression] ICE  |[8/9/10 Regression] ICE in
                   |in                          |decompose_normal_address,
                   |decompose_normal_address,   |at rtlanal.c:6710
                   |at rtlanal.c:6710           |

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed on trunk I suppose.

[Bug inline-asm/99123] [9/10 Regression] ICE in decompose_normal_address, at rtlanal.c:6710

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|8.5                         |9.4

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 8 branch is being closed.

[Bug inline-asm/99123] [9/10 Regression] ICE in decompose_normal_address, at rtlanal.c:6710

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|9.4                         |9.5

--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 9.4 is being released, retargeting bugs to GCC 9.5.

[Bug rtl-optimization/99123] [10 Regression] ICE in decompose_normal_address, at rtlanal.c:6710

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|9.5                         |10.4

--- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> ---
GCC 9 branch is being closed

[Bug rtl-optimization/99123] [10 Regression] ICE in decompose_normal_address, at rtlanal.c:6710

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|10.4                        |10.5

--- Comment #8 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
GCC 10.4 is being released, retargeting bugs to GCC 10.5.

[Bug rtl-optimization/99123] [10 Regression] ICE in decompose_normal_address, at rtlanal.c:6710

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|10.5                        |11.0
         Resolution|---                         |FIXED
      Known to fail|                            |10.5.0
             Status|NEW                         |RESOLVED

--- Comment #9 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed in GCC 11.