Home
last modified time | relevance | path

Searched refs:MustAlias (Results 1 – 25 of 56) sorted by relevance

123

/llvm-project-15.0.7/llvm/test/Analysis/MemorySSA/
H A Dprint-walker.ll8 ; CHECK: MemoryUse(1) MustAlias - clobbered by 1 = MemoryDef(liveOnEntry)->liveOnEntry
10 ; CHECK: MemoryUse(2) MustAlias - clobbered by 2 = MemoryDef(1)->liveOnEntry
14 ; CHECK: 4 = MemoryDef(3)->3 MustAlias - clobbered by 3 = MemoryDef(2)->liveOnEntry
16 ; CHECK: MemoryUse(4) MustAlias - clobbered by 4 = MemoryDef(3)->3 MustAlias
18 ; CHECK: MemoryUse(4) MustAlias - clobbered by 4 = MemoryDef(3)->3 MustAlias
H A Doptimize-use.ll21 ; NOLIMIT: MemoryUse(3) MustAlias
26 ; NOLIMIT: MemoryUse(4) MustAlias
31 ; NOLIMIT: MemoryUse(3) MustAlias
36 ; NOLIMIT: MemoryUse(4) MustAlias
H A Dvolatile-clobber.ll27 ; Trivially NoAlias/MustAlias
58 ; Trivially NoAlias/MustAlias
/llvm-project-15.0.7/llvm/test/Analysis/BasicAA/
H A Ddag.ll8 ; CHECK: MustAlias: i8* %base, i8* %phi
9 ; CHECK: MustAlias: i8* %phi, i8* %wwa
10 ; CHECK: MustAlias: i8* %phi, i8* %wwb
11 ; CHECK: MustAlias: i16* %bigbase, i8* %phi
H A Dindex-size.ll9 ; CHECK-NEXT: MustAlias: i8* %gep.1, i8* %ptr
10 ; CHECK-NEXT: MustAlias: i8* %gep.2, i8* %ptr
11 ; CHECK-NEXT: MustAlias: i8* %gep.1, i8* %gep.2
H A Dreturned.ll9 ; CHECK-DAG: MustAlias: %struct* %st, %struct* %sta
27 ; CHECK-DAG: MustAlias: i32* %y, %struct* %y_12
28 ; CHECK-DAG: MustAlias: i32* %y, i64* %y_8
29 ; CHECK-DAG: MustAlias: i32* %y, i80* %y_10
H A Dstruct-geps.ll25 ; CHECK-DAG: MustAlias: i32* %y, %struct* %y_12
26 ; CHECK-DAG: MustAlias: i32* %y, i64* %y_8
27 ; CHECK-DAG: MustAlias: i32* %y, i80* %y_10
75 ; CHECK-DAG: MustAlias: i32* %y, %struct* %y_12
76 ; CHECK-DAG: MustAlias: i32* %y, i64* %y_8
77 ; CHECK-DAG: MustAlias: i32* %y, i80* %y_10
114 ; CHECK-DAG: MustAlias: i32* %y, %struct* %y_12
115 ; CHECK-DAG: MustAlias: i32* %y, i64* %y_8
116 ; CHECK-DAG: MustAlias: i32* %y, i80* %y_10
203 ; CHECK-DAG: MustAlias: i32* %x, i32* %y
[all …]
H A Dgep-implicit-trunc-32-bit-pointers.ll12 ; CHECK-NEXT: MustAlias: i8* %gep.1, i8* %ptr
13 ; CHECK-NEXT: MustAlias: i8* %gep.2, i8* %ptr
14 ; CHECK-NEXT: MustAlias: i8* %gep.1, i8* %gep.2
26 ; CHECK: MustAlias: i8* %gep.1, i8* %gep.2
38 ; CHECK-NEXT: MustAlias: i8* %gep.1, i8* %ptr
H A Dinvariant_group.ll19 ; CHECK-DAG: MustAlias: %struct.A* %a, i8* %a.bitcast
22 ; CHECK-DAG: MustAlias: %struct.A* %a, i8* %a.laundered
23 ; CHECK-DAG: MustAlias: i8* %a.bitcast, i8* %a.laundered
27 ; CHECK-DAG: MustAlias: i8* %n, i8* %n.laundered
H A Dcall-attrs.ll35 ; CHECK: Just Ref (MustAlias): Ptr: i8* %p <-> call void @readonly_attr(i8* %p)
37 ; CHECK: Just Mod (MustAlias): Ptr: i8* %p <-> call void @writeonly_attr(i8* %p)
42 ; CHECK: Just Ref (MustAlias): Ptr: i8* %p <-> call void @func() [ "deopt"(i8* %p) ]
H A Dcs-cs-arm.ll22 ; CHECK: Just Ref (MustAlias): Ptr: i8* %p <-> %a = call <8 x i16> @llvm.arm.neon.vld1.v8i…
25 ; CHECK: Both ModRef (MustAlias): Ptr: i8* %q <-> call void @llvm.arm.neon.vst1.p0i8.v8i16(i8…
26 ; CHECK: Just Ref (MustAlias): Ptr: i8* %p <-> %b = call <8 x i16> @llvm.arm.neon.vld1.v8i…
H A Dvscale.ll6 ; CHECK-DAG: MustAlias: <vscale x 4 x i32>* %alloc, <vscale x 4 x i32>* %gep1
22 ; TODO: AliasResult for gep1,gep2 can be improved as MustAlias
35 ; CHECK-DAG: MustAlias: <vscale x 4 x i32>* %alloc, <vscale x 4 x i32>* %gep1
49 ; CHECK-DAG: MustAlias: <vscale x 4 x i32>* %alloc, <vscale x 4 x i32>* %gep1
50 ; CHECK-DAG: MustAlias: <vscale x 4 x i32>* %alloc, i32* %gep2
51 ; CHECK-DAG: MustAlias: <vscale x 4 x i32>* %gep1, i32* %gep2
123 ; CHECK-DAG: MustAlias: <vscale x 4 x i32>* %p, i32* %p2
141 ; CHECK-DAG: MustAlias: <vscale x 4 x i32>* %p, <vscale x 4 x float>* %p2
178 ; CHECK-DAG: MustAlias: i32* %a, <vscale x 4 x i32>* %p
H A Dphi-speculation.ll135 ; CHECK: MustAlias: i16* %z16, i8* %z8
156 ; CHECK: MustAlias: i8* %x.base, i4* %y.base
159 ; TODO: (x, y) could be MustAlias
183 ; CHECK: MustAlias: i8* %x.base, i16* %y.base
186 ; Even though the base pointers MustAlias, the different strides don't preserve
H A Dgep-decomposition-limit.ll5 ; CHECK-DAG: MustAlias: i8* %gep.add5, i8* %gep.inc5
9 ; CHECK-DAG: MustAlias: i8* %gep.add6, i8* %gep.inc6
H A D128-bit-ptr.ll34 ; CHECK-NOT: MustAlias:
55 ; CHECK: MustAlias:
H A Drecphi.ll39 ; CHECK: MustAlias: i8* %0, [2 x i32]* %tab
42 ; CHECK: MustAlias: i32* %arrayidx1, [2 x i32]* %tab
43 ; CHECK: MustAlias: i8* %0, i32* %arrayidx1
95 ; CHECK: MustAlias: i8* %0, [10 x i32]* %tab
96 ; CHECK: MustAlias: i32* %arrayidx, [10 x i32]* %tab
97 ; CHECK: MustAlias: i8* %0, i32* %arrayidx
231 ; CHECK: MustAlias: i32* %p.next, i32* %result
H A Dzext.ll236 ; CHECK: MustAlias: i8* %a, i8* %b
248 ; CHECK: MustAlias: float* %arrayidx, float* %arrayidx4.84
270 ; CHECK: MustAlias: i8* %p.1, i8* %p.2
284 ; CHECK: MustAlias: i8* %p.1, i8* %p.2
311 ; CHECK: MustAlias: i8* %p.1, i8* %p.2
H A Dcall-escape-source.ll8 ; CHECK-NEXT: MustAlias: i32* %a, i32* %p7
/llvm-project-15.0.7/mlir/test/Analysis/
H A Dtest-alias-analysis.mlir34 // CHECK-DAG: alloca_1#0 <-> func.region0.block1#0: MustAlias
35 // CHECK-DAG: alloca_1#0 <-> func.region0.block2#0: MustAlias
49 // CHECK-DAG: func.region0.block1#0 <-> func.region0.block2#0: MustAlias
67 // CHECK-DAG: alloca_1#0 <-> func.region0.block1#0: MustAlias
100 // CHECK-DAG: alloca_1#0 <-> if_alloca#0: MustAlias
110 // CHECK-DAG: alloc_1#0 <-> if_alloc#0: MustAlias
151 // CHECK-DAG: alloca_1#0 <-> for_alloca#0: MustAlias
153 // CHECK-DAG: alloca_1#0 <-> for_alloca.region0#1: MustAlias
164 // CHECK-DAG: for_alloca#0 <-> for_alloca.region0#1: MustAlias
196 // CHECK-DAG: alloca_1#0 <-> for_alloca#0: MustAlias
[all …]
/llvm-project-15.0.7/llvm/lib/Analysis/
H A DAliasAnalysis.cpp154 else if (Result == AliasResult::MustAlias) in alias()
264 IsMustAlias &= (ArgAlias == AliasResult::MustAlias); in getModRefInfo()
455 case AliasResult::MustAlias: in operator <<()
492 if (AR == AliasResult::MustAlias) in getModRefInfo()
524 if (AR == AliasResult::MustAlias) in getModRefInfo()
569 if (AR == AliasResult::MustAlias) in getModRefInfo()
638 if (AR == AliasResult::MustAlias) in getModRefInfo()
666 if (AR == AliasResult::MustAlias) in getModRefInfo()
760 if (AR != AliasResult::MustAlias) in callCapturesBefore()
/llvm-project-15.0.7/llvm/test/Analysis/ScalarEvolution/
H A Dscev-aa.ll155 ; CHECK-DAG: MustAlias: %struct.B* %C, i32* %Z
157 ; CHECK-DAG: MustAlias: i32* %X, i32* %Z
158 ; CHECK-DAG: MustAlias: %struct.B* %C, i32* %Y
159 ; CHECK-DAG: MustAlias: i32* %X, i32* %Y
181 ; CHECK-DAG: MustAlias: i32* %P, %struct.B* %R
183 ; CHECK-DAG: MustAlias: i32* %P, i32* %W
184 ; CHECK-DAG: MustAlias: %struct.B* %R, i32* %V
185 ; CHECK-DAG: MustAlias: i32* %V, i32* %W
/llvm-project-15.0.7/mlir/include/mlir/Analysis/
H A DAliasAnalysis.h41 MustAlias, enumerator
65 bool isMust() const { return kind == MustAlias; } in isMust()
/llvm-project-15.0.7/llvm/test/Analysis/GlobalsModRef/
H A Daddrspacecast.ll8 ; CHECK-DAG: MustAlias: i32* %gp, i32 addrspace(3)* @g0
/llvm-project-15.0.7/llvm/include/llvm/Analysis/
H A DAliasAnalysis.h106 MustAlias, enumerator
108 static_assert(MustAlias < (1 << AliasBits),
584 return alias(LocA, LocB) == AliasResult::MustAlias;
590 AliasResult::MustAlias;
986 return alias(LocA, LocB) == AliasResult::MustAlias;
991 AliasResult::MustAlias;
/llvm-project-15.0.7/mlir/lib/Analysis/
H A DAliasAnalysis.cpp41 case Kind::MustAlias: in print()

123