[gcc r14-4549] Refine predicate of operands[2] in divv4hf3 with register_operand.

[gcc r14-4549] Refine predicate of operands[2] in divv4hf3 with register_operand.

[hongtao Liu]

https://gcc.gnu.org/g:4efe9085d087a8d94261e4c38dd2ba840f3419ac

commit r14-4549-g4efe9085d087a8d94261e4c38dd2ba840f3419ac
Author: liuhongt <hongtao.liu@intel.com>
Date:   Tue Oct 10 11:32:09 2023 +0800

    Refine predicate of operands[2] in divv4hf3 with register_operand.
    
    In the expander, it will emit below insn.
    
    rtx tmp = gen_rtx_VEC_CONCAT (V4SFmode, operands[2],
                            force_reg (V2SFmode, CONST1_RTX (V2SFmode)));
    
    but *vec_concat<mode> only allow register_operand.
    
    gcc/ChangeLog:
    
            PR target/111745
            * config/i386/mmx.md (divv4hf3): Refine predicate of
            operands[2] with register_operand.
    
    gcc/testsuite/ChangeLog:
    
            * gcc.target/i386/pr111745.c: New test.

Diff:
---
 gcc/config/i386/mmx.md                   |  2 +-
 gcc/testsuite/gcc.target/i386/pr111745.c | 18 ++++++++++++++++++
 2 files changed, 19 insertions(+), 1 deletion(-)

diff --git a/gcc/config/i386/mmx.md b/gcc/config/i386/mmx.md
index c84a37a8444..4707cfae93f 100644
--- a/gcc/config/i386/mmx.md
+++ b/gcc/config/i386/mmx.md
@@ -1950,7 +1950,7 @@
   [(set (match_operand:V4HF 0 "register_operand")
 	(div:V4HF
 	  (match_operand:V4HF 1 "nonimmediate_operand")
-	  (match_operand:V4HF 2 "nonimmediate_operand")))]
+	  (match_operand:V4HF 2 "register_operand")))]
   "TARGET_AVX512FP16 && TARGET_AVX512VL && ix86_partial_vec_fp_math"
 {
   rtx op2 = gen_reg_rtx (V8HFmode);
diff --git a/gcc/testsuite/gcc.target/i386/pr111745.c b/gcc/testsuite/gcc.target/i386/pr111745.c
new file mode 100644
index 00000000000..e8989d96abf
--- /dev/null
+++ b/gcc/testsuite/gcc.target/i386/pr111745.c
@@ -0,0 +1,18 @@
+/* { dg-do compile } */
+/* { dg-options "-mavx512fp16 -mavx512vl -ffloat-store -O2" } */
+
+char c;
+_Float16 __attribute__((__vector_size__ (4 * sizeof (_Float16)))) f;
+_Float16 __attribute__((__vector_size__ (2 * sizeof (_Float16)))) f1;
+
+void
+foo (void)
+{
+  f /= c;
+}
+
+void
+foo1 (void)
+{
+  f1 /= c;
+}