michael@0: function _tt_face_get_name() {
michael@0:     var __label__ = -1; 
michael@0:     var $rec;
michael@0:     var $n;
michael@0:     while(true) {
michael@0:         switch(__label__) {
michael@0:         case -1:
michael@0:             $rec=0;
michael@0:             $n=0;
michael@0:         case 0:
michael@0:             if ($rec == 20) {
michael@0:                 __label__ = 2;
michael@0:                 break;
michael@0:             }
michael@0:             var $63 = $n;
michael@0:             var $64 = $63 + 1;
michael@0:             $n = $64;
michael@0:             var $65 = $rec;
michael@0:             $rec = $rec + 1;
michael@0:             assertEq($64 < 30, true);
michael@0:             __label__ = 0;
michael@0:             break;
michael@0:         case 1:
michael@0:             $rec = 0;
michael@0:         case 2:
michael@0:             return;
michael@0:         }
michael@0:     }
michael@0: }
michael@0: _tt_face_get_name();
michael@0: 
michael@0: /* Test tracking of lifetimes around backedges in nested loops. */
michael@0: function nested() {
michael@0:   var x = 100;
michael@0:   var i = 0;
michael@0:   while (i < 10) {
michael@0:     while (i < 10) {
michael@0:       i++;
michael@0:       if (x < 20)
michael@0:         break;
michael@0:       if (i > 10) {
michael@0:         x = 200;
michael@0:         i++;
michael@0:       }
michael@0:     }
michael@0:     if (i > 10)
michael@0:       x = 100;
michael@0:   }
michael@0: }
michael@0: nested();