Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 4df8efce80e373dd1e05bd4910c796a0c91383e7 / . / llvm / test / Analysis / BasicAA / cs-cs.ll
blob: 4eb348a02bbfb1c35a0f5e9a812b7a56189cc768 [file] [log] [blame]
Arthur Eubanksfeeed162020-06-26 14:58:01 -0700[diff] [blame]1; RUN: opt < %s -basic-aa -aa-eval -print-all-alias-modref-info -S 2>&1 | FileCheck %s
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]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
Daniel Neilson1e687242018-01-19 17:13:12 +0000[diff] [blame]5declare void @llvm.memset.p0i8.i64(i8* nocapture writeonly, i8, i64, i1) #0
6declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture writeonly, i8* nocapture readonly, i64, i1) #0
Daniel Neilson3a6c50f2018-05-29 19:23:50 +0000[diff] [blame]7declare void @llvm.memcpy.element.unordered.atomic.p0i8.p0i8.i64(i8* nocapture writeonly, i8* nocapture readonly, i64, i32) #0
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]8
Yichao Yu6fefc0d2017-11-02 12:18:33 +0000[diff] [blame]9declare void @a_readonly_func(i8*) #1
10declare void @a_writeonly_func(i8*) #2
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]11
Yichao Yu6fefc0d2017-11-02 12:18:33 +0000[diff] [blame]12define void @test2(i8* %P, i8* %Q) #3 {
Daniel Neilson1e687242018-01-19 17:13:12 +0000[diff] [blame]13 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
14 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]15 ret void
16
17; CHECK-LABEL: Function: test2:
18
19; CHECK: MayAlias: i8* %P, i8* %Q
Florian Hahn1ddb3a32020-09-04 20:43:28 +0100[diff] [blame]20; CHECK: Both ModRef: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
21; CHECK: Both ModRef: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
22; CHECK: Both ModRef: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
23; CHECK: Both ModRef: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
24; CHECK: Both ModRef: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
25; CHECK: Both ModRef: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]26}
27
Daniel Neilson3a6c50f2018-05-29 19:23:50 +0000[diff] [blame]28define void @test2_atomic(i8* %P, i8* %Q) #3 {
29 tail call void @llvm.memcpy.element.unordered.atomic.p0i8.p0i8.i64(i8* align 1 %P, i8* align 1 %Q, i64 12, i32 1)
30 tail call void @llvm.memcpy.element.unordered.atomic.p0i8.p0i8.i64(i8* align 1 %P, i8* align 1 %Q, i64 12, i32 1)
31 ret void
32
33; CHECK-LABEL: Function: test2_atomic:
34
35; CHECK: MayAlias: i8* %P, i8* %Q
Florian Hahn1ddb3a32020-09-04 20:43:28 +0100[diff] [blame]36; CHECK: Both ModRef: Ptr: i8* %P <-> tail call void @llvm.memcpy.element.unordered.atomic.p0i8.p0i8.i64(i8* align 1 %P, i8* align 1 %Q, i64 12, i32 1)
37; CHECK: Both ModRef: Ptr: i8* %Q <-> tail call void @llvm.memcpy.element.unordered.atomic.p0i8.p0i8.i64(i8* align 1 %P, i8* align 1 %Q, i64 12, i32 1)
38; CHECK: Both ModRef: Ptr: i8* %P <-> tail call void @llvm.memcpy.element.unordered.atomic.p0i8.p0i8.i64(i8* align 1 %P, i8* align 1 %Q, i64 12, i32 1)
39; CHECK: Both ModRef: Ptr: i8* %Q <-> tail call void @llvm.memcpy.element.unordered.atomic.p0i8.p0i8.i64(i8* align 1 %P, i8* align 1 %Q, i64 12, i32 1)
40; CHECK: Both ModRef: tail call void @llvm.memcpy.element.unordered.atomic.p0i8.p0i8.i64(i8* align 1 %P, i8* align 1 %Q, i64 12, i32 1) <-> tail call void @llvm.memcpy.element.unordered.atomic.p0i8.p0i8.i64(i8* align 1 %P, i8* align 1 %Q, i64 12, i32 1)
41; CHECK: Both ModRef: tail call void @llvm.memcpy.element.unordered.atomic.p0i8.p0i8.i64(i8* align 1 %P, i8* align 1 %Q, i64 12, i32 1) <-> tail call void @llvm.memcpy.element.unordered.atomic.p0i8.p0i8.i64(i8* align 1 %P, i8* align 1 %Q, i64 12, i32 1)
Daniel Neilson3a6c50f2018-05-29 19:23:50 +0000[diff] [blame]42}
43
Yichao Yu6fefc0d2017-11-02 12:18:33 +0000[diff] [blame]44define void @test2a(i8* noalias %P, i8* noalias %Q) #3 {
Daniel Neilson1e687242018-01-19 17:13:12 +0000[diff] [blame]45 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
46 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]47 ret void
48
49; CHECK-LABEL: Function: test2a:
50
51; CHECK: NoAlias: i8* %P, i8* %Q
Daniel Neilson1e687242018-01-19 17:13:12 +0000[diff] [blame]52; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
53; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
54; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
55; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
56; CHECK: Just Mod: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
57; CHECK: Just Mod: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]58}
59
Yichao Yu6fefc0d2017-11-02 12:18:33 +0000[diff] [blame]60define void @test2b(i8* noalias %P, i8* noalias %Q) #3 {
Daniel Neilson1e687242018-01-19 17:13:12 +0000[diff] [blame]61 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
David Blaikie79e6c742015-02-27 19:29:02 +0000[diff] [blame]62 %R = getelementptr i8, i8* %P, i64 12
Daniel Neilson1e687242018-01-19 17:13:12 +0000[diff] [blame]63 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]64 ret void
65
66; CHECK-LABEL: Function: test2b:
67
68; CHECK: NoAlias: i8* %P, i8* %Q
69; CHECK: NoAlias: i8* %P, i8* %R
70; CHECK: NoAlias: i8* %Q, i8* %R
Daniel Neilson1e687242018-01-19 17:13:12 +0000[diff] [blame]71; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
72; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
73; CHECK: NoModRef: Ptr: i8* %R <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
74; CHECK: NoModRef: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i1 false)
75; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i1 false)
76; CHECK: Just Mod: Ptr: i8* %R <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i1 false)
77; CHECK: NoModRef: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i1 false)
78; CHECK: NoModRef: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]79}
80
Yichao Yu6fefc0d2017-11-02 12:18:33 +0000[diff] [blame]81define void @test2c(i8* noalias %P, i8* noalias %Q) #3 {
Daniel Neilson1e687242018-01-19 17:13:12 +0000[diff] [blame]82 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
David Blaikie79e6c742015-02-27 19:29:02 +0000[diff] [blame]83 %R = getelementptr i8, i8* %P, i64 11
Daniel Neilson1e687242018-01-19 17:13:12 +0000[diff] [blame]84 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]85 ret void
86
87; CHECK-LABEL: Function: test2c:
88
89; CHECK: NoAlias: i8* %P, i8* %Q
90; CHECK: NoAlias: i8* %P, i8* %R
91; CHECK: NoAlias: i8* %Q, i8* %R
Daniel Neilson1e687242018-01-19 17:13:12 +0000[diff] [blame]92; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
93; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
94; CHECK: Just Mod: Ptr: i8* %R <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
95; CHECK: NoModRef: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i1 false)
96; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i1 false)
97; CHECK: Just Mod: Ptr: i8* %R <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i1 false)
98; CHECK: Just Mod: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i1 false)
99; CHECK: Just Mod: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]100}
101
Yichao Yu6fefc0d2017-11-02 12:18:33 +0000[diff] [blame]102define void @test2d(i8* noalias %P, i8* noalias %Q) #3 {
Daniel Neilson1e687242018-01-19 17:13:12 +0000[diff] [blame]103 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
David Blaikie79e6c742015-02-27 19:29:02 +0000[diff] [blame]104 %R = getelementptr i8, i8* %P, i64 -12
Daniel Neilson1e687242018-01-19 17:13:12 +0000[diff] [blame]105 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]106 ret void
107
108; CHECK-LABEL: Function: test2d:
109
110; CHECK: NoAlias: i8* %P, i8* %Q
111; CHECK: NoAlias: i8* %P, i8* %R
112; CHECK: NoAlias: i8* %Q, i8* %R
Daniel Neilson1e687242018-01-19 17:13:12 +0000[diff] [blame]113; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
114; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
115; CHECK: NoModRef: Ptr: i8* %R <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
116; CHECK: NoModRef: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i1 false)
117; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i1 false)
118; CHECK: Just Mod: Ptr: i8* %R <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i1 false)
119; CHECK: NoModRef: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i1 false)
120; CHECK: NoModRef: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]121}
122
Yichao Yu6fefc0d2017-11-02 12:18:33 +0000[diff] [blame]123define void @test2e(i8* noalias %P, i8* noalias %Q) #3 {
Daniel Neilson1e687242018-01-19 17:13:12 +0000[diff] [blame]124 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
David Blaikie79e6c742015-02-27 19:29:02 +0000[diff] [blame]125 %R = getelementptr i8, i8* %P, i64 -11
Daniel Neilson1e687242018-01-19 17:13:12 +0000[diff] [blame]126 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]127 ret void
128
129; CHECK-LABEL: Function: test2e:
130
131; CHECK: NoAlias: i8* %P, i8* %Q
132; CHECK: NoAlias: i8* %P, i8* %R
133; CHECK: NoAlias: i8* %Q, i8* %R
Daniel Neilson1e687242018-01-19 17:13:12 +0000[diff] [blame]134; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
135; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
136; CHECK: NoModRef: Ptr: i8* %R <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
137; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i1 false)
138; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i1 false)
139; CHECK: Just Mod: Ptr: i8* %R <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i1 false)
140; CHECK: Just Mod: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i1 false)
141; CHECK: Just Mod: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %Q, i64 12, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]142}
143
Yichao Yu6fefc0d2017-11-02 12:18:33 +0000[diff] [blame]144define void @test3(i8* %P, i8* %Q) #3 {
Daniel Neilson1e687242018-01-19 17:13:12 +0000[diff] [blame]145 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 8, i1 false)
146 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]147 ret void
148
149; CHECK-LABEL: Function: test3:
150
151; CHECK: MayAlias: i8* %P, i8* %Q
Florian Hahn1ddb3a32020-09-04 20:43:28 +0100[diff] [blame]152; CHECK: Both ModRef: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 8, i1 false)
153; CHECK: Both ModRef: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 8, i1 false)
154; CHECK: Both ModRef: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
155; CHECK: Both ModRef: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
156; CHECK: Both ModRef: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 8, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
157; CHECK: Both ModRef: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 8, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]158}
159
Yichao Yu6fefc0d2017-11-02 12:18:33 +0000[diff] [blame]160define void @test3a(i8* noalias %P, i8* noalias %Q) #3 {
Daniel Neilson1e687242018-01-19 17:13:12 +0000[diff] [blame]161 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 8, i1 false)
162 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]163 ret void
164
165; CHECK-LABEL: Function: test3a:
166
167; CHECK: NoAlias: i8* %P, i8* %Q
Daniel Neilson1e687242018-01-19 17:13:12 +0000[diff] [blame]168; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 8, i1 false)
169; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 8, i1 false)
170; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
171; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
172; CHECK: Just Mod: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 8, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
173; CHECK: Just Mod: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 8, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]174}
175
Yichao Yu6fefc0d2017-11-02 12:18:33 +0000[diff] [blame]176define void @test4(i8* %P, i8* noalias %Q) #3 {
Daniel Neilson1e687242018-01-19 17:13:12 +0000[diff] [blame]177 tail call void @llvm.memset.p0i8.i64(i8* %P, i8 42, i64 8, i1 false)
178 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]179 ret void
180
181; CHECK-LABEL: Function: test4:
182
183; CHECK: NoAlias: i8* %P, i8* %Q
Daniel Neilson1e687242018-01-19 17:13:12 +0000[diff] [blame]184; CHECK: Just Mod (MustAlias): Ptr: i8* %P <-> tail call void @llvm.memset.p0i8.i64(i8* %P, i8 42, i64 8, i1 false)
185; CHECK: NoModRef: Ptr: i8* %Q <-> tail call void @llvm.memset.p0i8.i64(i8* %P, i8 42, i64 8, i1 false)
186; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
187; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
188; CHECK: Just Mod: tail call void @llvm.memset.p0i8.i64(i8* %P, i8 42, i64 8, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
189; CHECK: Just Mod: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false) <-> tail call void @llvm.memset.p0i8.i64(i8* %P, i8 42, i64 8, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]190}
191
Yichao Yu6fefc0d2017-11-02 12:18:33 +0000[diff] [blame]192define void @test5(i8* %P, i8* %Q, i8* %R) #3 {
Daniel Neilson1e687242018-01-19 17:13:12 +0000[diff] [blame]193 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
194 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %R, i64 12, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]195 ret void
196
197; CHECK-LABEL: Function: test5:
198
199; CHECK: MayAlias: i8* %P, i8* %Q
200; CHECK: MayAlias: i8* %P, i8* %R
201; CHECK: MayAlias: i8* %Q, i8* %R
Florian Hahn1ddb3a32020-09-04 20:43:28 +0100[diff] [blame]202; CHECK: Both ModRef: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
203; CHECK: Both ModRef: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
Daniel Neilson1e687242018-01-19 17:13:12 +0000[diff] [blame]204; CHECK: Both ModRef: Ptr: i8* %R <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
Florian Hahn1ddb3a32020-09-04 20:43:28 +0100[diff] [blame]205; CHECK: Both ModRef: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %R, i64 12, i1 false)
Daniel Neilson1e687242018-01-19 17:13:12 +0000[diff] [blame]206; CHECK: Both ModRef: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %R, i64 12, i1 false)
Florian Hahn1ddb3a32020-09-04 20:43:28 +0100[diff] [blame]207; CHECK: Both ModRef: Ptr: i8* %R <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %R, i64 12, i1 false)
208; CHECK: Both ModRef: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %R, i64 12, i1 false)
209; CHECK: Both ModRef: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %R, i64 12, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]210}
211
Alina Sbirlea50db8a22017-12-21 21:41:53 +0000[diff] [blame]212define void @test5a(i8* noalias %P, i8* noalias %Q, i8* noalias %R) nounwind ssp {
Daniel Neilson1e687242018-01-19 17:13:12 +0000[diff] [blame]213 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
214 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %R, i64 12, i1 false)
Alina Sbirlea50db8a22017-12-21 21:41:53 +0000[diff] [blame]215 ret void
216
217; CHECK-LABEL: Function: test5a:
218
219; CHECK: NoAlias: i8* %P, i8* %Q
220; CHECK: NoAlias: i8* %P, i8* %R
221; CHECK: NoAlias: i8* %Q, i8* %R
Daniel Neilson1e687242018-01-19 17:13:12 +0000[diff] [blame]222; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
223; CHECK: Just Ref: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
224; CHECK: NoModRef: Ptr: i8* %R <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
225; CHECK: Just Mod: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %R, i64 12, i1 false)
226; CHECK: NoModRef: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %R, i64 12, i1 false)
227; CHECK: Just Ref: Ptr: i8* %R <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %R, i64 12, i1 false)
228; CHECK: Just Mod: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %R, i64 12, i1 false)
229; CHECK: Just Mod: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %R, i64 12, i1 false) <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false)
Alina Sbirlea50db8a22017-12-21 21:41:53 +0000[diff] [blame]230}
231
Yichao Yu6fefc0d2017-11-02 12:18:33 +0000[diff] [blame]232define void @test6(i8* %P) #3 {
Daniel Neilson1e687242018-01-19 17:13:12 +0000[diff] [blame]233 call void @llvm.memset.p0i8.i64(i8* align 8 %P, i8 -51, i64 32, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]234 call void @a_readonly_func(i8* %P)
235 ret void
236
237; CHECK-LABEL: Function: test6:
238
Daniel Neilson1e687242018-01-19 17:13:12 +0000[diff] [blame]239; CHECK: Just Mod (MustAlias): Ptr: i8* %P <-> call void @llvm.memset.p0i8.i64(i8* align 8 %P, i8 -51, i64 32, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]240; CHECK: Just Ref: Ptr: i8* %P <-> call void @a_readonly_func(i8* %P)
Daniel Neilson1e687242018-01-19 17:13:12 +0000[diff] [blame]241; CHECK: Just Mod: call void @llvm.memset.p0i8.i64(i8* align 8 %P, i8 -51, i64 32, i1 false) <-> call void @a_readonly_func(i8* %P)
242; CHECK: Just Ref: call void @a_readonly_func(i8* %P) <-> call void @llvm.memset.p0i8.i64(i8* align 8 %P, i8 -51, i64 32, i1 false)
Hal Finkel354e23b2014-07-17 01:28:25 +0000[diff] [blame]243}
244
Yichao Yu6fefc0d2017-11-02 12:18:33 +0000[diff] [blame]245define void @test7(i8* %P) #3 {
Nicolai Haehnle84c9f992016-07-04 08:01:29 +0000[diff] [blame]246 call void @a_writeonly_func(i8* %P)
247 call void @a_readonly_func(i8* %P)
248 ret void
249
250; CHECK-LABEL: Function: test7:
251
252; CHECK: Just Mod: Ptr: i8* %P <-> call void @a_writeonly_func(i8* %P)
253; CHECK: Just Ref: Ptr: i8* %P <-> call void @a_readonly_func(i8* %P)
254; CHECK: Just Mod: call void @a_writeonly_func(i8* %P) <-> call void @a_readonly_func(i8* %P)
255; CHECK: Just Ref: call void @a_readonly_func(i8* %P) <-> call void @a_writeonly_func(i8* %P)
256}
257
Yichao Yu6fefc0d2017-11-02 12:18:33 +0000[diff] [blame]258declare void @an_inaccessiblememonly_func() #4
259declare void @an_inaccessibleorargmemonly_func(i8*) #5
260declare void @an_argmemonly_func(i8*) #0
Igor Laevsky30143ae2015-08-13 17:40:04 +0000[diff] [blame]261
Andrew Kaylor9604f342016-11-08 21:07:42 +0000[diff] [blame]262define void @test8(i8* %p) {
263entry:
264 %q = getelementptr i8, i8* %p, i64 16
265 call void @a_readonly_func(i8* %p)
266 call void @an_inaccessiblememonly_func()
267 call void @a_writeonly_func(i8* %q)
268 call void @an_inaccessiblememonly_func()
269 call void @an_inaccessibleorargmemonly_func(i8* %q)
270 call void @an_argmemonly_func(i8* %q)
Justin Bognerb7132662017-05-13 00:12:52 +0000[diff] [blame]271 ret void
Andrew Kaylor9604f342016-11-08 21:07:42 +0000[diff] [blame]272
273; CHECK-LABEL: Function: test8
274; CHECK: NoModRef: Ptr: i8* %p <-> call void @an_inaccessiblememonly_func()
275; CHECK: NoModRef: Ptr: i8* %q <-> call void @an_inaccessiblememonly_func()
Nikita Popov4df8efc2020-11-17 20:11:09 +0100[diff] [blame^]276; CHECK: Both ModRef: Ptr: i8* %p <-> call void @an_inaccessibleorargmemonly_func(i8* %q)
Alina Sbirlea50db8a22017-12-21 21:41:53 +0000[diff] [blame]277; CHECK: Both ModRef (MustAlias): Ptr: i8* %q <-> call void @an_inaccessibleorargmemonly_func(i8* %q)
Nikita Popov4df8efc2020-11-17 20:11:09 +0100[diff] [blame^]278; CHECK: Both ModRef: Ptr: i8* %p <-> call void @an_argmemonly_func(i8* %q)
Alina Sbirlea50db8a22017-12-21 21:41:53 +0000[diff] [blame]279; CHECK: Both ModRef (MustAlias): Ptr: i8* %q <-> call void @an_argmemonly_func(i8* %q)
Andrew Kaylor9604f342016-11-08 21:07:42 +0000[diff] [blame]280; CHECK: Just Ref: call void @a_readonly_func(i8* %p) <-> call void @an_inaccessiblememonly_func()
281; CHECK: Just Ref: call void @a_readonly_func(i8* %p) <-> call void @an_inaccessibleorargmemonly_func(i8* %q)
282; CHECK: Just Ref: call void @a_readonly_func(i8* %p) <-> call void @an_argmemonly_func(i8* %q)
283; CHECK: Both ModRef: call void @an_inaccessiblememonly_func() <-> call void @a_readonly_func(i8* %p)
284; CHECK: Both ModRef: call void @an_inaccessiblememonly_func() <-> call void @a_writeonly_func(i8* %q)
285; CHECK: Both ModRef: call void @an_inaccessiblememonly_func() <-> call void @an_inaccessiblememonly_func()
286; CHECK: Both ModRef: call void @an_inaccessiblememonly_func() <-> call void @an_inaccessibleorargmemonly_func(i8* %q)
287; CHECK: NoModRef: call void @an_inaccessiblememonly_func() <-> call void @an_argmemonly_func(i8* %q)
288; CHECK: Just Mod: call void @a_writeonly_func(i8* %q) <-> call void @an_inaccessiblememonly_func()
289; CHECK: Just Mod: call void @a_writeonly_func(i8* %q) <-> call void @an_inaccessibleorargmemonly_func(i8* %q)
290; CHECK: Just Mod: call void @a_writeonly_func(i8* %q) <-> call void @an_argmemonly_func(i8* %q)
291; CHECK: Both ModRef: call void @an_inaccessibleorargmemonly_func(i8* %q) <-> call void @a_readonly_func(i8* %p)
292; CHECK: Both ModRef: call void @an_inaccessibleorargmemonly_func(i8* %q) <-> call void @a_writeonly_func(i8* %q)
293; CHECK: Both ModRef: call void @an_inaccessibleorargmemonly_func(i8* %q) <-> call void @an_inaccessiblememonly_func()
Alina Sbirlea50db8a22017-12-21 21:41:53 +0000[diff] [blame]294; CHECK: Both ModRef (MustAlias): call void @an_inaccessibleorargmemonly_func(i8* %q) <-> call void @an_argmemonly_func(i8* %q)
Andrew Kaylor9604f342016-11-08 21:07:42 +0000[diff] [blame]295; CHECK: Both ModRef: call void @an_argmemonly_func(i8* %q) <-> call void @a_readonly_func(i8* %p)
296; CHECK: Both ModRef: call void @an_argmemonly_func(i8* %q) <-> call void @a_writeonly_func(i8* %q)
297; CHECK: NoModRef: call void @an_argmemonly_func(i8* %q) <-> call void @an_inaccessiblememonly_func()
Alina Sbirlea50db8a22017-12-21 21:41:53 +0000[diff] [blame]298; CHECK: Both ModRef (MustAlias): call void @an_argmemonly_func(i8* %q) <-> call void @an_inaccessibleorargmemonly_func(i8* %q)
Andrew Kaylor9604f342016-11-08 21:07:42 +0000[diff] [blame]299}
Yichao Yu6fefc0d2017-11-02 12:18:33 +0000[diff] [blame]300
Alina Sbirlea50db8a22017-12-21 21:41:53 +0000[diff] [blame]301;; test that MustAlias is set for calls when no MayAlias is found.
302declare void @another_argmemonly_func(i8*, i8*) #0
303define void @test8a(i8* noalias %p, i8* noalias %q) {
304entry:
305 call void @another_argmemonly_func(i8* %p, i8* %q)
306 ret void
307
308; CHECK-LABEL: Function: test8a
309; CHECK: Both ModRef: Ptr: i8* %p <-> call void @another_argmemonly_func(i8* %p, i8* %q)
310; CHECK: Both ModRef: Ptr: i8* %q <-> call void @another_argmemonly_func(i8* %p, i8* %q)
311}
312define void @test8b(i8* %p, i8* %q) {
313entry:
314 call void @another_argmemonly_func(i8* %p, i8* %q)
315 ret void
316
317; CHECK-LABEL: Function: test8b
318; CHECK: Both ModRef: Ptr: i8* %p <-> call void @another_argmemonly_func(i8* %p, i8* %q)
319; CHECK: Both ModRef: Ptr: i8* %q <-> call void @another_argmemonly_func(i8* %p, i8* %q)
320}
321
322
Yichao Yu6fefc0d2017-11-02 12:18:33 +0000[diff] [blame]323;; test that unknown operand bundle has unknown effect to the heap
324define void @test9(i8* %p) {
325; CHECK-LABEL: Function: test9
326entry:
327 %q = getelementptr i8, i8* %p, i64 16
328 call void @a_readonly_func(i8* %p) [ "unknown"() ]
329 call void @an_inaccessiblememonly_func() [ "unknown"() ]
330 call void @an_inaccessibleorargmemonly_func(i8* %q) [ "unknown"() ]
331 call void @an_argmemonly_func(i8* %q) [ "unknown"() ]
332 ret void
333
334; CHECK: Both ModRef: Ptr: i8* %p <-> call void @a_readonly_func(i8* %p) [ "unknown"() ]
335; CHECK: Both ModRef: Ptr: i8* %q <-> call void @a_readonly_func(i8* %p) [ "unknown"() ]
336; CHECK: Both ModRef: Ptr: i8* %p <-> call void @an_inaccessiblememonly_func() [ "unknown"() ]
337; CHECK: Both ModRef: Ptr: i8* %q <-> call void @an_inaccessiblememonly_func() [ "unknown"() ]
338; CHECK: Both ModRef: Ptr: i8* %p <-> call void @an_inaccessibleorargmemonly_func(i8* %q) [ "unknown"() ]
339; CHECK: Both ModRef: Ptr: i8* %q <-> call void @an_inaccessibleorargmemonly_func(i8* %q) [ "unknown"() ]
340; CHECK: Both ModRef: Ptr: i8* %p <-> call void @an_argmemonly_func(i8* %q) [ "unknown"() ]
341; CHECK: Both ModRef: Ptr: i8* %q <-> call void @an_argmemonly_func(i8* %q) [ "unknown"() ]
342; CHECK: Both ModRef: call void @a_readonly_func(i8* %p) [ "unknown"() ] <-> call void @an_inaccessiblememonly_func() [ "unknown"() ]
343; CHECK: Both ModRef: call void @a_readonly_func(i8* %p) [ "unknown"() ] <-> call void @an_inaccessibleorargmemonly_func(i8* %q) [ "unknown"() ]
344; CHECK: Both ModRef: call void @a_readonly_func(i8* %p) [ "unknown"() ] <-> call void @an_argmemonly_func(i8* %q) [ "unknown"() ]
345; CHECK: Both ModRef: call void @an_inaccessiblememonly_func() [ "unknown"() ] <-> call void @a_readonly_func(i8* %p) [ "unknown"() ]
346; CHECK: Both ModRef: call void @an_inaccessiblememonly_func() [ "unknown"() ] <-> call void @an_inaccessibleorargmemonly_func(i8* %q) [ "unknown"() ]
347; CHECK: Both ModRef: call void @an_inaccessiblememonly_func() [ "unknown"() ] <-> call void @an_argmemonly_func(i8* %q) [ "unknown"() ]
348; CHECK: Both ModRef: call void @an_inaccessibleorargmemonly_func(i8* %q) [ "unknown"() ] <-> call void @a_readonly_func(i8* %p) [ "unknown"() ]
349; CHECK: Both ModRef: call void @an_inaccessibleorargmemonly_func(i8* %q) [ "unknown"() ] <-> call void @an_inaccessiblememonly_func() [ "unknown"() ]
350; CHECK: Both ModRef: call void @an_inaccessibleorargmemonly_func(i8* %q) [ "unknown"() ] <-> call void @an_argmemonly_func(i8* %q) [ "unknown"() ]
351; CHECK: Both ModRef: call void @an_argmemonly_func(i8* %q) [ "unknown"() ] <-> call void @a_readonly_func(i8* %p) [ "unknown"() ]
352; CHECK: Both ModRef: call void @an_argmemonly_func(i8* %q) [ "unknown"() ] <-> call void @an_inaccessiblememonly_func() [ "unknown"() ]
353; CHECK: Both ModRef: call void @an_argmemonly_func(i8* %q) [ "unknown"() ] <-> call void @an_inaccessibleorargmemonly_func(i8* %q) [ "unknown"() ]
354}
355
356;; test callsite overwrite of unknown operand bundle
357define void @test10(i8* %p) {
358; CHECK-LABEL: Function: test10
359entry:
360 %q = getelementptr i8, i8* %p, i64 16
361 call void @a_readonly_func(i8* %p) #6 [ "unknown"() ]
362 call void @an_inaccessiblememonly_func() #7 [ "unknown"() ]
363 call void @an_inaccessibleorargmemonly_func(i8* %q) #8 [ "unknown"() ]
364 call void @an_argmemonly_func(i8* %q) #9 [ "unknown"() ]
365 ret void
366
sstefan1fbfb1c72020-10-15 13:04:36 +0200[diff] [blame]367; CHECK: Just Ref: Ptr: i8* %p <-> call void @a_readonly_func(i8* %p) #9 [ "unknown"() ]
368; CHECK: Just Ref: Ptr: i8* %q <-> call void @a_readonly_func(i8* %p) #9 [ "unknown"() ]
369; CHECK: NoModRef: Ptr: i8* %p <-> call void @an_inaccessiblememonly_func() #10 [ "unknown"() ]
370; CHECK: NoModRef: Ptr: i8* %q <-> call void @an_inaccessiblememonly_func() #10 [ "unknown"() ]
Nikita Popov4df8efc2020-11-17 20:11:09 +0100[diff] [blame^]371; CHECK: Both ModRef: Ptr: i8* %p <-> call void @an_inaccessibleorargmemonly_func(i8* %q) #11 [ "unknown"() ]
sstefan1fbfb1c72020-10-15 13:04:36 +0200[diff] [blame]372; CHECK: Both ModRef (MustAlias): Ptr: i8* %q <-> call void @an_inaccessibleorargmemonly_func(i8* %q) #11 [ "unknown"() ]
Nikita Popov4df8efc2020-11-17 20:11:09 +0100[diff] [blame^]373; CHECK: Both ModRef: Ptr: i8* %p <-> call void @an_argmemonly_func(i8* %q) #12 [ "unknown"() ]
sstefan1fbfb1c72020-10-15 13:04:36 +0200[diff] [blame]374; CHECK: Both ModRef (MustAlias): Ptr: i8* %q <-> call void @an_argmemonly_func(i8* %q) #12 [ "unknown"() ]
375; CHECK: Just Ref: call void @a_readonly_func(i8* %p) #9 [ "unknown"() ] <-> call void @an_inaccessiblememonly_func() #10 [ "unknown"() ]
376; CHECK: Just Ref: call void @a_readonly_func(i8* %p) #9 [ "unknown"() ] <-> call void @an_inaccessibleorargmemonly_func(i8* %q) #11 [ "unknown"() ]
377; CHECK: Just Ref: call void @a_readonly_func(i8* %p) #9 [ "unknown"() ] <-> call void @an_argmemonly_func(i8* %q) #12 [ "unknown"() ]
378; CHECK: Both ModRef: call void @an_inaccessiblememonly_func() #10 [ "unknown"() ] <-> call void @a_readonly_func(i8* %p) #9 [ "unknown"() ]
379; CHECK: Both ModRef: call void @an_inaccessiblememonly_func() #10 [ "unknown"() ] <-> call void @an_inaccessibleorargmemonly_func(i8* %q) #11 [ "unknown"() ]
380; CHECK: NoModRef: call void @an_inaccessiblememonly_func() #10 [ "unknown"() ] <-> call void @an_argmemonly_func(i8* %q) #12 [ "unknown"() ]
381; CHECK: Both ModRef: call void @an_inaccessibleorargmemonly_func(i8* %q) #11 [ "unknown"() ] <-> call void @a_readonly_func(i8* %p) #9 [ "unknown"() ]
382; CHECK: Both ModRef: call void @an_inaccessibleorargmemonly_func(i8* %q) #11 [ "unknown"() ] <-> call void @an_inaccessiblememonly_func() #10 [ "unknown"() ]
383; CHECK: Both ModRef (MustAlias): call void @an_inaccessibleorargmemonly_func(i8* %q) #11 [ "unknown"() ] <-> call void @an_argmemonly_func(i8* %q) #12 [ "unknown"() ]
384; CHECK: Both ModRef: call void @an_argmemonly_func(i8* %q) #12 [ "unknown"() ] <-> call void @a_readonly_func(i8* %p) #9 [ "unknown"() ]
385; CHECK: NoModRef: call void @an_argmemonly_func(i8* %q) #12 [ "unknown"() ] <-> call void @an_inaccessiblememonly_func() #10 [ "unknown"() ]
386; CHECK: Both ModRef (MustAlias): call void @an_argmemonly_func(i8* %q) #12 [ "unknown"() ] <-> call void @an_inaccessibleorargmemonly_func(i8* %q) #11 [ "unknown"() ]
Yichao Yu6fefc0d2017-11-02 12:18:33 +0000[diff] [blame]387}
388
Florian Hahn0b21d552020-01-16 10:25:29 +0000[diff] [blame]389
sstefan1fbfb1c72020-10-15 13:04:36 +0200[diff] [blame]390; CHECK: attributes #0 = { argmemonly nofree nosync nounwind willreturn writeonly }
391; CHECK-NEXT: attributes #1 = { argmemonly nofree nosync nounwind willreturn }
392; CHECK-NEXT: attributes #2 = { argmemonly nounwind willreturn }
393; CHECK-NEXT: attributes #3 = { noinline nounwind readonly }
394; CHECK-NEXT: attributes #4 = { noinline nounwind writeonly }
395; CHECK-NEXT: attributes #5 = { nounwind ssp }
396; CHECK-NEXT: attributes #6 = { inaccessiblememonly nounwind }
397; CHECK-NEXT: attributes #7 = { inaccessiblemem_or_argmemonly nounwind }
398; CHECK-NEXT: attributes #8 = { argmemonly nounwind }
399; CHECK-NEXT: attributes #9 = { readonly }
400; CHECK-NEXT: attributes #10 = { inaccessiblememonly }
401; CHECK-NEXT: attributes #11 = { inaccessiblemem_or_argmemonly }
402; CHECK-NEXT: attributes #12 = { argmemonly }
Florian Hahn0b21d552020-01-16 10:25:29 +0000[diff] [blame]403
Yichao Yu6fefc0d2017-11-02 12:18:33 +0000[diff] [blame]404attributes #0 = { argmemonly nounwind }
405attributes #1 = { noinline nounwind readonly }
406attributes #2 = { noinline nounwind writeonly }
407attributes #3 = { nounwind ssp }
408attributes #4 = { inaccessiblememonly nounwind }
409attributes #5 = { inaccessiblemem_or_argmemonly nounwind }
410attributes #6 = { readonly }
411attributes #7 = { inaccessiblememonly }
412attributes #8 = { inaccessiblemem_or_argmemonly }
413attributes #9 = { argmemonly }