[b6ad601] | 1 | //
|
---|
| 2 | // Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
|
---|
| 3 | //
|
---|
| 4 | // The contents of this file are covered under the licence agreement in the
|
---|
| 5 | // file "LICENCE" distributed with Cforall.
|
---|
| 6 | //
|
---|
[dc8511c] | 7 | // loopctrl.cfa --
|
---|
[b6ad601] | 8 | //
|
---|
| 9 | // Author : Peter A. Buhr
|
---|
| 10 | // Created On : Wed Aug 8 18:32:59 2018
|
---|
| 11 | // Last Modified By : Peter A. Buhr
|
---|
[283876d] | 12 | // Last Modified On : Thu Aug 11 23:04:35 2022
|
---|
| 13 | // Update Count : 160
|
---|
[b6ad601] | 14 | //
|
---|
| 15 |
|
---|
| 16 | #include <fstream.hfa>
|
---|
| 17 |
|
---|
[091ccdb] | 18 | void fred() {
|
---|
| 19 | // Test all possible loop syntax.
|
---|
| 20 |
|
---|
[c48b61c] | 21 | int s = 0, c = 10, i = 2;
|
---|
| 22 |
|
---|
| 23 | for ( c ) { sout | "A"; } sout | nl;
|
---|
| 24 | for ( ~= c ) { sout | "B"; } sout | nl;
|
---|
| 25 | for ( -~ c ) { sout | "C"; } sout | nl;
|
---|
| 26 | for ( -~= c ) { sout | "D"; } sout | nl;
|
---|
| 27 |
|
---|
| 28 | for ( s ~ c ) { sout | "A"; } sout | nl;
|
---|
| 29 | for ( s ~= c ) { sout | "B"; } sout | nl;
|
---|
| 30 | for ( s -~ c ) { sout | "C"; } sout | nl;
|
---|
| 31 | for ( s -~= c ) { sout | "D"; } sout | nl;
|
---|
| 32 |
|
---|
| 33 | for ( s ~ c ~ i ) { sout | "A"; } sout | nl;
|
---|
| 34 | for ( s ~= c ~ i ) { sout | "B"; } sout | nl;
|
---|
| 35 | for ( s -~ c ~ i ) { sout | "C"; } sout | nl;
|
---|
| 36 | for ( s -~= c ~ i ) { sout | "D"; } sout | nl;
|
---|
| 37 |
|
---|
| 38 | for ( j; c ) { sout | j; } sout | nl;
|
---|
| 39 | for ( j; ~= c ) { sout | j; } sout | nl;
|
---|
| 40 | for ( j; -~ c ) { sout | j; } sout | nl;
|
---|
| 41 | for ( j; -~= c ) { sout | j; } sout | nl;
|
---|
| 42 |
|
---|
| 43 | for ( j; s ~ c ) { sout | j; } sout | nl;
|
---|
| 44 | for ( j; s ~= c ) { sout | j; } sout | nl;
|
---|
| 45 | for ( j; s -~ c ) { sout | j; } sout | nl;
|
---|
| 46 | for ( j; s -~= c ) { sout | j; } sout | nl;
|
---|
| 47 |
|
---|
| 48 | for ( j; s ~ c ~ i ) { sout | j; } sout | nl;
|
---|
| 49 | for ( j; s ~= c ~ i ) { sout | j; } sout | nl;
|
---|
| 50 | for ( j; s -~ c ~ i ) { sout | j; } sout | nl;
|
---|
| 51 | for ( j; s -~= c ~ i ) { sout | j; } sout | nl;
|
---|
[091ccdb] | 52 |
|
---|
| 53 | // CANNOT DIRECTLY INITIALIZE INDEX VARIABLE, ONLY SINGLE LOOP INDEX VARIABLE IN DECLARATION
|
---|
| 54 |
|
---|
[c48b61c] | 55 | for ( j; c ) { sout | j; } sout | nl;
|
---|
| 56 | for ( int j; c ) { sout | j; } sout | nl;
|
---|
| 57 | for ( int j; ~= c ) { sout | j; } sout | nl;
|
---|
| 58 | for ( int j; -~ c ) { sout | j; } sout | nl;
|
---|
| 59 | for ( int j; -~= c ) { sout | j; } sout | nl;
|
---|
| 60 |
|
---|
| 61 | for ( int j; s ~ c ) { sout | j; } sout | nl;
|
---|
| 62 | for ( int j; s ~= c ) { sout | j; } sout | nl;
|
---|
| 63 | for ( int j; s -~ c ) { sout | j; } sout | nl;
|
---|
| 64 | for ( int j; s -~= c ) { sout | j; } sout | nl;
|
---|
| 65 |
|
---|
| 66 | for ( int j; s ~ c ~ i ) { sout | j; } sout | nl;
|
---|
| 67 | for ( int j; s ~= c ~ i ) { sout | j; } sout | nl;
|
---|
| 68 | for ( int j; s -~ c ~ i ) { sout | j; } sout | nl;
|
---|
| 69 | for ( int j; s -~= c ~ i ) { sout | j; } sout | nl;
|
---|
| 70 |
|
---|
| 71 | for ( j; s ~ @ ) { if ( j == 10 ) break; sout | j; } sout | nl;
|
---|
[283876d] | 72 | for ( j; @ -~ s ) { if ( j == -10 ) break; sout | j; } sout | nl;
|
---|
[c48b61c] | 73 | for ( j; s ~ @ ~ i ) { if ( j == 10 ) break; sout | j; } sout | nl;
|
---|
[283876d] | 74 | for ( j; @ -~ s ~ i ) { if ( j == -10 ) break; sout | j; } sout | nl;
|
---|
[c48b61c] | 75 | for ( j; s ~ @ ~ @ ) { if ( j == 10 ) break; sout | j; j += 1; } sout | nl;
|
---|
| 76 |
|
---|
| 77 | for ( int j; s ~ @ ) { if ( j == 10 ) break; sout | j; j += 1; } sout | nl;
|
---|
[283876d] | 78 | for ( int j; @ -~ s ) { if ( j == -10 ) break; sout | j; j -= 1; } sout | nl;
|
---|
[c48b61c] | 79 | for ( int j; s ~ @ ~ i ) { if ( j == 10 ) break; sout | j; } sout | nl;
|
---|
[283876d] | 80 | for ( int j; @ -~ s ~ i ) { if ( j == -10 ) break; sout | j; } sout | nl;
|
---|
[c48b61c] | 81 | for ( int j; s ~ @ ~ @ ) { if ( j == 10 ) break; sout | j; j += 1; } sout | nl;
|
---|
[091ccdb] | 82 |
|
---|
| 83 | // enum E { A, B, C, D };
|
---|
[c48b61c] | 84 | // for ( e; A ~= C ) { sout | j; }
|
---|
| 85 | // for ( e; A ~= D ) { sout | j; }
|
---|
| 86 | // for ( e; A -~= D ~ 2 ) { sout | j; }
|
---|
| 87 | // for ( e; E ) { sout | j; }
|
---|
| 88 | // for ( e; -~ E ) { sout | j; }
|
---|
[091ccdb] | 89 | }
|
---|
| 90 |
|
---|
[b6ad601] | 91 | struct S { int i, j; };
|
---|
| 92 | void ?{}( S & s ) { s.[i, j] = 0; }
|
---|
| 93 | void ?{}( S & s, int i ) { s.[i, j] = [i, 0]; }
|
---|
| 94 | void ?{}( S & s, int i, int j ) { s.[i, j] = [i, j]; }
|
---|
| 95 | void ?{}( S & s, zero_t ) { s.[i, j] = 0; }
|
---|
| 96 | void ?{}( S & s, one_t ) { s.[i, j] = 1; }
|
---|
| 97 | int ?<?( S t1, S t2 ) { return t1.i < t2.i && t1.j < t2.j; }
|
---|
| 98 | int ?<=?( S t1, S t2 ) { return t1.i <= t2.i && t1.j <= t2.j; }
|
---|
| 99 | int ?>?( S t1, S t2 ) { return t1.i > t2.i && t1.j > t2.j; }
|
---|
| 100 | int ?>=?( S t1, S t2 ) { return t1.i >= t2.i && t1.j >= t2.j; }
|
---|
| 101 | S ?=?( S & t1, S t2 ) { t1.i = t2.i; t1.j = t2.j; return t1; }
|
---|
| 102 | S ?+=?( S & t1, S t2 ) { t1.i += t2.i; t1.j += t2.j; return t1; }
|
---|
| 103 | S ?+=?( S & t, one_t ) { t.i += 1; t.j += 1; return t; }
|
---|
| 104 | S ?-=?( S & t1, S t2 ) { t1.i -= t2.i; t1.j -= t2.j; return t1; }
|
---|
| 105 | S ?-=?( S & t, one_t ) { t.i -= 1; t.j -= 1; return t; }
|
---|
| 106 | ofstream & ?|?( ofstream & os, S v ) { return os | '(' | v.i | v.j | ')'; }
|
---|
[65240bb] | 107 | void & ?|?( ofstream & os, S v ) { (ofstream &)(os | v); ends( os ); }
|
---|
[b6ad601] | 108 |
|
---|
| 109 | int main() {
|
---|
[091ccdb] | 110 | // Test some loop options.
|
---|
| 111 |
|
---|
[200fcb3] | 112 | sout | nlOff; // turn off auto newline
|
---|
| 113 | while () { sout | "empty"; break; } sout | nl;
|
---|
| 114 | do { sout | "empty"; break; } while (); sout | nl;
|
---|
[5ea5b28] | 115 | for () { sout | "empty"; break; } sout | nl | nl;
|
---|
[b6ad601] | 116 |
|
---|
[200fcb3] | 117 | for ( 0 ) { sout | "A"; } sout | "zero" | nl;
|
---|
| 118 | for ( 1 ) { sout | "A"; } sout | nl;
|
---|
| 119 | for ( 10 ) { sout | "A"; } sout | nl;
|
---|
[5c98a25] | 120 | for ( ~= 10 ) { sout | "A"; } sout | nl;
|
---|
[200fcb3] | 121 | for ( 1 ~= 10 ~ 2 ) { sout | "B"; } sout | nl;
|
---|
[c48b61c] | 122 | for ( 1 -~= 10 ~ 2 ) { sout | "C"; } sout | nl;
|
---|
[200fcb3] | 123 | for ( 0.5 ~ 5.5 ) { sout | "D"; } sout | nl;
|
---|
[c48b61c] | 124 | for ( 0.5 -~ 5.5 ) { sout | "E"; } sout | nl | nl;
|
---|
[b6ad601] | 125 |
|
---|
[200fcb3] | 126 | for ( i; 10 ) { sout | i; } sout | nl;
|
---|
[5c98a25] | 127 | for ( i; ~= 10 ) { sout | i; } sout | nl;
|
---|
[200fcb3] | 128 | for ( i; 1 ~= 10 ~ 2 ) { sout | i; } sout | nl;
|
---|
[c48b61c] | 129 | for ( i; 1 -~= 10 ~ 2 ) { sout | i; } sout | nl;
|
---|
[200fcb3] | 130 | for ( i; 0.5 ~ 5.5 ) { sout | i; } sout | nl;
|
---|
[c48b61c] | 131 | for ( i; 0.5 -~ 5.5 ) { sout | i; } sout | nl;
|
---|
[200fcb3] | 132 | for ( ui; 2u ~= 10u ~ 2u ) { sout | ui; } sout | nl;
|
---|
[c48b61c] | 133 | for ( ui; 2u -~= 10u ~ 2u ) { sout | ui; } sout | nl | nl;
|
---|
[b6ad601] | 134 |
|
---|
[67d4e37] | 135 | // @ means do nothing
|
---|
| 136 | for ( i; 1 ~ @ ) {
|
---|
| 137 | if ( i > 10 ) break;
|
---|
| 138 | sout | i;
|
---|
| 139 | } sout | nl;
|
---|
[283876d] | 140 | for ( i; @ -~ 10 ) {
|
---|
[67d4e37] | 141 | if ( i < 0 ) break;
|
---|
| 142 | sout | i;
|
---|
| 143 | } sout | nl;
|
---|
[1b54b54] | 144 | for ( i; 2 ~ @ ~ 2 ) {
|
---|
| 145 | if ( i > 10 ) break;
|
---|
| 146 | sout | i;
|
---|
| 147 | } sout | nl;
|
---|
| 148 | for ( i; 2.1 ~ @ ~ @ ) {
|
---|
| 149 | if ( i > 10.5 ) break;
|
---|
| 150 | sout | i;
|
---|
| 151 | i += 1.7;
|
---|
| 152 | } sout | nl;
|
---|
[283876d] | 153 | for ( i; @ -~ 10 ~ 2 ) {
|
---|
[1b54b54] | 154 | if ( i < 0 ) break;
|
---|
| 155 | sout | i;
|
---|
| 156 | } sout | nl;
|
---|
| 157 | for ( i; 12.1 ~ @ ~ @ ) {
|
---|
| 158 | if ( i < 2.5 ) break;
|
---|
| 159 | sout | i;
|
---|
| 160 | i -= 1.7;
|
---|
| 161 | } sout | nl | nl;
|
---|
| 162 |
|
---|
[61dafb8] | 163 | enum { N = 10 };
|
---|
[200fcb3] | 164 | for ( N ) { sout | "N"; } sout | nl;
|
---|
| 165 | for ( i; N ) { sout | i; } sout | nl;
|
---|
[283876d] | 166 | for ( i; ~= N ) { sout | i; } sout | nl;
|
---|
[c48b61c] | 167 | for ( i; -~= N ) { sout | i; } sout | nl | nl;
|
---|
[61dafb8] | 168 |
|
---|
[dc8511c] | 169 | const int start = 3, comp = 10, inc = 2;
|
---|
[200fcb3] | 170 | for ( i; start ~ comp ~ inc + 1 ) { sout | i; } sout | nl | nl;
|
---|
[b6ad601] | 171 |
|
---|
[67d4e37] | 172 | for ( i; 10 : j; -5 ~ @ ) { sout | i | j; } sout | nl;
|
---|
[283876d] | 173 | for ( i; 10 : j; @ -~ -5 ) { sout | i | j; } sout | nl;
|
---|
[67d4e37] | 174 | for ( i; 10 : j; -5 ~ @ ~ 2 ) { sout | i | j; } sout | nl;
|
---|
[283876d] | 175 | for ( i; 10 : j; @ -~ -5 ~ 2 ) { sout | i | j; } sout | nl | nl;
|
---|
[67d4e37] | 176 |
|
---|
| 177 | for ( j; -5 ~ @ : i; 10 ) { sout | i | j; } sout | nl;
|
---|
[283876d] | 178 | for ( j; @ -~ -5 : i; 10 ) { sout | i | j; } sout | nl;
|
---|
[67d4e37] | 179 | for ( j; -5 ~ @ ~ 2 : i; 10 ) { sout | i | j; } sout | nl;
|
---|
[283876d] | 180 | for ( j; @ -~ -5 ~ 2 : i; 10 ) { sout | i | j; } sout | nl | nl;
|
---|
[67d4e37] | 181 |
|
---|
[283876d] | 182 | for ( j; @ -~ -5 ~ 2 : i; 10 : k; 1.5 ~ @ ) { sout | i | j | k; } sout | nl;
|
---|
| 183 | for ( j; @ -~ -5 ~ 2 : k; 1.5 ~ @ : i; 10 ) { sout | i | j | k; } sout | nl;
|
---|
| 184 | for ( k; 1.5 ~ @ : j; @ -~ -5 ~ 2 : i; 10 ) { sout | i | j | k; } sout | nl;
|
---|
[c48b61c] | 185 |
|
---|
[ff36907] | 186 | for ( S s = (S){0}; s < (S){10,10}; s += (S){1} ) { sout | s; } sout | nl;
|
---|
| 187 | for ( s; (S){10,10} ) { sout | s; } sout | nl;
|
---|
| 188 | sout | nl;
|
---|
| 189 | for ( s; (S){0} ~ (S){10,10} ) { sout | s; } sout | nl;
|
---|
| 190 | for ( s; (S){0} ~ (S){10,10} ~ (S){1} ) { sout | s; } sout | nl;
|
---|
| 191 | for ( s; (S){0} ~= (S){10,10} ) { sout | s; } sout | nl;
|
---|
| 192 | for ( s; (S){0} ~= (S){10,10} ~ (S){1} ) { sout | s; } sout | nl;
|
---|
| 193 | sout | nl;
|
---|
| 194 | for ( s; (S){0} -~ (S){10,10} ) { sout | s; } sout | nl;
|
---|
| 195 | for ( s; (S){0} -~ (S){10,10} ~ (S){1} ) { sout | s; } sout | nl;
|
---|
| 196 | for ( s; (S){0} -~= (S){10,10} ) { sout | s; } sout | nl;
|
---|
| 197 | for ( s; (S){0} -~= (S){10,10} ~ (S){1} ) { sout | s; } sout | nl | nl;
|
---|
| 198 |
|
---|
[c48b61c] | 199 | fred();
|
---|
[b6ad601] | 200 | }
|
---|
| 201 |
|
---|
| 202 | // Local Variables: //
|
---|
| 203 | // tab-width: 4 //
|
---|
[dc8511c] | 204 | // compile-command: "cfa loopctrl.cfa" //
|
---|
[b6ad601] | 205 | // End: //
|
---|