• Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Raw
  • Download
  • only in /barrelfish-2018-10-04/lib/acpica/tests/aslts/src/runtime/collections/functional/control/
1/*
2 * Some or all of this work - Copyright (c) 2006 - 2016, Intel Corp.
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without modification,
6 * are permitted provided that the following conditions are met:
7 *
8 * Redistributions of source code must retain the above copyright notice,
9 * this list of conditions and the following disclaimer.
10 * Redistributions in binary form must reproduce the above copyright notice,
11 * this list of conditions and the following disclaimer in the documentation
12 * and/or other materials provided with the distribution.
13 * Neither the name of Intel Corporation nor the names of its contributors
14 * may be used to endorse or promote products derived from this software
15 * without specific prior written permission.
16 *
17 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
18 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
19 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
20 * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
21 * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
22 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
23 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
25 * NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE,
26 * EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27 */
28
29/*
30 * Method execution control
31 *
32 * Switch, Case, Default operators
33 *
34 * Switch, _T_X
35 */
36
37/*
38If bug 84 will be positively resolved, then return back:
39Declaration of Method
40Expression
41Declaration of Method
42
43  //         m000(m0c2), m001(SW03)        //
44  //         unfolded Methods(m0c0,SW02)   //
45  //         m002(m0c3), m003(SW04)        //
46
47*/
48
49
50Name(z070, 70)
51
52Method(m0de, 1)
53{
54
55  // ===================================== //
56  //         m000(m0c2), m001(SW03)        //
57  // ===================================== //
58
59  // Method(m0c2)
60  Method(m000)
61  {
62	// equivalent to embedded if (36 levels):
63	// if(){
64	//   if(){
65	//     if(){
66	//     ...
67	//     } else {
68	//     }
69	//   } else {
70	//   }
71	// } else {
72	// }
73
74	Store(0x12345678, Local0)
75
76      Switch (DeRefOf(Index(b0sw, 0))) {
77      Case (0) {
78      Store(0, Local0)
79        Switch (DeRefOf(Index(b0sw, 1))) {
80        Case (0) {
81        Store(1, Local0)
82          Switch (DeRefOf(Index(b0sw, 2))) {
83          Case (0) {
84          Store(2, Local0)
85            Switch (DeRefOf(Index(b0sw, 3))) {
86            Case (0) {
87            Store(3, Local0)
88              Switch (DeRefOf(Index(b0sw, 4))) {
89              Case (0) {
90              Store(4, Local0)
91                Switch (DeRefOf(Index(b0sw, 5))) {
92                Case (0) {
93                Store(5, Local0)
94                  Switch (DeRefOf(Index(b0sw, 6))) {
95                  Case (0) {
96                  Store(6, Local0)
97                    Switch (DeRefOf(Index(b0sw, 7))) {
98                    Case (0) {
99                    Store(7, Local0)
100                      Switch (DeRefOf(Index(b0sw, 8))) {
101                      Case (0) {
102                      Store(8, Local0)
103                        Switch (DeRefOf(Index(b0sw, 9))) {
104                        Case (0) {
105                        Store(9, Local0)
106                          Switch (DeRefOf(Index(b0sw, 10))) {
107                          Case (0) {
108                          Store(10, Local0)
109                            Switch (DeRefOf(Index(b0sw, 11))) {
110                            Case (0) {
111                            Store(11, Local0)
112                              Switch (DeRefOf(Index(b0sw, 12))) {
113                              Case (0) {
114                              Store(12, Local0)
115                                Switch (DeRefOf(Index(b0sw, 13))) {
116                                Case (0) {
117                                Store(13, Local0)
118                                  Switch (DeRefOf(Index(b0sw, 14))) {
119                                  Case (0) {
120                                  Store(14, Local0)
121                                    Switch (DeRefOf(Index(b0sw, 15))) {
122                                    Case (0) {
123                                    Store(15, Local0)
124                                      Switch (DeRefOf(Index(b0sw, 16))) {
125                                      Case (0) {
126                                      Store(16, Local0)
127                                        Switch (DeRefOf(Index(b0sw, 17))) {
128                                        Case (0) {
129                                        Store(17, Local0)
130                                          Switch (DeRefOf(Index(b0sw, 18))) {
131                                          Case (0) {
132                                          Store(18, Local0)
133                                            Switch (DeRefOf(Index(b0sw, 19))) {
134                                            Case (0) {
135                                            Store(19, Local0)
136                                              Switch (DeRefOf(Index(b0sw, 20))) {
137                                              Case (0) {
138                                              Store(20, Local0)
139                                                Switch (DeRefOf(Index(b0sw, 21))) {
140                                                Case (0) {
141                                                Store(21, Local0)
142                                                  Switch (DeRefOf(Index(b0sw, 22))) {
143                                                  Case (0) {
144                                                  Store(22, Local0)
145                                                    Switch (DeRefOf(Index(b0sw, 23))) {
146                                                    Case (0) {
147                                                    Store(23, Local0)
148                                                      Switch (DeRefOf(Index(b0sw, 24))) {
149                                                      Case (0) {
150                                                      Store(24, Local0)
151                                                        Switch (DeRefOf(Index(b0sw, 25))) {
152                                                        Case (0) {
153                                                        Store(25, Local0)
154                                                          Switch (DeRefOf(Index(b0sw, 26))) {
155                                                          Case (0) {
156                                                          Store(26, Local0)
157                                                            Switch (DeRefOf(Index(b0sw, 27))) {
158                                                            Case (0) {
159                                                            Store(27, Local0)
160                                                              Switch (DeRefOf(Index(b0sw, 28))) {
161                                                              Case (0) {
162                                                              Store(28, Local0)
163                                                                Switch (DeRefOf(Index(b0sw, 29))) {
164                                                                Case (0) {
165                                                                Store(29, Local0)
166                                                                  Switch (DeRefOf(Index(b0sw, 30))) {
167                                                                  Case (0) {
168                                                                  Store(30, Local0)
169                                                                    Switch (DeRefOf(Index(b0sw, 31))) {
170                                                                    Case (0) {
171                                                                    Store(31, Local0)
172                                                                      Switch (DeRefOf(Index(b0sw, 32))) {
173                                                                      Case (0) {
174                                                                      Store(32, Local0)
175                                                                        Switch (DeRefOf(Index(b0sw, 33))) {
176                                                                        Case (0) {
177                                                                        Store(33, Local0)
178                                                                          Switch (DeRefOf(Index(b0sw, 34))) {
179                                                                          Case (0) {
180                                                                          Store(34, Local0)
181                                                                            Switch (DeRefOf(Index(b0sw, 35))) {
182                                                                            Case (0) {
183                                                                            Store(35, Local0)
184                                                                            }
185                                                                            Case (1) {
186                                                                            Store(71, Local0)
187                                                                            }}
188                                                                          }
189                                                                          Case (1) {
190                                                                          Store(70, Local0)
191                                                                          }}
192                                                                        }
193                                                                        Case (1) {
194                                                                        Store(69, Local0)
195                                                                        }}
196                                                                      }
197                                                                      Case (1) {
198                                                                      Store(68, Local0)
199                                                                      }}
200                                                                    }
201                                                                    Case (1) {
202                                                                    Store(67, Local0)
203                                                                    }}
204                                                                  }
205                                                                  Case (1) {
206                                                                  Store(66, Local0)
207                                                                  }}
208                                                                }
209                                                                Case (1) {
210                                                                Store(65, Local0)
211                                                                }}
212                                                              }
213                                                              Case (1) {
214                                                              Store(64, Local0)
215                                                              }}
216                                                            }
217                                                            Case (1) {
218                                                            Store(63, Local0)
219                                                            }}
220                                                          }
221                                                          Case (1) {
222                                                          Store(62, Local0)
223                                                          }}
224                                                        }
225                                                        Case (1) {
226                                                        Store(61, Local0)
227                                                        }}
228                                                      }
229                                                      Case (1) {
230                                                      Store(60, Local0)
231                                                      }}
232                                                    }
233                                                    Case (1) {
234                                                    Store(59, Local0)
235                                                    }}
236                                                  }
237                                                  Case (1) {
238                                                  Store(58, Local0)
239                                                  }}
240                                                }
241                                                Case (1) {
242                                                Store(57, Local0)
243                                                }}
244                                              }
245                                              Case (1) {
246                                              Store(56, Local0)
247                                              }}
248                                            }
249                                            Case (1) {
250                                            Store(55, Local0)
251                                            }}
252                                          }
253                                          Case (1) {
254                                          Store(54, Local0)
255                                          }}
256                                        }
257                                        Case (1) {
258                                        Store(53, Local0)
259                                        }}
260                                      }
261                                      Case (1) {
262                                      Store(52, Local0)
263                                      }}
264                                    }
265                                    Case (1) {
266                                    Store(51, Local0)
267                                    }}
268                                  }
269                                  Case (1) {
270                                  Store(50, Local0)
271                                  }}
272                                }
273                                Case (1) {
274                                Store(49, Local0)
275                                }}
276                              }
277                              Case (1) {
278                              Store(48, Local0)
279                              }}
280                            }
281                            Case (1) {
282                            Store(47, Local0)
283                            }}
284                          }
285                          Case (1) {
286                          Store(46, Local0)
287                          }}
288                        }
289                        Case (1) {
290                        Store(45, Local0)
291                        }}
292                      }
293                      Case (1) {
294                      Store(44, Local0)
295                      }}
296                    }
297                    Case (1) {
298                    Store(43, Local0)
299                    }}
300                  }
301                  Case (1) {
302                  Store(42, Local0)
303                  }}
304                }
305                Case (1) {
306                Store(41, Local0)
307                }}
308              }
309              Case (1) {
310              Store(40, Local0)
311              }}
312            }
313            Case (1) {
314            Store(39, Local0)
315            }}
316          }
317          Case (1) {
318          Store(38, Local0)
319          }}
320        }
321        Case (1) {
322        Store(37, Local0)
323        }}
324      }
325      Case (1) {
326      Store(36, Local0)
327      }}
328
329	return (Local0)
330  }
331
332  // Method(SW03)
333  Method(m001, 1, Serialized)
334  {
335	// Store("m001 started", Debug)
336
337	Name(lpN0, 0)
338	Name(lpC0, 0)
339
340	// Check each Switch/Case(0) pair
341	// from dipper pair to upper one.
342
343	Store(TMAX, lpN0)
344	Store(0, lpC0)
345	m0c1(0)
346
347	While (lpN0) {
348		Store(m000(), Local1)
349		Decrement(lpN0)
350		Increment(lpC0)
351		if (LNotEqual(Local1, lpN0)) {
352			err(arg0, z070, 0, 0, 0, Local1, lpN0)
353			return (Ones)
354		}
355		Store(2, Index(b0sw, lpN0))
356	}
357
358	// Check each Switch/Case(1) pair
359	// from dipper pair to upper one.
360
361	Store(TMAX, lpN0)
362	Store(0, lpC0)
363	m0c1(0)
364
365	While (lpN0) {
366		Subtract(lpN0, 1, Local7)
367		Store(1, Index(b0sw, Local7))
368		Store(m000(), Local1)
369		Decrement(lpN0)
370		Increment(lpC0)
371		Add(TMAX, lpN0, Local7)
372		if (LNotEqual(Local1, Local7)) {
373			err(arg0, z070, 1, 0, 0, Local1, Local7)
374			return (Ones)
375		}
376	}
377
378	return (0)
379  }
380
381  // ===================================== //
382  //         m002(m0c3), m003(SW04)        //
383  // ===================================== //
384
385  // Method(m0c3)
386  Method(m002)
387  {
388	// equivalent to embedded else (36 levels):
389	//  if(){
390	//  } else {
391	//    if(){
392	//    } else {
393	//      if(){
394	//      } else {
395	//        ...
396	//      }
397	//    }
398	//  }
399
400	Store(0x12345678, Local0)
401
402      Switch (DeRefOf(Index(b0sw, 0))) {
403      Case (0) {
404      Store(0, Local0)
405      }
406      Default {
407      Store(36, Local0)
408
409        Switch (DeRefOf(Index(b0sw, 1))) {
410        Case (0) {
411        Store(1, Local0)
412        }
413        Default {
414        Store(37, Local0)
415
416          Switch (DeRefOf(Index(b0sw, 2))) {
417          Case (0) {
418          Store(2, Local0)
419          }
420          Default {
421          Store(38, Local0)
422
423            Switch (DeRefOf(Index(b0sw, 3))) {
424            Case (0) {
425            Store(3, Local0)
426            }
427            Default {
428            Store(39, Local0)
429
430              Switch (DeRefOf(Index(b0sw, 4))) {
431              Case (0) {
432              Store(4, Local0)
433              }
434              Default {
435              Store(40, Local0)
436
437                Switch (DeRefOf(Index(b0sw, 5))) {
438                Case (0) {
439                Store(5, Local0)
440                }
441                Default {
442                Store(41, Local0)
443
444                  Switch (DeRefOf(Index(b0sw, 6))) {
445                  Case (0) {
446                  Store(6, Local0)
447                  }
448                  Default {
449                  Store(42, Local0)
450
451                    Switch (DeRefOf(Index(b0sw, 7))) {
452                    Case (0) {
453                    Store(7, Local0)
454                    }
455                    Default {
456                    Store(43, Local0)
457
458                      Switch (DeRefOf(Index(b0sw, 8))) {
459                      Case (0) {
460                      Store(8, Local0)
461                      }
462                      Default {
463                      Store(44, Local0)
464
465                        Switch (DeRefOf(Index(b0sw, 9))) {
466                        Case (0) {
467                        Store(9, Local0)
468                        }
469                        Default {
470                        Store(45, Local0)
471
472                          Switch (DeRefOf(Index(b0sw, 10))) {
473                          Case (0) {
474                          Store(10, Local0)
475                          }
476                          Default {
477                          Store(46, Local0)
478
479                            Switch (DeRefOf(Index(b0sw, 11))) {
480                            Case (0) {
481                            Store(11, Local0)
482                            }
483                            Default {
484                            Store(47, Local0)
485
486                              Switch (DeRefOf(Index(b0sw, 12))) {
487                              Case (0) {
488                              Store(12, Local0)
489                              }
490                              Default {
491                              Store(48, Local0)
492
493                                Switch (DeRefOf(Index(b0sw, 13))) {
494                                Case (0) {
495                                Store(13, Local0)
496                                }
497                                Default {
498                                Store(49, Local0)
499
500                                  Switch (DeRefOf(Index(b0sw, 14))) {
501                                  Case (0) {
502                                  Store(14, Local0)
503                                  }
504                                  Default {
505                                  Store(50, Local0)
506
507                                    Switch (DeRefOf(Index(b0sw, 15))) {
508                                    Case (0) {
509                                    Store(15, Local0)
510                                    }
511                                    Default {
512                                    Store(51, Local0)
513
514                                      Switch (DeRefOf(Index(b0sw, 16))) {
515                                      Case (0) {
516                                      Store(16, Local0)
517                                      }
518                                      Default {
519                                      Store(52, Local0)
520
521                                        Switch (DeRefOf(Index(b0sw, 17))) {
522                                        Case (0) {
523                                        Store(17, Local0)
524                                        }
525                                        Default {
526                                        Store(53, Local0)
527
528                                          Switch (DeRefOf(Index(b0sw, 18))) {
529                                          Case (0) {
530                                          Store(18, Local0)
531                                          }
532                                          Default {
533                                          Store(54, Local0)
534
535                                            Switch (DeRefOf(Index(b0sw, 19))) {
536                                            Case (0) {
537                                            Store(19, Local0)
538                                            }
539                                            Default {
540                                            Store(55, Local0)
541
542                                              Switch (DeRefOf(Index(b0sw, 20))) {
543                                              Case (0) {
544                                              Store(20, Local0)
545                                              }
546                                              Default {
547                                              Store(56, Local0)
548
549                                                Switch (DeRefOf(Index(b0sw, 21))) {
550                                                Case (0) {
551                                                Store(21, Local0)
552                                                }
553                                                Default {
554                                                Store(57, Local0)
555
556                                                  Switch (DeRefOf(Index(b0sw, 22))) {
557                                                  Case (0) {
558                                                  Store(22, Local0)
559                                                  }
560                                                  Default {
561                                                  Store(58, Local0)
562
563                                                    Switch (DeRefOf(Index(b0sw, 23))) {
564                                                    Case (0) {
565                                                    Store(23, Local0)
566                                                    }
567                                                    Default {
568                                                    Store(59, Local0)
569
570                                                      Switch (DeRefOf(Index(b0sw, 24))) {
571                                                      Case (0) {
572                                                      Store(24, Local0)
573                                                      }
574                                                      Default {
575                                                      Store(60, Local0)
576
577                                                        Switch (DeRefOf(Index(b0sw, 25))) {
578                                                        Case (0) {
579                                                        Store(25, Local0)
580                                                        }
581                                                        Default {
582                                                        Store(61, Local0)
583
584                                                          Switch (DeRefOf(Index(b0sw, 26))) {
585                                                          Case (0) {
586                                                          Store(26, Local0)
587                                                          }
588                                                          Default {
589                                                          Store(62, Local0)
590
591                                                            Switch (DeRefOf(Index(b0sw, 27))) {
592                                                            Case (0) {
593                                                            Store(27, Local0)
594                                                            }
595                                                            Default {
596                                                            Store(63, Local0)
597
598                                                              Switch (DeRefOf(Index(b0sw, 28))) {
599                                                              Case (0) {
600                                                              Store(28, Local0)
601                                                              }
602                                                              Default {
603                                                              Store(64, Local0)
604
605                                                                Switch (DeRefOf(Index(b0sw, 29))) {
606                                                                Case (0) {
607                                                                Store(29, Local0)
608                                                                }
609                                                                Default {
610                                                                Store(65, Local0)
611
612                                                                  Switch (DeRefOf(Index(b0sw, 30))) {
613                                                                  Case (0) {
614                                                                  Store(30, Local0)
615                                                                  }
616                                                                  Default {
617                                                                  Store(66, Local0)
618
619                                                                    Switch (DeRefOf(Index(b0sw, 31))) {
620                                                                    Case (0) {
621                                                                    Store(31, Local0)
622                                                                    }
623                                                                    Default {
624                                                                    Store(67, Local0)
625
626                                                                      Switch (DeRefOf(Index(b0sw, 32))) {
627                                                                      Case (0) {
628                                                                      Store(32, Local0)
629                                                                      }
630                                                                      Default {
631                                                                      Store(68, Local0)
632
633                                                                        Switch (DeRefOf(Index(b0sw, 33))) {
634                                                                        Case (0) {
635                                                                        Store(33, Local0)
636                                                                        }
637                                                                        Default {
638                                                                        Store(69, Local0)
639
640                                                                          Switch (DeRefOf(Index(b0sw, 34))) {
641                                                                          Case (0) {
642                                                                          Store(34, Local0)
643                                                                          }
644                                                                          Default {
645                                                                          Store(70, Local0)
646
647                                                                            Switch (DeRefOf(Index(b0sw, 35))) {
648                                                                            Case (0) {
649                                                                            Store(35, Local0)
650                                                                            }
651                                                                            Default {
652                                                                            Store(71, Local0)
653                                                                            }}
654                                                                          }}
655                                                                        }}
656                                                                      }}
657                                                                    }}
658                                                                  }}
659                                                                }}
660                                                              }}
661                                                            }}
662                                                          }}
663                                                        }}
664                                                      }}
665                                                    }}
666                                                  }}
667                                                }}
668                                              }}
669                                            }}
670                                          }}
671                                        }}
672                                      }}
673                                    }}
674                                  }}
675                                }}
676                              }}
677                            }}
678                          }}
679                        }}
680                      }}
681                    }}
682                  }}
683                }}
684              }}
685            }}
686          }}
687        }}
688      }}
689
690	return (Local0)
691  }
692
693  // Method(SW04)
694  Method(m003, 1, Serialized)
695  {
696	// Store("m003 started", Debug)
697
698	Name(lpN0, 0)
699	Name(lpC0, 0)
700
701	// Check each Switch/Case(0) pair
702	// from dipper pair to upper one.
703
704	Store(TMAX, lpN0)
705	Store(0, lpC0)
706	m0c1(1)
707
708	Multiply(TMAX, 2, Local7)
709	Decrement(Local7)
710
711	// Check dippest Switch/Default pair
712
713	Store(m002(), Local1)
714	if (LNotEqual(Local1, Local7)) {
715		err(arg0, z070, 2, 0, 0, Local1, Local7)
716		return (Ones)
717	}
718
719	// Check each Switch/Case(0) pair
720	// from dipper pair to upper one,
721	// while go through all the previous Defaults.
722
723	While (lpN0) {
724		Subtract(lpN0, 1, Local7)
725		Store(0, Index(b0sw, Local7))
726		Store(m002(), Local1)
727		Decrement(lpN0)
728		Increment(lpC0)
729		if (LNotEqual(Local1, lpN0)) {
730			err(arg0, z070, 3, 0, 0, Local1, lpN0)
731			return (Ones)
732		}
733	}
734
735	return (0)
736  }
737
738  m001(arg0)
739
740  // =========================================== //
741  //         unfolded Methods(m0c0,SW02)         //
742  // =========================================== //
743
744  // unfolded Method(SW02)
745
746  // Store("unfolded (m0c0,SW02) started", Debug)
747
748  Name(lpN0, 0)
749  Name(lpC0, 0)
750
751  // Check each Switch/Case(0) pair
752  // from dipper pair to upper one.
753
754  Store(TMAX, lpN0)
755  Store(0, lpC0)
756  m0c1(0)
757
758  While (lpN0) {
759
760
761	// equivalent to embedded if (36 levels):
762	// if(){ if() { if() {......
763	// }}}
764
765	Store(0x12345678, Local0)
766
767      Switch (DeRefOf(Index(b0sw, 0))) {
768      Case (0) {
769      Store(0, Local0)
770        Switch (DeRefOf(Index(b0sw, 1))) {
771        Case (0) {
772        Store(1, Local0)
773          Switch (DeRefOf(Index(b0sw, 2))) {
774          Case (0) {
775          Store(2, Local0)
776            Switch (DeRefOf(Index(b0sw, 3))) {
777            Case (0) {
778            Store(3, Local0)
779              Switch (DeRefOf(Index(b0sw, 4))) {
780              Case (0) {
781              Store(4, Local0)
782                Switch (DeRefOf(Index(b0sw, 5))) {
783                Case (0) {
784                Store(5, Local0)
785                  Switch (DeRefOf(Index(b0sw, 6))) {
786                  Case (0) {
787                  Store(6, Local0)
788                    Switch (DeRefOf(Index(b0sw, 7))) {
789                    Case (0) {
790                    Store(7, Local0)
791                      Switch (DeRefOf(Index(b0sw, 8))) {
792                      Case (0) {
793                      Store(8, Local0)
794                        Switch (DeRefOf(Index(b0sw, 9))) {
795                        Case (0) {
796                        Store(9, Local0)
797                          Switch (DeRefOf(Index(b0sw, 10))) {
798                          Case (0) {
799                          Store(10, Local0)
800                            Switch (DeRefOf(Index(b0sw, 11))) {
801                            Case (0) {
802                            Store(11, Local0)
803                              Switch (DeRefOf(Index(b0sw, 12))) {
804                              Case (0) {
805                              Store(12, Local0)
806                                Switch (DeRefOf(Index(b0sw, 13))) {
807                                Case (0) {
808                                Store(13, Local0)
809                                  Switch (DeRefOf(Index(b0sw, 14))) {
810                                  Case (0) {
811                                  Store(14, Local0)
812                                    Switch (DeRefOf(Index(b0sw, 15))) {
813                                    Case (0) {
814                                    Store(15, Local0)
815                                      Switch (DeRefOf(Index(b0sw, 16))) {
816                                      Case (0) {
817                                      Store(16, Local0)
818                                        Switch (DeRefOf(Index(b0sw, 17))) {
819                                        Case (0) {
820                                        Store(17, Local0)
821                                          Switch (DeRefOf(Index(b0sw, 18))) {
822                                          Case (0) {
823                                          Store(18, Local0)
824                                            Switch (DeRefOf(Index(b0sw, 19))) {
825                                            Case (0) {
826                                            Store(19, Local0)
827                                              Switch (DeRefOf(Index(b0sw, 20))) {
828                                              Case (0) {
829                                              Store(20, Local0)
830                                                Switch (DeRefOf(Index(b0sw, 21))) {
831                                                Case (0) {
832                                                Store(21, Local0)
833                                                  Switch (DeRefOf(Index(b0sw, 22))) {
834                                                  Case (0) {
835                                                  Store(22, Local0)
836                                                    Switch (DeRefOf(Index(b0sw, 23))) {
837                                                    Case (0) {
838                                                    Store(23, Local0)
839                                                      Switch (DeRefOf(Index(b0sw, 24))) {
840                                                      Case (0) {
841                                                      Store(24, Local0)
842                                                        Switch (DeRefOf(Index(b0sw, 25))) {
843                                                        Case (0) {
844                                                        Store(25, Local0)
845                                                          Switch (DeRefOf(Index(b0sw, 26))) {
846                                                          Case (0) {
847                                                          Store(26, Local0)
848                                                            Switch (DeRefOf(Index(b0sw, 27))) {
849                                                            Case (0) {
850                                                            Store(27, Local0)
851                                                              Switch (DeRefOf(Index(b0sw, 28))) {
852                                                              Case (0) {
853                                                              Store(28, Local0)
854                                                                Switch (DeRefOf(Index(b0sw, 29))) {
855                                                                Case (0) {
856                                                                Store(29, Local0)
857                                                                  Switch (DeRefOf(Index(b0sw, 30))) {
858                                                                  Case (0) {
859                                                                  Store(30, Local0)
860                                                                    Switch (DeRefOf(Index(b0sw, 31))) {
861                                                                    Case (0) {
862                                                                    Store(31, Local0)
863                                                                      Switch (DeRefOf(Index(b0sw, 32))) {
864                                                                      Case (0) {
865                                                                      Store(32, Local0)
866                                                                        Switch (DeRefOf(Index(b0sw, 33))) {
867                                                                        Case (0) {
868                                                                        Store(33, Local0)
869                                                                          Switch (DeRefOf(Index(b0sw, 34))) {
870                                                                          Case (0) {
871                                                                          Store(34, Local0)
872                                                                            Switch (DeRefOf(Index(b0sw, 35))) {
873                                                                            Case (0) {
874                                                                            Store(35, Local0)
875                                                                            }}
876                                                                          }}
877                                                                        }}
878                                                                      }}
879                                                                    }}
880                                                                  }}
881                                                                }}
882                                                              }}
883                                                            }}
884                                                          }}
885                                                        }}
886                                                      }}
887                                                    }}
888                                                  }}
889                                                }}
890                                              }}
891                                            }}
892                                          }}
893                                        }}
894                                      }}
895                                    }}
896                                  }}
897                                }}
898                              }}
899                            }}
900                          }}
901                        }}
902                      }}
903                    }}
904                  }}
905                }}
906              }}
907            }}
908          }}
909        }}
910      }}
911
912	Decrement(lpN0)
913	Increment(lpC0)
914	if (LNotEqual(Local0, lpN0)) {
915		err(arg0, z070, 4, 0, 0, Local0, lpN0)
916		return (Ones)
917	}
918	Store(1, Index(b0sw, lpN0))
919
920  } // While(lpN0)
921
922  m003(arg0)
923
924  return (0)
925}
926
927// Run-method
928Method(SW07,, Serialized)
929{
930	Store("TEST: SW07, Switch, Case, Default operators", Debug)
931
932	Name(ts, "SW07")
933
934	m0de(ts)
935
936	return (0)
937}
938