src/relooper/test3.txt


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

ep
L1: 
if (ep -> LBB1) {
  LBB1
  if (!(LBB1 -> LBB2)) {
    break L1;
  }
  LBB2
}
LBB3
L5: 
if (LBB3 -> LBB4) {
  LBB4
  if (!(LBB4 -> LBB5)) {
    break L5;
  }
  while(1) {
    LBB5
    if (LBB5 -> LBB6) {
      break L5;
    }
  }
}
LBB6