341 lines · c
1// RUN: %clang_cc1 -triple armv7 -fsyntax-only -verify %s2// RUN: %clang_cc1 -triple armv7 -target-abi apcs-gnu \3// RUN: -fsyntax-only -verify %s4 5#include <arm_acle.h>6 7void f(void *a, void *b) {8 __clear_cache(); // expected-error {{too few arguments to function call, expected 2, have 0}} // expected-note {{'__clear_cache' is a builtin with type 'void (void *, void *)}}9 __clear_cache(a); // expected-error {{too few arguments to function call, expected 2, have 1}}10 __clear_cache(a, b);11}12 13void __clear_cache(char*, char*); // expected-error {{conflicting types for '__clear_cache'}}14void __clear_cache(void*, void*);15 16#if defined(__ARM_PCS) || defined(__ARM_EABI__)17// va_list on ARM AAPCS is struct { void* __ap }.18void test1(void) {19 __builtin_va_list ptr;20 ptr.__ap = "x";21 *(ptr.__ap) = '0'; /* expected-error {{incomplete type 'void' is not assignable}}22 expected-warning {{ISO C does not allow indirection on operand of type 'void *'}} */23}24#else25// va_list on ARM apcs-gnu is void*.26void test1(void) {27 __builtin_va_list ptr;28 ptr.__ap = "x"; // expected-error {{member reference base type '__builtin_va_list' is not a structure or union}}29 *(ptr.__ap) = '0';// expected-error {{member reference base type '__builtin_va_list' is not a structure or union}}30}31 32void test2(void) {33 __builtin_va_list ptr = "x";34 *ptr = '0'; /* expected-error {{incomplete type 'void' is not assignable}}35 expected-warning {{ISO C does not allow indirection on operand of type '__builtin_va_list'}} */36 37}38#endif39 40void test3(void) {41 __builtin_arm_dsb(16); // expected-error-re {{argument value {{.*}} is outside the valid range}}42 __builtin_arm_dmb(17); // expected-error-re {{argument value {{.*}} is outside the valid range}}43 __builtin_arm_isb(18); // expected-error-re {{argument value {{.*}} is outside the valid range}}44}45 46void test4(void) {47 __builtin_arm_prefetch(0, 2, 0); // expected-error-re {{argument value {{.*}} is outside the valid range}}48 __builtin_arm_prefetch(0, 0, 2); // expected-error-re {{argument value {{.*}} is outside the valid range}}49}50 51void test5(void) {52 __builtin_arm_dbg(16); // expected-error-re {{argument value {{.*}} is outside the valid range}}53}54 55void test6(int a, int b, int c) {56 __builtin_arm_ldc(1, 2, &a);57 __builtin_arm_ldc(a, 2, &a); // expected-error {{argument to '__builtin_arm_ldc' must be a constant integer}}58 __builtin_arm_ldc(1, a, &a); // expected-error {{argument to '__builtin_arm_ldc' must be a constant integer}}59 60 __builtin_arm_ldcl(1, 2, &a);61 __builtin_arm_ldcl(a, 2, &a); // expected-error {{argument to '__builtin_arm_ldcl' must be a constant integer}}62 __builtin_arm_ldcl(1, a, &a); // expected-error {{argument to '__builtin_arm_ldcl' must be a constant integer}}63 64 __builtin_arm_ldc2(1, 2, &a);65 __builtin_arm_ldc2(a, 2, &a); // expected-error {{argument to '__builtin_arm_ldc2' must be a constant integer}}66 __builtin_arm_ldc2(1, a, &a); // expected-error {{argument to '__builtin_arm_ldc2' must be a constant integer}}67 68 __builtin_arm_ldc2l(1, 2, &a);69 __builtin_arm_ldc2l(a, 2, &a); // expected-error {{argument to '__builtin_arm_ldc2l' must be a constant integer}}70 __builtin_arm_ldc2l(1, a, &a); // expected-error {{argument to '__builtin_arm_ldc2l' must be a constant integer}}71 72 __builtin_arm_stc(1, 2, &a);73 __builtin_arm_stc(a, 2, &a); // expected-error {{argument to '__builtin_arm_stc' must be a constant integer}}74 __builtin_arm_stc(1, a, &a); // expected-error {{argument to '__builtin_arm_stc' must be a constant integer}}75 76 __builtin_arm_stcl(1, 2, &a);77 __builtin_arm_stcl(a, 2, &a); // expected-error {{argument to '__builtin_arm_stcl' must be a constant integer}}78 __builtin_arm_stcl(1, a, &a); // expected-error {{argument to '__builtin_arm_stcl' must be a constant integer}}79 80 __builtin_arm_stc2(1, 2, &a);81 __builtin_arm_stc2(a, 2, &a); // expected-error {{argument to '__builtin_arm_stc2' must be a constant integer}}82 __builtin_arm_stc2(1, a, &a); // expected-error {{argument to '__builtin_arm_stc2' must be a constant integer}}83 84 __builtin_arm_stc2l(1, 2, &a);85 __builtin_arm_stc2l(a, 2, &a); // expected-error {{argument to '__builtin_arm_stc2l' must be a constant integer}}86 __builtin_arm_stc2l(1, a, &a); // expected-error {{argument to '__builtin_arm_stc2l' must be a constant integer}}87 88 __builtin_arm_cdp(a, 2, 3, 4, 5, 6); // expected-error {{argument to '__builtin_arm_cdp' must be a constant integer}}89 __builtin_arm_cdp(1, a, 3, 4, 5, 6); // expected-error {{argument to '__builtin_arm_cdp' must be a constant integer}}90 __builtin_arm_cdp(1, 2, a, 4, 5, 6); // expected-error {{argument to '__builtin_arm_cdp' must be a constant integer}}91 __builtin_arm_cdp(1, 2, 3, a, 5, 6); // expected-error {{argument to '__builtin_arm_cdp' must be a constant integer}}92 __builtin_arm_cdp(1, 2, 3, 4, 5, a); // expected-error {{argument to '__builtin_arm_cdp' must be a constant integer}}93 94 __builtin_arm_cdp2(a, 2, 3, 4, 5, 6); // expected-error {{argument to '__builtin_arm_cdp2' must be a constant integer}}95 __builtin_arm_cdp2(1, a, 3, 4, 5, 6); // expected-error {{argument to '__builtin_arm_cdp2' must be a constant integer}}96 __builtin_arm_cdp2(1, 2, a, 4, 5, 6); // expected-error {{argument to '__builtin_arm_cdp2' must be a constant integer}}97 __builtin_arm_cdp2(1, 2, 3, a, 5, 6); // expected-error {{argument to '__builtin_arm_cdp2' must be a constant integer}}98 __builtin_arm_cdp2(1, 2, 3, 4, 5, a); // expected-error {{argument to '__builtin_arm_cdp2' must be a constant integer}}99 100 __builtin_arm_mrc( a, 0, 13, 0, 3); // expected-error {{argument to '__builtin_arm_mrc' must be a constant integer}}101 __builtin_arm_mrc(15, a, 13, 0, 3); // expected-error {{argument to '__builtin_arm_mrc' must be a constant integer}}102 __builtin_arm_mrc(15, 0, a, 0, 3); // expected-error {{argument to '__builtin_arm_mrc' must be a constant integer}}103 __builtin_arm_mrc(15, 0, 13, a, 3); // expected-error {{argument to '__builtin_arm_mrc' must be a constant integer}}104 __builtin_arm_mrc(15, 0, 13, 0, a); // expected-error {{argument to '__builtin_arm_mrc' must be a constant integer}}105 106 __builtin_arm_mrc2( a, 0, 13, 0, 3); // expected-error {{argument to '__builtin_arm_mrc2' must be a constant integer}}107 __builtin_arm_mrc2(15, a, 13, 0, 3); // expected-error {{argument to '__builtin_arm_mrc2' must be a constant integer}}108 __builtin_arm_mrc2(15, 0, a, 0, 3); // expected-error {{argument to '__builtin_arm_mrc2' must be a constant integer}}109 __builtin_arm_mrc2(15, 0, 13, a, 3); // expected-error {{argument to '__builtin_arm_mrc2' must be a constant integer}}110 __builtin_arm_mrc2(15, 0, 13, 0, a); // expected-error {{argument to '__builtin_arm_mrc2' must be a constant integer}}111 112 __builtin_arm_mcr( a, 0, b, 13, 0, 3); // expected-error {{argument to '__builtin_arm_mcr' must be a constant integer}}113 __builtin_arm_mcr(15, a, b, 13, 0, 3); // expected-error {{argument to '__builtin_arm_mcr' must be a constant integer}}114 __builtin_arm_mcr(15, 0, b, a, 0, 3); // expected-error {{argument to '__builtin_arm_mcr' must be a constant integer}}115 __builtin_arm_mcr(15, 0, b, 13, a, 3); // expected-error {{argument to '__builtin_arm_mcr' must be a constant integer}}116 __builtin_arm_mcr(15, 0, b, 13, 0, a); // expected-error {{argument to '__builtin_arm_mcr' must be a constant integer}}117 118 __builtin_arm_mcr2( a, 0, b, 13, 0, 3); // expected-error {{argument to '__builtin_arm_mcr2' must be a constant integer}}119 __builtin_arm_mcr2(15, a, b, 13, 0, 3); // expected-error {{argument to '__builtin_arm_mcr2' must be a constant integer}}120 __builtin_arm_mcr2(15, 0, b, a, 0, 3); // expected-error {{argument to '__builtin_arm_mcr2' must be a constant integer}}121 __builtin_arm_mcr2(15, 0, b, 13, a, 3); // expected-error {{argument to '__builtin_arm_mcr2' must be a constant integer}}122 __builtin_arm_mcr2(15, 0, b, 13, 0, a); // expected-error {{argument to '__builtin_arm_mcr2' must be a constant integer}}123 124 __builtin_arm_mcrr(15, 0, b, 0);125 __builtin_arm_mcrr( a, 0, b, 0); // expected-error {{argument to '__builtin_arm_mcrr' must be a constant integer}}126 __builtin_arm_mcrr(15, a, b, 0); // expected-error {{argument to '__builtin_arm_mcrr' must be a constant integer}}127 __builtin_arm_mcrr(15, 0, b, a); // expected-error {{argument to '__builtin_arm_mcrr' must be a constant integer}}128 129 __builtin_arm_mcrr2(15, 0, b, 0);130 __builtin_arm_mcrr2( a, 0, b, 0); // expected-error {{argument to '__builtin_arm_mcrr2' must be a constant integer}}131 __builtin_arm_mcrr2(15, a, b, 0); // expected-error {{argument to '__builtin_arm_mcrr2' must be a constant integer}}132 __builtin_arm_mcrr2(15, 0, b, a); // expected-error {{argument to '__builtin_arm_mcrr2' must be a constant integer}}133 134 __builtin_arm_mrrc(15, 0, 0);135 __builtin_arm_mrrc( a, 0, 0); // expected-error {{argument to '__builtin_arm_mrrc' must be a constant integer}}136 __builtin_arm_mrrc(15, a, 0); // expected-error {{argument to '__builtin_arm_mrrc' must be a constant integer}}137 __builtin_arm_mrrc(15, 0, a); // expected-error {{argument to '__builtin_arm_mrrc' must be a constant integer}}138 139 __builtin_arm_mrrc2(15, 0, 0);140 __builtin_arm_mrrc2( a, 0, 0); // expected-error {{argument to '__builtin_arm_mrrc2' must be a constant integer}}141 __builtin_arm_mrrc2(15, a, 0); // expected-error {{argument to '__builtin_arm_mrrc2' must be a constant integer}}142 __builtin_arm_mrrc2(15, 0, a); // expected-error {{argument to '__builtin_arm_mrrc2' must be a constant integer}}143}144 145void test_9_3_multiplications(int a, int b) {146 int r;147 r = __builtin_arm_smulbb(a, b);148 r = __builtin_arm_smulbb(1, -9);149 150 r = __builtin_arm_smulbt(a, b);151 r = __builtin_arm_smulbt(0, b);152 153 r = __builtin_arm_smultb(a, b);154 r = __builtin_arm_smultb(5, b);155 156 r = __builtin_arm_smultt(a, b);157 r = __builtin_arm_smultt(a, -1);158 159 r = __builtin_arm_smulwb(a, b);160 r = __builtin_arm_smulwb(1, 2);161 162 r = __builtin_arm_smulwt(a, b);163 r = __builtin_arm_smulwt(-1, -2);164 r = __builtin_arm_smulwt(-1.0f, -2);165}166 167void test_9_4_1_width_specified_saturation(int a, int b) {168 unsigned u;169 int s;170 171 s = __builtin_arm_ssat(8, 2);172 s = __builtin_arm_ssat(a, 1);173 s = __builtin_arm_ssat(a, 32);174 s = __builtin_arm_ssat(a, 0); // expected-error-re {{argument value {{.*}} is outside the valid range}}175 s = __builtin_arm_ssat(a, 33); // expected-error-re {{argument value {{.*}} is outside the valid range}}176 s = __builtin_arm_ssat(a, b); // expected-error {{argument to '__builtin_arm_ssat' must be a constant integer}}177 178 u = __builtin_arm_usat(8, 2);179 u = __builtin_arm_usat(a, 0);180 u = __builtin_arm_usat(a, 31);181 u = __builtin_arm_usat(a, 32); // expected-error-re {{argument value {{.*}} is outside the valid range}}182 u = __builtin_arm_usat(a, b); // expected-error {{argument to '__builtin_arm_usat' must be a constant integer}}183}184 185void test_9_4_2_saturating_addition_subtraction(int a, int b) {186 int s;187 s = __builtin_arm_qadd(a, b);188 s = __builtin_arm_qadd(-1, 0);189 190 s = __builtin_arm_qsub(a, b);191 s = __builtin_arm_qsub(0, -1);192 193 s = __builtin_arm_qdbl(a);194}195 196void test_9_4_3_accumulating_multiplications(int a, int b, int c) {197 int s;198 199 s = __builtin_arm_smlabb(a, b, c);200 s = __builtin_arm_smlabb(1, b, c);201 s = __builtin_arm_smlabb(a, 2, c);202 s = __builtin_arm_smlabb(a, b, -3);203 204 s = __builtin_arm_smlabt(a, b, c);205 s = __builtin_arm_smlabt(1, b, c);206 s = __builtin_arm_smlabt(a, 2, c);207 s = __builtin_arm_smlabt(a, b, -3);208 209 s = __builtin_arm_smlatb(a, b, c);210 s = __builtin_arm_smlatt(1, b, c);211 s = __builtin_arm_smlawb(a, 2, c);212 s = __builtin_arm_smlawt(a, b, -3);213}214 215void test_9_5_4_parallel_16bit_saturation(int16x2_t a) {216 unsigned u;217 int s;218 219 s = __builtin_arm_ssat16(a, 1);220 s = __builtin_arm_ssat16(a, 16);221 s = __builtin_arm_ssat16(a, 0); // expected-error-re {{argument value {{.*}} is outside the valid range}}222 s = __builtin_arm_ssat16(a, 17); // expected-error-re {{argument value {{.*}} is outside the valid range}}223 224 u = __builtin_arm_usat16(a, 0);225 u = __builtin_arm_usat16(a, 15);226 u = __builtin_arm_usat16(a, 16); // expected-error-re {{argument value {{.*}} is outside the valid range}}227}228 229void test_9_5_5_packing_and_unpacking(int16x2_t a, int8x4_t b, uint16x2_t c, uint8x4_t d) {230 int16x2_t x;231 uint16x2_t y;232 233 x = __builtin_arm_sxtab16(a, b);234 x = __builtin_arm_sxtab16(1, -1);235 x = __builtin_arm_sxtb16(b);236 x = __builtin_arm_sxtb16(-b);237 238 y = __builtin_arm_uxtab16(c, d);239 y = __builtin_arm_uxtab16(-1, -2);240 y = __builtin_arm_uxtb16(d);241 y = __builtin_arm_uxtb16(-1);242}243 244uint8x4_t245test_9_5_6_parallel_selection(uint8x4_t a, uint8x4_t b) {246 return __builtin_arm_sel(a, b);247}248 249void test_9_5_7_parallel_8bit_addition_substraction(int8x4_t a, int8x4_t b,250 uint8x4_t c, uint8x4_t d) {251 int8x4_t s;252 uint8x4_t u;253 254 s = __builtin_arm_qadd8(a, b);255 s = __builtin_arm_qsub8(a, b);256 s = __builtin_arm_sadd8(a, b);257 s = __builtin_arm_shadd8(a, b);258 s = __builtin_arm_shsub8(a, b);259 s = __builtin_arm_ssub8(a, b);260 261 u = __builtin_arm_uadd8(c, d);262 u = __builtin_arm_uhadd8(c, d);263 u = __builtin_arm_uhsub8(c, d);264 u = __builtin_arm_uqadd8(c, d);265 u = __builtin_arm_uqsub8(c, d);266 u = __builtin_arm_usub8(c, d);267}268 269void test_9_5_8_absolute_differences(uint8x4_t a, uint8x4_t b, uint32_t c) {270 uint32_t r;271 272 r = __builtin_arm_usad8(a, b);273 r = __builtin_arm_usada8(a, b, c);274}275 276void test_9_5_9_parallel_addition_and_subtraction(int16x2_t a, int16x2_t b,277 uint16x2_t c, uint16x2_t d) {278 int16x2_t x;279 uint16x2_t y;280 281 x = __builtin_arm_qadd16(a, b);282 x = __builtin_arm_qasx(a, b);283 x = __builtin_arm_qsax(a, b);284 x = __builtin_arm_qsub16(a, b);285 x = __builtin_arm_sadd16(a, b);286 x = __builtin_arm_sasx(a, b);287 x = __builtin_arm_shadd16(a, b);288 x = __builtin_arm_shasx(a, b);289 x = __builtin_arm_shsax(a, b);290 x = __builtin_arm_shsub16(a, b);291 x = __builtin_arm_ssax(a, b);292 x = __builtin_arm_ssub16(a, b);293 294 y = __builtin_arm_uadd16(c, d);295 y = __builtin_arm_uasx(c, d);296 y = __builtin_arm_uhadd16(c, d);297 y = __builtin_arm_uhasx(c, d);298 y = __builtin_arm_uhsax(c, d);299 y = __builtin_arm_uhsub16(c, d);300 y = __builtin_arm_uqadd16(c, d);301 y = __builtin_arm_uqasx(c, d);302 y = __builtin_arm_uqsax(c, d);303 y = __builtin_arm_uqsub16(c, d);304 y = __builtin_arm_usax(c, d);305 y = __builtin_arm_usub16(c, d);306}307 308void test_9_5_10_parallel_16bit_multiplication(int16x2_t a, int16x2_t b,309 int32_t c, int64_t d) {310 int32_t x;311 int64_t y;312 313 x = __builtin_arm_smlad(a, b, c);314 x = __builtin_arm_smladx(a, b, c);315 y = __builtin_arm_smlald(a, b, d);316 y = __builtin_arm_smlaldx(a, b, d);317 x = __builtin_arm_smlsd(a, b, c);318 x = __builtin_arm_smlsdx(a, b, c);319 y = __builtin_arm_smlsld(a, b, d);320 y = __builtin_arm_smlsldx(a, b, d);321 x = __builtin_arm_smuad(a, b);322 x = __builtin_arm_smuadx(a, b);323 x = __builtin_arm_smusd(a, b);324 x = __builtin_arm_smusdx(a, b);325}326 327void test_VFP(float f, double d) {328 float fr;329 double dr;330 331 fr = __builtin_arm_vcvtr_f(f, 0);332 fr = __builtin_arm_vcvtr_f(f, 1);333 fr = __builtin_arm_vcvtr_f(f, -1); // expected-error-re {{argument value {{.*}} is outside the valid range}}334 fr = __builtin_arm_vcvtr_f(f, 2); // expected-error-re {{argument value {{.*}} is outside the valid range}}335 336 dr = __builtin_arm_vcvtr_f(d, 0);337 dr = __builtin_arm_vcvtr_f(d, 1);338 dr = __builtin_arm_vcvtr_f(d, -1); // expected-error-re {{argument value {{.*}} is outside the valid range}}339 dr = __builtin_arm_vcvtr_f(d, 2); // expected-error-re {{argument value {{.*}} is outside the valid range}}340}341