propagation.c.055t.ccp2
497 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
;; Function main (main, funcdef_no=0, decl_uid=1743, symbol_order=0) (executed once)
main ()
{
int e;
int i;
<bb 2>:
goto <bb 7>;
<bb 3>:
i_5 = i_1 + -1;
if (e_2 != 2)
goto <bb 4>;
else
goto <bb 5>;
<bb 4>:
e_6 = e_2 + -1;
<bb 5>:
# i_3 = PHI <i_5(4), i_5(3)>
# e_4 = PHI <e_6(4), e_2(3)>
<bb 7>:
# i_1 = PHI <i_3(5), 2(2)>
# e_2 = PHI <e_4(5), 7(2)>
if (i_1 > 0)
goto <bb 3>;
else
goto <bb 6>;
<bb 6>:
e_7 = e_2;
return e_7;
}