[Bug c/104786] New: [12.0]internal compiler error with extern asm

[Bug c/104786] New: [12.0]internal compiler error with extern asm

[570070308 at qq dot com]

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

            Bug ID: 104786
           Summary: [12.0]internal compiler error with extern asm
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: 570070308 at qq dot com
  Target Milestone: ---

Created attachment 52565
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=52565&action=edit
/tmp/ccusgsXN.out

log:
```
ig@ig-virtual-machine:~/temp$ gcc-12 test5.c -S -o 2.s -freport-bug
-fno-builtin -v
Using built-in specs.
COLLECT_GCC=gcc-12
OFFLOAD_TARGET_NAMES=nvptx-none:amdgcn-amdhsa
OFFLOAD_TARGET_DEFAULT=1
Target: x86_64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Ubuntu
12-20220222-1ubuntu1' --with-bugurl=file:///usr/share/doc/gcc-12/README.Bugs
--enable-languages=c,ada,c++,go,d,fortran,objc,obj-c++,m2 --prefix=/usr
--with-gcc-major-version-only --program-suffix=-12
--program-prefix=x86_64-linux-gnu- --enable-shared --enable-linker-build-id
--libexecdir=/usr/lib --without-included-gettext --enable-threads=posix
--libdir=/usr/lib --enable-nls --enable-clocale=gnu --enable-libstdcxx-debug
--enable-libstdcxx-time=yes --with-default-libstdcxx-abi=new
--enable-gnu-unique-object --disable-vtable-verify --enable-plugin
--enable-default-pie --with-system-zlib --enable-libphobos-checking=release
--with-target-system-zlib=auto --enable-objc-gc=auto --enable-multiarch
--disable-werror --enable-cet --with-arch-32=i686 --with-abi=m64
--with-multilib-list=m32,m64,mx32 --enable-multilib --with-tune=generic
--enable-offload-targets=nvptx-none=/build/gcc-12-TT8eTw/gcc-12-12-20220222/debian/tmp-nvptx/usr,amdgcn-amdhsa=/build/gcc-12-TT8eTw/gcc-12-12-20220222/debian/tmp-gcn/usr
--enable-offload-defaulted --without-cuda-driver --enable-checking=release
--build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 12.0.1 20220222 (experimental) [master r12-7325-g2f59f067610]
(Ubuntu 12-20220222-1ubuntu1) 
COLLECT_GCC_OPTIONS='-S' '-o' '2.s' '-freport-bug' '-fno-builtin' '-v'
'-mtune=generic' '-march=x86-64'
 /usr/lib/gcc/x86_64-linux-gnu/12/cc1 -quiet -v -imultiarch x86_64-linux-gnu
test5.c -quiet -dumpbase 2.c -dumpbase-ext .c -mtune=generic -march=x86-64
-version -freport-bug -fno-builtin -o 2.s -fasynchronous-unwind-tables
-fstack-protector-strong -Wformat -Wformat-security -fstack-clash-protection
-fcf-protection
GNU C17 (Ubuntu 12-20220222-1ubuntu1) version 12.0.1 20220222 (experimental)
[master r12-7325-g2f59f067610] (x86_64-linux-gnu)
        compiled by GNU C version 12.0.1 20220222 (experimental) [master
r12-7325-g2f59f067610], GMP version 6.2.1, MPFR version 4.1.0, MPC version
1.2.1, isl version isl-0.24-GMP

GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
ignoring nonexistent directory "/usr/local/include/x86_64-linux-gnu"
ignoring nonexistent directory "/usr/lib/gcc/x86_64-linux-gnu/12/include-fixed"
ignoring nonexistent directory
"/usr/lib/gcc/x86_64-linux-gnu/12/../../../../x86_64-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:
 /usr/lib/gcc/x86_64-linux-gnu/12/include
 /usr/local/include
 /usr/include/x86_64-linux-gnu
 /usr/include
End of search list.
GNU C17 (Ubuntu 12-20220222-1ubuntu1) version 12.0.1 20220222 (experimental)
[master r12-7325-g2f59f067610] (x86_64-linux-gnu)
        compiled by GNU C version 12.0.1 20220222 (experimental) [master
r12-7325-g2f59f067610], GMP version 6.2.1, MPFR version 4.1.0, MPC version
1.2.1, isl version isl-0.24-GMP

GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
Compiler executable checksum: b0de683ccdd6a31c725d9273cea9e1f8
test5.c: In function ‘memcpy’:
test5.c:23:10: warning: passing argument 1 of ‘test’ discards ‘const’ qualifier
from pointer target type [-Wdiscarded-qualifiers]
   23 |     test(si);
      |          ^~
test5.c:3:18: note: expected ‘void *’ but argument is of type ‘const void *’
    3 | void test(void * a);
      |           ~~~~~~~^
during RTL pass: expand
test5.c:11:9: internal compiler error: in assign_stack_temp_for_type, at
function.cc:798
   11 |         __asm__ inline (
      |         ^~~~~~~
0x63d27e assign_stack_temp_for_type(machine_mode, poly_int<1u, long>,
tree_node*)
        ../../src/gcc/function.cc:798
0x90cb33 assign_temp(tree_node*, int, int)
        ../../src/gcc/function.cc:1018
0x7aa202 expand_asm_stmt
        ../../src/gcc/cfgexpand.cc:3332
0x7adccc expand_gimple_stmt_1
        ../../src/gcc/cfgexpand.cc:3861
0x7adccc expand_gimple_stmt
        ../../src/gcc/cfgexpand.cc:4028
0x7b2a77 expand_gimple_basic_block
        ../../src/gcc/cfgexpand.cc:6069
0x7b4716 execute
        ../../src/gcc/cfgexpand.cc:6795
Please submit a full bug report, with preprocessed source.
Please include the complete backtrace with any bug report.
See <file:///usr/share/doc/gcc-12/README.Bugs> for instructions.
Preprocessed source stored into /tmp/ccusgsXN.out file, please attach this to
your bugreport.
ERROR: Cannot create report: [Errno 17] File exists:
'/var/crash/_usr_lib_gcc_x86_64-linux-gnu_12_cc1.1000.crash'
ig@ig-virtual-machine:~/temp$
```

