|
1 val fibs = List( |
|
2 ArrayDef("mem", 30000), |
|
3 Assign("ptr", Num(15000)), |
|
4 AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(11))), |
|
5 Assign("ptr", Aop("+", Var("ptr"), Num(1))), |
|
6 AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), |
|
7 Assign("ptr", Aop("+", Var("ptr"), Num(4))), |
|
8 AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(44))), |
|
9 Assign("ptr", Aop("+", Var("ptr"), Num(1))), |
|
10 AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(32))), |
|
11 Assign("ptr", Aop("-", Var("ptr"), Num(6))), |
|
12 While( |
|
13 Bop("!=", Ref("mem", Var("ptr")), Num(0)), |
|
14 List( |
|
15 Assign("ptr", Aop("+", Var("ptr"), Num(1))), |
|
16 While( |
|
17 Bop("!=", Ref("mem", Var("ptr")), Num(0)), |
|
18 List( |
|
19 Assign("ptr", Aop("+", Var("ptr"), Num(6))), |
|
20 AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), |
|
21 Assign("ptr", Aop("+", Var("ptr"), Num(1))), |
|
22 AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), |
|
23 Assign("ptr", Aop("-", Var("ptr"), Num(7))), |
|
24 AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), |
|
25 Skip |
|
26 ) |
|
27 ), |
|
28 Assign("ptr", Aop("+", Var("ptr"), Num(7))), |
|
29 While( |
|
30 Bop("!=", Ref("mem", Var("ptr")), Num(0)), |
|
31 List( |
|
32 Assign("ptr", Aop("-", Var("ptr"), Num(7))), |
|
33 AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), |
|
34 Assign("ptr", Aop("+", Var("ptr"), Num(7))), |
|
35 AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), |
|
36 Skip |
|
37 ) |
|
38 ), |
|
39 Assign("ptr", Aop("-", Var("ptr"), Num(1))), |
|
40 While( |
|
41 Bop("!=", Ref("mem", Var("ptr")), Num(0)), |
|
42 List( |
|
43 Assign("ptr", Aop("+", Var("ptr"), Num(1))), |
|
44 AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(10))), |
|
45 While( |
|
46 Bop("!=", Ref("mem", Var("ptr")), Num(0)), |
|
47 List( |
|
48 AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), |
|
49 Assign("ptr", Aop("-", Var("ptr"), Num(1))), |
|
50 AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), |
|
51 While( |
|
52 Bop("!=", Ref("mem", Var("ptr")), Num(0)), |
|
53 List( |
|
54 Assign("ptr", Aop("+", Var("ptr"), Num(2))), |
|
55 AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), |
|
56 Assign("ptr", Aop("+", Var("ptr"), Num(1))), |
|
57 AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), |
|
58 Assign("ptr", Aop("-", Var("ptr"), Num(3))), |
|
59 AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), |
|
60 Skip |
|
61 ) |
|
62 ), |
|
63 Assign("ptr", Aop("+", Var("ptr"), Num(3))), |
|
64 While( |
|
65 Bop("!=", Ref("mem", Var("ptr")), Num(0)), |
|
66 List( |
|
67 Assign("ptr", Aop("-", Var("ptr"), Num(3))), |
|
68 AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), |
|
69 Assign("ptr", Aop("+", Var("ptr"), Num(3))), |
|
70 AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), |
|
71 Skip |
|
72 ) |
|
73 ), |
|
74 AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), |
|
75 Assign("ptr", Aop("-", Var("ptr"), Num(1))), |
|
76 While( |
|
77 Bop("!=", Ref("mem", Var("ptr")), Num(0)), |
|
78 List( |
|
79 Assign("ptr", Aop("+", Var("ptr"), Num(1))), |
|
80 AssignA("mem", Var("ptr"), Num(0)), |
|
81 Assign("ptr", Aop("-", Var("ptr"), Num(1))), |
|
82 AssignA("mem", Var("ptr"), Num(0)), |
|
83 Skip |
|
84 ) |
|
85 ), |
|
86 Assign("ptr", Aop("+", Var("ptr"), Num(1))), |
|
87 While( |
|
88 Bop("!=", Ref("mem", Var("ptr")), Num(0)), |
|
89 List( |
|
90 Assign("ptr", Aop("-", Var("ptr"), Num(2))), |
|
91 While( |
|
92 Bop("!=", Ref("mem", Var("ptr")), Num(0)), |
|
93 List( |
|
94 Assign("ptr", Aop("+", Var("ptr"), Num(3))), |
|
95 AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), |
|
96 Assign("ptr", Aop("-", Var("ptr"), Num(3))), |
|
97 AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), |
|
98 Skip |
|
99 ) |
|
100 ), |
|
101 Assign("ptr", Aop("+", Var("ptr"), Num(2))), |
|
102 AssignA("mem", Var("ptr"), Num(0)), |
|
103 Skip |
|
104 ) |
|
105 ), |
|
106 Assign("ptr", Aop("-", Var("ptr"), Num(2))), |
|
107 Skip |
|
108 ) |
|
109 ), |
|
110 Assign("ptr", Aop("+", Var("ptr"), Num(3))), |
|
111 While( |
|
112 Bop("!=", Ref("mem", Var("ptr")), Num(0)), |
|
113 List( |
|
114 Assign("ptr", Aop("+", Var("ptr"), Num(2))), |
|
115 AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), |
|
116 Assign("ptr", Aop("+", Var("ptr"), Num(1))), |
|
117 AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), |
|
118 Assign("ptr", Aop("-", Var("ptr"), Num(3))), |
|
119 AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), |
|
120 Skip |
|
121 ) |
|
122 ), |
|
123 Assign("ptr", Aop("+", Var("ptr"), Num(3))), |
|
124 While( |
|
125 Bop("!=", Ref("mem", Var("ptr")), Num(0)), |
|
126 List( |
|
127 Assign("ptr", Aop("-", Var("ptr"), Num(3))), |
|
128 AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), |
|
129 Assign("ptr", Aop("+", Var("ptr"), Num(3))), |
|
130 AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), |
|
131 Skip |
|
132 ) |
|
133 ), |
|
134 AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), |
|
135 Assign("ptr", Aop("-", Var("ptr"), Num(1))), |
|
136 While( |
|
137 Bop("!=", Ref("mem", Var("ptr")), Num(0)), |
|
138 List( |
|
139 Assign("ptr", Aop("+", Var("ptr"), Num(1))), |
|
140 AssignA("mem", Var("ptr"), Num(0)), |
|
141 Assign("ptr", Aop("-", Var("ptr"), Num(1))), |
|
142 AssignA("mem", Var("ptr"), Num(0)), |
|
143 Skip |
|
144 ) |
|
145 ), |
|
146 Assign("ptr", Aop("+", Var("ptr"), Num(1))), |
|
147 While( |
|
148 Bop("!=", Ref("mem", Var("ptr")), Num(0)), |
|
149 List( |
|
150 Assign("ptr", Aop("-", Var("ptr"), Num(2))), |
|
151 AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), |
|
152 Assign("ptr", Aop("+", Var("ptr"), Num(2))), |
|
153 AssignA("mem", Var("ptr"), Num(0)), |
|
154 Skip |
|
155 ) |
|
156 ), |
|
157 Assign("ptr", Aop("-", Var("ptr"), Num(7))), |
|
158 Skip |
|
159 ) |
|
160 ), |
|
161 Assign("ptr", Aop("+", Var("ptr"), Num(5))), |
|
162 While( |
|
163 Bop("!=", Ref("mem", Var("ptr")), Num(0)), |
|
164 List( |
|
165 AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(25))), |
|
166 AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(23))), |
|
167 Assign("x", Ref("mem", Var("ptr"))), |
|
168 Write("x"), |
|
169 AssignA("mem", Var("ptr"), Num(0)), |
|
170 Skip |
|
171 ) |
|
172 ), |
|
173 AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(10))), |
|
174 Assign("ptr", Aop("-", Var("ptr"), Num(1))), |
|
175 While( |
|
176 Bop("!=", Ref("mem", Var("ptr")), Num(0)), |
|
177 List( |
|
178 AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), |
|
179 Assign("ptr", Aop("+", Var("ptr"), Num(1))), |
|
180 AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), |
|
181 Assign("ptr", Aop("-", Var("ptr"), Num(1))), |
|
182 Skip |
|
183 ) |
|
184 ), |
|
185 Assign("ptr", Aop("+", Var("ptr"), Num(1))), |
|
186 AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(4))), |
|
187 AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(44))), |
|
188 Assign("x", Ref("mem", Var("ptr"))), |
|
189 Write("x"), |
|
190 AssignA("mem", Var("ptr"), Num(0)), |
|
191 Assign("ptr", Aop("-", Var("ptr"), Num(2))), |
|
192 Assign("ptr", Aop("-", Var("ptr"), Num(10))), |
|
193 While( |
|
194 Bop("!=", Ref("mem", Var("ptr")), Num(0)), |
|
195 List( |
|
196 Assign("ptr", Aop("+", Var("ptr"), Num(3))), |
|
197 AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), |
|
198 Assign("ptr", Aop("+", Var("ptr"), Num(1))), |
|
199 AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), |
|
200 Assign("ptr", Aop("-", Var("ptr"), Num(4))), |
|
201 AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), |
|
202 Skip |
|
203 ) |
|
204 ), |
|
205 Assign("ptr", Aop("+", Var("ptr"), Num(4))), |
|
206 While( |
|
207 Bop("!=", Ref("mem", Var("ptr")), Num(0)), |
|
208 List( |
|
209 Assign("ptr", Aop("-", Var("ptr"), Num(4))), |
|
210 AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), |
|
211 Assign("ptr", Aop("+", Var("ptr"), Num(4))), |
|
212 AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), |
|
213 Skip |
|
214 ) |
|
215 ), |
|
216 Assign("ptr", Aop("-", Var("ptr"), Num(1))), |
|
217 AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), |
|
218 While( |
|
219 Bop("!=", Ref("mem", Var("ptr")), Num(0)), |
|
220 List( |
|
221 Assign("ptr", Aop("+", Var("ptr"), Num(2))), |
|
222 Assign("x", Ref("mem", Var("ptr"))), |
|
223 Write("x"), |
|
224 Assign("ptr", Aop("+", Var("ptr"), Num(1))), |
|
225 Assign("x", Ref("mem", Var("ptr"))), |
|
226 Write("x"), |
|
227 Assign("ptr", Aop("-", Var("ptr"), Num(3))), |
|
228 AssignA("mem", Var("ptr"), Num(0)), |
|
229 Skip |
|
230 ) |
|
231 ), |
|
232 Assign("ptr", Aop("-", Var("ptr"), Num(2))), |
|
233 While( |
|
234 Bop("!=", Ref("mem", Var("ptr")), Num(0)), |
|
235 List( |
|
236 Assign("ptr", Aop("+", Var("ptr"), Num(2))), |
|
237 AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), |
|
238 Assign("ptr", Aop("+", Var("ptr"), Num(1))), |
|
239 AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), |
|
240 Assign("ptr", Aop("-", Var("ptr"), Num(3))), |
|
241 AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), |
|
242 Skip |
|
243 ) |
|
244 ), |
|
245 Assign("ptr", Aop("+", Var("ptr"), Num(3))), |
|
246 While( |
|
247 Bop("!=", Ref("mem", Var("ptr")), Num(0)), |
|
248 List( |
|
249 Assign("ptr", Aop("-", Var("ptr"), Num(3))), |
|
250 AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), |
|
251 Assign("ptr", Aop("+", Var("ptr"), Num(3))), |
|
252 AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), |
|
253 Skip |
|
254 ) |
|
255 ), |
|
256 Assign("ptr", Aop("-", Var("ptr"), Num(2))), |
|
257 While( |
|
258 Bop("!=", Ref("mem", Var("ptr")), Num(0)), |
|
259 List( |
|
260 Assign("ptr", Aop("-", Var("ptr"), Num(1))), |
|
261 AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), |
|
262 Assign("ptr", Aop("+", Var("ptr"), Num(1))), |
|
263 AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), |
|
264 Skip |
|
265 ) |
|
266 ), |
|
267 Assign("ptr", Aop("+", Var("ptr"), Num(1))), |
|
268 While( |
|
269 Bop("!=", Ref("mem", Var("ptr")), Num(0)), |
|
270 List( |
|
271 Assign("ptr", Aop("-", Var("ptr"), Num(1))), |
|
272 AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))), |
|
273 Assign("ptr", Aop("+", Var("ptr"), Num(1))), |
|
274 AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), |
|
275 Skip |
|
276 ) |
|
277 ), |
|
278 Assign("ptr", Aop("-", Var("ptr"), Num(3))), |
|
279 AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))), |
|
280 Skip |
|
281 ) |
|
282 ), |
|
283 Skip |
|
284 ) |