[Bug target/104396] New: [11/12 Regression] Invalid SIMD intriniscs accepted at -O1 and above after r11-6794-g04b472ad0e1dc93aba

[pinskia at gcc dot gnu.org via Gcc-bugs]

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

            Bug ID: 104396
           Summary: [11/12 Regression] Invalid SIMD intriniscs accepted at
                    -O1 and above after r11-6794-g04b472ad0e1dc93aba
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Keywords: accepts-invalid
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: pinskia at gcc dot gnu.org
  Target Milestone: ---
            Target: aarch64*-*-*

Take:

#include <arm_neon.h>

void f(int32x4_t *p0, int16x8_t *p1) {
    vqdmlal_high_laneq_s16(p0[0], p1[0], p1[1], -1);
}

This should be rejected even at -O1 but after r11-6794-g04b472ad0e1dc93aba, it
is accepted as the builtin is now removed with DCE.

See https://gcc.gnu.org/pipermail/gcc-patches/2022-February/589911.html also.