156 lines · cpp
1// RUN: %clang_cc1 -std=c++11 -verify %s2 3// Note that this puts the expected lines before the directives to work around4// limitations in the -verify mode.5 6void test(int *List, int Length) {7 int i = 0;8 9#pragma unroll10 while (i + 1 < Length) {11 List[i] = i;12 }13 14#pragma nounroll15 while (i < Length) {16 List[i] = i;17 }18 19#pragma unroll 420 while (i - 1 < Length) {21 List[i] = i;22 }23 24#pragma unroll(8)25 while (i - 2 < Length) {26 List[i] = i;27 }28 29/* expected-error {{expected ')'}} */ #pragma unroll(430/* expected-error {{missing argument; expected an integer value}} */ #pragma unroll()31/* expected-warning {{extra tokens at end of '#pragma unroll'}} */ #pragma unroll 1 232 while (i-6 < Length) {33 List[i] = i;34 }35 36/* expected-warning {{extra tokens at end of '#pragma nounroll'}} */ #pragma nounroll 137 while (i-7 < Length) {38 List[i] = i;39 }40 41/* expected-error {{expected ')'}} */ #pragma unroll(()42/* expected-error {{expected expression}} */ #pragma unroll -43/* The values of 0 and 1 block any unrolling of the loop. */ #pragma unroll 044/* expected-error {{value '3000000000' is too large}} */ #pragma unroll(3000000000)45/* expected-error {{value '3000000000' is too large}} */ #pragma unroll 300000000046 while (i-8 < Length) {47 List[i] = i;48 }49 50/* The values of 0 and 1 block any unrolling of the loop. */ #pragma unroll(0)51 while (i-8 < Length) {52 List[i] = i;53 }54 55#pragma unroll56/* expected-error {{expected a for, while, or do-while loop to follow '#pragma unroll'}} */ int j = Length;57#pragma unroll 458/* expected-error {{expected a for, while, or do-while loop to follow '#pragma unroll'}} */ int k = Length;59#pragma nounroll60/* expected-error {{expected a for, while, or do-while loop to follow '#pragma nounroll'}} */ int l = Length;61 62 switch (i) {63 case 1:64#pragma unroll65/* expected-error {{expected a for, while, or do-while loop to follow '#pragma unroll'}} */ [[fallthrough]];66 case 2:67 for (int i = 0; i < 10; ++i);68 break;69 }70 71#pragma unroll 472/* expected-error {{incompatible directives 'unroll(disable)' and '#pragma unroll(4)'}} */ #pragma clang loop unroll(disable)73 while (i-10 < Length) {74 List[i] = i;75 }76 77#pragma unroll(4)78/* expected-error {{incompatible directives 'unroll(full)' and '#pragma unroll(4)'}} */ #pragma clang loop unroll(full)79 while (i-11 < Length) {80 List[i] = i;81 }82 83#pragma unroll(4)84/* expected-error {{incompatible directives 'unroll(enable)' and '#pragma unroll(4)'}} */ #pragma clang loop unroll(enable)85 while (i-11 < Length) {86 List[i] = i;87 }88 89#pragma unroll(4)90/* expected-error {{incompatible directives '#pragma unroll' and '#pragma unroll(4)'}} */ #pragma unroll91 while (i-11 < Length) {92 List[i] = i;93 }94 95#pragma clang loop unroll_count(4)96/* expected-error {{incompatible directives '#pragma nounroll' and 'unroll_count(4)'}} */ #pragma nounroll97 while (i-12 < Length) {98 List[i] = i;99 }100 101#pragma nounroll102/* expected-error {{duplicate directives '#pragma nounroll' and '#pragma nounroll'}} */ #pragma nounroll103 while (i-13 < Length) {104 List[i] = i;105 }106 107#pragma unroll108/* expected-error {{duplicate directives '#pragma unroll' and '#pragma unroll'}} */ #pragma unroll109 while (i-14 < Length) {110 List[i] = i;111 }112 113#pragma unroll114/* expected-error {{duplicate directives '#pragma unroll' and 'unroll(full)'}} */ #pragma clang loop unroll(full)115 while (i-15 < Length) {116 List[i] = i;117 }118 119#pragma unroll 4120/* expected-error {{duplicate directives '#pragma unroll(4)' and '#pragma unroll(4)'}} */ #pragma unroll(4)121 while (i-16 < Length) {122 List[i] = i;123 }124 125#pragma unroll126/* expected-error {{expected statement}} */ }127 128using size_t = unsigned long long;129 130template <bool Flag>131int FailToBuild(int n) {132 constexpr int N = 100;133 auto init = [=]() { return Flag ? n : 0UL; };134 auto cond = [=](size_t ix) { return Flag ? ix != 0 : ix < 10; };135 auto iter = [=](size_t ix) {136 return Flag ? ix & ~(1ULL << __builtin_clzll(ix)) : ix + 1;137 };138#pragma unroll Flag ? 0 : N // Ok, allow 0.139 for (size_t ix = init(); cond(ix); ix = iter(ix)) {140 n *= n;141 }142#pragma GCC unroll Flag ? 0 : N // Ok, allow 0.143 for (size_t ix = init(); cond(ix); ix = iter(ix)) {144 n *= n;145 }146 return n;147}148 149int foo(int n) {150 return FailToBuild<true>(n);151}152 153int bar(int n) {154 return FailToBuild<false>(n);155}156