[Bug tree-optimization/103517] [12 Regression] ICE in as_a, at is-a.h:242 with -O2 -march=skylake-avx512 since r12-5612-g10833849b55401a5

[cvs-commit at gcc dot gnu.org]

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

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

https://gcc.gnu.org/g:1e625a44f6f3001cea31e0f7c563943ecba92b68

commit r12-5689-g1e625a44f6f3001cea31e0f7c563943ecba92b68
Author: Richard Sandiford <richard.sandiford@arm.com>
Date:   Wed Dec 1 14:36:24 2021 +0000

    vect: Tighten check for SLP memory groups [PR103517]

    When checking for compatible stmts, vect_build_slp_tree_1 did:

                   && !(STMT_VINFO_GROUPED_ACCESS (stmt_info)
                        && (first_stmt_code == ARRAY_REF
                            || first_stmt_code == BIT_FIELD_REF
                            || first_stmt_code == INDIRECT_REF
                            || first_stmt_code == COMPONENT_REF
                            || first_stmt_code == MEM_REF)))

    That is, it allowed any rhs_code as long as the first_stmt_code
    looked valid.  This had the effect of allowing IFN_MASK_LOAD
    to be paired with an earlier non-call code (but didn't allow
    the reverse).

    This patch makes the check symmetrical.

    gcc/
            PR tree-optimization/103517
            * tree-vect-slp.c (vect_build_slp_tree_1): When allowing two
            different component references, check the codes of both them,
            rather than just the first.

    gcc/testsuite/
            PR tree-optimization/103517
            * gcc.dg/vect/pr103517.c: New test.