Home
last modified time | relevance | path

Searched refs:NoModRef (Results 1 – 25 of 33) sorted by relevance

12

/llvm-project-15.0.7/llvm/lib/Analysis/
H A DAliasAnalysis.cpp185 return ModRefInfo::NoModRef; in getArgModRefInfo()
214 return ModRefInfo::NoModRef; in getModRefInfo()
233 return ModRefInfo::NoModRef; in getModRefInfo()
240 return ModRefInfo::NoModRef; in getModRefInfo()
269 return ModRefInfo::NoModRef; in getModRefInfo()
299 return ModRefInfo::NoModRef; in getModRefInfo()
308 return ModRefInfo::NoModRef; in getModRefInfo()
312 return ModRefInfo::NoModRef; in getModRefInfo()
316 return ModRefInfo::NoModRef; in getModRefInfo()
330 return ModRefInfo::NoModRef; in getModRefInfo()
[all …]
H A DScopedNoAliasAA.cpp83 return ModRefInfo::NoModRef; in getModRefInfo()
87 return ModRefInfo::NoModRef; in getModRefInfo()
100 return ModRefInfo::NoModRef; in getModRefInfo()
104 return ModRefInfo::NoModRef; in getModRefInfo()
H A DGlobalsModRef.cpp140 static_cast<int>(ModRefInfo::NoModRef)); in globalClearMayReadAnyGlobal()
164 mayReadAnyGlobal() ? ModRefInfo::Ref : ModRefInfo::NoModRef; in getModRefInfoForGlobal()
903 return ModRefInfo::NoModRef; in getModRefInfoForArgument()
928 return ModRefInfo::NoModRef; in getModRefInfoForArgument()
950 return ModRefInfo::NoModRef; // No need to query other mod/ref analyses in getModRefInfo()
H A DBasicAliasAnalysis.cpp839 return ModRefInfo::NoModRef; in getArgModRefInfo()
898 return ModRefInfo::NoModRef; in getModRefInfo()
914 ModRefInfo Result = ModRefInfo::NoModRef; in getModRefInfo()
969 return ModRefInfo::NoModRef; in getModRefInfo()
985 return ModRefInfo::NoModRef; in getModRefInfo()
1000 ModRefInfo rv = ModRefInfo::NoModRef; in getModRefInfo()
1068 : ModRefInfo::NoModRef; in getModRefInfo()
1073 : ModRefInfo::NoModRef; in getModRefInfo()
H A DObjCARCAliasAnalysis.cpp127 return ModRefInfo::NoModRef; in getModRefInfo()
/llvm-project-15.0.7/llvm/test/Analysis/BasicAA/
H A Dcs-cs-arm.ll23 ; CHECK: NoModRef: Ptr: i8* %q <-> %a = call <8 x i16> @llvm.arm.neon.vld1.v8i16.p0i8(i8* …
24 ; CHECK: NoModRef: Ptr: i8* %p <-> call void @llvm.arm.neon.vst1.p0i8.v8i16(i8* %q, <8 x i…
27 ; CHECK: NoModRef: Ptr: i8* %q <-> %b = call <8 x i16> @llvm.arm.neon.vld1.v8i16.p0i8(i8* …
28 ; CHECK: NoModRef: %a = call <8 x i16> @llvm.arm.neon.vld1.v8i16.p0i8(i8* %p, i32 16) #{{[0-9]+}}…
29 ; CHECK: NoModRef: %a = call <8 x i16> @llvm.arm.neon.vld1.v8i16.p0i8(i8* %p, i32 16) #{{[0-9]+}}…
30 ; CHECK: NoModRef: call void @llvm.arm.neon.vst1.p0i8.v8i16(i8* %q, <8 x i16> %y, i32 16) <-> %…
31 ; CHECK: NoModRef: call void @llvm.arm.neon.vst1.p0i8.v8i16(i8* %q, <8 x i16> %y, i32 16) <-> %…
32 ; CHECK: NoModRef: %b = call <8 x i16> @llvm.arm.neon.vld1.v8i16.p0i8(i8* %p, i32 16) #{{[0-9]+}}…
33 ; CHECK: NoModRef: %b = call <8 x i16> @llvm.arm.neon.vld1.v8i16.p0i8(i8* %p, i32 16) #{{[0-9]+}}…
H A Dargs-rets-allocas-loads.ll177 ; CHECK-NEXT: NoModRef: Ptr: double* %noalias_arg_a0 <-> %normal_ret_a0 = call double* @normal_re…
178 ; CHECK-NEXT: NoModRef: Ptr: double* %noalias_arg_a1 <-> %normal_ret_a0 = call double* @normal_re…
185 ; CHECK-NEXT: NoModRef: Ptr: double* %noalias_ret_a0 <-> %normal_ret_a0 = call double* @normal_re…
241 ; CHECK-NEXT: NoModRef: Ptr: double* %noalias_arg_a0 <-> call void @callee(double* %escape_alloca…
242 ; CHECK-NEXT: NoModRef: Ptr: double* %noalias_arg_a1 <-> call void @callee(double* %escape_alloca…
249 ; CHECK-NEXT: NoModRef: Ptr: double* %noalias_ret_a0 <-> call void @callee(double* %escape_alloca…
250 ; CHECK-NEXT: NoModRef: Ptr: double* %noalias_ret_a1 <-> call void @callee(double* %escape_alloca…
257 ; CHECK-NEXT: NoModRef: Ptr: double* %noalias_arg_a0 <-> call void @callee(double* %escape_alloca…
258 ; CHECK-NEXT: NoModRef: Ptr: double* %noalias_arg_a1 <-> call void @callee(double* %escape_alloca…
265 ; CHECK-NEXT: NoModRef: Ptr: double* %noalias_ret_a0 <-> call void @callee(double* %escape_alloca…
[all …]
H A Dassume.ll17 ; CHECK: NoModRef: Ptr: i8* %P <-> tail call void @llvm.assume(i1 true)
18 ; CHECK: NoModRef: Ptr: i8* %Q <-> tail call void @llvm.assume(i1 true)
21 ; CHECK: NoModRef: tail call void @llvm.assume(i1 true) <-> tail call void @llvm.memcpy.p0i8.p0…
22 ; CHECK: NoModRef: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false) <-…
36 ; CHECK: NoModRef: Ptr: i8* %P <-> tail call void @llvm.assume(i1 true) [ "nonnull"(i8* %P) ]
37 ; CHECK: NoModRef: Ptr: i8* %Q <-> tail call void @llvm.assume(i1 true) [ "nonnull"(i8* %P) ]
40 ; CHECK: NoModRef: tail call void @llvm.assume(i1 true) [ "nonnull"(i8* %P) ] <-> tail call voi…
41 ; CHECK: NoModRef: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false) <-…
H A Dinvariant_group.ll29 ; CHECK-DAG: NoModRef: Ptr: %struct.A* %a <-> %a.laundered = call i8* @llvm.launder.invariant.group…
30 ; CHECK-DAG: NoModRef: Ptr: i8* %a.bitcast <-> %a.laundered = call i8* @llvm.launder.invariant.grou…
31 ; CHECK-DAG: NoModRef: Ptr: i8* %n <-> %a.laundered = call i8* @llvm.launder.invariant.group.p0i8(i…
32 ; CHECK-DAG: NoModRef: Ptr: i8* %a.laundered <-> %a.laundered = call i8* @llvm.launder.invariant.gr…
33 ; CHECK-DAG: NoModRef: Ptr: i8* %n.laundered <-> %a.laundered = call i8* @llvm.launder.invariant.gr…
H A Dnoalias-scope-decl.ll17 ; CHECK: NoModRef: Ptr: i8* %P <-> tail call void @llvm.experimental.noalias.scope.decl(metadata …
18 ; CHECK: NoModRef: Ptr: i8* %Q <-> tail call void @llvm.experimental.noalias.scope.decl(metadata …
21 ; CHECK: NoModRef: tail call void @llvm.experimental.noalias.scope.decl(metadata !0) <-> tail c…
22 ; CHECK: NoModRef: tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, i64 12, i1 false) <-…
H A Dlibfuncs.ll7 ; CHECK-NEXT: NoModRef: Ptr: i8* %a.gep.5 <-> %res = tail call i32 @memcmp(i8* %a, i8* %b, i64 4)
9 ; CHECK-NEXT: NoModRef: Ptr: i8* %b.gep.5 <-> %res = tail call i32 @memcmp(i8* %a, i8* %b, i64 4)
56 ; CHECK-NEXT: NoModRef: Ptr: i8* %a.gep.5 <-> %res = tail call i32 @bcmp(i8* %a, i8* %b, i64 4)
58 ; CHECK-NEXT: NoModRef: Ptr: i8* %b.gep.5 <-> %res = tail call i32 @bcmp(i8* %a, i8* %b, i64 4)
103 ; CHECK-NEXT: NoModRef: Ptr: i8* %a.gep.5 <-> %res = call i8* @memchr(i8* %a, i32 42, i64 4)
147 ; CHECK: NoModRef: Ptr: i8* %a <-> %res = tail call i8* @strcat(i8* %a.gep.1, i8* %b.gep.1)
148 ; CHECK-NEXT: NoModRef: Ptr: i8* %b <-> %res = tail call i8* @strcat(i8* %a.gep.1, i8* %b.gep.1)
203 ; CHECK: NoModRef: Ptr: i8* %a <-> %res = tail call i8* @strcpy(i8* %a.gep.1, i8* %b.gep.1)
204 ; CHECK-NEXT: NoModRef: Ptr: i8* %b <-> %res = tail call i8* @strcpy(i8* %a.gep.1, i8* %b.gep.1)
235 ; CHECK-NEXT: NoModRef: Ptr: i8* %a.gep.5 <-> %res = tail call i8* @strncpy(i8* %a, i8* %b, i64 …
[all …]
H A Dgetmodrefinfo-cs-cs.ll15 ; CHECK: NoModRef: call void @llvm.memset.p0i8.i64(i8* @A, i8 0, i64 1, i1 false) <-> call void…
16 ; CHECK: NoModRef: call void @llvm.memset.p0i8.i64(i8* @B, i8 0, i64 1, i1 false) <-> call void…
H A Dlibfuncs-darwin.ll12 ; CHECK-NEXT: NoModRef: Ptr: i8* %a.gep.17 <-> call void @memset_pattern4(i8* %a, i8* %pattern, …
14 ; CHECK-NEXT: NoModRef: Ptr: i8* %pattern.gep.4 <-> call void @memset_pattern4(i8* %a, i8* %patt…
55 ; CHECK-NEXT: NoModRef: Ptr: i8* %a.gep.17 <-> call void @memset_pattern8(i8* %a, i8* %pattern, …
57 ; CHECK-NEXT: NoModRef: Ptr: i8* %pattern.gep.8 <-> call void @memset_pattern8(i8* %a, i8* %patt…
98 ; CHECK-NEXT: NoModRef: Ptr: i8* %a.gep.17 <-> call void @memset_pattern16(i8* %a, i8* %pattern,…
100 ; CHECK-NEXT: NoModRef: Ptr: i8* %pattern.gep.16 <-> call void @memset_pattern16(i8* %a, i8* %pa…
H A Dcs-cs.ll82 ; CHECK: NoModRef: Ptr: i8* %R <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %…
83 ; CHECK: NoModRef: Ptr: i8* %P <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %R, i8* %…
209 ; CHECK: NoModRef: Ptr: i8* %Q <-> tail call void @llvm.memset.p0i8.i64(i8* %P, i8 42, i64…
254 ; CHECK: NoModRef: Ptr: i8* %R <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %Q, …
256 ; CHECK: NoModRef: Ptr: i8* %Q <-> tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %P, i8* %R, …
308 ; CHECK: NoModRef: Ptr: i8* %p <-> call void @an_inaccessiblememonly_func()
309 ; CHECK: NoModRef: Ptr: i8* %q <-> call void @an_inaccessiblememonly_func()
321 ; CHECK: NoModRef: call void @an_inaccessiblememonly_func() <-> call void @an_argmemonly_func(i8* %…
331 ; CHECK: NoModRef: call void @an_argmemonly_func(i8* %q) <-> call void @an_inaccessiblememonly_func…
411 ; CHECK: NoModRef: Ptr: i8* %p <-> call void @an_inaccessiblememonly_func() #10 [ "unknown…
[all …]
H A Dcall-attrs.ll39 ; CHECK: NoModRef: Ptr: i8* %p <-> call void @readnone_attr(i8* %p)
40 ; CHECK: NoModRef: Ptr: i8* %p <-> call void @readnone_func(i8* %p)
H A Dguards.ll30 ; CHECK: NoModRef: tail call void (i1, ...) @llvm.experimental.guard(i1 true) [ "deopt"() ] <-> …
31 ; CHECK: NoModRef: tail call void @unknown_but_readonly() <-> tail call void (i1, ...) @llvm.e…
H A Datomic-memory-intrinsics.ll9 ; CHECK-NEXT: NoModRef: Ptr: i8* %a.gep.5 <-> call void @llvm.memset.element.unordered.atomic.p0…
44 ; CHECK-NEXT: NoModRef: Ptr: i8* %a.gep.5 <-> call void @llvm.memcpy.element.unordered.atomic.p0…
46 ; CHECK-NEXT: NoModRef: Ptr: i8* %b.gep.5 <-> call void @llvm.memcpy.element.unordered.atomic.p0…
94 ; CHECK-NEXT: NoModRef: Ptr: i8* %a.gep.5 <-> call void @llvm.memmove.element.unordered.atomic.p…
96 ; CHECK-NEXT: NoModRef: Ptr: i8* %b.gep.5 <-> call void @llvm.memmove.element.unordered.atomic.p…
/llvm-project-15.0.7/mlir/test/Analysis/
H A Dtest-alias-analysis-modref.mlir4 // CHECK: alloc -> func.region0#0: NoModRef
5 // CHECK: dealloc -> func.region0#0: NoModRef
6 // CHECK: return -> func.region0#0: NoModRef
19 // CHECK-DAG: store -> func.region0#0: NoModRef
20 // CHECK-DAG: load -> func.region0#0: NoModRef
48 // TODO: This is provably NoModRef, but requires handling recursive side
/llvm-project-15.0.7/llvm/test/Analysis/CFLAliasAnalysis/Andersen/
H A Dinterproc-ret-deref-arg.ll20 ; NoModRef: Ptr: i32* %a <-> %c = call i32* @return_deref_arg_callee(i32** %p)
21 ; NoModRef: Ptr: i32* %b <-> %c = call i32* @return_deref_arg_callee(i32** %p)
23 ; NoModRef: Ptr: i32* %c <-> %c = call i32* @return_deref_arg_callee(i32** %p)
24 ; NoModRef: Ptr: i32* %lp <-> %c = call i32* @return_deref_arg_callee(i32** %p)
H A Dinterproc-ret-arg.ll15 ; NoModRef: Ptr: i32* %a <-> %c = call i32* @return_arg_callee(i32* %a, i32* %b)
16 ; NoModRef: Ptr: i32* %b <-> %c = call i32* @return_arg_callee(i32* %a, i32* %b)
17 ; NoModRef: Ptr: i32* %c <-> %c = call i32* @return_arg_callee(i32* %a, i32* %b)
H A Dinterproc-store-arg.ll21 ; NoModRef: Ptr: i32* %a <-> call void @store_arg_callee(i32** %p, i32* %b)
24 ; NoModRef: Ptr: i32** %q <-> call void @store_arg_callee(i32** %p, i32* %b)
/llvm-project-15.0.7/mlir/include/mlir/Analysis/
H A DAliasAnalysis.h96 NoModRef = 0, enumerator
111 static ModRefResult getNoModRef() { return Kind::NoModRef; } in getNoModRef()
126 LLVM_NODISCARD bool isNoModRef() const { return kind == Kind::NoModRef; } in isNoModRef()
139 LLVM_NODISCARD bool isModOrRef() const { return kind != Kind::NoModRef; } in isModOrRef()
/llvm-project-15.0.7/llvm/include/llvm/Analysis/
H A DAliasAnalysis.h162 NoModRef = 4, enumerator
164 Ref = NoModRef | MustRef,
166 Mod = NoModRef | MustMod,
203 return !(static_cast<int>(MRI) & static_cast<int>(ModRefInfo::NoModRef)); in isMustSet()
230 static_cast<int>(ModRefInfo::NoModRef)); in clearMust()
269 FMRL_Nowhere | static_cast<int>(ModRefInfo::NoModRef),
/llvm-project-15.0.7/mlir/lib/Analysis/
H A DAliasAnalysis.cpp53 case Kind::NoModRef: in print()
/llvm-project-15.0.7/llvm/test/Analysis/CFLAliasAnalysis/Steensgaard/
H A Dinterproc-ret-arg.ll15 ; NoModRef: Ptr: i32* %b <-> %c = call i32* @return_arg_callee(i32* %a, i32* %b)

12