testsuite: aarch64: Add tests for v[q]mov[u]n_high intrinsics

Add tests for v[q]mov[u]n_high Neon intrinsics. Since these
intrinsics are only supported for AArch64, these tests are restricted
to only run on AArch64 targets.

gcc/testsuite/ChangeLog:

2021-03-02  Jonathan Wright  <jonathan.wright@arm.com>

	* gcc.target/aarch64/advsimd-intrinsics/vmovn_high.c:
	New test.
	* gcc.target/aarch64/advsimd-intrinsics/vqmovn_high.c:
	New test.
	* gcc.target/aarch64/advsimd-intrinsics/vqmovun_high.c:
	New test.

3 files changed, 285 insertions, 0 deletions

diff --git a/gcc/testsuite/gcc.target/aarch64/advsimd-intrinsics/vmovn_high.c b/gcc/testsuite/gcc.target/aarch64/advsimd-intrinsics/vmovn_high.c
new file mode 100644
index 0000000..e05a40f
--- /dev/null
+++ b/gcc/testsuite/gcc.target/aarch64/advsimd-intrinsics/vmovn_high.c
@@ -0,0 +1,73 @@
+/* { dg-skip-if "" { arm*-*-* } } */
+
+#include <arm_neon.h>
+#include "arm-neon-ref.h"
+#include "compute-ref-data.h"
+
+/* Expected results.  */
+VECT_VAR_DECL(expected, int, 8, 16) [] = { 0x5, 0x5, 0x5, 0x5,
+					   0x5, 0x5, 0x5, 0x5,
+					   0xf0, 0xf1, 0xf2, 0xf3,
+				           0xf4, 0xf5, 0xf6, 0xf7 };
+VECT_VAR_DECL(expected, int, 16, 8) [] = { 0x5, 0x5, 0x5, 0x5, 
+					   0xfff0, 0xfff1, 0xfff2, 0xfff3 };
+VECT_VAR_DECL(expected, int, 32, 4) [] = { 0x5, 0x5, 0xfffffff0, 0xfffffff1 };
+VECT_VAR_DECL(expected, uint, 8, 16) [] = { 0x5, 0x5, 0x5, 0x5,
+					    0x5, 0x5, 0x5, 0x5,
+					    0xf0, 0xf1, 0xf2, 0xf3,
+					    0xf4, 0xf5, 0xf6, 0xf7 };
+VECT_VAR_DECL(expected, uint, 16, 8) [] = { 0x5, 0x5, 0x5, 0x5,
+					    0xfff0, 0xfff1, 0xfff2, 0xfff3 };
+VECT_VAR_DECL(expected, uint, 32, 4) [] = { 0x5, 0x5, 0xfffffff0, 0xfffffff1 };
+
+#define TEST_MSG "VMOVN_HIGH"
+void exec_vmovn_high (void)
+{
+  /* Basic test: vec128_r=vmovn_high(vec64_r, vec128_x), store the result.  */
+#define TEST_VMOVN_HIGH(T1, T2, W1, W2, N1, N2)					\
+  VECT_VAR(vec128_r, T1, W2, N2) =						\
+    vmovn_high_##T2##W1(VECT_VAR(vec64_r, T1, W2, N1),				\
+			VECT_VAR(vec128_x, T1, W1, N1));			\
+  vst1q_##T2##W2(VECT_VAR(result, T1, W2, N2), VECT_VAR(vec128_r, T1, W2, N2))
+
+  DECL_VARIABLE_128BITS_VARIANTS(vec128_r);
+  DECL_VARIABLE_64BITS_VARIANTS(vec64_r);
+  DECL_VARIABLE_128BITS_VARIANTS(vec128_x);
+
+  clean_results ();
+
+  /* Fill vec64_r with a value easy to recognise in the result vector. */
+  VDUP(vec64_r, , int, s, 8, 8, 0x5);
+  VDUP(vec64_r, , int, s, 16, 4, 0x5);
+  VDUP(vec64_r, , int, s, 32, 2, 0x5);
+  VDUP(vec64_r, , uint, u, 8, 8, 0x5);
+  VDUP(vec64_r, , uint, u, 16, 4, 0x5);
+  VDUP(vec64_r, , uint, u, 32, 2, 0x5);
+
+  VLOAD(vec128_x, buffer, q, int, s, 16, 8);
+  VLOAD(vec128_x, buffer, q, int, s, 32, 4);
+  VLOAD(vec128_x, buffer, q, int, s, 64, 2);
+  VLOAD(vec128_x, buffer, q, uint, u, 16, 8);
+  VLOAD(vec128_x, buffer, q, uint, u, 32, 4);
+  VLOAD(vec128_x, buffer, q, uint, u, 64, 2);
+
+  TEST_VMOVN_HIGH(int, s, 16, 8, 8, 16);
+  TEST_VMOVN_HIGH(int, s, 32, 16, 4, 8);
+  TEST_VMOVN_HIGH(int, s, 64, 32, 2, 4);
+  TEST_VMOVN_HIGH(uint, u, 16, 8, 8, 16);
+  TEST_VMOVN_HIGH(uint, u, 32, 16, 4, 8);
+  TEST_VMOVN_HIGH(uint, u, 64, 32, 2, 4);
+
+  CHECK(TEST_MSG, int, 8, 16, PRIx8, expected, "");
+  CHECK(TEST_MSG, int, 16, 8, PRIx16, expected, "");
+  CHECK(TEST_MSG, int, 32, 4, PRIx32, expected, "");
+  CHECK(TEST_MSG, uint, 8, 16, PRIx8, expected, "");
+  CHECK(TEST_MSG, uint, 16, 8, PRIx16, expected, "");
+  CHECK(TEST_MSG, uint, 32, 4, PRIx32, expected, "");
+}
+
+int main (void)
+{
+  exec_vmovn_high ();
+  return 0;
+}
diff --git a/gcc/testsuite/gcc.target/aarch64/advsimd-intrinsics/vqmovn_high.c b/gcc/testsuite/gcc.target/aarch64/advsimd-intrinsics/vqmovn_high.c
new file mode 100644
index 0000000..cb4f5c8
--- /dev/null
+++ b/gcc/testsuite/gcc.target/aarch64/advsimd-intrinsics/vqmovn_high.c
@@ -0,0 +1,121 @@
+/* { dg-skip-if "" { arm*-*-* } } */
+
+#include <arm_neon.h>
+#include "arm-neon-ref.h"
+#include "compute-ref-data.h"
+
+/* Expected results.  */
+VECT_VAR_DECL(expected, int, 8, 16) [] = { 0x5, 0x5, 0x5, 0x5,
+					   0x5, 0x5, 0x5, 0x5,
+					   0x12, 0x12, 0x12, 0x12,
+					   0x12, 0x12, 0x12, 0x12 };
+VECT_VAR_DECL(expected, int, 16, 8) [] = { 0x5, 0x5, 0x5, 0x5,
+					   0x1278, 0x1278, 0x1278, 0x1278 };
+VECT_VAR_DECL(expected, int, 32, 4) [] = { 0x5, 0x5, 0x12345678, 0x12345678 };
+VECT_VAR_DECL(expected, uint, 8, 16) [] = { 0x5, 0x5, 0x5, 0x5,
+					    0x5, 0x5, 0x5, 0x5,
+					    0x82, 0x82, 0x82, 0x82,
+					    0x82, 0x82, 0x82, 0x82 };
+VECT_VAR_DECL(expected, uint, 16, 8) [] = { 0x5, 0x5, 0x5, 0x5,
+					    0x8765, 0x8765, 0x8765, 0x8765 };
+VECT_VAR_DECL(expected, uint, 32, 4) [] = { 0x5, 0x5, 0x87654321, 0x87654321 };
+
+/* Expected results when saturation occurs.  */
+VECT_VAR_DECL(expected1, int, 8, 16) [] = { 0x5, 0x5, 0x5, 0x5,
+					    0x5, 0x5, 0x5, 0x5,
+					    0x7f, 0x7f, 0x7f, 0x7f,
+					    0x7f, 0x7f, 0x7f, 0x7f };
+VECT_VAR_DECL(expected1, int, 16, 8) [] = { 0x5, 0x5, 0x5, 0x5,
+					    0x7fff, 0x7fff, 0x7fff, 0x7fff };
+VECT_VAR_DECL(expected1, int, 32, 4) [] = { 0x5, 0x5, 0x7fffffff, 0x7fffffff };
+VECT_VAR_DECL(expected1, uint, 8, 16) [] = { 0x5, 0x5, 0x5, 0x5,
+					     0x5, 0x5, 0x5, 0x5,
+					     0xff, 0xff, 0xff, 0xff,
+					     0xff, 0xff, 0xff, 0xff };
+VECT_VAR_DECL(expected1, uint, 16, 8) [] = { 0x5, 0x5, 0x5, 0x5,
+					     0xffff, 0xffff, 0xffff, 0xffff };
+VECT_VAR_DECL(expected1, uint, 32, 4) [] = { 0x5, 0x5, 
+					     0xffffffff, 0xffffffff };
+
+#define TEST_MSG "VQMOVN_HIGH"
+void exec_vqmovn_high (void)
+{
+  /* Basic test: vec128_r=vqmovn_high(vec64_r,vec128_x), store the result.  */
+#define TEST_VQMOVN_HIGH(T1, T2, W1, W2, N1, N2, CMT)				\
+  Set_Neon_Cumulative_Sat(0, VECT_VAR(vec128_r, T1, W1, N2));			\
+  VECT_VAR(vec128_r, T1, W1, N2) =						\
+    vqmovn_high_##T2##W2(VECT_VAR(vec64_r, T1, W1, N1),				\
+			 VECT_VAR(vec128_x, T1, W2, N1));			\
+  vst1q##_##T2##W1(VECT_VAR(result, T1, W1, N2),				\
+		   VECT_VAR(vec128_r, T1, W1, N2))
+
+  DECL_VARIABLE_128BITS_VARIANTS(vec128_r);
+  DECL_VARIABLE_64BITS_VARIANTS(vec64_r);
+  DECL_VARIABLE_128BITS_VARIANTS(vec128_x);
+
+  clean_results ();
+
+  /* Fill vec64_r with a value easy to recognise in the result vector. */
+  VDUP(vec64_r, , int, s, 8, 8, 0x5);
+  VDUP(vec64_r, , int, s, 16, 4, 0x5);
+  VDUP(vec64_r, , int, s, 32, 2, 0x5);
+  VDUP(vec64_r, , uint, u, 8, 8, 0x5);
+  VDUP(vec64_r, , uint, u, 16, 4, 0x5);
+  VDUP(vec64_r, , uint, u, 32, 2, 0x5);
+
+  /* Fill input vector with arbitrary values.  */
+  VDUP(vec128_x, q, int, s, 16, 8, 0x12);
+  VDUP(vec128_x, q, int, s, 32, 4, 0x1278);
+  VDUP(vec128_x, q, int, s, 64, 2, 0x12345678);
+  VDUP(vec128_x, q, uint, u, 16, 8, 0x82);
+  VDUP(vec128_x, q, uint, u, 32, 4, 0x8765);
+  VDUP(vec128_x, q, uint, u, 64, 2, 0x87654321);
+
+
+#define CMT ""
+  TEST_VQMOVN_HIGH(int, s, 8, 16, 8, 16, CMT);
+  TEST_VQMOVN_HIGH(int, s, 16, 32, 4, 8, CMT);
+  TEST_VQMOVN_HIGH(int, s, 32, 64, 2, 4, CMT);
+  TEST_VQMOVN_HIGH(uint, u, 8, 16, 8, 16, CMT);
+  TEST_VQMOVN_HIGH(uint, u, 16, 32, 4, 8, CMT);
+  TEST_VQMOVN_HIGH(uint, u, 32, 64, 2, 4, CMT);
+
+  CHECK(TEST_MSG, int, 8, 16, PRIx8, expected, CMT);
+  CHECK(TEST_MSG, int, 16, 8, PRIx16, expected, CMT);
+  CHECK(TEST_MSG, int, 32, 4, PRIx32, expected, CMT);
+  CHECK(TEST_MSG, uint, 8, 16, PRIx8, expected, CMT);
+  CHECK(TEST_MSG, uint, 16, 8, PRIx16, expected, CMT);
+  CHECK(TEST_MSG, uint, 32, 4, PRIx32, expected, CMT);
+
+
+  /* Fill input vector with arbitrary values which cause cumulative
+     saturation.  */
+  VDUP(vec128_x, q, int, s, 16, 8, 0x1234);
+  VDUP(vec128_x, q, int, s, 32, 4, 0x12345678);
+  VDUP(vec128_x, q, int, s, 64, 2, 0x1234567890ABLL);
+  VDUP(vec128_x, q, uint, u, 16, 8, 0x8234);
+  VDUP(vec128_x, q, uint, u, 32, 4, 0x87654321);
+  VDUP(vec128_x, q, uint, u, 64, 2, 0x8765432187654321ULL);
+
+#undef CMT
+#define CMT " (with saturation)"
+  TEST_VQMOVN_HIGH(int, s, 8, 16, 8, 16, CMT);
+  TEST_VQMOVN_HIGH(int, s, 16, 32, 4, 8, CMT);
+  TEST_VQMOVN_HIGH(int, s, 32, 64, 2, 4, CMT);
+  TEST_VQMOVN_HIGH(uint, u, 8, 16, 8, 16, CMT);
+  TEST_VQMOVN_HIGH(uint, u, 16, 32, 4, 8, CMT);
+  TEST_VQMOVN_HIGH(uint, u, 32, 64, 2, 4, CMT);
+
+  CHECK(TEST_MSG, int, 8, 16, PRIx8, expected1, CMT);
+  CHECK(TEST_MSG, int, 16, 8, PRIx16, expected1, CMT);
+  CHECK(TEST_MSG, int, 32, 4, PRIx32, expected1, CMT);
+  CHECK(TEST_MSG, uint, 8, 16, PRIx8, expected1, CMT);
+  CHECK(TEST_MSG, uint, 16, 8, PRIx16, expected1, CMT);
+  CHECK(TEST_MSG, uint, 32, 4, PRIx32, expected1, CMT);
+}
+
+int main (void)
+{
+  exec_vqmovn_high ();
+  return 0;
+}
diff --git a/gcc/testsuite/gcc.target/aarch64/advsimd-intrinsics/vqmovun_high.c b/gcc/testsuite/gcc.target/aarch64/advsimd-intrinsics/vqmovun_high.c
new file mode 100644
index 0000000..7b2a0ea
--- /dev/null
+++ b/gcc/testsuite/gcc.target/aarch64/advsimd-intrinsics/vqmovun_high.c
@@ -0,0 +1,91 @@
+/* { dg-skip-if "" { arm*-*-* } } */
+
+#include <arm_neon.h>
+#include "arm-neon-ref.h"
+#include "compute-ref-data.h"
+
+/* Expected results.  */
+VECT_VAR_DECL(expected, uint, 8, 16) [] = { 0x5, 0x5, 0x5, 0x5,
+					    0x5, 0x5, 0x5, 0x5,
+					    0x34, 0x34, 0x34, 0x34,
+					    0x34, 0x34, 0x34, 0x34 };
+VECT_VAR_DECL(expected, uint, 16, 8) [] = { 0x5, 0x5, 0x5, 0x5,
+					    0x5678, 0x5678, 0x5678, 0x5678 };
+VECT_VAR_DECL(expected, uint, 32, 4) [] = { 0x5, 0x5, 0x12345678, 0x12345678 };
+
+/* Expected results with negative input.  */
+VECT_VAR_DECL(expected_neg, uint, 8, 16) [] = { 0x5, 0x5, 0x5, 0x5,
+						0x5, 0x5, 0x5, 0x5,
+						0x0, 0x0, 0x0, 0x0,
+						0x0, 0x0, 0x0, 0x0 };
+VECT_VAR_DECL(expected_neg, uint, 16, 8) [] = { 0x5, 0x5, 0x5, 0x5,
+						0x0, 0x0, 0x0, 0x0 };
+VECT_VAR_DECL(expected_neg, uint, 32, 4) [] = { 0x5, 0x5, 0x0, 0x0 };
+
+#define TEST_MSG "VQMOVUN_HIGH"
+void exec_vqmovun_high (void)
+{
+  /* Basic test: vec128_r=vqmovun_high(vec64)_r, vec128_x), store result.  */
+#define TEST_VQMOVUN_HIGH(T1, T2, W1, W2, N1, N2, CMT)				\
+  Set_Neon_Cumulative_Sat(0, VECT_VAR(vec128_r, T1, W1, N2));			\
+  VECT_VAR(vec128_r, T1, W1, N2) =						\
+    vqmovun_high_s##W2(VECT_VAR(vec64_r, uint, W1, N1),				\
+		       VECT_VAR(vec128_x, int, W2, N1));			\
+  vst1q##_u##W1(VECT_VAR(result, T1, W1, N2), VECT_VAR(vec128_r, T1, W1, N2))
+
+  DECL_VARIABLE(vec64_r, uint, 8, 8);
+  DECL_VARIABLE(vec64_r, uint, 16, 4);
+  DECL_VARIABLE(vec64_r, uint, 32, 2);
+
+  DECL_VARIABLE(vec128_x, int, 16, 8);
+  DECL_VARIABLE(vec128_x, int, 32, 4);
+  DECL_VARIABLE(vec128_x, int, 64, 2);
+
+  DECL_VARIABLE(vec128_r, uint, 8, 16);
+  DECL_VARIABLE(vec128_r, uint, 16, 8);
+  DECL_VARIABLE(vec128_r, uint, 32, 4);
+
+  clean_results ();
+
+  /* Fill vec64_r with a value easy to recognise in the result vector. */
+  VDUP(vec64_r, , uint, u, 8, 8, 0x5);
+  VDUP(vec64_r, , uint, u, 16, 4, 0x5);
+  VDUP(vec64_r, , uint, u, 32, 2, 0x5);
+
+  /* Fill input vector with arbitrary values.  */
+  VDUP(vec128_x, q, int, s, 16, 8, 0x34);
+  VDUP(vec128_x, q, int, s, 32, 4, 0x5678);
+  VDUP(vec128_x, q, int, s, 64, 2, 0x12345678);
+
+
+#define CMT ""
+  TEST_VQMOVUN_HIGH(uint, u, 8, 16, 8, 16, CMT);
+  TEST_VQMOVUN_HIGH(uint, u, 16, 32, 4, 8, CMT);
+  TEST_VQMOVUN_HIGH(uint, u, 32, 64, 2, 4, CMT);
+
+  CHECK(TEST_MSG, uint, 8, 16, PRIx8, expected, CMT);
+  CHECK(TEST_MSG, uint, 16, 8, PRIx16, expected, CMT);
+  CHECK(TEST_MSG, uint, 32, 4, PRIx32, expected, CMT);
+
+  /* Fill input vector with negative values.  */
+  VDUP(vec128_x, q, int, s, 16, 8, 0x8234);
+  VDUP(vec128_x, q, int, s, 32, 4, 0x87654321);
+  VDUP(vec128_x, q, int, s, 64, 2, 0x8765432187654321LL);
+
+
+#undef CMT
+#define CMT " (negative input)"
+  TEST_VQMOVUN_HIGH(uint, u, 8, 16, 8, 16, CMT);
+  TEST_VQMOVUN_HIGH(uint, u, 16, 32, 4, 8, CMT);
+  TEST_VQMOVUN_HIGH(uint, u, 32, 64, 2, 4, CMT);
+
+  CHECK(TEST_MSG, uint, 8, 16, PRIx8, expected_neg, CMT);
+  CHECK(TEST_MSG, uint, 16, 8, PRIx16, expected_neg, CMT);
+  CHECK(TEST_MSG, uint, 32, 4, PRIx32, expected_neg, CMT);
+}
+
+int main (void)
+{
+  exec_vqmovun_high ();
+  return 0;
+}