llvm.org GIT mirror llvm / 81877ad
Use CHECK-LABEL git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@191713 91177308-0d34-0410-b5e6-96231b3b80d8 Matt Arsenault 6 years ago
3 changed file(s) with 21 addition(s) and 19 deletion(s). Raw diff Collapse all Expand all
1414
1515 %t = sub i32 %S, %s
1616 ret i32 %t
17 ; CHECK: @test1
17 ; CHECK-LABEL: @test1(
1818 ; CHECK: ret i32 0
1919 }
2020
3131
3232 %t = sub i32 %S, %s
3333 ret i32 %t
34 ; CHECK: @test2
34 ; CHECK-LABEL: @test2(
3535 ; CHECK: ret i32 0
3636 }
3737
5050
5151 %t = sub i32 %S, %s
5252 ret i32 %t
53 ; CHECK: @test3
53 ; CHECK-LABEL: @test3(
5454 ; CHECK: ret i32 0
5555 }
5656
6767 store i8* null, i8** %tmp3, align 8
6868 %tmp4 = load i32* %tmp2, align 8
6969 ret i32 %tmp4
70 ; CHECK: @test4
70 ; CHECK-LABEL: @test4(
7171 ; CHECK: ret i32 64
7272 }
7373
8181 %y = load i32* %pi
8282 %z = sub i32 %x, %y
8383 ret i32 %z
84 ; CHECK: @test5
84 ; CHECK-LABEL: @test5(
8585 ; CHECK: ret i32 0
8686 }
8787
9696 %y = load i32* %pi
9797 %z = sub i32 %x, %y
9898 ret i32 %z
99 ; CHECK: @test6
99 ; CHECK-LABEL: @test6(
100100 ; CHECK: ret i32 0
101101 }
102102
110110 %y = load i32* %pi
111111 %z = sub i32 %x, %y
112112 ret i32 %z
113 ; CHECK: @test7
113 ; CHECK-LABEL: @test7(
114114 ; CHECK: ret i32 0
115115 }
116116
127127 %y = load i32* %pi
128128 %z = sub i32 %x, %y
129129 ret i32 %z
130 ; CHECK: @test8
130 ; CHECK-LABEL: @test8(
131131 ; CHECK: ret i32 0
132132 }
133133
138138 %P2 = getelementptr [4 x i8] *%P, i32 0, i32 %i3
139139
140140 %j2 = shl i32 %j, 2
141
141
142142 ; P4 = P + 4*j
143143 %P4 = getelementptr [4 x i8]* %P, i32 0, i32 %j2
144144
147147 %y = load i8* %P2
148148 %z = sub i8 %x, %y
149149 ret i8 %z
150 ; CHECK: @test9
150 ; CHECK-LABEL: @test9(
151151 ; CHECK: ret i8 0
152152 }
153153
156156 %i3 = add i32 %i2, 4
157157 ; P2 = P + 4 + 4*i
158158 %P2 = getelementptr [4 x i8] *%P, i32 0, i32 %i3
159
159
160160 ; P4 = P + 4*i
161161 %P4 = getelementptr [4 x i8]* %P, i32 0, i32 %i2
162162
165165 %y = load i8* %P2
166166 %z = sub i8 %x, %y
167167 ret i8 %z
168 ; CHECK: @test10
168 ; CHECK-LABEL: @test10(
169169 ; CHECK: ret i8 0
170170 }
171171
181181 store i64 0, i64* %scevgep35, align 4
182182 %tmp30 = load float* %y29, align 4
183183 ret float %tmp30
184 ; CHECK: @test11
185 ; CHECK: ret float %tmp30
184 ; CHECK-LABEL: @test11(
185 ; CHECK: ret float %tmp30
186186 }
187187
188188 ; (This was a miscompilation.)
197197 store i32 0, i32* %castd
198198 %r = load i32* %castp
199199 ret i32 %r
200 ; CHECK: @test12
201 ; CHECK: ret i32 %r
202 }
200 ; CHECK-LABEL: @test12(
201 ; CHECK: ret i32 %r
202 }
55
66 @B = global i16 8
77
8 ; CHECK: @test1
8 ; CHECK-LABEL: @test1(
99 define i16 @test1(i32* %P) {
1010 %X = load i16* @B
1111 store i32 7, i32* %P
1919 ; rdar://8813415
2020 @window = external global [0 x i8]
2121
22 ; CHECK: @test2
22 ; CHECK-LABEL: @test2(
2323 define i8 @test2(i32 %tmp79, i32 %w.2, i32 %indvar89) nounwind {
2424 %tmp92 = add i32 %tmp79, %indvar89
2525 %arrayidx412 = getelementptr [0 x i8]* @window, i32 0, i32 %tmp92
33
44 ; Check that geps with equal base offsets of noalias base pointers stay noalias.
55 define i32 @test(i32* %p, i16 %i) {
6 ; CHECK-LABEL: Function: test:
67 %pi = getelementptr i32* %p, i32 0
78 %pi.next = getelementptr i32* %p, i32 1
89 %b = icmp eq i16 %i, 0
2930
3031 ; Check that geps with equal indices of noalias base pointers stay noalias.
3132 define i32 @test2([2 x i32]* %p, i32 %i) {
33 ; CHECK-LABEL: Function: test2:
3234 %pi = getelementptr [2 x i32]* %p, i32 0
3335 %pi.next = getelementptr [2 x i32]* %p, i32 1
3436 %b = icmp eq i32 %i, 0