phi-known.ll
2.43 KB
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
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
; RUN: opt -S -jump-threading %s | FileCheck %s
; Value of predicate known on all inputs (trivial case)
; Note: InstCombine/EarlyCSE would also get this case
define void @test(i8* %p, i8** %addr) {
; CHECK-LABEL: @test
entry:
%cmp0 = icmp eq i8* %p, null
br i1 %cmp0, label %exit, label %loop
loop:
; CHECK-LABEL: loop:
; CHECK-NEXT: phi
; CHECK-NEXT: br label %loop
%p1 = phi i8* [%p, %entry], [%p1, %loop]
%cmp1 = icmp eq i8* %p1, null
br i1 %cmp1, label %exit, label %loop
exit:
ret void
}
; Value of predicate known on all inputs (non-trivial)
define void @test2(i8* %p) {
; CHECK-LABEL: @test2
entry:
%cmp0 = icmp eq i8* %p, null
br i1 %cmp0, label %exit, label %loop
loop:
%p1 = phi i8* [%p, %entry], [%p2, %backedge]
%cmp1 = icmp eq i8* %p1, null
br i1 %cmp1, label %exit, label %backedge
backedge:
; CHECK-LABEL: backedge:
; CHECK-NEXT: phi
; CHECK-NEXT: bitcast
; CHECK-NEXT: load
; CHECK-NEXT: cmp
; CHECK-NEXT: br
; CHECK-DAG: label %backedge
%addr = bitcast i8* %p1 to i8**
%p2 = load i8*, i8** %addr
%cmp2 = icmp eq i8* %p2, null
br i1 %cmp2, label %exit, label %loop
exit:
ret void
}
; If the inputs don't branch the same way, we can't rewrite
; Well, we could unroll this loop exactly twice, but that's
; a different transform.
define void @test_mixed(i8* %p) {
; CHECK-LABEL: @test_mixed
entry:
%cmp0 = icmp eq i8* %p, null
br i1 %cmp0, label %exit, label %loop
loop:
; CHECK-LABEL: loop:
; CHECK-NEXT: phi
; CHECK-NEXT: %cmp1 = icmp
; CHECK-NEXT: br i1 %cmp1
%p1 = phi i8* [%p, %entry], [%p1, %loop]
%cmp1 = icmp ne i8* %p1, null
br i1 %cmp1, label %exit, label %loop
exit:
ret void
}
; The eq predicate is always true if we go through the path from
; L1 to L3, no matter the phi result %t5 is on the lhs or rhs of
; the predicate.
declare void @goo()
declare void @hoo()
define void @test3(i32 %m, i32** %t1) {
L1:
%t0 = add i32 %m, 7
%t2 = load i32*, i32** %t1, align 8
; CHECK-LABEL: @test3
; CHECK: %t3 = icmp eq i32* %t2, null
; CHECK: br i1 %t3, label %[[LABEL2:.*]], label %[[LABEL1:.*]]
%t3 = icmp eq i32* %t2, null
br i1 %t3, label %L3, label %L2
; CHECK: [[LABEL1]]:
; CHECK-NEXT: %t4 = load i32, i32* %t2, align 4
L2:
%t4 = load i32, i32* %t2, align 4
br label %L3
L3:
%t5 = phi i32 [ %t0, %L1 ], [ %t4, %L2 ]
%t6 = icmp eq i32 %t0, %t5
br i1 %t6, label %L4, label %L5
; CHECK: [[LABEL2]]:
; CHECK-NEXT: call void @goo()
L4:
call void @goo()
ret void
L5:
call void @hoo()
ret void
}