|
150
|
1 ; XFAIL: *
|
|
|
2 ; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s
|
|
|
3
|
|
|
4 @a = external global i32 ; <i32*> [#uses=7]
|
|
|
5
|
|
|
6 ;; NewGVN takes two passes to get this, because we prune predicateinfo
|
|
|
7 ; CHECK-LABEL: @test1(
|
|
|
8 define i32 @test1() nounwind {
|
|
|
9 entry:
|
|
|
10 %0 = load i32, i32* @a, align 4
|
|
|
11 %1 = icmp eq i32 %0, 4
|
|
|
12 br i1 %1, label %bb, label %bb1
|
|
|
13
|
|
|
14 bb: ; preds = %entry
|
|
|
15 br label %bb8
|
|
|
16
|
|
|
17 bb1: ; preds = %entry
|
|
|
18 %2 = load i32, i32* @a, align 4
|
|
|
19 %3 = icmp eq i32 %2, 5
|
|
|
20 br i1 %3, label %bb2, label %bb3
|
|
|
21
|
|
|
22 bb2: ; preds = %bb1
|
|
|
23 br label %bb8
|
|
|
24
|
|
|
25 bb3: ; preds = %bb1
|
|
|
26 %4 = load i32, i32* @a, align 4
|
|
|
27 %5 = icmp eq i32 %4, 4
|
|
|
28 ; CHECK: br i1 false, label %bb4, label %bb5
|
|
|
29 br i1 %5, label %bb4, label %bb5
|
|
|
30
|
|
|
31 bb4: ; preds = %bb3
|
|
|
32 %6 = load i32, i32* @a, align 4
|
|
|
33 %7 = add i32 %6, 5
|
|
|
34 br label %bb8
|
|
|
35
|
|
|
36 bb5: ; preds = %bb3
|
|
|
37 %8 = load i32, i32* @a, align 4
|
|
|
38 %9 = icmp eq i32 %8, 5
|
|
|
39 ; CHECK: br i1 false, label %bb6, label %bb7
|
|
|
40 br i1 %9, label %bb6, label %bb7
|
|
|
41
|
|
|
42 bb6: ; preds = %bb5
|
|
|
43 %10 = load i32, i32* @a, align 4
|
|
|
44 %11 = add i32 %10, 4
|
|
|
45 br label %bb8
|
|
|
46
|
|
|
47 bb7: ; preds = %bb5
|
|
|
48 %12 = load i32, i32* @a, align 4
|
|
|
49 br label %bb8
|
|
|
50
|
|
|
51 bb8: ; preds = %bb7, %bb6, %bb4, %bb2, %bb
|
|
|
52 %.0 = phi i32 [ %12, %bb7 ], [ %11, %bb6 ], [ %7, %bb4 ], [ 4, %bb2 ], [ 5, %bb ]
|
|
|
53 br label %return
|
|
|
54
|
|
|
55 return: ; preds = %bb8
|
|
|
56 ret i32 %.0
|
|
|
57 }
|
|
|
58 ;; NewGVN takes two passes to get test[6,8] and test[6,8]_fp's main part
|
|
|
59 ;; The icmp ne requires an equality table that inserts the inequalities for each
|
|
|
60 ;; discovered equality while processing.
|
|
|
61 ; CHECK-LABEL: @test6(
|
|
|
62 define i1 @test6(i32 %x, i32 %y) {
|
|
|
63 %cmp2 = icmp ne i32 %x, %y
|
|
|
64 %cmp = icmp eq i32 %x, %y
|
|
|
65 %cmp3 = icmp eq i32 %x, %y
|
|
|
66 br i1 %cmp, label %same, label %different
|
|
|
67
|
|
|
68 same:
|
|
|
69 ; CHECK: ret i1 false
|
|
|
70 ret i1 %cmp2
|
|
|
71
|
|
|
72 different:
|
|
|
73 ; CHECK: ret i1 false
|
|
|
74 ret i1 %cmp3
|
|
|
75 }
|
|
|
76
|
|
|
77 ; CHECK-LABEL: @test6_fp(
|
|
|
78 define i1 @test6_fp(float %x, float %y) {
|
|
|
79 %cmp2 = fcmp une float %x, %y
|
|
|
80 %cmp = fcmp oeq float %x, %y
|
|
|
81 %cmp3 = fcmp oeq float %x, %y
|
|
|
82 br i1 %cmp, label %same, label %different
|
|
|
83
|
|
|
84 same:
|
|
|
85 ; CHECK: ret i1 false
|
|
|
86 ret i1 %cmp2
|
|
|
87
|
|
|
88 different:
|
|
|
89 ; CHECK: ret i1 false
|
|
|
90 ret i1 %cmp3
|
|
|
91 }
|
|
|
92 ; CHECK-LABEL: @test8(
|
|
|
93 define i1 @test8(i32 %x, i32 %y) {
|
|
|
94 %cmp2 = icmp sle i32 %x, %y
|
|
|
95 %cmp = icmp sgt i32 %x, %y
|
|
|
96 %cmp3 = icmp sgt i32 %x, %y
|
|
|
97 br i1 %cmp, label %same, label %different
|
|
|
98
|
|
|
99 same:
|
|
|
100 ; CHECK: ret i1 false
|
|
|
101 ret i1 %cmp2
|
|
|
102
|
|
|
103 different:
|
|
|
104 ; CHECK: ret i1 false
|
|
|
105 ret i1 %cmp3
|
|
|
106 }
|
|
|
107
|
|
|
108 ; CHECK-LABEL: @test8_fp(
|
|
|
109 define i1 @test8_fp(float %x, float %y) {
|
|
|
110 %cmp2 = fcmp ule float %x, %y
|
|
|
111 %cmp = fcmp ogt float %x, %y
|
|
|
112 %cmp3 = fcmp ogt float %x, %y
|
|
|
113 br i1 %cmp, label %same, label %different
|
|
|
114
|
|
|
115 same:
|
|
|
116 ; CHECK: ret i1 false
|
|
|
117 ret i1 %cmp2
|
|
|
118
|
|
|
119 different:
|
|
|
120 ; CHECK: ret i1 false
|
|
|
121 ret i1 %cmp3
|
|
|
122 }
|
|
|
123
|
