1 ; RUN: opt < %s -basicaa -dse -S | FileCheck %s
2 target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128"
4 define void @test1(i32* %Q, i32* %P) {
6 store i32 %DEAD, i32* %P
10 ; CHECK-NEXT: store i32 0, i32* %P
11 ; CHECK-NEXT: ret void
14 ; PR8576 - Should delete store of 10 even though p/q are may aliases.
15 define void @test2(i32 *%p, i32 *%q) {
16 store i32 10, i32* %p, align 4
17 store i32 20, i32* %q, align 4
18 store i32 30, i32* %p, align 4
21 ; CHECK-NEXT: store i32 20
28 define i32 @test3(i32* %g_addr) nounwind {
30 ; CHECK: load i32* %g_addr
31 %g_value = load i32* %g_addr, align 4
32 store i32 -1, i32* @g, align 4
33 store i32 %g_value, i32* %g_addr, align 4
34 %tmp3 = load i32* @g, align 4
39 define void @test4(i32* %Q) {
41 volatile store i32 %a, i32* %Q
44 ; CHECK-NEXT: load i32
45 ; CHECK-NEXT: volatile store
46 ; CHECK-NEXT: ret void
49 define void @test5(i32* %Q) {
50 %a = volatile load i32* %Q
54 ; CHECK-NEXT: volatile load
55 ; CHECK-NEXT: ret void
58 declare void @llvm.memset.i64(i8*, i8, i64, i32)
59 declare void @llvm.memcpy.i64(i8*, i8*, i64, i32)
61 ; Should delete store of 10 even though memset is a may-store to P (P and Q may
63 define void @test6(i32 *%p, i8 *%q) {
64 store i32 10, i32* %p, align 4 ;; dead.
65 call void @llvm.memset.i64(i8* %q, i8 42, i64 900, i32 1)
66 store i32 30, i32* %p, align 4
69 ; CHECK-NEXT: call void @llvm.memset
72 ; Should delete store of 10 even though memcpy is a may-store to P (P and Q may
74 define void @test7(i32 *%p, i8 *%q, i8* noalias %r) {
75 store i32 10, i32* %p, align 4 ;; dead.
76 call void @llvm.memcpy.i64(i8* %q, i8* %r, i64 900, i32 1)
77 store i32 30, i32* %p, align 4
80 ; CHECK-NEXT: call void @llvm.memcpy
83 ; Do not delete stores that are only partially killed.
86 store i32 1234567, i32* %V
87 %V2 = bitcast i32* %V to i8*
93 ; CHECK: store i32 1234567
97 ; Test for byval handling.
98 %struct.x = type { i32, i32, i32, i32 }
99 define void @test9(%struct.x* byval %a) nounwind {
100 %tmp2 = getelementptr %struct.x* %a, i32 0, i32 0
101 store i32 1, i32* %tmp2, align 4
104 ; CHECK-NEXT: ret void
107 ; va_arg has fuzzy dependence, the store shouldn't be zapped.
108 define double @test10(i8* %X) {
110 store i8* %X, i8** %X_addr
111 %tmp.0 = va_arg i8** %X_addr, double
118 ; DSE should delete the dead trampoline.
119 declare i8* @llvm.init.trampoline(i8*, i8*, i8*)
120 declare void @test11f()
121 define void @test11() {
123 %storage = alloca [10 x i8], align 16 ; <[10 x i8]*> [#uses=1]
125 %cast = getelementptr [10 x i8]* %storage, i32 0, i32 0 ; <i8*> [#uses=1]
126 %tramp = call i8* @llvm.init.trampoline( i8* %cast, i8* bitcast (void ()* @test11f to i8*), i8* null ) ; <i8*> [#uses=1]
127 ; CHECK-NOT: trampoline
133 ; PR2599 - load -> store to same address.
134 define void @test12({ i32, i32 }* %x) nounwind {
135 %tmp4 = getelementptr { i32, i32 }* %x, i32 0, i32 0
136 %tmp5 = load i32* %tmp4, align 4
137 %tmp7 = getelementptr { i32, i32 }* %x, i32 0, i32 1
138 %tmp8 = load i32* %tmp7, align 4
139 %tmp17 = sub i32 0, %tmp8
140 store i32 %tmp5, i32* %tmp4, align 4
141 store i32 %tmp17, i32* %tmp7, align 4
149 ; %P doesn't escape, the DEAD instructions should be removed.
150 declare void @test13f()
151 define i32* @test13() {
152 %p = tail call i8* @malloc(i32 4)
153 %P = bitcast i8* %p to i32*
155 %DEAD2 = add i32 %DEAD, 1
156 store i32 %DEAD2, i32* %P
157 call void @test13f( )
162 ; CHECK-NEXT: bitcast
163 ; CHECK-NEXT: call void
166 declare noalias i8* @malloc(i32)
170 define void @test14(i32* %Q) {
173 store i32 %DEAD, i32* %P
177 ; CHECK-NEXT: ret void
183 ;; Fully dead overwrite of memcpy.
184 define void @test15(i8* %P, i8* %Q) nounwind ssp {
185 tail call void @llvm.memcpy.i64(i8* %P, i8* %Q, i64 12, i32 1)
186 tail call void @llvm.memcpy.i64(i8* %P, i8* %Q, i64 12, i32 1)
189 ; CHECK-NEXT: call void @llvm.memcpy
193 ;; Full overwrite of smaller memcpy.
194 define void @test16(i8* %P, i8* %Q) nounwind ssp {
195 tail call void @llvm.memcpy.i64(i8* %P, i8* %Q, i64 8, i32 1)
196 tail call void @llvm.memcpy.i64(i8* %P, i8* %Q, i64 12, i32 1)
199 ; CHECK-NEXT: call void @llvm.memcpy
203 ;; Overwrite of memset by memcpy.
204 define void @test17(i8* %P, i8* %Q) nounwind ssp {
205 tail call void @llvm.memset.i64(i8* %P, i8 42, i64 8, i32 1)
206 tail call void @llvm.memcpy.i64(i8* %P, i8* %Q, i64 12, i32 1)
209 ; CHECK-NEXT: call void @llvm.memcpy