Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / a07d9b14603780b70c61a8d5741bc5eb4ab7be69 / . / llvm / test / Analysis / BasicAA / cs-cs.ll
blob: 0f74dbd92bbdb250c86b7f5d641a982f7c39dc85 [file] [log] [blame]
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]1; RUN: opt < %s -basicaa -aa-eval -print-all-alias-modref-info -disable-output 2>&1 | FileCheck %s
2target datalayout = "e-p:32:32:32-i1:8:32-i8:8:32-i16:16:32-i32:32:32-i64:32:32-f32:32:32-f64:32:32-v64:32:64-v128:32:128-a0:0:32-n32"
3target triple = "arm-apple-ios"
4
Jeroen Ketemaab99b592015-09-30 10:56:37 +0000[diff] [blame]5declare <8 x i16> @llvm.arm.neon.vld1.v8i16.p0i8(i8*, i32) nounwind readonly
6declare void @llvm.arm.neon.vst1.p0i8.v8i16(i8*, <8 x i16>, i32) nounwind
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]7
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame]8declare void @llvm.memset.p0i8.i64(i8* nocapture, i8, i64, i32, i1) nounwind
9declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i32, i1) nounwind
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]10
11declare void @a_readonly_func(i8 *) noinline nounwind readonly
Nicolai Haehnle84c9f992016-07-04 08:01:29 +0000[diff] [blame]12declare void @a_writeonly_func(i8 *) noinline nounwind writeonly
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]13
14define <8 x i16> @test1(i8* %p, <8 x i16> %y) {
15entry:
David Blaikie79e6c742015-02-27 19:29:02 +0000[diff] [blame]16 %q = getelementptr i8, i8* %p, i64 16
Jeroen Ketemaab99b592015-09-30 10:56:37 +0000[diff] [blame]17 %a = call <8 x i16> @llvm.arm.neon.vld1.v8i16.p0i8(i8* %p, i32 16) nounwind
18 call void @llvm.arm.neon.vst1.p0i8.v8i16(i8* %q, <8 x i16> %y, i32 16)
19 %b = call <8 x i16> @llvm.arm.neon.vld1.v8i16.p0i8(i8* %p, i32 16) nounwind
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]20 %c = add <8 x i16> %a, %b
21 ret <8 x i16> %c
22
23; CHECK-LABEL: Function: test1:
24
25; CHECK: NoAlias: i8* %p, i8* %q
Andrew Kaylor9604f342016-11-08 21:07:42 +0000[diff] [blame]26; CHECK: Just Ref: Ptr: i8* %p <-> %a = call <8 x i16> @llvm.arm.neon.vld1.v8i16.p0i8(i8* %p, i32 16)
27; CHECK: NoModRef: Ptr: i8* %q <-> %a = call <8 x i16> @llvm.arm.neon.vld1.v8i16.p0i8(i8* %p, i32 16)
Jeroen Ketemaab99b592015-09-30 10:56:37 +0000[diff] [blame]28; CHECK: NoModRef: Ptr: i8* %p <-> call void @llvm.arm.neon.vst1.p0i8.v8i16(i8* %q, <8 x i16> %y, i32 16)
29; CHECK: Both ModRef: Ptr: i8* %q <-> call void @llvm.arm.neon.vst1.p0i8.v8i16(i8* %q, <8 x i16> %y, i32 16)
Andrew Kaylor9604f342016-11-08 21:07:42 +0000[diff] [blame]30; CHECK: Just Ref: Ptr: i8* %p <-> %b = call <8 x i16> @llvm.arm.neon.vld1.v8i16.p0i8(i8* %p, i32 16)
31; CHECK: NoModRef: Ptr: i8* %q <-> %b = call <8 x i16> @llvm.arm.neon.vld1.v8i16.p0i8(i8* %p, i32 16)
32; CHECK: NoModRef: %a = call <8 x i16> @llvm.arm.neon.vld1.v8i16.p0i8(i8* %p, i32 16) #{{[0-9]+}} <-> call void @llvm.arm.neon.vst1.p0i8.v8i16(i8* %q, <8 x i16> %y, i32 16)
33; CHECK: NoModRef: %a = call <8 x i16> @llvm.arm.neon.vld1.v8i16.p0i8(i8* %p, i32 16) #{{[0-9]+}} <-> %b = call <8 x i16> @llvm.arm.neon.vld1.v8i16.p0i8(i8* %p, i32 16)
34; CHECK: NoModRef: call void @llvm.arm.neon.vst1.p0i8.v8i16(i8* %q, <8 x i16> %y, i32 16) <-> %a = call <8 x i16> @llvm.arm.neon.vld1.v8i16.p0i8(i8* %p, i32 16)
35; CHECK: NoModRef: call void @llvm.arm.neon.vst1.p0i8.v8i16(i8* %q, <8 x i16> %y, i32 16) <-> %b = call <8 x i16> @llvm.arm.neon.vld1.v8i16.p0i8(i8* %p, i32 16)
36; CHECK: NoModRef: %b = call <8 x i16> @llvm.arm.neon.vld1.v8i16.p0i8(i8* %p, i32 16) #{{[0-9]+}} <-> %a = call <8 x i16> @llvm.arm.neon.vld1.v8i16.p0i8(i8* %p, i32 16)
37; CHECK: NoModRef: %b = call <8 x i16> @llvm.arm.neon.vld1.v8i16.p0i8(i8* %p, i32 16) #{{[0-9]+}} <-> call void @llvm.arm.neon.vst1.p0i8.v8i16(i8* %q, <8 x i16> %y, i32 16)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]38}
39
40define void @test2(i8* %P, i8* %Q) nounwind ssp {
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame]41 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
42 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]43 ret void
44
45; CHECK-LABEL: Function: test2:
46
47; CHECK: MayAlias: i8* %P, i8* %Q
Bryant Wonga07d9b12016-12-25 22:42:27 +0000[diff] [blame^]48; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
49; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
50; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
51; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
52; CHECK: Just Mod: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
53; CHECK: Just Mod: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]54}
55
56define void @test2a(i8* noalias %P, i8* noalias %Q) nounwind ssp {
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame]57 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
58 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]59 ret void
60
61; CHECK-LABEL: Function: test2a:
62
63; CHECK: NoAlias: i8* %P, i8* %Q
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame]64; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
65; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
66; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
67; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
68; CHECK: Just Mod: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
69; CHECK: Just Mod: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]70}
71
72define void @test2b(i8* noalias %P, i8* noalias %Q) nounwind ssp {
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame]73 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
David Blaikie79e6c742015-02-27 19:29:02 +0000[diff] [blame]74 %R = getelementptr i8, i8* %P, i64 12
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame]75 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i32 1, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]76 ret void
77
78; CHECK-LABEL: Function: test2b:
79
80; CHECK: NoAlias: i8* %P, i8* %Q
81; CHECK: NoAlias: i8* %P, i8* %R
82; CHECK: NoAlias: i8* %Q, i8* %R
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame]83; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
84; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
85; CHECK: NoModRef: Ptr: i8* %R <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
86; CHECK: NoModRef: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i32 1, i1 false)
87; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i32 1, i1 false)
88; CHECK: Just Mod: Ptr: i8* %R <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i32 1, i1 false)
89; CHECK: NoModRef: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i32 1, i1 false)
90; CHECK: NoModRef: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i32 1, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]91}
92
93define void @test2c(i8* noalias %P, i8* noalias %Q) nounwind ssp {
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame]94 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
David Blaikie79e6c742015-02-27 19:29:02 +0000[diff] [blame]95 %R = getelementptr i8, i8* %P, i64 11
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame]96 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i32 1, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]97 ret void
98
99; CHECK-LABEL: Function: test2c:
100
101; CHECK: NoAlias: i8* %P, i8* %Q
102; CHECK: NoAlias: i8* %P, i8* %R
103; CHECK: NoAlias: i8* %Q, i8* %R
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame]104; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
105; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
106; CHECK: Just Mod: Ptr: i8* %R <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
107; CHECK: NoModRef: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i32 1, i1 false)
108; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i32 1, i1 false)
109; CHECK: Just Mod: Ptr: i8* %R <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i32 1, i1 false)
110; CHECK: Just Mod: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i32 1, i1 false)
111; CHECK: Just Mod: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i32 1, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]112}
113
114define void @test2d(i8* noalias %P, i8* noalias %Q) nounwind ssp {
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame]115 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
David Blaikie79e6c742015-02-27 19:29:02 +0000[diff] [blame]116 %R = getelementptr i8, i8* %P, i64 -12
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame]117 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i32 1, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]118 ret void
119
120; CHECK-LABEL: Function: test2d:
121
122; CHECK: NoAlias: i8* %P, i8* %Q
123; CHECK: NoAlias: i8* %P, i8* %R
124; CHECK: NoAlias: i8* %Q, i8* %R
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame]125; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
126; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
127; CHECK: NoModRef: Ptr: i8* %R <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
128; CHECK: NoModRef: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i32 1, i1 false)
129; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i32 1, i1 false)
130; CHECK: Just Mod: Ptr: i8* %R <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i32 1, i1 false)
131; CHECK: NoModRef: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i32 1, i1 false)
132; CHECK: NoModRef: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i32 1, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]133}
134
135define void @test2e(i8* noalias %P, i8* noalias %Q) nounwind ssp {
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame]136 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
David Blaikie79e6c742015-02-27 19:29:02 +0000[diff] [blame]137 %R = getelementptr i8, i8* %P, i64 -11
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame]138 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i32 1, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]139 ret void
140
141; CHECK-LABEL: Function: test2e:
142
143; CHECK: NoAlias: i8* %P, i8* %Q
144; CHECK: NoAlias: i8* %P, i8* %R
145; CHECK: NoAlias: i8* %Q, i8* %R
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame]146; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
147; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
148; CHECK: NoModRef: Ptr: i8* %R <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
149; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i32 1, i1 false)
150; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i32 1, i1 false)
151; CHECK: Just Mod: Ptr: i8* %R <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i32 1, i1 false)
152; CHECK: Just Mod: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i32 1, i1 false)
153; CHECK: Just Mod: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i32 1, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]154}
155
156define void @test3(i8* %P, i8* %Q) nounwind ssp {
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame]157 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 8, i32 1, i1 false)
158 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]159 ret void
160
161; CHECK-LABEL: Function: test3:
162
163; CHECK: MayAlias: i8* %P, i8* %Q
Bryant Wonga07d9b12016-12-25 22:42:27 +0000[diff] [blame^]164; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 8, i32 1, i1 false)
165; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 8, i32 1, i1 false)
166; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
167; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
168; CHECK: Just Mod: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 8, i32 1, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
169; CHECK: Just Mod: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 8, i32 1, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]170}
171
172define void @test3a(i8* noalias %P, i8* noalias %Q) nounwind ssp {
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame]173 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 8, i32 1, i1 false)
174 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]175 ret void
176
177; CHECK-LABEL: Function: test3a:
178
179; CHECK: NoAlias: i8* %P, i8* %Q
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame]180; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 8, i32 1, i1 false)
181; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 8, i32 1, i1 false)
182; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
183; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
184; CHECK: Just Mod: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 8, i32 1, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
185; CHECK: Just Mod: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 8, i32 1, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]186}
187
188define void @test4(i8* %P, i8* noalias %Q) nounwind ssp {
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame]189 tail call void @llvm.memset.p0i8.i64(i8* %P, i8 42, i64 8, i32 1, i1 false)
190 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]191 ret void
192
193; CHECK-LABEL: Function: test4:
194
195; CHECK: NoAlias: i8* %P, i8* %Q
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame]196; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memset.p0i8.i64(i8* %P, i8 42, i64 8, i32 1, i1 false)
197; CHECK: NoModRef: Ptr: i8* %Q <-> tail call void @llvm.memset.p0i8.i64(i8* %P, i8 42, i64 8, i32 1, i1 false)
198; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
199; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
200; CHECK: Just Mod: tail call void @llvm.memset.p0i8.i64(i8* %P, i8 42, i64 8, i32 1, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
201; CHECK: Just Mod: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false) <-> tail call void @llvm.memset.p0i8.i64(i8* %P, i8 42, i64 8, i32 1, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]202}
203
204define void @test5(i8* %P, i8* %Q, i8* %R) nounwind ssp {
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame]205 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
206 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %R, i64 12, i32 1, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]207 ret void
208
209; CHECK-LABEL: Function: test5:
210
211; CHECK: MayAlias: i8* %P, i8* %Q
212; CHECK: MayAlias: i8* %P, i8* %R
213; CHECK: MayAlias: i8* %Q, i8* %R
Bryant Wonga07d9b12016-12-25 22:42:27 +0000[diff] [blame^]214; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
215; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame]216; CHECK: Both ModRef: Ptr: i8* %R <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
Bryant Wonga07d9b12016-12-25 22:42:27 +0000[diff] [blame^]217; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %R, i64 12, i32 1, i1 false)
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame]218; CHECK: Both ModRef: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %R, i64 12, i32 1, i1 false)
Bryant Wonga07d9b12016-12-25 22:42:27 +0000[diff] [blame^]219; CHECK: Just Ref: Ptr: i8* %R <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %R, i64 12, i32 1, i1 false)
220; CHECK: Just Mod: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %R, i64 12, i32 1, i1 false)
221; CHECK: Just Mod: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %R, i64 12, i32 1, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]222}
223
224define void @test6(i8* %P) nounwind ssp {
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame]225 call void @llvm.memset.p0i8.i64(i8* %P, i8 -51, i64 32, i32 8, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]226 call void @a_readonly_func(i8* %P)
227 ret void
228
229; CHECK-LABEL: Function: test6:
230
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame]231; CHECK: Just Mod: Ptr: i8* %P <-> call void @llvm.memset.p0i8.i64(i8* %P, i8 -51, i64 32, i32 8, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]232; CHECK: Just Ref: Ptr: i8* %P <-> call void @a_readonly_func(i8* %P)
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame]233; CHECK: Just Mod: call void @llvm.memset.p0i8.i64(i8* %P, i8 -51, i64 32, i32 8, i1 false) <-> call void @a_readonly_func(i8* %P)
234; CHECK: Just Ref: call void @a_readonly_func(i8* %P) <-> call void @llvm.memset.p0i8.i64(i8* %P, i8 -51, i64 32, i32 8, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]235}
236
Nicolai Haehnle84c9f992016-07-04 08:01:29 +0000[diff] [blame]237define void @test7(i8* %P) nounwind ssp {
238 call void @a_writeonly_func(i8* %P)
239 call void @a_readonly_func(i8* %P)
240 ret void
241
242; CHECK-LABEL: Function: test7:
243
244; CHECK: Just Mod: Ptr: i8* %P <-> call void @a_writeonly_func(i8* %P)
245; CHECK: Just Ref: Ptr: i8* %P <-> call void @a_readonly_func(i8* %P)
246; CHECK: Just Mod: call void @a_writeonly_func(i8* %P) <-> call void @a_readonly_func(i8* %P)
247; CHECK: Just Ref: call void @a_readonly_func(i8* %P) <-> call void @a_writeonly_func(i8* %P)
248}
249
Andrew Kaylor9604f342016-11-08 21:07:42 +0000[diff] [blame]250declare void @an_inaccessiblememonly_func() nounwind inaccessiblememonly
251declare void @an_inaccessibleorargmemonly_func(i8 *) nounwind inaccessiblemem_or_argmemonly
252declare void @an_argmemonly_func(i8 *) nounwind argmemonly
Igor Laevsky30143ae2015-08-13 17:40:04 +0000[diff] [blame]253
Andrew Kaylor9604f342016-11-08 21:07:42 +0000[diff] [blame]254define void @test8(i8* %p) {
255entry:
256 %q = getelementptr i8, i8* %p, i64 16
257 call void @a_readonly_func(i8* %p)
258 call void @an_inaccessiblememonly_func()
259 call void @a_writeonly_func(i8* %q)
260 call void @an_inaccessiblememonly_func()
261 call void @an_inaccessibleorargmemonly_func(i8* %q)
262 call void @an_argmemonly_func(i8* %q)
263 ret void
264
265; CHECK-LABEL: Function: test8
266; CHECK: NoModRef: Ptr: i8* %p <-> call void @an_inaccessiblememonly_func()
267; CHECK: NoModRef: Ptr: i8* %q <-> call void @an_inaccessiblememonly_func()
268; CHECK: NoModRef: Ptr: i8* %p <-> call void @an_inaccessibleorargmemonly_func(i8* %q)
269; CHECK: Both ModRef: Ptr: i8* %q <-> call void @an_inaccessibleorargmemonly_func(i8* %q)
270; CHECK: NoModRef: Ptr: i8* %p <-> call void @an_argmemonly_func(i8* %q)
271; CHECK: Both ModRef: Ptr: i8* %q <-> call void @an_argmemonly_func(i8* %q)
272; CHECK: Just Ref: call void @a_readonly_func(i8* %p) <-> call void @an_inaccessiblememonly_func()
273; CHECK: Just Ref: call void @a_readonly_func(i8* %p) <-> call void @an_inaccessibleorargmemonly_func(i8* %q)
274; CHECK: Just Ref: call void @a_readonly_func(i8* %p) <-> call void @an_argmemonly_func(i8* %q)
275; CHECK: Both ModRef: call void @an_inaccessiblememonly_func() <-> call void @a_readonly_func(i8* %p)
276; CHECK: Both ModRef: call void @an_inaccessiblememonly_func() <-> call void @a_writeonly_func(i8* %q)
277; CHECK: Both ModRef: call void @an_inaccessiblememonly_func() <-> call void @an_inaccessiblememonly_func()
278; CHECK: Both ModRef: call void @an_inaccessiblememonly_func() <-> call void @an_inaccessibleorargmemonly_func(i8* %q)
279; CHECK: NoModRef: call void @an_inaccessiblememonly_func() <-> call void @an_argmemonly_func(i8* %q)
280; CHECK: Just Mod: call void @a_writeonly_func(i8* %q) <-> call void @an_inaccessiblememonly_func()
281; CHECK: Just Mod: call void @a_writeonly_func(i8* %q) <-> call void @an_inaccessibleorargmemonly_func(i8* %q)
282; CHECK: Just Mod: call void @a_writeonly_func(i8* %q) <-> call void @an_argmemonly_func(i8* %q)
283; CHECK: Both ModRef: call void @an_inaccessibleorargmemonly_func(i8* %q) <-> call void @a_readonly_func(i8* %p)
284; CHECK: Both ModRef: call void @an_inaccessibleorargmemonly_func(i8* %q) <-> call void @a_writeonly_func(i8* %q)
285; CHECK: Both ModRef: call void @an_inaccessibleorargmemonly_func(i8* %q) <-> call void @an_inaccessiblememonly_func()
286; CHECK: Both ModRef: call void @an_inaccessibleorargmemonly_func(i8* %q) <-> call void @an_argmemonly_func(i8* %q)
287; CHECK: Both ModRef: call void @an_argmemonly_func(i8* %q) <-> call void @a_readonly_func(i8* %p)
288; CHECK: Both ModRef: call void @an_argmemonly_func(i8* %q) <-> call void @a_writeonly_func(i8* %q)
289; CHECK: NoModRef: call void @an_argmemonly_func(i8* %q) <-> call void @an_inaccessiblememonly_func()
290; CHECK: Both ModRef: call void @an_argmemonly_func(i8* %q) <-> call void @an_inaccessibleorargmemonly_func(i8* %q)
291}