[Bug tree-optimization/113639] New: ICE: in handle_operand_addr, at gimple-lower-bitint.cc:2265 at -O with _BitInt() in a struct

[Bug tree-optimization/113639] New: ICE: in handle_operand_addr, at gimple-lower-bitint.cc:2265 at -O with _BitInt() in a struct

[zsojka at seznam dot cz]

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

            Bug ID: 113639
           Summary: ICE: in handle_operand_addr, at
                    gimple-lower-bitint.cc:2265 at -O with _BitInt() in a
                    struct
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: zsojka at seznam dot cz
  Target Milestone: ---
              Host: x86_64-pc-linux-gnu
            Target: x86_64-pc-linux-gnu

Created attachment 57245
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57245&action=edit
reduced testcase (from gcc.dg/torture/pr57393-1.c)

Compiler output:
$ x86_64-pc-linux-gnu-gcc -O testcase.c 
during GIMPLE pass: bitintlower
testcase.c: In function 'foo':
testcase.c:10:1: internal compiler error: in handle_operand_addr, at
gimple-lower-bitint.cc:2265
   10 | foo (struct S s)
      | ^~~
0xd84efa handle_operand_addr
        /repo/gcc-trunk/gcc/gimple-lower-bitint.cc:2265
0x2738496 handle_operand_addr
        /repo/gcc-trunk/gcc/gimple-lower-bitint.cc:2170
0x273878f lower_muldiv_stmt
        /repo/gcc-trunk/gcc/gimple-lower-bitint.cc:3400
0x274b423 gimple_lower_bitint
        /repo/gcc-trunk/gcc/gimple-lower-bitint.cc:6562
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.

$ x86_64-pc-linux-gnu-gcc -v
Using built-in specs.
COLLECT_GCC=/repo/gcc-trunk/binary-latest-amd64/bin/x86_64-pc-linux-gnu-gcc
COLLECT_LTO_WRAPPER=/repo/gcc-trunk/binary-trunk-r14-8474-20240128132141-g46df13697a4-checking-yes-rtl-df-extra-amd64/bin/../libexec/gcc/x86_64-pc-linux-gnu/14.0.1/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: /repo/gcc-trunk//configure --enable-languages=c,c++
--enable-valgrind-annotations --disable-nls --enable-checking=yes,rtl,df,extra
--with-cloog --with-ppl --with-isl --build=x86_64-pc-linux-gnu
--host=x86_64-pc-linux-gnu --target=x86_64-pc-linux-gnu
--with-ld=/usr/bin/x86_64-pc-linux-gnu-ld
--with-as=/usr/bin/x86_64-pc-linux-gnu-as --disable-libstdcxx-pch
--prefix=/repo/gcc-trunk//binary-trunk-r14-8474-20240128132141-g46df13697a4-checking-yes-rtl-df-extra-amd64
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 14.0.1 20240128 (experimental) (GCC)

[Bug tree-optimization/113639] ICE: in handle_operand_addr, at gimple-lower-bitint.cc:2265 at -O with _BitInt() in a struct

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2024-01-29
             Status|UNCONFIRMED                 |NEW
     Ever confirmed|0                           |1

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Confirmed.  This looks like another SRA issue.

SRA produces:
```
  _BitInt(192) s;
  _BitInt(129) _1;

  <bb 2> :
  s_10 = MEM[(struct S *)&s];
  _1 = VIEW_CONVERT_EXPR<_BitInt(129)>(s_10);

```

Note I did s/418/129/ to make easier to reproduce on all targets that support
_BitInt (which is still just x86_64).

[Bug tree-optimization/113639] ICE: in handle_operand_addr, at gimple-lower-bitint.cc:2265 at -O with _BitInt() in a struct

[jakub at gcc dot gnu.org]

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

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

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

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Created attachment 57263
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57263&action=edit
gcc14-pr113639.patch

Untested fix.

[Bug tree-optimization/113639] ICE: in handle_operand_addr, at gimple-lower-bitint.cc:2265 at -O with _BitInt() in a struct

[cvs-commit at gcc dot gnu.org]

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

--- Comment #3 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Jakub Jelinek <jakub@gcc.gnu.org>:

https://gcc.gnu.org/g:90ac839a470d61ffcd9eee0d7d37ca9c385dfefb

commit r14-8650-g90ac839a470d61ffcd9eee0d7d37ca9c385dfefb
Author: Jakub Jelinek <jakub@redhat.com>
Date:   Wed Jan 31 10:50:33 2024 +0100

    lower-bitint: Fix up VIEW_CONVERT_EXPR handling in handle_operand_addr
[PR113639]

    Yet another spot where we need to treat VIEW_CONVERT_EXPR differently
    from NOP_EXPR/CONVERT_EXPR.

    2024-01-31  Jakub Jelinek  <jakub@redhat.com>

            PR tree-optimization/113639
            * gimple-lower-bitint.cc (bitint_large_huge::handle_operand_addr):
            For VIEW_CONVERT_EXPR set rhs1 to its operand.

            * gcc.dg/bitint-79.c: New test.

[Bug tree-optimization/113639] ICE: in handle_operand_addr, at gimple-lower-bitint.cc:2265 at -O with _BitInt() in a struct

[jakub at gcc dot gnu.org]

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

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

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

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