1 files changed, 41 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.target/i386/avx512f-vaddss-2.c b/gcc/testsuite/gcc.target/i386/avx512f-vaddss-2.c
new file mode 100644
index 00000000000..13cc360701f
--- /dev/null
+++ b/gcc/testsuite/gcc.target/i386/avx512f-vaddss-2.c
@@ -0,0 +1,41 @@
+/* { dg-do run } */
+/* { dg-options "-mavx512f -O2" } */
+/* { dg-require-effective-target avx512f } */
+
+#include "avx512f-check.h"
+#include "avx512f-mask-type.h"
+#include "avx512f-helper.h"
+
+static void
+compute_vaddss (float *s1, float *s2, float *r)
+{
+  r[0] = s1[0] + s2[0];
+  r[1] = s1[1];
+  r[2] = s1[2];
+  r[3] = s1[3];
+}
+
+static void
+avx512f_test (void)
+{
+  union128 s1, s2, res1, res2;
+  __mmask8 mask = MASK_VALUE;
+  float res_ref[4];
+
+  s1.x = _mm_set_ps (-24.43, 68.346, -43.35, 546.46);
+  s2.x = _mm_set_ps (222.22, -333.33, 444.44, -4.56);
+  res1.a[0] = DEFAULT_VALUE;
+
+  res1.x = _mm_mask_add_ss (res1.x, mask, s1.x, s2.x);
+  res2.x = _mm_maskz_add_ss (mask, s1.x, s2.x);
+
+  compute_vaddss (s1.a, s2.a, res_ref);
+
+  MASK_MERGE () (res_ref, mask, 1);
+  if (check_fp_union128 (res1, res_ref))
+    abort ();
+
+  MASK_ZERO () (res_ref, mask, 1);
+  if (check_fp_union128 (res2, res_ref))
+    abort ();
+}