[lttv.git] / trunk / verif / nico-md-merge / pan.b

	switch (t->back) {
	default: Uerror("bad return move");
	case  0: goto R999; /* nothing to undo */

		 /* PROC :never: */
;
		;
		
	case 4: /* STATE 8 */
		;
		p_restor(II);
		;
		;
		goto R999;

		 /* PROC :init: */

	case 5: /* STATE 1 */
		;
		((P4 *)this)->i = trpt->bup.oval;
		;
		goto R999;

	case 6: /* STATE 4 */
		;
		((P4 *)this)->i = trpt->bup.ovals[1];
		now.commit_count[ Index(((P4 *)this)->i, 2) ] = trpt->bup.ovals[0];
		;
		ungrab_ints(trpt->bup.ovals, 2);
		goto R999;

	case 7: /* STATE 11 */
		;
		((P4 *)this)->i = trpt->bup.ovals[2];
		now._commit_sum = trpt->bup.ovals[1];
	/* 0 */	((P4 *)this)->i = trpt->bup.ovals[0];
		;
		;
		ungrab_ints(trpt->bup.ovals, 3);
		goto R999;

	case 8: /* STATE 11 */
		;
		((P4 *)this)->i = trpt->bup.ovals[1];
		now._commit_sum = trpt->bup.ovals[0];
		;
		ungrab_ints(trpt->bup.ovals, 2);
		goto R999;

	case 9: /* STATE 14 */
		;
		((P4 *)this)->i = trpt->bup.ovals[1];
		now.buffer_use[ Index(((P4 *)this)->i, 8) ] = trpt->bup.ovals[0];
		;
		ungrab_ints(trpt->bup.ovals, 2);
		goto R999;

	case 10: /* STATE 15 */
		;
	/* 0 */	((P4 *)this)->i = trpt->bup.oval;
		;
		;
		goto R999;

	case 11: /* STATE 20 */
		;
		;
		delproc(0, now._nr_pr-1);
		;
		goto R999;

	case 12: /* STATE 22 */
		;
		((P4 *)this)->i = trpt->bup.oval;
		;
		delproc(0, now._nr_pr-1);
		;
		goto R999;

	case 13: /* STATE 24 */
		;
		now.refcount = trpt->bup.oval;
		;
		goto R999;

	case 14: /* STATE 26 */
		;
		((P4 *)this)->i = trpt->bup.oval;
		;
		delproc(0, now._nr_pr-1);
		;
		goto R999;

	case 15: /* STATE 32 */
		;
		((P4 *)this)->i = trpt->bup.ovals[1];
	/* 0 */	((P4 *)this)->i = trpt->bup.ovals[0];
		;
		;
		ungrab_ints(trpt->bup.ovals, 2);
		goto R999;

	case 16: /* STATE 32 */
		;
		((P4 *)this)->i = trpt->bup.oval;
		;
		goto R999;

	case 17: /* STATE 34 */
		;
		now.refcount = trpt->bup.oval;
		;
		goto R999;

	case 18: /* STATE 36 */
		;
		((P4 *)this)->i = trpt->bup.oval;
		;
		delproc(0, now._nr_pr-1);
		;
		goto R999;

	case 19: /* STATE 37 */
		;
	/* 0 */	((P4 *)this)->i = trpt->bup.oval;
		;
		;
		goto R999;

	case 20: /* STATE 43 */
		;
		p_restor(II);
		;
		;
		goto R999;

		 /* PROC cleaner */

	case 21: /* STATE 2 */
		;
		now.refcount = trpt->bup.oval;
		;
		goto R999;

	case 22: /* STATE 3 */
		;
		;
		delproc(0, now._nr_pr-1);
		;
		goto R999;

	case 23: /* STATE 9 */
		;
		p_restor(II);
		;
		;
		goto R999;

		 /* PROC reader */
;
		;
		
	case 25: /* STATE 2 */
		;
		((P2 *)this)->i = trpt->bup.oval;
		;
		goto R999;

	case 26: /* STATE 6 */
		;
		((P2 *)this)->i = trpt->bup.ovals[1];
		now.buffer_use[ Index(((now.read_off+((P2 *)this)->i)%8), 8) ] = trpt->bup.ovals[0];
		;
		ungrab_ints(trpt->bup.ovals, 2);
		goto R999;

	case 27: /* STATE 7 */
		;
	/* 0 */	((P2 *)this)->i = trpt->bup.oval;
		;
		;
		goto R999;

	case 28: /* STATE 16 */
		;
		((P2 *)this)->i = trpt->bup.ovals[1];
		now.buffer_use[ Index(((now.read_off+((P2 *)this)->i)%8), 8) ] = trpt->bup.ovals[0];
		;
		ungrab_ints(trpt->bup.ovals, 2);
		goto R999;

	case 29: /* STATE 17 */
		;
	/* 0 */	((P2 *)this)->i = trpt->bup.oval;
		;
		;
		goto R999;

	case 30: /* STATE 22 */
		;
		now.read_off = trpt->bup.oval;
		;
		goto R999;
;
		;
		
	case 32: /* STATE 29 */
		;
		p_restor(II);
		;
		;
		goto R999;

		 /* PROC tracer */

	case 33: /* STATE 2 */
		;
		((P1 *)this)->new_off = trpt->bup.ovals[1];
		((P1 *)this)->prev_off = trpt->bup.ovals[0];
		;
		ungrab_ints(trpt->bup.ovals, 2);
		goto R999;

	case 34: /* STATE 4 */
		;
	/* 0 */	((P1 *)this)->new_off = trpt->bup.oval;
		;
		;
		goto R999;
;
		
	case 35: /* STATE 7 */
		goto R999;

	case 36: /* STATE 11 */
		;
	/* 0 */	((P1 *)this)->prev_off = trpt->bup.oval;
		;
		;
		goto R999;

	case 37: /* STATE 17 */
		;
		((P1 *)this)->i = trpt->bup.ovals[1];
		now.write_off = trpt->bup.ovals[0];
		;
		ungrab_ints(trpt->bup.ovals, 2);
		goto R999;

	case 38: /* STATE 17 */
		;
		((P1 *)this)->i = trpt->bup.oval;
		;
		goto R999;

	case 39: /* STATE 21 */
		;
		((P1 *)this)->i = trpt->bup.ovals[1];
		now.buffer_use[ Index(((((P1 *)this)->prev_off+((P1 *)this)->i)%8), 8) ] = trpt->bup.ovals[0];
		;
		ungrab_ints(trpt->bup.ovals, 2);
		goto R999;

	case 40: /* STATE 22 */
		;
	/* 0 */	((P1 *)this)->i = trpt->bup.oval;
		;
		;
		goto R999;

	case 41: /* STATE 28 */
		;
		((P1 *)this)->i = trpt->bup.oval;
		;
		goto R999;

	case 42: /* STATE 31 */
		;
		((P1 *)this)->i = trpt->bup.ovals[1];
		now.buffer_use[ Index(((((P1 *)this)->prev_off+((P1 *)this)->i)%8), 8) ] = trpt->bup.ovals[0];
		;
		ungrab_ints(trpt->bup.ovals, 2);
		goto R999;

	case 43: /* STATE 39 */
		;
		now.commit_count[ Index(((((P1 *)this)->prev_off%8)/(8/2)), 2) ] = trpt->bup.ovals[3];
		now._commit_sum = trpt->bup.ovals[2];
		((P1 *)this)->tmp_commit = trpt->bup.ovals[1];
	/* 0 */	((P1 *)this)->i = trpt->bup.ovals[0];
		;
		;
		ungrab_ints(trpt->bup.ovals, 4);
		goto R999;

	case 44: /* STATE 39 */
		;
		now.commit_count[ Index(((((P1 *)this)->prev_off%8)/(8/2)), 2) ] = trpt->bup.ovals[2];
		now._commit_sum = trpt->bup.ovals[1];
		((P1 *)this)->tmp_commit = trpt->bup.ovals[0];
		;
		ungrab_ints(trpt->bup.ovals, 3);
		goto R999;

	case 45: /* STATE 41 */
		;
		deliver = trpt->bup.ovals[2];
	/* 1 */	((P1 *)this)->tmp_commit = trpt->bup.ovals[1];
	/* 0 */	((P1 *)this)->prev_off = trpt->bup.ovals[0];
		;
		;
		ungrab_ints(trpt->bup.ovals, 3);
		goto R999;
;
		
	case 46: /* STATE 45 */
		goto R999;
;
		
	case 47: /* STATE 43 */
		goto R999;

	case 48: /* STATE 48 */
		;
		now.events_lost = trpt->bup.oval;
		;
		goto R999;

	case 49: /* STATE 49 */
		;
		now.refcount = trpt->bup.oval;
		;
		goto R999;

	case 50: /* STATE 51 */
		;
		p_restor(II);
		;
		;
		goto R999;

		 /* PROC switcher */

	case 51: /* STATE 3 */
		;
		((P0 *)this)->new_off = trpt->bup.ovals[2];
		((P0 *)this)->size = trpt->bup.ovals[1];
		((P0 *)this)->prev_off = trpt->bup.ovals[0];
		;
		ungrab_ints(trpt->bup.ovals, 3);
		goto R999;

	case 52: /* STATE 5 */
		;
		now.refcount = trpt->bup.ovals[2];
	/* 1 */	((P0 *)this)->size = trpt->bup.ovals[1];
	/* 0 */	((P0 *)this)->new_off = trpt->bup.ovals[0];
		;
		;
		ungrab_ints(trpt->bup.ovals, 3);
		goto R999;
;
		
	case 53: /* STATE 8 */
		goto R999;

	case 54: /* STATE 12 */
		;
	/* 0 */	((P0 *)this)->prev_off = trpt->bup.oval;
		;
		;
		goto R999;
;
		
	case 55: /* STATE 17 */
		goto R999;

	case 56: /* STATE 15 */
		;
		now.write_off = trpt->bup.oval;
		;
		goto R999;

	case 57: /* STATE 21 */
		;
		now.commit_count[ Index(((((P0 *)this)->prev_off%8)/(8/2)), 2) ] = trpt->bup.ovals[2];
		now._commit_sum = trpt->bup.ovals[1];
		((P0 *)this)->tmp_commit = trpt->bup.ovals[0];
		;
		ungrab_ints(trpt->bup.ovals, 3);
		goto R999;

	case 58: /* STATE 28 */
		;
		now.refcount = trpt->bup.ovals[3];
		deliver = trpt->bup.ovals[2];
	/* 1 */	((P0 *)this)->tmp_commit = trpt->bup.ovals[1];
	/* 0 */	((P0 *)this)->prev_off = trpt->bup.ovals[0];
		;
		;
		ungrab_ints(trpt->bup.ovals, 4);
		goto R999;

	case 59: /* STATE 28 */
		;
		now.refcount = trpt->bup.oval;
		;
		goto R999;

	case 60: /* STATE 28 */
		;
		now.refcount = trpt->bup.oval;
		;
		goto R999;

	case 61: /* STATE 31 */
		;
		p_restor(II);
		;
		;
		goto R999;
	}
Commit	Line	Data
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