dc45444e |
1 | switch (t->back) { |
2 | default: Uerror("bad return move"); |
3 | case 0: goto R999; /* nothing to undo */ |
4 | |
5 | /* PROC :never: */ |
6 | ; |
7 | ; |
8 | |
9 | case 4: /* STATE 8 */ |
10 | ; |
11 | p_restor(II); |
12 | ; |
13 | ; |
14 | goto R999; |
15 | |
16 | /* PROC :init: */ |
17 | |
18 | case 5: /* STATE 1 */ |
19 | ; |
20 | ((P4 *)this)->i = trpt->bup.oval; |
21 | ; |
22 | goto R999; |
23 | |
24 | case 6: /* STATE 4 */ |
25 | ; |
26 | ((P4 *)this)->i = trpt->bup.ovals[1]; |
27 | now.commit_count[ Index(((P4 *)this)->i, 2) ] = trpt->bup.ovals[0]; |
28 | ; |
29 | ungrab_ints(trpt->bup.ovals, 2); |
30 | goto R999; |
31 | |
32 | case 7: /* STATE 11 */ |
33 | ; |
34 | ((P4 *)this)->i = trpt->bup.ovals[2]; |
35 | now._commit_sum = trpt->bup.ovals[1]; |
36 | /* 0 */ ((P4 *)this)->i = trpt->bup.ovals[0]; |
37 | ; |
38 | ; |
39 | ungrab_ints(trpt->bup.ovals, 3); |
40 | goto R999; |
41 | |
42 | case 8: /* STATE 11 */ |
43 | ; |
44 | ((P4 *)this)->i = trpt->bup.ovals[1]; |
45 | now._commit_sum = trpt->bup.ovals[0]; |
46 | ; |
47 | ungrab_ints(trpt->bup.ovals, 2); |
48 | goto R999; |
49 | |
50 | case 9: /* STATE 14 */ |
51 | ; |
52 | ((P4 *)this)->i = trpt->bup.ovals[1]; |
53 | now.buffer_use[ Index(((P4 *)this)->i, 8) ] = trpt->bup.ovals[0]; |
54 | ; |
55 | ungrab_ints(trpt->bup.ovals, 2); |
56 | goto R999; |
57 | |
58 | case 10: /* STATE 15 */ |
59 | ; |
60 | /* 0 */ ((P4 *)this)->i = trpt->bup.oval; |
61 | ; |
62 | ; |
63 | goto R999; |
64 | |
65 | case 11: /* STATE 20 */ |
66 | ; |
67 | ; |
68 | delproc(0, now._nr_pr-1); |
69 | ; |
70 | goto R999; |
71 | |
72 | case 12: /* STATE 22 */ |
73 | ; |
74 | ((P4 *)this)->i = trpt->bup.oval; |
75 | ; |
76 | delproc(0, now._nr_pr-1); |
77 | ; |
78 | goto R999; |
79 | |
80 | case 13: /* STATE 24 */ |
81 | ; |
82 | now.refcount = trpt->bup.oval; |
83 | ; |
84 | goto R999; |
85 | |
86 | case 14: /* STATE 26 */ |
87 | ; |
88 | ((P4 *)this)->i = trpt->bup.oval; |
89 | ; |
90 | delproc(0, now._nr_pr-1); |
91 | ; |
92 | goto R999; |
93 | |
94 | case 15: /* STATE 32 */ |
95 | ; |
96 | ((P4 *)this)->i = trpt->bup.ovals[1]; |
97 | /* 0 */ ((P4 *)this)->i = trpt->bup.ovals[0]; |
98 | ; |
99 | ; |
100 | ungrab_ints(trpt->bup.ovals, 2); |
101 | goto R999; |
102 | |
103 | case 16: /* STATE 32 */ |
104 | ; |
105 | ((P4 *)this)->i = trpt->bup.oval; |
106 | ; |
107 | goto R999; |
108 | |
109 | case 17: /* STATE 34 */ |
110 | ; |
111 | now.refcount = trpt->bup.oval; |
112 | ; |
113 | goto R999; |
114 | |
115 | case 18: /* STATE 36 */ |
116 | ; |
117 | ((P4 *)this)->i = trpt->bup.oval; |
118 | ; |
119 | delproc(0, now._nr_pr-1); |
120 | ; |
121 | goto R999; |
122 | |
123 | case 19: /* STATE 37 */ |
124 | ; |
125 | /* 0 */ ((P4 *)this)->i = trpt->bup.oval; |
126 | ; |
127 | ; |
128 | goto R999; |
129 | |
130 | case 20: /* STATE 43 */ |
131 | ; |
132 | p_restor(II); |
133 | ; |
134 | ; |
135 | goto R999; |
136 | |
137 | /* PROC cleaner */ |
138 | |
139 | case 21: /* STATE 2 */ |
140 | ; |
141 | now.refcount = trpt->bup.oval; |
142 | ; |
143 | goto R999; |
144 | |
145 | case 22: /* STATE 3 */ |
146 | ; |
147 | ; |
148 | delproc(0, now._nr_pr-1); |
149 | ; |
150 | goto R999; |
151 | |
152 | case 23: /* STATE 9 */ |
153 | ; |
154 | p_restor(II); |
155 | ; |
156 | ; |
157 | goto R999; |
158 | |
159 | /* PROC reader */ |
160 | ; |
161 | ; |
162 | |
163 | case 25: /* STATE 2 */ |
164 | ; |
165 | ((P2 *)this)->i = trpt->bup.oval; |
166 | ; |
167 | goto R999; |
168 | |
169 | case 26: /* STATE 6 */ |
170 | ; |
171 | ((P2 *)this)->i = trpt->bup.ovals[1]; |
172 | now.buffer_use[ Index(((now.read_off+((P2 *)this)->i)%8), 8) ] = trpt->bup.ovals[0]; |
173 | ; |
174 | ungrab_ints(trpt->bup.ovals, 2); |
175 | goto R999; |
176 | |
177 | case 27: /* STATE 7 */ |
178 | ; |
179 | /* 0 */ ((P2 *)this)->i = trpt->bup.oval; |
180 | ; |
181 | ; |
182 | goto R999; |
183 | |
184 | case 28: /* STATE 16 */ |
185 | ; |
186 | ((P2 *)this)->i = trpt->bup.ovals[1]; |
187 | now.buffer_use[ Index(((now.read_off+((P2 *)this)->i)%8), 8) ] = trpt->bup.ovals[0]; |
188 | ; |
189 | ungrab_ints(trpt->bup.ovals, 2); |
190 | goto R999; |
191 | |
192 | case 29: /* STATE 17 */ |
193 | ; |
194 | /* 0 */ ((P2 *)this)->i = trpt->bup.oval; |
195 | ; |
196 | ; |
197 | goto R999; |
198 | |
199 | case 30: /* STATE 22 */ |
200 | ; |
201 | now.read_off = trpt->bup.oval; |
202 | ; |
203 | goto R999; |
204 | ; |
205 | ; |
206 | |
207 | case 32: /* STATE 29 */ |
208 | ; |
209 | p_restor(II); |
210 | ; |
211 | ; |
212 | goto R999; |
213 | |
214 | /* PROC tracer */ |
215 | |
216 | case 33: /* STATE 2 */ |
217 | ; |
218 | ((P1 *)this)->new_off = trpt->bup.ovals[1]; |
219 | ((P1 *)this)->prev_off = trpt->bup.ovals[0]; |
220 | ; |
221 | ungrab_ints(trpt->bup.ovals, 2); |
222 | goto R999; |
223 | |
224 | case 34: /* STATE 4 */ |
225 | ; |
226 | /* 0 */ ((P1 *)this)->new_off = trpt->bup.oval; |
227 | ; |
228 | ; |
229 | goto R999; |
230 | ; |
231 | |
232 | case 35: /* STATE 7 */ |
233 | goto R999; |
234 | |
235 | case 36: /* STATE 11 */ |
236 | ; |
237 | /* 0 */ ((P1 *)this)->prev_off = trpt->bup.oval; |
238 | ; |
239 | ; |
240 | goto R999; |
241 | |
242 | case 37: /* STATE 17 */ |
243 | ; |
244 | ((P1 *)this)->i = trpt->bup.ovals[1]; |
245 | now.write_off = trpt->bup.ovals[0]; |
246 | ; |
247 | ungrab_ints(trpt->bup.ovals, 2); |
248 | goto R999; |
249 | |
250 | case 38: /* STATE 17 */ |
251 | ; |
252 | ((P1 *)this)->i = trpt->bup.oval; |
253 | ; |
254 | goto R999; |
255 | |
256 | case 39: /* STATE 21 */ |
257 | ; |
258 | ((P1 *)this)->i = trpt->bup.ovals[1]; |
259 | now.buffer_use[ Index(((((P1 *)this)->prev_off+((P1 *)this)->i)%8), 8) ] = trpt->bup.ovals[0]; |
260 | ; |
261 | ungrab_ints(trpt->bup.ovals, 2); |
262 | goto R999; |
263 | |
264 | case 40: /* STATE 22 */ |
265 | ; |
266 | /* 0 */ ((P1 *)this)->i = trpt->bup.oval; |
267 | ; |
268 | ; |
269 | goto R999; |
270 | |
271 | case 41: /* STATE 28 */ |
272 | ; |
273 | ((P1 *)this)->i = trpt->bup.oval; |
274 | ; |
275 | goto R999; |
276 | |
277 | case 42: /* STATE 31 */ |
278 | ; |
279 | ((P1 *)this)->i = trpt->bup.ovals[1]; |
280 | now.buffer_use[ Index(((((P1 *)this)->prev_off+((P1 *)this)->i)%8), 8) ] = trpt->bup.ovals[0]; |
281 | ; |
282 | ungrab_ints(trpt->bup.ovals, 2); |
283 | goto R999; |
284 | |
285 | case 43: /* STATE 39 */ |
286 | ; |
287 | now.commit_count[ Index(((((P1 *)this)->prev_off%8)/(8/2)), 2) ] = trpt->bup.ovals[3]; |
288 | now._commit_sum = trpt->bup.ovals[2]; |
289 | ((P1 *)this)->tmp_commit = trpt->bup.ovals[1]; |
290 | /* 0 */ ((P1 *)this)->i = trpt->bup.ovals[0]; |
291 | ; |
292 | ; |
293 | ungrab_ints(trpt->bup.ovals, 4); |
294 | goto R999; |
295 | |
296 | case 44: /* STATE 39 */ |
297 | ; |
298 | now.commit_count[ Index(((((P1 *)this)->prev_off%8)/(8/2)), 2) ] = trpt->bup.ovals[2]; |
299 | now._commit_sum = trpt->bup.ovals[1]; |
300 | ((P1 *)this)->tmp_commit = trpt->bup.ovals[0]; |
301 | ; |
302 | ungrab_ints(trpt->bup.ovals, 3); |
303 | goto R999; |
304 | |
305 | case 45: /* STATE 41 */ |
306 | ; |
307 | deliver = trpt->bup.ovals[2]; |
308 | /* 1 */ ((P1 *)this)->tmp_commit = trpt->bup.ovals[1]; |
309 | /* 0 */ ((P1 *)this)->prev_off = trpt->bup.ovals[0]; |
310 | ; |
311 | ; |
312 | ungrab_ints(trpt->bup.ovals, 3); |
313 | goto R999; |
314 | ; |
315 | |
316 | case 46: /* STATE 45 */ |
317 | goto R999; |
318 | ; |
319 | |
320 | case 47: /* STATE 43 */ |
321 | goto R999; |
322 | |
323 | case 48: /* STATE 48 */ |
324 | ; |
325 | now.events_lost = trpt->bup.oval; |
326 | ; |
327 | goto R999; |
328 | |
329 | case 49: /* STATE 49 */ |
330 | ; |
331 | now.refcount = trpt->bup.oval; |
332 | ; |
333 | goto R999; |
334 | |
335 | case 50: /* STATE 51 */ |
336 | ; |
337 | p_restor(II); |
338 | ; |
339 | ; |
340 | goto R999; |
341 | |
342 | /* PROC switcher */ |
343 | |
344 | case 51: /* STATE 3 */ |
345 | ; |
346 | ((P0 *)this)->new_off = trpt->bup.ovals[2]; |
347 | ((P0 *)this)->size = trpt->bup.ovals[1]; |
348 | ((P0 *)this)->prev_off = trpt->bup.ovals[0]; |
349 | ; |
350 | ungrab_ints(trpt->bup.ovals, 3); |
351 | goto R999; |
352 | |
353 | case 52: /* STATE 5 */ |
354 | ; |
355 | now.refcount = trpt->bup.ovals[2]; |
356 | /* 1 */ ((P0 *)this)->size = trpt->bup.ovals[1]; |
357 | /* 0 */ ((P0 *)this)->new_off = trpt->bup.ovals[0]; |
358 | ; |
359 | ; |
360 | ungrab_ints(trpt->bup.ovals, 3); |
361 | goto R999; |
362 | ; |
363 | |
364 | case 53: /* STATE 8 */ |
365 | goto R999; |
366 | |
367 | case 54: /* STATE 12 */ |
368 | ; |
369 | /* 0 */ ((P0 *)this)->prev_off = trpt->bup.oval; |
370 | ; |
371 | ; |
372 | goto R999; |
373 | ; |
374 | |
375 | case 55: /* STATE 17 */ |
376 | goto R999; |
377 | |
378 | case 56: /* STATE 15 */ |
379 | ; |
380 | now.write_off = trpt->bup.oval; |
381 | ; |
382 | goto R999; |
383 | |
384 | case 57: /* STATE 21 */ |
385 | ; |
386 | now.commit_count[ Index(((((P0 *)this)->prev_off%8)/(8/2)), 2) ] = trpt->bup.ovals[2]; |
387 | now._commit_sum = trpt->bup.ovals[1]; |
388 | ((P0 *)this)->tmp_commit = trpt->bup.ovals[0]; |
389 | ; |
390 | ungrab_ints(trpt->bup.ovals, 3); |
391 | goto R999; |
392 | |
393 | case 58: /* STATE 28 */ |
394 | ; |
395 | now.refcount = trpt->bup.ovals[3]; |
396 | deliver = trpt->bup.ovals[2]; |
397 | /* 1 */ ((P0 *)this)->tmp_commit = trpt->bup.ovals[1]; |
398 | /* 0 */ ((P0 *)this)->prev_off = trpt->bup.ovals[0]; |
399 | ; |
400 | ; |
401 | ungrab_ints(trpt->bup.ovals, 4); |
402 | goto R999; |
403 | |
404 | case 59: /* STATE 28 */ |
405 | ; |
406 | now.refcount = trpt->bup.oval; |
407 | ; |
408 | goto R999; |
409 | |
410 | case 60: /* STATE 28 */ |
411 | ; |
412 | now.refcount = trpt->bup.oval; |
413 | ; |
414 | goto R999; |
415 | |
416 | case 61: /* STATE 31 */ |
417 | ; |
418 | p_restor(II); |
419 | ; |
420 | ; |
421 | goto R999; |
422 | } |
423 | |