[Bug tree-optimization/79284] [7 Regression] ICE on valid code at -O3 on x86_64-linux-gnu: verify_gimple failed

[marxin at gcc dot gnu.org]

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

--- Comment #2 from Martin Liška <marxin at gcc dot gnu.org> ---
(gdb) p debug_gimple_stmt(stmt)
mask__5.10_9 = mask__3.9_16 ^ vect_cst__10;
$1 = void


(gdb) p debug_gimple_stmt(rhs1))
Junk after end of expression.
(gdb) p debug_tree(rhs1_type)
 <vector_type 0x7ffff69a5d20
    type <boolean_type 0x7ffff69a5f18 SI
        size <integer_cst 0x7ffff6886f18 constant 32>
        unit size <integer_cst 0x7ffff6886f30 constant 4>
        align 32 symtab 0 alias set -1 canonical type 0x7ffff69a5f18 precision
32 min <integer_cst 0x7ffff69d9888 -2147483648> max <integer_cst 0x7ffff69d99a8
2147483647>>
    V4SI
    size <integer_cst 0x7ffff6886d20 type <integer_type 0x7ffff689e0a8
bitsizetype> constant 128>
    unit size <integer_cst 0x7ffff6886d38 type <integer_type 0x7ffff689e000
sizetype> constant 16>
    align 128 symtab 0 alias set -1 canonical type 0x7ffff69a5d20 nunits 4>
$2 = void
(gdb) p debug_tree(rhs2_type)
 <vector_type 0x7ffff69e1150
    type <integer_type 0x7ffff69a5738 public unsigned QI
        size <integer_cst 0x7ffff6886dc8 constant 8>
        unit size <integer_cst 0x7ffff6886de0 constant 1>
        align 8 symtab 0 alias set -1 canonical type 0x7ffff69a5738 precision 8
min <integer_cst 0x7ffff69b8558 0> max <integer_cst 0x7ffff69b83a8 255>>
    unsigned V16QI
    size <integer_cst 0x7ffff6886d20 type <integer_type 0x7ffff689e0a8
bitsizetype> constant 128>
    unit size <integer_cst 0x7ffff6886d38 type <integer_type 0x7ffff689e000
sizetype> constant 16>
    align 128 symtab 0 alias set -1 canonical type 0x7ffff69e1150 nunits 16>
$3 = void


(gdb) p debug_gimple_stmt(stmt)
mask__5.10_9 = mask__3.9_16 ^ vect_cst__10;
$4 = void
(gdb) p debug_tree(rhs1_type)
 <vector_type 0x7ffff69a5d20
    type <boolean_type 0x7ffff69a5f18 SI
        size <integer_cst 0x7ffff6886f18 constant 32>
        unit size <integer_cst 0x7ffff6886f30 constant 4>
        align 32 symtab 0 alias set -1 canonical type 0x7ffff69a5f18 precision
32 min <integer_cst 0x7ffff69d9888 -2147483648> max <integer_cst 0x7ffff69d99a8
2147483647>>
    V4SI
    size <integer_cst 0x7ffff6886d20 type <integer_type 0x7ffff689e0a8
bitsizetype> constant 128>
    unit size <integer_cst 0x7ffff6886d38 type <integer_type 0x7ffff689e000
sizetype> constant 16>
    align 128 symtab 0 alias set -1 canonical type 0x7ffff69a5d20 nunits 4>
$5 = void
(gdb) p debug_tree(rhs2_type)
 <vector_type 0x7ffff69e1150
    type <integer_type 0x7ffff69a5738 public unsigned QI
        size <integer_cst 0x7ffff6886dc8 constant 8>
        unit size <integer_cst 0x7ffff6886de0 constant 1>
        align 8 symtab 0 alias set -1 canonical type 0x7ffff69a5738 precision 8
min <integer_cst 0x7ffff69b8558 0> max <integer_cst 0x7ffff69b83a8 255>>
    unsigned V16QI
    size <integer_cst 0x7ffff6886d20 type <integer_type 0x7ffff689e0a8
bitsizetype> constant 128>
    unit size <integer_cst 0x7ffff6886d38 type <integer_type 0x7ffff689e000
sizetype> constant 16>
    align 128 symtab 0 alias set -1 canonical type 0x7ffff69e1150 nunits 16>
$6 = void