test5.c:
```

#include <stddef.h>
void test(void * a);

void memcpy(void * di, const void * si, size_t num)
{
    {
        const void * temp_si=si;
        void *temp_di=di;
        size_t temp_num=num;
        __asm__ inline (
                "cld\n\t"
                "shrq   $4, %%rcx\n\t"
                "%[rsi] %[rdi]\n\t"
                "rep;   movsq\n\t"
                "movq   %[rcx2], %%rcx\n\t"
                "rep;   movsb"
                :[rcx]"+c"(temp_num), [rdi]"+D"(temp_di), [rsi]"+S"(temp_si),
"=X"(  *(char (*)[num])di  )
                :[rcx2]"g"( num&7 ), "X"(  (const char (*)[num])si )
                :"cc"
                );
    }
    test(si);
}
```

/tmp/ccusgsXN.out:
see attachment

the gcc-12 is installed by apt on ubuntu 22.04

[Bug c/104786] [12.0]internal compiler error with extern asm

[570070308 at qq dot com]

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

--- Comment #1 from 。 <570070308 at qq dot com> ---
gcc-9 crashed too

[Bug middle-end/104786] ICE with VLA type and "=X" constraint on inline-asm

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[12.0]internal compiler     |ICE with VLA type and "=X"
                   |error with extern asm       |constraint on inline-asm

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Reduced testcase:
void h(void * di, int num)
{
    char (*t)[num] = di;
    __asm__ (  ""  : "=X"( *t));
}

[Bug middle-end/104786] [9/10/11/12 Regression] ICE with VLA type and "=X" constraint on inline-asm

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
   Target Milestone|---                         |9.5
   Last reconfirmed|                            |2022-03-05
             Status|UNCONFIRMED                 |NEW

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Confirmed.

[Bug middle-end/104786] [9/10/11/12 Regression] ICE with VLA type and "=X" constraint on inline-asm

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2
             Status|NEW                         |ASSIGNED
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot gnu.org

--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> ---
#3  0x0000000000d0a0bf in expand_asm_stmt (stmt=0x7ffff667f0b0)
    at /home/rguenther/src/gcc3/gcc/cfgexpand.cc:3332
