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
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
|
; RUN: opt < %s -correlated-propagation
; PR8161
define void @test1() nounwind ssp {
entry:
br label %for.end
for.cond.us.us: ; preds = %for.cond.us.us
%cmp6.i.us.us = icmp sgt i32 1, 0
%lor.ext.i.us.us = zext i1 %cmp6.i.us.us to i32
%lor.ext.add.i.us.us = select i1 %cmp6.i.us.us, i32 %lor.ext.i.us.us, i32 undef
%conv.i.us.us = trunc i32 %lor.ext.add.i.us.us to i16
%sext.us.us = shl i16 %conv.i.us.us, 8
%conv6.us.us = ashr i16 %sext.us.us, 8
%and.us.us = and i16 %conv6.us.us, %and.us.us
br i1 false, label %for.end, label %for.cond.us.us
for.end: ; preds = %for.cond.us, %for.cond.us.us, %entry
ret void
}
; PR 8790
define void @test2() nounwind ssp {
entry:
br label %func_29.exit
sdf.exit.i:
%l_44.1.mux.i = select i1 %tobool5.not.i, i8 %l_44.1.mux.i, i8 1
br label %srf.exit.i
srf.exit.i:
%tobool5.not.i = icmp ne i8 undef, 0
br i1 %tobool5.not.i, label %sdf.exit.i, label %func_29.exit
func_29.exit:
ret void
}
; PR13972
define void @test3() nounwind {
for.body:
br label %return
for.cond.i: ; preds = %if.else.i, %for.body.i
%e.2.i = phi i32 [ %e.2.i, %if.else.i ], [ -8, %for.body.i ]
br i1 undef, label %return, label %for.body.i
for.body.i: ; preds = %for.cond.i
switch i32 %e.2.i, label %for.cond3.i [
i32 -3, label %if.else.i
i32 0, label %for.cond.i
]
for.cond3.i: ; preds = %for.cond3.i, %for.body.i
br label %for.cond3.i
if.else.i: ; preds = %for.body.i
br label %for.cond.i
return: ; preds = %for.cond.i, %for.body
ret void
}
|
