1 extern void abort (void);
2
3 uint64x2_t
test_vextq_u64_1(uint64x2_t a,uint64x2_t b)4 test_vextq_u64_1 (uint64x2_t a, uint64x2_t b)
5 {
6 return vextq_u64 (a, b, 1);
7 }
8
9 int
main(int argc,char ** argv)10 main (int argc, char **argv)
11 {
12 int i, off;
13 uint64_t arr1[] = {0, 1};
14 uint64x2_t in1 = vld1q_u64 (arr1);
15 uint64_t arr2[] = {2, 3};
16 uint64x2_t in2 = vld1q_u64 (arr2);
17 uint64_t exp[2];
18 uint64x2_t expected;
19 uint64x2_t actual = test_vextq_u64_1 (in1, in2);
20
21 for (i = 0; i < 2; i++)
22 exp[i] = i + 1;
23 expected = vld1q_u64 (exp);
24 for (i = 0; i < 2; i++)
25 if (actual[i] != expected[i])
26 abort ();
27
28 return 0;
29 }
30
31