3332              op = assign_temp (type, 0, 1);
...
3287             allows a register, make a temporary to act as an intermediate.
3288             Make the asm insn write into that, then we will copy it to
3289             the real output operand.  Likewise for promoted variables.  */
3290
3291          generating_concat_p = 0;
3292
3293          if ((TREE_CODE (val) == INDIRECT_REF && allows_mem)
3294              || (DECL_P (val)
3295                  && (allows_mem || REG_P (DECL_RTL (val)))
3296                  && ! (REG_P (DECL_RTL (val))
(gdb) p allows_mem
$1 = true
(gdb) p val
$2 = <mem_ref 0x7ffff6650eb0>

looks like a remanent from before MEM_REF times?

diff --git a/gcc/cfgexpand.cc b/gcc/cfgexpand.cc
index 87536ec7ccd..9b5c953fe22 100644
--- a/gcc/cfgexpand.cc
+++ b/gcc/cfgexpand.cc
@@ -3290,7 +3290,7 @@ expand_asm_stmt (gasm *stmt)

       generating_concat_p = 0;

-      if ((TREE_CODE (val) == INDIRECT_REF && allows_mem)
+      if ((TREE_CODE (val) == MEM_REF && allows_mem)
          || (DECL_P (val)
              && (allows_mem || REG_P (DECL_RTL (val)))
              && ! (REG_P (DECL_RTL (val))

fixes this, not sure how "careful" we want to be here (TARGET_MEM_REF?
What about other tcc_reference codes?).

I'm going to test REFERENCE_CLASS_P.

[Bug middle-end/104786] [9/10/11/12 Regression] ICE with VLA type and "=X" constraint on inline-asm

[cvs-commit at gcc dot gnu.org]

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

--- Comment #5 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Richard Biener <rguenth@gcc.gnu.org>:

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

commit r12-7560-gba3ff5e35144e2afff4ccef4ccbbbbaba9870afb
Author: Richard Biener <rguenther@suse.de>
Date:   Wed Mar 9 10:55:49 2022 +0100

    middle-end/104786 - ICE with asm and VLA

    The following fixes an ICE observed with a MEM_REF allows_mem asm
    operand referencing a VLA.  The following makes sure to not attempt
    to go the temporary creation way when we cannot.

    2022-03-09  Richard Biener  <rguenther@suse.de>

            PR middle-end/104786
            * cfgexpand.cc (expand_asm_stmt): Do not generate a copy
            for VLAs without an upper size bound.

            * gcc.dg/pr104786.c: New testcase.

[Bug middle-end/104786] [9/10/11 Regression] ICE with VLA type and "=X" constraint on inline-asm

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |12.0
            Summary|[9/10/11/12 Regression] ICE |[9/10/11 Regression] ICE
                   |with VLA type and "=X"      |with VLA type and "=X"
                   |constraint on inline-asm    |constraint on inline-asm

--- Comment #6 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed on trunk sofar.

[Bug middle-end/104786] [9/10/11 Regression] ICE with VLA type and "=X" constraint on inline-asm

[cvs-commit at gcc dot gnu.org]

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

--- Comment #7 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-11 branch has been updated by Richard Biener
<rguenth@gcc.gnu.org>:

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

commit r11-9661-gc4ac43fad3dff78e6e16e4d6ff36e77428332e4d
Author: Richard Biener <rguenther@suse.de>
Date:   Wed Mar 9 10:55:49 2022 +0100

    middle-end/104786 - ICE with asm and VLA

    The following fixes an ICE observed with a MEM_REF allows_mem asm
    operand referencing a VLA.  The following makes sure to not attempt
    to go the temporary creation way when we cannot.

    2022-03-09  Richard Biener  <rguenther@suse.de>

            PR middle-end/104786
            * cfgexpand.c (expand_asm_stmt): Do not generate a copy
            for VLAs without an upper size bound.

            * gcc.dg/pr104786.c: New testcase.

    (cherry picked from commit ba3ff5e35144e2afff4ccef4ccbbbbaba9870afb)

[Bug middle-end/104786] [9/10 Regression] ICE with VLA type and "=X" constraint on inline-asm

[cvs-commit at gcc dot gnu.org]

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

--- Comment #8 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-10 branch has been updated by Richard Biener
<rguenth@gcc.gnu.org>:

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

commit r10-10545-ge513d5641077d41ff85e6f877f8997e173886cd6
Author: Richard Biener <rguenther@suse.de>
Date:   Wed Mar 9 10:55:49 2022 +0100

    middle-end/104786 - ICE with asm and VLA

    The following fixes an ICE observed with a MEM_REF allows_mem asm
    operand referencing a VLA.  The following makes sure to not attempt
    to go the temporary creation way when we cannot.

    2022-03-09  Richard Biener  <rguenther@suse.de>

            PR middle-end/104786
            * cfgexpand.c (expand_asm_stmt): Do not generate a copy
            for VLAs without an upper size bound.

            * gcc.dg/pr104786.c: New testcase.

    (cherry picked from commit ba3ff5e35144e2afff4ccef4ccbbbbaba9870afb)

[Bug middle-end/104786] [9 Regression] ICE with VLA type and "=X" constraint on inline-asm

[cvs-commit at gcc dot gnu.org]

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

--- Comment #9 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-9 branch has been updated by Richard Biener
<rguenth@gcc.gnu.org>:

https://gcc.gnu.org/g:4ebdbc7660e6ce6dd2184b9ab6c61f0a47e3a3ab

commit r9-10043-g4ebdbc7660e6ce6dd2184b9ab6c61f0a47e3a3ab
Author: Richard Biener <rguenther@suse.de>
Date:   Wed Mar 9 10:55:49 2022 +0100

    middle-end/104786 - ICE with asm and VLA

    The following fixes an ICE observed with a MEM_REF allows_mem asm
    operand referencing a VLA.  The following makes sure to not attempt
    to go the temporary creation way when we cannot.

    2022-03-09  Richard Biener  <rguenther@suse.de>

            PR middle-end/104786
            * cfgexpand.c (expand_asm_stmt): Do not generate a copy
            for VLAs without an upper size bound.

            * gcc.dg/pr104786.c: New testcase.

    (cherry picked from commit ba3ff5e35144e2afff4ccef4ccbbbbaba9870afb)

[Bug middle-end/104786] [9 Regression] ICE with VLA type and "=X" constraint on inline-asm

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
      Known to work|                            |9.4.1
      Known to fail|                            |9.4.0
         Resolution|---                         |FIXED

--- Comment #10 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed.