blob: 4344f9ef9d27c49f232e43c66d94f4c8185758b5 (
plain)
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
|
%A = global int 0
int %main() {
%Ret = call int %test(bool true, int 0)
ret int %Ret
}
int %test(bool %c, int %A) {
br bool %c, label %Taken1, label %NotTaken
Cont:
%V = phi int [0, %NotTaken],
[ sub (int cast (int* %A to int), int 1234), %Taken1]
ret int 0
NotTaken:
br label %Cont
Taken1:
%B = seteq int %A, 0
; Code got inserted here, breaking the condition code.
br bool %B, label %Cont, label %ExitError
ExitError:
ret int 12
}
|
