[Bug middle-end/114073] New: during GIMPLE pass: bitintlower: internal compiler error: in lower_stmt, at gimple-lower-bitint.cc:5530

[Bug middle-end/114073] New: during GIMPLE pass: bitintlower: internal compiler error: in lower_stmt, at gimple-lower-bitint.cc:5530

[jakub at gcc dot gnu.org]

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

            Bug ID: 114073
           Summary: during GIMPLE pass: bitintlower: internal compiler
                    error: in lower_stmt, at gimple-lower-bitint.cc:5530
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: jakub at gcc dot gnu.org
                CC: crazylht at gmail dot com, hjl.tools at gmail dot com,
                    jakub at gcc dot gnu.org, janschultke at googlemail dot com,
                    pinskia at gcc dot gnu.org, rguenth at gcc dot gnu.org,
                    rsandifo at gcc dot gnu.org, unassigned at gcc dot gnu.org
        Depends on: 113988
  Target Milestone: ---

VIEW_CONVERT_EXPRs between BITINT_TYPE and same sized gimple reg types like
VECTOR_TYPE or COMPLEX_TYPE currently ICEs.

Testcase showing this (-O2 -mavx512f):

_Complex __int128
f1 (_BitInt(256) x)
{
  union U { _BitInt(256) x; _Complex __int128 y; } u;
  u.x = x;
  return u.y;
}

_Complex __int128
f2 (_BitInt(254) x)
{
  union U { _BitInt(254) x; _Complex __int128 y; } u;
  u.x = x;
  return u.y;
}

typedef int V __attribute__((vector_size (sizeof (_BitInt(256)))));

V
f3 (_BitInt(256) x)
{
  union U { _BitInt(256) x; V y; } u;
  u.x = x;
  return u.y;
}

V
f4 (_BitInt(254) x)
{
  union U { _BitInt(254) x; V y; } u;
  u.x = x;
  return u.y;
}

typedef int W __attribute__((vector_size (sizeof (_BitInt(512)))));

W
f5 (_BitInt(512) x)
{
  union U { _BitInt(512) x; W y; } u;
  u.x = x;
  return u.y;
}

W
f6 (_BitInt(509) x)
{
  union U { _BitInt(509) x; W y; } u;
  u.x = x;
  return u.y;
}

_BitInt(256)
f7 (_Complex __int128 x)
{
  union U { _BitInt(256) x; _Complex __int128 y; } u;
  u.y = x;
  return u.x;
}

_BitInt(252)
f8 (_Complex __int128 x)
{
  union U { _BitInt(252) x; _Complex __int128 y; } u;
  u.y = x;
  return u.x;
}

_BitInt(256)
f9 (V x)
{
  union U { _BitInt(256) x; V y; } u;
  u.y = x;
  return u.x;
}

_BitInt(252)
f10 (V x)
{
  union U { _BitInt(252) x; V y; } u;
  u.y = x;
  return u.x;
}

_BitInt(512)
f11 (W x)
{
  union U { _BitInt(512) x; W y; } u;
  u.y = x;
  return u.x;
}

_BitInt(506)
f12 (W x)
{
  union U { _BitInt(506) x; W y; } u;
  u.y = x;
  return u.x;
}


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113988
[Bug 113988] during GIMPLE pass: bitintlower: internal compiler error: in
lower_stmt, at gimple-lower-bitint.cc:5470

[Bug middle-end/114073] during GIMPLE pass: bitintlower: internal compiler error: in lower_stmt, at gimple-lower-bitint.cc:5530

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
     Ever confirmed|0                           |1
           Assignee|unassigned at gcc dot gnu.org      |jakub at gcc dot gnu.org
   Last reconfirmed|                            |2024-02-23

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

Untested fix.

[Bug middle-end/114073] during GIMPLE pass: bitintlower: internal compiler error: in lower_stmt, at gimple-lower-bitint.cc:5530

[cvs-commit at gcc dot gnu.org]

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

--- Comment #2 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:5e7a176e88a2a37434cef9b1b6a37a4f8274854a

commit r14-9163-g5e7a176e88a2a37434cef9b1b6a37a4f8274854a
Author: Jakub Jelinek <jakub@redhat.com>
Date:   Sat Feb 24 12:44:34 2024 +0100

    bitint: Handle VIEW_CONVERT_EXPRs between large/huge BITINT_TYPEs and
VECTOR/COMPLEX_TYPE etc. [PR114073]

    The following patch implements support for VIEW_CONVERT_EXPRs from/to
    large/huge _BitInt to/from vector or complex types or anything else but
    integral/pointer types which doesn't need to live in memory.

    2024-02-24  Jakub Jelinek  <jakub@redhat.com>

            PR middle-end/114073
            * gimple-lower-bitint.cc (bitint_large_huge::lower_stmt): Handle
            VIEW_CONVERT_EXPRs between large/huge _BitInt and
non-integer/pointer
            types like vector or complex types.
            (gimple_lower_bitint): Don't merge VIEW_CONVERT_EXPRs to
non-integral
            types.  Fix up VIEW_CONVERT_EXPR handling.  Allow merging
            VIEW_CONVERT_EXPR from non-integral/pointer types with a store.

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

[Bug middle-end/114073] during GIMPLE pass: bitintlower: internal compiler error: in lower_stmt, at gimple-lower-bitint.cc:5530

[jakub at gcc dot gnu.org]

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

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

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

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

[Bug middle-end/114073] during GIMPLE pass: bitintlower: internal compiler error: in lower_stmt, at gimple-lower-bitint.cc:5530

[pinskia at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |zsojka at seznam dot cz

--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
*** Bug 114096 has been marked as a duplicate of this bug. ***