path: root/src/relooper/test_inf.txt

 code 0
 switch (the_var) {
 uint(i4) >= uint(i5) {
  code 2
  switch (the_var) {
  default: {
  }
  }
  break;
 }
 default: {
  code 1
  switch (the_var) {
  default: {
  }
  }
 }
 }
 code 3
 L5: do {
  switch (the_var) {
  i2 == 0 {
   break;
  }
  default: {
   code 4
   switch (the_var) {
   default: {
   }
   }
   while(1) {
    code 5
    switch (the_var) {
    uint(i6) >= uint(i7) {
     code 7
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 6
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 8
    switch (the_var) {
    uint(i6) >= uint(i7) {
     code 10
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 9
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 11
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 13
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 12
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 14
    switch (the_var) {
    i2 != 0 {
     break;
    }
    default: {
     break L5;
    }
    }
   }
  }
  }
 } while(0);
 code 15
 switch (the_var) {
 uint(i4) >= uint(i5) {
  code 17
  switch (the_var) {
  default: {
  }
  }
  break;
 }
 default: {
  code 16
  switch (the_var) {
  default: {
  }
  }
 }
 }
 code 18
 L26: do {
  switch (the_var) {
  i2 == 0 {
   break;
  }
  default: {
   code 19
   switch (the_var) {
   default: {
   }
   }
   while(1) {
    code 20
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 22
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 21
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 23
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 25
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 24
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 26
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 28
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 27
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 29
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 31
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 30
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 32
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 34
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 33
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 35
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 37
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 36
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 38
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 40
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 39
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 41
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 43
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 42
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 44
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 46
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 45
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 47
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 49
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 48
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 50
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 52
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 51
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 53
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 55
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 54
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 56
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 58
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 57
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 59
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 61
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 60
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 62
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 64
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 63
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 65
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 67
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 66
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 68
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 70
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 69
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 71
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 73
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 72
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 74
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 76
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 75
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 77
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 79
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 78
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 80
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 82
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 81
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 83
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 85
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 84
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 86
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 88
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 87
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 89
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 91
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 90
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 92
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 94
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 93
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 95
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 97
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 96
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 98
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 100
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 99
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 101
    switch (the_var) {
    i2 != 0 {
     break;
    }
    default: {
     break L26;
    }
    }
   }
  }
  }
 } while(0);
 code 102
 switch (the_var) {
 uint(i4) >= uint(i5) {
  code 104
  switch (the_var) {
  default: {
  }
  }
  break;
 }
 default: {
  code 103
  switch (the_var) {
  default: {
  }
  }
 }
 }
 code 105
 L143: do {
  switch (the_var) {
  i2 == 0 {
   break;
  }
  default: {
   code 106
   switch (the_var) {
   default: {
   }
   }
   while(1) {
    code 107
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 109
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 108
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 110
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 112
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 111
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 113
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 115
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 114
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 116
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 118
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 117
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 119
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 121
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 120
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 122
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 124
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 123
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 125
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 127
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 126
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 128
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 130
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 129
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 131
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 133
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 132
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 134
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 136
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 135
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 137
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 139
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 138
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 140
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 142
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 141
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 143
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 145
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 144
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 146
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 148
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 147
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 149
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 151
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 150
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 152
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 154
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 153
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 155
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 157
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 156
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 158
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 160
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 159
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 161
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 163
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 162
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 164
    switch (the_var) {
    uint(i5) >= uint(i6) {
     code 166
     switch (the_var) {
     default: {
     }
     }
     break;
    }
    default: {
     code 165
     switch (the_var) {
     default: {
     }
     }
    }
    }
    code 167
    switch (the_var) {
    i2 != 0 {
     break;
    }
    default: {
     break L143;
    }
    }
   }
  }
  }
 } while(0);
 code 168
 switch (the_var) {
 uint(i4) >= uint(i5) {
  code 170
  switch (the_var) {
  default: {
  }
  }
  break;
 }
 default: {
  code 169
  switch (the_var) {
  default: {
  }
  }
 }
 }
 code 171
 switch (the_var) {
 i2 == 0 {
  code 183
  break;
 }
 default: {
 }
 }
 code 172
 switch (the_var) {
 default: {
 }
 }
 L235: while(1) {
  code 173
  switch (the_var) {
  uint(i5) >= uint(i6) {
   code 175
   switch (the_var) {
   default: {
   }
   }
   break;
  }
  default: {
   code 174
   switch (the_var) {
   default: {
   }
   }
  }
  }
  code 176
  switch (the_var) {
  uint(i5) >= uint(i6) {
   code 178
   switch (the_var) {
   default: {
   }
   }
   break;
  }
  default: {
   code 177
   switch (the_var) {
   default: {
   }
   }
  }
  }
  code 179
  switch (the_var) {
  uint(i4) >= uint(i5) {
   code 181
   switch (the_var) {
   default: {
   }
   }
   break;
  }
  default: {
   code 180
   switch (the_var) {
   default: {
   }
   }
  }
  }
  code 182
  switch (the_var) {
  i2 != 0 {
   break;
  }
  default: {
   break L235;
  }
  }
 }
 code 183