|
173
|
1 // RUN: %clang_cc1 -triple thumbv8.1m.main-none-none-eabi -fallow-half-arguments-and-returns -target-feature +mve.fp -target-feature +cdecp0 -verify -fsyntax-only %s
|
|
|
2
|
|
|
3 #include <arm_cde.h>
|
|
|
4 #include <arm_acle.h>
|
|
|
5
|
|
|
6 void test_coproc_gcp_instr(int a) {
|
|
|
7 __builtin_arm_cdp(0, 2, 3, 4, 5, 6); // expected-error {{coprocessor 0 must be configured as GCP}}
|
|
|
8 __builtin_arm_cdp2(0, 2, 3, 4, 5, 6); // expected-error {{coprocessor 0 must be configured as GCP}}
|
|
|
9 __builtin_arm_mcr(0, 0, a, 13, 0, 3); // expected-error {{coprocessor 0 must be configured as GCP}}
|
|
|
10 __builtin_arm_mcr2(0, 0, a, 13, 0, 3); // expected-error {{coprocessor 0 must be configured as GCP}}
|
|
|
11 __builtin_arm_mrc(0, 0, 13, 0, 3); // expected-error {{coprocessor 0 must be configured as GCP}}
|
|
|
12 __builtin_arm_mrc2(0, 0, 13, 0, 3); // expected-error {{coprocessor 0 must be configured as GCP}}
|
|
|
13 __builtin_arm_mcrr(0, 0, a, 0); // expected-error {{coprocessor 0 must be configured as GCP}}
|
|
|
14 __builtin_arm_mcrr2(0, 0, a, 0); // expected-error {{coprocessor 0 must be configured as GCP}}
|
|
|
15 __builtin_arm_mrrc(0, 0, 0); // expected-error {{coprocessor 0 must be configured as GCP}}
|
|
|
16 __builtin_arm_mrrc2(0, 0, 0); // expected-error {{coprocessor 0 must be configured as GCP}}
|
|
|
17 __builtin_arm_ldc(0, 2, &a); // expected-error {{coprocessor 0 must be configured as GCP}}
|
|
|
18 __builtin_arm_ldcl(0, 2, &a); // expected-error {{coprocessor 0 must be configured as GCP}}
|
|
|
19 __builtin_arm_ldc2(0, 2, &a); // expected-error {{coprocessor 0 must be configured as GCP}}
|
|
|
20 __builtin_arm_ldc2l(0, 2, &a); // expected-error {{coprocessor 0 must be configured as GCP}}
|
|
|
21 __builtin_arm_stc(0, 2, &a); // expected-error {{coprocessor 0 must be configured as GCP}}
|
|
|
22 __builtin_arm_stcl(0, 2, &a); // expected-error {{coprocessor 0 must be configured as GCP}}
|
|
|
23 __builtin_arm_stc2(0, 2, &a); // expected-error {{coprocessor 0 must be configured as GCP}}
|
|
|
24 __builtin_arm_stc2l(0, 2, &a); // expected-error {{coprocessor 0 must be configured as GCP}}
|
|
|
25 }
|
|
|
26
|
|
|
27 void test_coproc(uint32_t a) {
|
|
|
28 (void)__arm_cx1(0, 0);
|
|
|
29 __arm_cx1(a, 0); // expected-error {{argument to '__arm_cx1' must be a constant integer}}
|
|
|
30 __arm_cx1(-1, 0); // expected-error {{argument value -1 is outside the valid range [0, 7]}}
|
|
|
31 __arm_cx1(8, 0); // expected-error {{argument value 8 is outside the valid range [0, 7]}}
|
|
|
32 __arm_cx1(1, 0); // expected-error {{coprocessor 1 must be configured as CDE}}
|
|
|
33 }
|
|
|
34
|
|
|
35 void test_cx(uint32_t a, uint64_t da, uint32_t n, uint32_t m) {
|
|
|
36 (void)__arm_cx1(0, 0);
|
|
|
37 __arm_cx1(0, a); // expected-error {{argument to '__arm_cx1' must be a constant integer}}
|
|
|
38 __arm_cx1(0, 8192); // expected-error {{argument value 8192 is outside the valid range [0, 8191]}}
|
|
|
39 __arm_cx1a(0, a, a); // expected-error {{argument to '__arm_cx1a' must be a constant integer}}
|
|
|
40 __arm_cx1a(0, a, 8192); // expected-error {{argument value 8192 is outside the valid range [0, 8191]}}
|
|
|
41 __arm_cx1d(0, a); // expected-error {{argument to '__arm_cx1d' must be a constant integer}}
|
|
|
42 __arm_cx1d(0, 8192); // expected-error {{argument value 8192 is outside the valid range [0, 8191]}}
|
|
|
43 __arm_cx1da(0, da, a); // expected-error {{argument to '__arm_cx1da' must be a constant integer}}
|
|
|
44 __arm_cx1da(0, da, 8192); // expected-error {{argument value 8192 is outside the valid range [0, 8191]}}
|
|
|
45
|
|
|
46 (void)__arm_cx2(0, n, 0);
|
|
|
47 __arm_cx2(0, n, a); // expected-error {{argument to '__arm_cx2' must be a constant integer}}
|
|
|
48 __arm_cx2(0, n, 512); // expected-error {{argument value 512 is outside the valid range [0, 511]}}
|
|
|
49 __arm_cx2a(0, a, n, a); // expected-error {{argument to '__arm_cx2a' must be a constant integer}}
|
|
|
50 __arm_cx2a(0, a, n, 512); // expected-error {{argument value 512 is outside the valid range [0, 511]}}
|
|
|
51 __arm_cx2d(0, n, a); // expected-error {{argument to '__arm_cx2d' must be a constant integer}}
|
|
|
52 __arm_cx2d(0, n, 512); // expected-error {{argument value 512 is outside the valid range [0, 511]}}
|
|
|
53 __arm_cx2da(0, da, n, a); // expected-error {{argument to '__arm_cx2da' must be a constant integer}}
|
|
|
54 __arm_cx2da(0, da, n, 512); // expected-error {{argument value 512 is outside the valid range [0, 511]}}
|
|
|
55
|
|
|
56 (void)__arm_cx3(0, n, m, 0);
|
|
|
57 __arm_cx3(0, n, m, a); // expected-error {{argument to '__arm_cx3' must be a constant integer}}
|
|
|
58 __arm_cx3(0, n, m, 64); // expected-error {{argument value 64 is outside the valid range [0, 63]}}
|
|
|
59 __arm_cx3a(0, a, n, m, a); // expected-error {{argument to '__arm_cx3a' must be a constant integer}}
|
|
|
60 __arm_cx3a(0, a, n, m, 64); // expected-error {{argument value 64 is outside the valid range [0, 63]}}
|
|
|
61 __arm_cx3d(0, n, m, a); // expected-error {{argument to '__arm_cx3d' must be a constant integer}}
|
|
|
62 __arm_cx3d(0, n, m, 64); // expected-error {{argument value 64 is outside the valid range [0, 63]}}
|
|
|
63 __arm_cx3da(0, da, n, m, a); // expected-error {{argument to '__arm_cx3da' must be a constant integer}}
|
|
|
64 __arm_cx3da(0, da, n, m, 64); // expected-error {{argument value 64 is outside the valid range [0, 63]}}
|
|
|
65 }
|
|
|
66
|
|
|
67 void test_vcxfp_u32(uint32_t a, uint32_t n, uint32_t m) {
|
|
|
68 (void)__arm_vcx1_u32(0, 0);
|
|
|
69 __arm_vcx1_u32(0, a); // expected-error {{argument to '__arm_vcx1_u32' must be a constant integer}}
|
|
|
70 __arm_vcx1_u32(0, 2048); // expected-error {{argument value 2048 is outside the valid range [0, 2047]}}
|
|
|
71 __arm_vcx1a_u32(0, a, a); // expected-error {{argument to '__arm_vcx1a_u32' must be a constant integer}}
|
|
|
72 __arm_vcx1a_u32(0, a, 2048); // expected-error {{argument value 2048 is outside the valid range [0, 2047]}}
|
|
|
73
|
|
|
74 (void)__arm_vcx2_u32(0, n, 0);
|
|
|
75 __arm_vcx2_u32(0, n, a); // expected-error {{argument to '__arm_vcx2_u32' must be a constant integer}}
|
|
|
76 __arm_vcx2_u32(0, n, 64); // expected-error {{argument value 64 is outside the valid range [0, 63]}}
|
|
|
77 __arm_vcx2a_u32(0, a, n, a); // expected-error {{argument to '__arm_vcx2a_u32' must be a constant integer}}
|
|
|
78 __arm_vcx2a_u32(0, a, n, 64); // expected-error {{argument value 64 is outside the valid range [0, 63]}}
|
|
|
79
|
|
|
80 (void)__arm_vcx3_u32(0, n, m, 0);
|
|
|
81 __arm_vcx3_u32(0, n, m, a); // expected-error {{argument to '__arm_vcx3_u32' must be a constant integer}}
|
|
|
82 __arm_vcx3_u32(0, n, m, 8); // expected-error {{argument value 8 is outside the valid range [0, 7]}}
|
|
|
83 __arm_vcx3a_u32(0, a, n, m, a); // expected-error {{argument to '__arm_vcx3a_u32' must be a constant integer}}
|
|
|
84 __arm_vcx3a_u32(0, a, n, m, 8); // expected-error {{argument value 8 is outside the valid range [0, 7]}}
|
|
|
85 }
|
|
|
86
|
|
|
87 void test_vcxfp_u64(uint64_t a, uint64_t n, uint64_t m) {
|
|
|
88 (void)__arm_vcx1d_u64(0, 0);
|
|
|
89 __arm_vcx1d_u64(0, a); // expected-error {{argument to '__arm_vcx1d_u64' must be a constant integer}}
|
|
|
90 __arm_vcx1d_u64(0, 2048); // expected-error {{argument value 2048 is outside the valid range [0, 2047]}}
|
|
|
91 __arm_vcx1da_u64(0, a, a); // expected-error {{argument to '__arm_vcx1da_u64' must be a constant integer}}
|
|
|
92 __arm_vcx1da_u64(0, a, 2048); // expected-error {{argument value 2048 is outside the valid range [0, 2047]}}
|
|
|
93
|
|
|
94 (void)__arm_vcx2d_u64(0, n, 0);
|
|
|
95 __arm_vcx2d_u64(0, n, a); // expected-error {{argument to '__arm_vcx2d_u64' must be a constant integer}}
|
|
|
96 __arm_vcx2d_u64(0, n, 64); // expected-error {{argument value 64 is outside the valid range [0, 63]}}
|
|
|
97 __arm_vcx2da_u64(0, a, n, a); // expected-error {{argument to '__arm_vcx2da_u64' must be a constant integer}}
|
|
|
98 __arm_vcx2da_u64(0, a, n, 64); // expected-error {{argument value 64 is outside the valid range [0, 63]}}
|
|
|
99
|
|
|
100 (void)__arm_vcx3d_u64(0, n, m, 0);
|
|
|
101 __arm_vcx3d_u64(0, n, m, a); // expected-error {{argument to '__arm_vcx3d_u64' must be a constant integer}}
|
|
|
102 __arm_vcx3d_u64(0, n, m, 8); // expected-error {{argument value 8 is outside the valid range [0, 7]}}
|
|
|
103 __arm_vcx3da_u64(0, a, n, m, a); // expected-error {{argument to '__arm_vcx3da_u64' must be a constant integer}}
|
|
|
104 __arm_vcx3da_u64(0, a, n, m, 8); // expected-error {{argument value 8 is outside the valid range [0, 7]}}
|
|
|
105 }
|
|
|
106
|
|
|
107 void test_vcxq(uint32_t a, uint8x16_t acc, float16x8_t n, int64x2_t m) {
|
|
|
108 (void)__arm_vcx1q_u8(0, 0);
|
|
|
109 __arm_vcx1q_u8(0, a); // expected-error {{argument to '__arm_vcx1q_u8' must be a constant integer}}
|
|
|
110 __arm_vcx1q_u8(0, 4096); // expected-error {{argument value 4096 is outside the valid range [0, 4095]}}
|
|
|
111 __arm_vcx1qa(0, acc, a); // expected-error {{argument to '__arm_vcx1qa' must be a constant integer}}
|
|
|
112 __arm_vcx1qa(0, acc, 4096); // expected-error {{argument value 4096 is outside the valid range [0, 4095]}}
|
|
|
113
|
|
|
114 (void)__arm_vcx2q_u8(0, n, 0);
|
|
|
115 __arm_vcx2q_u8(0, n, a); // expected-error {{argument to '__arm_vcx2q_u8' must be a constant integer}}
|
|
|
116 __arm_vcx2q_u8(0, n, 128); // expected-error {{argument value 128 is outside the valid range [0, 127]}}
|
|
|
117 __arm_vcx2q(0, n, a); // expected-error {{argument to '__arm_vcx2q' must be a constant integer}}
|
|
|
118 __arm_vcx2q(0, n, 128); // expected-error {{argument value 128 is outside the valid range [0, 127]}}
|
|
|
119 __arm_vcx2qa(0, n, acc, a); // expected-error {{argument to '__arm_vcx2qa_impl' must be a constant integer}}
|
|
|
120 __arm_vcx2qa(0, n, acc, 128); // expected-error {{argument value 128 is outside the valid range [0, 127]}}
|
|
|
121
|
|
|
122 (void)__arm_vcx3q_u8(0, n, m, 0);
|
|
|
123 __arm_vcx3q_u8(0, n, m, a); // expected-error {{argument to '__arm_vcx3q_u8_impl' must be a constant integer}}
|
|
|
124 __arm_vcx3q_u8(0, n, m, 16); // expected-error {{argument value 16 is outside the valid range [0, 15]}}
|
|
|
125 __arm_vcx3q(0, n, m, a); // expected-error {{argument to '__arm_vcx3q_impl' must be a constant integer}}
|
|
|
126 __arm_vcx3q(0, n, m, 16); // expected-error {{argument value 16 is outside the valid range [0, 15]}}
|
|
|
127 __arm_vcx3qa(0, n, m, acc, a); // expected-error {{argument to '__arm_vcx3qa_impl' must be a constant integer}}
|
|
|
128 __arm_vcx3qa(0, n, m, acc, 16); // expected-error {{argument value 16 is outside the valid range [0, 15]}}
|
|
|
129 }
|
