[PATCH] [x86] Fix unrecognizable insn of vpdpwuud.

[liuhongt]

512-bit vpdpwusd instruction requires AVX10.2, the iterator use VI2_AVX512F,
and condition is TARGET_AVXVNNIINT16 || TARGET_AVX10_2, so case
TARGET_AVXVNNIINT16 + TARGET_AVX512F meet the condition of the expander but
failed the condition of define_insn.

Tighten the dot_prod expander.

Bootstrapped and regtested on x86_64-pc-linux-gnu{-m32,}.
Ready push to trunk.

gcc/ChangeLog:

        PR target/122457
        * config/i386/sse.md (VI2_AVX10_2): New mode iterator.
        (usdot_prod<sseunpackmodelower><mode>): Use VI2_AVX10_2
        instead of VI2_AVX512F.
        (udot_prod<sseunpackmodelower><mode>): Ditto.

gcc/testsuite/ChangeLog:

        * gcc.target/i386/pr122457.c: New test.
---
 gcc/config/i386/sse.md                   | 11 +++++++----
 gcc/testsuite/gcc.target/i386/pr122457.c |  4 ++++
 2 files changed, 11 insertions(+), 4 deletions(-)
 create mode 100644 gcc/testsuite/gcc.target/i386/pr122457.c

diff --git a/gcc/config/i386/sse.md b/gcc/config/i386/sse.md
index 5eba99225c4..7d91585b05d 100644
--- a/gcc/config/i386/sse.md
+++ b/gcc/config/i386/sse.md
@@ -643,6 +643,9 @@ (define_mode_iterator VI2_AVX2_AVX512BW
 (define_mode_iterator VI2_AVX512F
   [(V32HI "TARGET_AVX512F") (V16HI "TARGET_AVX2") V8HI])
 
+(define_mode_iterator VI2_AVX10_2
+  [(V32HI "TARGET_AVX10_2") (V16HI "TARGET_AVX2") V8HI])
+
 (define_mode_iterator VI2_AVX512VNNIBW
   [(V32HI "TARGET_AVX512BW || TARGET_AVX512VNNI")
    (V16HI "TARGET_AVX2") V8HI])
@@ -32334,8 +32337,8 @@ (define_int_attr vpdpwprodtype
 
 (define_expand "usdot_prod<sseunpackmodelower><mode>"
   [(match_operand:<sseunpackmode> 0 "register_operand")
-   (match_operand:VI2_AVX512F 1 "register_operand")
-   (match_operand:VI2_AVX512F 2 "register_operand")
+   (match_operand:VI2_AVX10_2 1 "register_operand")
+   (match_operand:VI2_AVX10_2 2 "register_operand")
    (match_operand:<sseunpackmode> 3 "register_operand")]
   "TARGET_AVXVNNIINT16 || TARGET_AVX10_2"
 {
@@ -32352,8 +32355,8 @@ (define_expand "usdot_prod<sseunpackmodelower><mode>"
 
 (define_expand "udot_prod<sseunpackmodelower><mode>"
   [(match_operand:<sseunpackmode> 0 "register_operand")
-   (match_operand:VI2_AVX512F 1 "register_operand")
-   (match_operand:VI2_AVX512F 2 "register_operand")
+   (match_operand:VI2_AVX10_2 1 "register_operand")
+   (match_operand:VI2_AVX10_2 2 "register_operand")
    (match_operand:<sseunpackmode> 3 "register_operand")]
   "TARGET_AVXVNNIINT16 || TARGET_AVX10_2"
 {
diff --git a/gcc/testsuite/gcc.target/i386/pr122457.c 
b/gcc/testsuite/gcc.target/i386/pr122457.c
new file mode 100644
index 00000000000..dc57fb207a1
--- /dev/null
+++ b/gcc/testsuite/gcc.target/i386/pr122457.c
@@ -0,0 +1,4 @@
+/* { dg-do compile } */
+/* { dg-options "-O2 -march=x86-64-v4 -mavxvnniint16" } */
+
+#include "vnniint16-auto-vectorize-2.c"
-- 
2.34.1