| /llvm-project-15.0.7/llvm/test/Analysis/CFLAliasAnalysis/Andersen/ |
| H A D | attrs-below.ll | 7 ; CHECK-DAG: MayAlias: i64*** %p, i64* %q 12 ; CHECK-DAG: MayAlias: i64* %q, i64* %unknown 14 ; CHECK-DAG: MayAlias: i64** %pdrf, i64* %q 15 ; CHECK-DAG: MayAlias: i64* %esc, i64** %pdrf 17 ; CHECK-DAG: MayAlias: i64* %pdrf2, i64* %q 38 ; CHECK-DAG: MayAlias: i64* %q, i64** %sel 42 ; CHECK-DAG: MayAlias: i64** %c, i64*** %p 43 ; CHECK-DAG: MayAlias: i64** %c, i64* %q 44 ; CHECK-DAG: MayAlias: i64** %a, i64** %c 48 ; CHECK-DAG: MayAlias: i64* %d, i64*** %p [all …]
|
| H A D | attrs.ll | 7 ; CHECK: MayAlias: i32* %a, i32* %aAlias 22 ; CHECK-DAG: MayAlias: i32* %a, i32* %xload 23 ; CHECK-DAG: MayAlias: i32* %a, i32* %gload 24 ; CHECK-DAG: MayAlias: i32* %gload, i32* %xload 25 ; CHECK-DAG: MayAlias: i32** %x, i32** @ext_global 43 ; CHECK-DAG: MayAlias: i32* %c, i32* %x 44 ; CHECK-DAG: MayAlias: i32** %a, i32* %c 59 ; CHECK-DAG: MayAlias: i32* %c, i32* %x 73 ; CHECK-DAG: MayAlias: i32* %c, i32* %x 88 ; CHECK: MayAlias: i32* %c, i32* %x [all …]
|
| H A D | interproc-ret-deref-arg-multilevel.ll | 13 ; CHECK: MayAlias: i32* %a, i32* %c 17 ; CHECK: MayAlias: i32** %lpp, i32** %p 20 ; CHECK: MayAlias: i32* %a, i32* %lpp_deref 23 ; CHECK: MayAlias: i32* %a, i32* %lp 27 ; CHECK: MayAlias: i32* %c, i32* %lp 29 ; CHECK: MayAlias: i32* %lp, i32* %lpp_deref
|
| H A D | interproc-store-arg-multilevel.ll | 19 ; CHECK: MayAlias: i32** %lpp, i32** %p 20 ; CHECK: MayAlias: i32* %a, i32* %lpp_deref 21 ; CHECK: MayAlias: i32* %b, i32* %lpp_deref 25 ; CHECK: MayAlias: i32* %a, i32* %lp 28 ; CHECK: MayAlias: i32* %lp, i32* %lpp_deref
|
| H A D | assign2.ll | 10 ; CHECK: MayAlias: i64* %a, i32* %e 11 ; CHECK: MayAlias: i32* %b, i32* %e 12 ; CHECK: MayAlias: i32* %c, i32* %e 13 ; CHECK: MayAlias: i32* %d, i32* %e
|
| H A D | assign.ll | 11 ; CHECK: MayAlias: i64* %a, i32* %e 12 ; CHECK: MayAlias: i64* %b, i32* %e 13 ; CHECK: MayAlias: i32* %c, i32* %e 14 ; CHECK: MayAlias: i32* %d, i32* %e
|
| /llvm-project-15.0.7/llvm/test/Analysis/BasicAA/ |
| H A D | vscale.ll | 80 ; CHECK-DAG: MayAlias: i32* %gep1, i32* %gep2 125 ; CHECK-DAG: MayAlias: i32* %gep1, i32* %p2 127 ; CHECK-DAG: MayAlias: i32* %gep1, i32* %gep2 162 ; CHECK-DAG: MayAlias: i32* %a, i32* %gep 179 ; CHECK-DAG: MayAlias: i32* %a, i32* %gep 197 ; CHECK-DAG: MayAlias: i32* %a, i32* %gep 220 ; CHECK-DAG: MayAlias: i32* %a, i32* %gep 221 ; CHECK-DAG: MayAlias: i32* %a, i32* %gep_rec_1 222 ; CHECK-DAG: MayAlias: i32* %a, i32* %gep_rec_2 223 ; CHECK-DAG: MayAlias: i32* %a, i32* %gep_rec_3 [all …]
|
| H A D | struct-geps.ll | 9 ; CHECK-DAG: MayAlias: %struct* %st, i32* %x 10 ; CHECK-DAG: MayAlias: %struct* %st, i32* %y 11 ; CHECK-DAG: MayAlias: %struct* %st, i32* %z 18 ; CHECK-DAG: MayAlias: i32* %x, %struct* %y_12 19 ; CHECK-DAG: MayAlias: i32* %x, i80* %y_10 22 ; CHECK-DAG: MayAlias: i64* %y_8, i32* %z 48 ; CHECK: MayAlias: i32* %x, i32* %y 69 ; CHECK-DAG: MayAlias: i32* %x, i80* %y_10 72 ; CHECK-DAG: MayAlias: i64* %y_8, i32* %z 169 ; CHECK-DAG: MayAlias: i32* %x, i32* %x2 [all …]
|
| H A D | returned.ll | 11 ; CHECK-DAG: MayAlias: %struct* %st, i32* %x 12 ; CHECK-DAG: MayAlias: %struct* %st, i32* %y 13 ; CHECK-DAG: MayAlias: %struct* %st, i32* %z 19 ; CHECK-DAG: MayAlias: %struct* %st, %struct* %y_12 20 ; CHECK-DAG: MayAlias: i32* %x, %struct* %y_12 21 ; CHECK-DAG: MayAlias: i32* %x, i80* %y_10 23 ; CHECK-DAG: MayAlias: %struct* %st, i64* %y_8 24 ; CHECK-DAG: MayAlias: i64* %y_8, i32* %z
|
| H A D | negoffset.ll | 10 ; CHECK-DAG: MayAlias: i32* %alloca, i32* %p0 24 ; CHECK-DAG: MayAlias: i32* %arg, i32* %p0 25 ; CHECK-DAG: MayAlias: i32* %arg, i32* %p1 38 ; CHECK-DAG: MayAlias: i32* %p0, i32* @gv 51 ; CHECK-DAG: MayAlias: i32* %f0, i32* %p0 52 ; CHECK-DAG: MayAlias: i32* %f1, i32* %p0 54 ; CHECK-DAG: MayAlias: i32* %f1, i32* %p1 103 ; CHECK-DAG: MayAlias: i32* %alloca, i32* %pi20 105 ; CHECK-DAG: MayAlias: i32* %a3, i32* %pij1 161 ; CHECK: MayAlias: i32* %alloca, i8* %p0 [all …]
|
| H A D | recphi.ll | 50 ; CHECK: MayAlias: i8* %0, i32* %p.addr.05.i 106 ; CHECK: MayAlias: i8* %0, i32* %p.addr.05.i 155 ; CHECK: MayAlias: i16* %_tmp1, i16* %_tmp7 160 ; CHECK: MayAlias: i16* %_tmp11, i16* %_tmp7 200 ; CHECK: MayAlias: i8* %p, i8* %p.base 202 ; CHECK: MayAlias: i8* %p.base, i8* %p.next 204 ; CHECK: MayAlias: i8* %p, i8* %p.next 226 ; CHECK: MayAlias: i32* %p, i32* %p.base 290 ; CHECK: MayAlias: i8* %a, i8* %p.inner 360 ; CHECK: MayAlias: i8* %a, i8* %p2 [all …]
|
| H A D | gep-modulo.ll | 8 ; CHECK-NEXT: MayAlias: i8* %gep.idx, [16 x i8]* %ptr 10 ; CHECK-NEXT: MayAlias: i8* %gep.6, i8* %gep.idx 24 ; CHECK-NEXT: MayAlias: i8* %gep.idx, [16 x i8]* %ptr 43 ; CHECK-NEXT: MayAlias: i8* %gep.3, i8* %gep.idx 77 ; CHECK-NEXT: MayAlias: i8* %gep.3, i8* %gep.idx 125 ; CHECK-NEXT: MayAlias: i8* %gep.3, i8* %gep.idx 176 ; CHECK-NEXT: MayAlias: i8* %gep.3, i8* %gep.idx 209 ; CHECK-NEXT: MayAlias: i8* %gep.3, i8* %gep.idx 302 ; CHECK-NEXT: MayAlias: i8* %bc, i8* %gep.idx 303 ; CHECK-NEXT: MayAlias: i8* %gep.1, i8* %gep.idx [all …]
|
| H A D | range.ll | 17 ; CHECK: MayAlias: i32* %gep1, i32* %gep2 28 ; CHECK: MayAlias: i32* %gep1, i32* %gep2 121 ; CHECK: MayAlias: i32* %gep1, i32* %gep2 149 ; CHECK: MayAlias: i32* %gep1, i32* %gep2 178 ; CHECK: MayAlias: i32* %gep1, i32* %gep2 201 ; CHECK: MayAlias: i32* %p, i32* %p.01 202 ; CHECK: MayAlias: i32* %p, i32* %p.02 205 ; CHECK: MayAlias: i32* %p.02, i32* %p.2 226 ; CHECK: MayAlias: i8* %p, i8* %p.o 227 ; CHECK: MayAlias: i8* %p.neg1, i8* %p.o [all …]
|
| H A D | bug.23626.ll | 6 ; CHECK: MayAlias: i32* %arrayidx8, i32* %out 8 ; CHECK: MayAlias: i32* %arrayidx11, i32* %arrayidx8 10 ; CHECK: MayAlias: i32* %arrayidx14, i32* %arrayidx8 11 ; CHECK: MayAlias: i32* %arrayidx11, i32* %arrayidx14 29 ; CHECK: MayAlias: i32* %arrayidx11, i32* %out.addr
|
| H A D | args-rets-allocas-loads.ll | 52 ; CHECK-NEXT: MayAlias: double** %indirect_a0, double* %loaded_a0 56 ; CHECK-NEXT: MayAlias: double* %loaded_a0, double* %loaded_a1 57 ; CHECK-NEXT: MayAlias: double* %arg_a0, double** %indirect_a0 58 ; CHECK-NEXT: MayAlias: double* %arg_a0, double** %indirect_a1 59 ; CHECK-NEXT: MayAlias: double* %arg_a0, double* %loaded_a0 60 ; CHECK-NEXT: MayAlias: double* %arg_a0, double* %loaded_a1 61 ; CHECK-NEXT: MayAlias: double* %arg_a1, double** %indirect_a0 62 ; CHECK-NEXT: MayAlias: double* %arg_a1, double** %indirect_a1 63 ; CHECK-NEXT: MayAlias: double* %arg_a1, double* %loaded_a0 64 ; CHECK-NEXT: MayAlias: double* %arg_a1, double* %loaded_a1 [all …]
|
| /llvm-project-15.0.7/mlir/test/Analysis/ |
| H A D | test-alias-analysis.mlir | 4 // CHECK-DAG: func.region0#0 <-> func.region0#1: MayAlias 74 // CHECK-DAG: alloc_1#0 <-> func.region0.block2#0: MayAlias 101 // CHECK-DAG: alloca_1#0 <-> if_alloca_merge#0: MayAlias 105 // CHECK-DAG: alloca_2#0 <-> if_alloca_merge#0: MayAlias 112 // CHECK-DAG: if_alloca#0 <-> if_alloca_merge#0: MayAlias 242 // CHECK-DAG: constant_1#0 <-> constant_2#0: MayAlias 243 // CHECK-DAG: constant_1#0 <-> constant_3#0: MayAlias 244 // CHECK-DAG: constant_1#0 <-> func.region0#0: MayAlias 246 // CHECK-DAG: constant_2#0 <-> constant_3#0: MayAlias 247 // CHECK-DAG: constant_2#0 <-> func.region0#0: MayAlias [all …]
|
| /llvm-project-15.0.7/llvm/test/CodeGen/AMDGPU/ |
| H A D | amdgpu-alias-analysis.ll | 14 ; CHECK: MayAlias: i8 addrspace(4)* %p, i8 addrspace(1)* %p1 46 ; CHECK: MayAlias: i8* %p, i8 addrspace(999)* %p0 53 ; CHECK: MayAlias: i8 addrspace(999)* %p, i8* %p1 60 ; CHECK: MayAlias: i8 addrspace(1)* %p, i8 addrspace(999)* %p1 88 ; CHECK: MayAlias: i8 addrspace(2)* %p, i8 addrspace(2)* %p1 123 ; CHECK: MayAlias: i8 addrspace(7)* %p, i8* %p1 184 ; CHECK-DAG: MayAlias: i8* %p1, i8* addrspace(4)* @cst 195 ; CHECK-DAG: MayAlias: i8* %p1, i8* addrspace(4)* @cst 213 ; CHECK: MayAlias: i8* %p, i8 addrspace(5)* %p1 238 ; CHECK: MayAlias: i8* %p, i8 addrspace(3)* %p1 [all …]
|
| /llvm-project-15.0.7/llvm/test/Analysis/CFLAliasAnalysis/Steensgaard/ |
| H A D | attr-escape.ll | 7 ; CHECK: MayAlias: i32* %a, i32* %aAlias 22 ; CHECK-DAG: MayAlias: i32* %a, i32* %xload 23 ; CHECK-DAG: MayAlias: i32* %a, i32* %gload 24 ; CHECK-DAG: MayAlias: i32* %gload, i32* %xload 25 ; CHECK-DAG: MayAlias: i32** %x, i32** @ext_global 43 ; CHECK-DAG: MayAlias: i32* %c, i32* %x 44 ; CHECK-DAG: MayAlias: i32** %a, i32* %c 59 ; CHECK-DAG: MayAlias: i32* %c, i32* %x 73 ; CHECK-DAG: MayAlias: i32* %c, i32* %x 88 ; CHECK-DAG: MayAlias: i32* %c, i32* %x [all …]
|
| H A D | const-expr-gep.ll | 12 ; TODO: Quite a few of these are MayAlias because we don't yet consider 17 ; CHECK: MayAlias: i32* %D, i32* %F 18 ; CHECK: MayAlias: i32* %D, i8* %X 19 ; CHECK: MayAlias: i32* %F, i8* %X 32 ; CHECK: MayAlias: i32* %F, i32* %arg0 33 ; CHECK: MayAlias: i32* %H, i32* %arg0 34 ; CHECK: MayAlias: i32* %F, i32* %H 49 ; CHECK: MayAlias: i32* %A, i32* %arg0
|
| H A D | const-exprs.ll | 12 ; CHECK-DAG: MayAlias: i32* %b, i32* select (i1 icmp ne (i32* @g, i32* null), i32* @g2, i32* @g3) 14 ; CHECK-DAG: MayAlias: i32* @g2, i32* select (i1 icmp ne (i32* @g, i32* null), i32* @g2, i32* @g3) 15 ; CHECK-DAG: MayAlias: i32* %b, i32* @g2 17 ; CHECK-DAG: MayAlias: i32* @g3, i32* select (i1 icmp ne (i32* @g, i32* null), i32* @g2, i32* @g3) 18 ; CHECK-DAG: MayAlias: i32* %b, i32* @g3 19 ; CHECK-DAG: MayAlias: i32* @g2, i32* @g3
|
| H A D | pr27213.ll | 4 ; CHECK: MayAlias: i32* %A, i32* %B 13 ; CHECK: MayAlias: i32* %A, i32* %B 14 ; CHECK: MayAlias: i32* %A, i32* %arrayidx 15 ; CHECK: MayAlias: i32* %B, i32* %arrayidx 28 ; CHECK: MayAlias: i32* %A, i32* @G
|
| H A D | interproc-ret-deref-arg-multilevel.ll | 13 ; CHECK: MayAlias: i32* %a, i32* %c 17 ; CHECK: MayAlias: i32** %lpp, i32** %p 20 ; CHECK: MayAlias: i32* %a, i32* %lpp_deref 23 ; CHECK: MayAlias: i32* %a, i32* %lp 27 ; CHECK: MayAlias: i32* %c, i32* %lp 29 ; CHECK: MayAlias: i32* %lp, i32* %lpp_deref
|
| H A D | arguments-globals.ll | 12 ; CHECK: MayAlias: i32* %arg1, i32* %arg2 15 ; CHECK: MayAlias: i32* %arg1, i32* @g 16 ; CHECK: MayAlias: i32* %arg2, i32* @g 17 ; CHECK: MayAlias: i32* %A, i32* @g
|
| /llvm-project-15.0.7/llvm/test/Analysis/ScopedNoAliasAA/ |
| H A D | basic2.ll | 18 ; CHECK: MayAlias: %0 = load float, float* %c, align 4, !alias.scope !0 <-> store float %0, flo… 20 ; CHECK: MayAlias: %0 = load float, float* %c, align 4, !alias.scope !0 <-> store float %0, flo… 22 ; CHECK: MayAlias: %0 = load float, float* %c, align 4, !alias.scope !0 <-> store float %1, flo… 23 ; CHECK: MayAlias: %1 = load float, float* %c, align 4 <-> store float %0, float* %arrayidx.i, … 24 ; CHECK: MayAlias: %1 = load float, float* %c, align 4 <-> store float %0, float* %arrayidx1.i,… 25 ; CHECK: MayAlias: %1 = load float, float* %c, align 4 <-> store float %1, float* %arrayidx, al… 29 ; CHECK: MayAlias: store float %1, float* %arrayidx, align 4 <-> store float %0, float* %arrayi…
|
| /llvm-project-15.0.7/llvm/unittests/Analysis/ |
| H A D | AliasAnalysisTest.cpp | 92 return AliasResult::MayAlias; in alias() 251 EXPECT_EQ(AliasResult::MayAlias, AA.alias(PhiLoc, A1Loc)); in TEST_F() 252 EXPECT_EQ(AliasResult::MayAlias, AA.alias(S1Loc, S2Loc)); in TEST_F() 256 EXPECT_EQ(AliasResult::MayAlias, BatchAA.alias(PhiLoc, A1Loc)); in TEST_F() 257 EXPECT_EQ(AliasResult::MayAlias, BatchAA.alias(S1Loc, S2Loc)); in TEST_F() 261 EXPECT_EQ(AliasResult::MayAlias, BatchAA2.alias(S1Loc, S2Loc)); in TEST_F() 262 EXPECT_EQ(AliasResult::MayAlias, BatchAA2.alias(PhiLoc, A1Loc)); in TEST_F() 293 EXPECT_EQ(AliasResult::MayAlias, AA.alias(ALoc, BLoc)); in TEST_F() 294 EXPECT_EQ(AliasResult::MayAlias, AA.alias(ANextLoc, BNextLoc)); in TEST_F() 297 EXPECT_EQ(AliasResult::MayAlias, BatchAA.alias(ALoc, BLoc)); in TEST_F() [all …]
|