source: tests/ctrl-flow/loopctrl.cfa@ 0bf03ba2

Last change on this file since 0bf03ba2 was eae8b37, checked in by JiadaL <j82liang@…>, 10 months ago

Move enum.hfa/enum.cfa to prelude

  • Property mode set to 100644
File size: 8.2 KB
RevLine 
[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
[8789ae4]12// Last Modified On : Fri Aug 2 08:42:55 2024
13// Update Count : 185
[b6ad601]14//
15
16#include <fstream.hfa>
17
[091ccdb]18void 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
[8789ae4]83 enum(int) E { A, B, C, D };
[5f210c0]84 for ( E e; A ~= C ) { sout | e; } sout | nl;
85 for ( e; A ~= D ) { sout | e; } sout | nl;
86 for ( e; A -~= D ~ 2 ) { sout | e; } sout | nl;
[8789ae4]87 for ( e; E ) { sout | e; } sout | nl;
88 for ( e; -~= E ) { sout | e; } sout | nl;
[091ccdb]89}
90
[b6ad601]91struct S { int i, j; };
92void ?{}( S & s ) { s.[i, j] = 0; }
93void ?{}( S & s, int i ) { s.[i, j] = [i, 0]; }
94void ?{}( S & s, int i, int j ) { s.[i, j] = [i, j]; }
95void ?{}( S & s, zero_t ) { s.[i, j] = 0; }
96void ?{}( S & s, one_t ) { s.[i, j] = 1; }
[8789ae4]97int ?<?( S s1, S s2 ) { return s1.i < s2.i || s1.j < s2.j; }
98int ?<=?( S s1, S s2 ) { return s1.i <= s2.i || s1.j <= s2.j; }
99int ?>?( S s1, S s2 ) { return s1.i > s2.i || s1.j > s2.j; }
100int ?>=?( S s1, S s2 ) { return s1.i >= s2.i || s1.j >= s2.j; }
101S ?+=?( S & s1, S s2 ) { s1.i += s2.i; s1.j += s2.j; return s1; }
102S ?+=?( S & s, one_t ) { s.i += 1; s.j += 1; return s; }
103S ?-=?( S & s1, S s2 ) { s1.i -= s2.i; s1.j -= s2.j; return s1; }
104S ?-=?( S & s, one_t ) { s.i -= 1; s.j -= 1; return s; }
105ofstream & ?|?( ofstream & os, S s ) { return os | '(' | s.i | s.j | ')'; }
106void & ?|?( ofstream & os, S s ) { (ofstream &)(os | s); ends( os ); }
[b6ad601]107
108int main() {
[091ccdb]109 // Test some loop options.
110
[200fcb3]111 sout | nlOff; // turn off auto newline
112 while () { sout | "empty"; break; } sout | nl;
113 do { sout | "empty"; break; } while (); sout | nl;
[5ea5b28]114 for () { sout | "empty"; break; } sout | nl | nl;
[b6ad601]115
[200fcb3]116 for ( 0 ) { sout | "A"; } sout | "zero" | nl;
117 for ( 1 ) { sout | "A"; } sout | nl;
118 for ( 10 ) { sout | "A"; } sout | nl;
[5c98a25]119 for ( ~= 10 ) { sout | "A"; } sout | nl;
[200fcb3]120 for ( 1 ~= 10 ~ 2 ) { sout | "B"; } sout | nl;
[c48b61c]121 for ( 1 -~= 10 ~ 2 ) { sout | "C"; } sout | nl;
[200fcb3]122 for ( 0.5 ~ 5.5 ) { sout | "D"; } sout | nl;
[c48b61c]123 for ( 0.5 -~ 5.5 ) { sout | "E"; } sout | nl | nl;
[b6ad601]124
[200fcb3]125 for ( i; 10 ) { sout | i; } sout | nl;
[5c98a25]126 for ( i; ~= 10 ) { sout | i; } sout | nl;
[200fcb3]127 for ( i; 1 ~= 10 ~ 2 ) { sout | i; } sout | nl;
[c48b61c]128 for ( i; 1 -~= 10 ~ 2 ) { sout | i; } sout | nl;
[200fcb3]129 for ( i; 0.5 ~ 5.5 ) { sout | i; } sout | nl;
[c48b61c]130 for ( i; 0.5 -~ 5.5 ) { sout | i; } sout | nl;
[200fcb3]131 for ( ui; 2u ~= 10u ~ 2u ) { sout | ui; } sout | nl;
[c48b61c]132 for ( ui; 2u -~= 10u ~ 2u ) { sout | ui; } sout | nl | nl;
[b6ad601]133
[67d4e37]134 // @ means do nothing
135 for ( i; 1 ~ @ ) {
136 if ( i > 10 ) break;
137 sout | i;
138 } sout | nl;
[283876d]139 for ( i; @ -~ 10 ) {
[67d4e37]140 if ( i < 0 ) break;
141 sout | i;
142 } sout | nl;
[1b54b54]143 for ( i; 2 ~ @ ~ 2 ) {
144 if ( i > 10 ) break;
145 sout | i;
146 } sout | nl;
147 for ( i; 2.1 ~ @ ~ @ ) {
148 if ( i > 10.5 ) break;
149 sout | i;
150 i += 1.7;
151 } sout | nl;
[283876d]152 for ( i; @ -~ 10 ~ 2 ) {
[1b54b54]153 if ( i < 0 ) break;
154 sout | i;
155 } sout | nl;
156 for ( i; 12.1 ~ @ ~ @ ) {
157 if ( i < 2.5 ) break;
158 sout | i;
159 i -= 1.7;
160 } sout | nl | nl;
161
[61dafb8]162 enum { N = 10 };
[200fcb3]163 for ( N ) { sout | "N"; } sout | nl;
164 for ( i; N ) { sout | i; } sout | nl;
[283876d]165 for ( i; ~= N ) { sout | i; } sout | nl;
[c48b61c]166 for ( i; -~= N ) { sout | i; } sout | nl | nl;
[61dafb8]167
[dc8511c]168 const int start = 3, comp = 10, inc = 2;
[200fcb3]169 for ( i; start ~ comp ~ inc + 1 ) { sout | i; } sout | nl | nl;
[b6ad601]170
[67d4e37]171 for ( i; 10 : j; -5 ~ @ ) { sout | i | j; } sout | nl;
[283876d]172 for ( i; 10 : j; @ -~ -5 ) { sout | i | j; } sout | nl;
[67d4e37]173 for ( i; 10 : j; -5 ~ @ ~ 2 ) { sout | i | j; } sout | nl;
[283876d]174 for ( i; 10 : j; @ -~ -5 ~ 2 ) { sout | i | j; } sout | nl | nl;
[67d4e37]175
176 for ( j; -5 ~ @ : i; 10 ) { sout | i | j; } sout | nl;
[283876d]177 for ( j; @ -~ -5 : i; 10 ) { sout | i | j; } sout | nl;
[67d4e37]178 for ( j; -5 ~ @ ~ 2 : i; 10 ) { sout | i | j; } sout | nl;
[283876d]179 for ( j; @ -~ -5 ~ 2 : i; 10 ) { sout | i | j; } sout | nl | nl;
[67d4e37]180
[283876d]181 for ( j; @ -~ -5 ~ 2 : i; 10 : k; 1.5 ~ @ ) { sout | i | j | k; } sout | nl;
182 for ( j; @ -~ -5 ~ 2 : k; 1.5 ~ @ : i; 10 ) { sout | i | j | k; } sout | nl;
183 for ( k; 1.5 ~ @ : j; @ -~ -5 ~ 2 : i; 10 ) { sout | i | j | k; } sout | nl;
[c48b61c]184
[8789ae4]185 for ( S s = (S){0}; s < (S){10,10}; s += (S){1} ) { sout | s; } sout | nl; // 0 does not work
[ff36907]186 for ( s; (S){10,10} ) { sout | s; } sout | nl;
187 sout | nl;
188 for ( s; (S){0} ~ (S){10,10} ) { sout | s; } sout | nl;
189 for ( s; (S){0} ~ (S){10,10} ~ (S){1} ) { sout | s; } sout | nl;
190 for ( s; (S){0} ~= (S){10,10} ) { sout | s; } sout | nl;
191 for ( s; (S){0} ~= (S){10,10} ~ (S){1} ) { sout | s; } sout | nl;
192 sout | nl;
193 for ( s; (S){0} -~ (S){10,10} ) { sout | s; } sout | nl;
194 for ( s; (S){0} -~ (S){10,10} ~ (S){1} ) { sout | s; } sout | nl;
195 for ( s; (S){0} -~= (S){10,10} ) { sout | s; } sout | nl;
196 for ( s; (S){0} -~= (S){10,10} ~ (S){1} ) { sout | s; } sout | nl | nl;
197
[8789ae4]198 int i = 10;
199 double d = 10.;
200 char c = 'e';
201 S s = { 7 };
202
203 for ( anon; 3 ~ i ) sout | anon; sout | nl;
204 for ( anon; 3 ~ i ) sout | anon; sout | nl;
205 for ( anon; 3 -~ i ) sout | anon; sout | nl;
206 for ( anon; 3.5 ~ d ) sout | anon; sout | nl;
207 for ( anon; 'a' ~= c ) sout | anon; sout | nl;
208 for ( anon; 'a' -~= c ) sout | anon; sout | nl;
209 for ( anon; (S){0} ~ s ) sout | anon; sout | nl; // 0 does not work
210 for ( anon; (S){1} ~ s ) sout | anon; sout | nl; // 1 does not work
211 for ( anon; (S){3} ~ s ) sout | anon; sout | nl;
212 for ( anon; (S){3} -~ s ) sout | anon; sout | nl | nl;
213
[c48b61c]214 fred();
[b6ad601]215}
216
217// Local Variables: //
218// tab-width: 4 //
[dc8511c]219// compile-command: "cfa loopctrl.cfa" //
[b6ad601]220// End: //
Note: See TracBrowser for help on using the repository browser.