propagation.c.021t.ccp1
489 Bytes
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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
;; Function main (main, funcdef_no=0, decl_uid=1743, symbol_order=0)
main ()
{
int e;
int d;
int i;
int c;
int b;
int a;
<bb 2>:
i_6 = 2;
e_9 = 7;
goto <bb 5>;
<bb 3>:
i_10 = i_1 + -1;
if (e_2 != 2)
goto <bb 4>;
else
goto <bb 5>;
<bb 4>:
e_11 = e_2 + -1;
<bb 5>:
# i_1 = PHI <2(2), i_10(3), i_10(4)>
# e_2 = PHI <7(2), e_2(3), e_11(4)>
if (i_1 > 0)
goto <bb 3>;
else
goto <bb 6>;
<bb 6>:
e_12 = e_2;
return e_12;
}