[Bug target/94438] [8/9/10 Regression] ICE: verify_gimple failed: position plus size exceeds size of referenced object in 'bit_field_ref' with -mavx512vbmi -mavx512vl

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2020-04-01
                 CC|                            |jakub at gcc dot gnu.org
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |NEW

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Adjusted testcase so that it doesn't use uninitialized var:

typedef __attribute__ ((__vector_size__ (sizeof (__int128)))) __int128 V;

void
foo (V w)
{
  V v = 0 <= (0 >= w);
}

And:
typedef __attribute__ ((__vector_size__ (4 * sizeof (__int128)))) __int128 V;

void
foo (V w)
{
  V v = 0 <= (0 >= w);
}

ICEs in another spot (only -mavx512vbmi is needed for this one):
during RTL pass: expand
pr94438-2.c: In function ‘foo’:
pr94438-2.c:6:11: internal compiler error: in expand_vec_cond_expr, at
optabs.c:5884
    6 |   V v = 0 <= (0 >= w);
      |         ~~^~~~~~~~~~~
0x10edd07 expand_vec_cond_expr(tree_node*, tree_node*, tree_node*, tree_node*,
rtx_def*)
        ../../gcc/optabs.c:5882
0xd20e4b do_store_flag
        ../../gcc/expr.c:12148