trunk/verif/nico-md-merge/pan.b

   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