Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 67cf9a723ba5cf0a711efcb317b241104b558779 / . / llvm / test / Analysis / BasicAA / cs-cs.ll
blob: dc298f1668bed2407844e8a929c4037838cf4078 [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
12
13define <8 x i16> @test1(i8* %p, <8 x i16> %y) {
14entry:
David Blaikie79e6c742015-02-27 19:29:02 +0000[diff] [blame]15 %q = getelementptr i8, i8* %p, i64 16
Jeroen Ketemaab99b592015-09-30 10:56:37 +0000[diff] [blame]16 %a = call <8 x i16> @llvm.arm.neon.vld1.v8i16.p0i8(i8* %p, i32 16) nounwind
17 call void @llvm.arm.neon.vst1.p0i8.v8i16(i8* %q, <8 x i16> %y, i32 16)
18 %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]19 %c = add <8 x i16> %a, %b
20 ret <8 x i16> %c
21
22; CHECK-LABEL: Function: test1:
23
24; CHECK: NoAlias: i8* %p, i8* %q
Jeroen Ketemaab99b592015-09-30 10:56:37 +0000[diff] [blame]25; CHECK: Just Ref: Ptr: i8* %p <-> %a = call <8 x i16> @llvm.arm.neon.vld1.v8i16.p0i8(i8* %p, i32 16) #4
26; CHECK: NoModRef: Ptr: i8* %q <-> %a = call <8 x i16> @llvm.arm.neon.vld1.v8i16.p0i8(i8* %p, i32 16) #4
27; CHECK: NoModRef: Ptr: i8* %p <-> call void @llvm.arm.neon.vst1.p0i8.v8i16(i8* %q, <8 x i16> %y, i32 16)
28; CHECK: Both ModRef: Ptr: i8* %q <-> call void @llvm.arm.neon.vst1.p0i8.v8i16(i8* %q, <8 x i16> %y, i32 16)
29; CHECK: Just Ref: Ptr: i8* %p <-> %b = call <8 x i16> @llvm.arm.neon.vld1.v8i16.p0i8(i8* %p, i32 16) #4
30; CHECK: NoModRef: Ptr: i8* %q <-> %b = call <8 x i16> @llvm.arm.neon.vld1.v8i16.p0i8(i8* %p, i32 16) #4
31; CHECK: NoModRef: %a = call <8 x i16> @llvm.arm.neon.vld1.v8i16.p0i8(i8* %p, i32 16) #4 <-> call void @llvm.arm.neon.vst1.p0i8.v8i16(i8* %q, <8 x i16> %y, i32 16)
32; CHECK: NoModRef: %a = call <8 x i16> @llvm.arm.neon.vld1.v8i16.p0i8(i8* %p, i32 16) #4 <-> %b = call <8 x i16> @llvm.arm.neon.vld1.v8i16.p0i8(i8* %p, i32 16) #4
33; 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) #4
34; 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) #4
35; CHECK: NoModRef: %b = call <8 x i16> @llvm.arm.neon.vld1.v8i16.p0i8(i8* %p, i32 16) #4 <-> %a = call <8 x i16> @llvm.arm.neon.vld1.v8i16.p0i8(i8* %p, i32 16) #4
36; CHECK: NoModRef: %b = call <8 x i16> @llvm.arm.neon.vld1.v8i16.p0i8(i8* %p, i32 16) #4 <-> 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]37}
38
39define void @test2(i8* %P, i8* %Q) nounwind ssp {
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame^]40 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
41 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]42 ret void
43
44; CHECK-LABEL: Function: test2:
45
46; CHECK: MayAlias: i8* %P, i8* %Q
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame^]47; CHECK: Both ModRef: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
48; CHECK: Both ModRef: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
49; CHECK: Both ModRef: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
50; CHECK: Both ModRef: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
51; CHECK: Both ModRef: 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)
52; CHECK: Both ModRef: 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]53}
54
55define void @test2a(i8* noalias %P, i8* noalias %Q) nounwind ssp {
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame^]56 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
57 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]58 ret void
59
60; CHECK-LABEL: Function: test2a:
61
62; CHECK: NoAlias: i8* %P, i8* %Q
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame^]63; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
64; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
65; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
66; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
67; 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)
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)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]69}
70
71define void @test2b(i8* noalias %P, i8* noalias %Q) nounwind ssp {
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame^]72 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]73 %R = getelementptr i8, i8* %P, i64 12
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame^]74 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]75 ret void
76
77; CHECK-LABEL: Function: test2b:
78
79; CHECK: NoAlias: i8* %P, i8* %Q
80; CHECK: NoAlias: i8* %P, i8* %R
81; CHECK: NoAlias: i8* %Q, i8* %R
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame^]82; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
83; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
84; CHECK: NoModRef: Ptr: i8* %R <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
85; CHECK: NoModRef: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i32 1, i1 false)
86; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i32 1, i1 false)
87; CHECK: Just Mod: Ptr: i8* %R <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i32 1, i1 false)
88; 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)
89; 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]90}
91
92define void @test2c(i8* noalias %P, i8* noalias %Q) nounwind ssp {
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame^]93 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]94 %R = getelementptr i8, i8* %P, i64 11
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame^]95 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]96 ret void
97
98; CHECK-LABEL: Function: test2c:
99
100; CHECK: NoAlias: i8* %P, i8* %Q
101; CHECK: NoAlias: i8* %P, i8* %R
102; CHECK: NoAlias: i8* %Q, i8* %R
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame^]103; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
104; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
105; CHECK: Just Mod: Ptr: i8* %R <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
106; CHECK: NoModRef: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i32 1, i1 false)
107; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i32 1, i1 false)
108; CHECK: Just Mod: Ptr: i8* %R <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i32 1, i1 false)
109; 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)
110; 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]111}
112
113define void @test2d(i8* noalias %P, i8* noalias %Q) nounwind ssp {
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame^]114 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]115 %R = getelementptr i8, i8* %P, i64 -12
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame^]116 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]117 ret void
118
119; CHECK-LABEL: Function: test2d:
120
121; CHECK: NoAlias: i8* %P, i8* %Q
122; CHECK: NoAlias: i8* %P, i8* %R
123; CHECK: NoAlias: i8* %Q, i8* %R
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame^]124; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
125; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
126; CHECK: NoModRef: Ptr: i8* %R <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
127; CHECK: NoModRef: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i32 1, i1 false)
128; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i32 1, i1 false)
129; CHECK: Just Mod: Ptr: i8* %R <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i32 1, i1 false)
130; 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)
131; 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]132}
133
134define void @test2e(i8* noalias %P, i8* noalias %Q) nounwind ssp {
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame^]135 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]136 %R = getelementptr i8, i8* %P, i64 -11
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame^]137 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]138 ret void
139
140; CHECK-LABEL: Function: test2e:
141
142; CHECK: NoAlias: i8* %P, i8* %Q
143; CHECK: NoAlias: i8* %P, i8* %R
144; CHECK: NoAlias: i8* %Q, i8* %R
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame^]145; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
146; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
147; CHECK: NoModRef: Ptr: i8* %R <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
148; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i32 1, i1 false)
149; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i32 1, i1 false)
150; CHECK: Just Mod: Ptr: i8* %R <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i32 1, i1 false)
151; 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)
152; 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]153}
154
155define void @test3(i8* %P, i8* %Q) nounwind ssp {
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame^]156 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 8, i32 1, i1 false)
157 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]158 ret void
159
160; CHECK-LABEL: Function: test3:
161
162; CHECK: MayAlias: i8* %P, i8* %Q
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame^]163; CHECK: Both ModRef: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 8, i32 1, i1 false)
164; CHECK: Both ModRef: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 8, i32 1, i1 false)
165; CHECK: Both ModRef: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
166; CHECK: Both ModRef: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
167; CHECK: Both ModRef: 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)
168; CHECK: Both ModRef: 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]169}
170
171define void @test3a(i8* noalias %P, i8* noalias %Q) nounwind ssp {
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame^]172 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 8, i32 1, i1 false)
173 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]174 ret void
175
176; CHECK-LABEL: Function: test3a:
177
178; CHECK: NoAlias: i8* %P, i8* %Q
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame^]179; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 8, i32 1, i1 false)
180; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 8, i32 1, i1 false)
181; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
182; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
183; 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)
184; 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]185}
186
187define void @test4(i8* %P, i8* noalias %Q) nounwind ssp {
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame^]188 tail call void @llvm.memset.p0i8.i64(i8* %P, i8 42, i64 8, i32 1, i1 false)
189 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]190 ret void
191
192; CHECK-LABEL: Function: test4:
193
194; CHECK: NoAlias: i8* %P, i8* %Q
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame^]195; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memset.p0i8.i64(i8* %P, i8 42, i64 8, i32 1, i1 false)
196; CHECK: NoModRef: Ptr: i8* %Q <-> tail call void @llvm.memset.p0i8.i64(i8* %P, i8 42, i64 8, i32 1, i1 false)
197; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
198; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
199; 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)
200; 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]201}
202
203define void @test5(i8* %P, i8* %Q, i8* %R) nounwind ssp {
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame^]204 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
205 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]206 ret void
207
208; CHECK-LABEL: Function: test5:
209
210; CHECK: MayAlias: i8* %P, i8* %Q
211; CHECK: MayAlias: i8* %P, i8* %R
212; CHECK: MayAlias: i8* %Q, i8* %R
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame^]213; CHECK: Both ModRef: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
214; CHECK: Both ModRef: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
215; CHECK: Both ModRef: Ptr: i8* %R <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i32 1, i1 false)
216; CHECK: Both ModRef: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %R, i64 12, i32 1, i1 false)
217; CHECK: Both ModRef: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %R, i64 12, i32 1, i1 false)
218; CHECK: Both ModRef: Ptr: i8* %R <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %R, i64 12, i32 1, i1 false)
219; CHECK: Both ModRef: 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)
220; CHECK: Both ModRef: 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]221}
222
223define void @test6(i8* %P) nounwind ssp {
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame^]224 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]225 call void @a_readonly_func(i8* %P)
226 ret void
227
228; CHECK-LABEL: Function: test6:
229
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame^]230; 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]231; CHECK: Just Ref: Ptr: i8* %P <-> call void @a_readonly_func(i8* %P)
Pete Cooper67cf9a72015-11-19 05:56:52 +0000[diff] [blame^]232; 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)
233; 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]234}
235
Igor Laevsky30143ae2015-08-13 17:40:04 +0000[diff] [blame]236attributes #0 = { nounwind readonly argmemonly }
237attributes #1 = { nounwind argmemonly }
Igor Laevsky2ba83742015-07-23 14:31:18 +0000[diff] [blame]238attributes #2 = { noinline nounwind readonly }
239attributes #3 = { nounwind ssp }
Igor Laevsky30143ae2015-08-13 17:40:04 +0000[diff] [blame]240attributes #4 = { nounwind }
241