Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / llvm / e62b2633e8c782f8805bbcb13d92179f179d6143 / . / test / Analysis / BasicAA / modref.ll
blob: 07d73a7dde7ac28e473705e48cbaa89eac3da26d [file] [log] [blame]
Nick Lewycky15d3c052009-10-18 04:41:36 +0000[diff] [blame]1; RUN: opt < %s -basicaa -gvn -dse -S | FileCheck %s
Reid Spencer1faa5492006-11-18 05:52:18 +0000[diff] [blame]2
Chris Lattnera22922d2009-10-17 23:59:51 +0000[diff] [blame]3declare void @llvm.memset.i32(i8*, i8, i32, i32)
Nick Lewycky15d3c052009-10-18 04:41:36 +0000[diff] [blame]4declare void @llvm.memset.i8(i8*, i8, i8, i32)
5declare void @llvm.memcpy.i8(i8*, i8*, i8, i32)
6declare void @llvm.lifetime.end(i64, i8* nocapture)
Chris Lattnera22922d2009-10-17 23:59:51 +0000[diff] [blame]7
8declare void @external(i32*)
9
10define i32 @test0(i8* %P) {
11 %A = alloca i32
12 call void @external(i32* %A)
13
14 store i32 0, i32* %A
15
16 call void @llvm.memset.i32(i8* %P, i8 0, i32 42, i32 1)
17
18 %B = load i32* %A
19 ret i32 %B
20
21; CHECK: @test0
22; CHECK: ret i32 0
Reid Spencer1faa5492006-11-18 05:52:18 +0000[diff] [blame]23}
24
Nick Lewycky15d3c052009-10-18 04:41:36 +0000[diff] [blame]25declare void @llvm.memcpy.i8(i8*, i8*, i8, i32)
26
27define i8 @test1() {
28; CHECK: @test1
29 %A = alloca i8
30 %B = alloca i8
31
32 store i8 2, i8* %B ;; Not written to by memcpy
33
34 call void @llvm.memcpy.i8(i8* %A, i8* %B, i8 -1, i32 0)
35
36 %C = load i8* %B
37 ret i8 %C
38; CHECK: ret i8 2
39}
40
41define i8 @test2(i8* %P) {
42; CHECK: @test2
Chris Lattner6e85d912009-10-18 04:50:18 +0000[diff] [blame]43 %P2 = getelementptr i8* %P, i32 127
Nick Lewycky15d3c052009-10-18 04:41:36 +0000[diff] [blame]44 store i8 1, i8* %P2 ;; Not dead across memset
45 call void @llvm.memset.i8(i8* %P, i8 2, i8 127, i32 0)
46 %A = load i8* %P2
47 ret i8 %A
48; CHECK: ret i8 1
49}
50
Chris Lattner6e85d912009-10-18 04:50:18 +0000[diff] [blame]51define i8 @test2a(i8* %P) {
52; CHECK: @test2
53 %P2 = getelementptr i8* %P, i32 126
Chris Lattnere62b2632009-10-18 04:55:26 +0000[diff] [blame^]54
55 ;; FIXME: DSE isn't zapping this dead store.
Chris Lattner6e85d912009-10-18 04:50:18 +0000[diff] [blame]56 store i8 1, i8* %P2 ;; Dead, clobbered by memset.
Chris Lattnere62b2632009-10-18 04:55:26 +0000[diff] [blame^]57
Chris Lattner6e85d912009-10-18 04:50:18 +0000[diff] [blame]58 call void @llvm.memset.i8(i8* %P, i8 2, i8 127, i32 0)
59 %A = load i8* %P2
60 ret i8 %A
61; CHECK: %A = load i8* %P2
62; CHECK: ret i8 %A
63}
64
Chris Lattnere62b2632009-10-18 04:55:26 +0000[diff] [blame^]65define void @test3(i8* %P, i8 %X) {
Nick Lewycky15d3c052009-10-18 04:41:36 +0000[diff] [blame]66; CHECK: @test3
Chris Lattnere62b2632009-10-18 04:55:26 +0000[diff] [blame^]67; CHECK-NOT: store
68; CHECK-NOT: %Y
69 %Y = add i8 %X, 1 ;; Dead, because the only use (the store) is dead.
70
Nick Lewycky15d3c052009-10-18 04:41:36 +0000[diff] [blame]71 %P2 = getelementptr i8* %P, i32 2
Chris Lattnere62b2632009-10-18 04:55:26 +0000[diff] [blame^]72 store i8 %Y, i8* %P2 ;; Not read by lifetime.end, should be removed.
73; CHECK: store i8 2, i8* %P2
Nick Lewycky15d3c052009-10-18 04:41:36 +0000[diff] [blame]74 call void @llvm.lifetime.end(i64 1, i8* %P)
75 store i8 2, i8* %P2
76; CHECK-NOT: store
77 ret void
78; CHECK: ret void
Chris Lattnere62b2632009-10-18 04:55:26 +0000[diff] [blame^]79}
80
81define void @test3a(i8* %P, i8 %X) {
82; CHECK: @test3a
83 %Y = add i8 %X, 1 ;; Dead, because the only use (the store) is dead.
84
85 %P2 = getelementptr i8* %P, i32 2
86 store i8 %Y, i8* %P2 ;; FIXME: Killed by llvm.lifetime.end, should be zapped.
87; CHECK: store i8 2, i8* %P2
88 call void @llvm.lifetime.end(i64 10, i8* %P)
89 ret void
90; CHECK: ret void
Nick Lewycky15d3c052009-10-18 04:41:36 +0000[diff] [blame]91}