| /llvm-project-15.0.7/mlir/test/Analysis/ |
| H A D | test-alias-analysis.mlir | 6 // CHECK-DAG: alloca_1#0 <-> alloca_2#0: NoAlias 7 // CHECK-DAG: alloca_1#0 <-> alloc_1#0: NoAlias 8 // CHECK-DAG: alloca_1#0 <-> alloc_2#0: NoAlias 9 // CHECK-DAG: alloca_1#0 <-> func.region0#0: NoAlias 10 // CHECK-DAG: alloca_1#0 <-> func.region0#1: NoAlias 12 // CHECK-DAG: alloca_2#0 <-> alloc_1#0: NoAlias 13 // CHECK-DAG: alloca_2#0 <-> alloc_2#0: NoAlias 17 // CHECK-DAG: alloc_1#0 <-> alloc_2#0: NoAlias 18 // CHECK-DAG: alloc_1#0 <-> func.region0#0: NoAlias 19 // CHECK-DAG: alloc_1#0 <-> func.region0#1: NoAlias [all …]
|
| /llvm-project-15.0.7/llvm/test/Analysis/CFLAliasAnalysis/Andersen/ |
| H A D | cycle.ll | 6 ; CHECK: NoAlias: i64* %a, i64** %b 7 ; CHECK: NoAlias: i64* %a, i64*** %c 8 ; CHECK: NoAlias: i64** %b, i64*** %c 9 ; CHECK: NoAlias: i64* %a, i64**** %d 10 ; CHECK: NoAlias: i64** %b, i64**** %d 11 ; CHECK: NoAlias: i64*** %c, i64**** %d 12 ; CHECK: NoAlias: i64* %a, i64* %e 13 ; CHECK: NoAlias: i64** %b, i64* %e 14 ; CHECK: NoAlias: i64*** %c, i64* %e 16 ; CHECK: NoAlias: i64** %b, i64* %f [all …]
|
| H A D | interproc-ret-deref-arg-multilevel.ll | 12 ; CHECK: NoAlias: i32* %a, i32* %b 14 ; CHECK: NoAlias: i32* %b, i32* %c 15 ; CHECK: NoAlias: i32* %c, i32** %p 16 ; CHECK: NoAlias: i32* %c, i32*** %pp 18 ; CHECK: NoAlias: i32** %lpp, i32*** %pp 19 ; CHECK: NoAlias: i32* %c, i32** %lpp 21 ; CHECK: NoAlias: i32* %b, i32* %lpp_deref 24 ; CHECK: NoAlias: i32* %b, i32* %lp 25 ; CHECK: NoAlias: i32* %lp, i32** %p 26 ; CHECK: NoAlias: i32* %lp, i32*** %pp [all …]
|
| H A D | interproc-arg-deref-escape.ll | 13 ; CHECK-DAG: NoAlias: i32* %a, i32** %x 14 ; CHECK-DAG: NoAlias: i32* %b, i32** %x 15 ; CHECK-DAG: NoAlias: i32* %a, i32* %b 16 ; CHECK-DAG: NoAlias: i32** %p, i32** %x 17 ; CHECK-DAG: NoAlias: i32* %a, i32** %p 18 ; CHECK-DAG: NoAlias: i32* %b, i32** %p 20 ; CHECK-DAG: NoAlias: i32* %b, i32* %c 21 ; CHECK-DAG: NoAlias: i32* %c, i32** %p
|
| H A D | interproc-ret-ref-arg-multilevel.ll | 18 ; CHECK-DAG: NoAlias: i32* %a, i32*** %b 19 ; CHECK-DAG: NoAlias: i32*** %b, i32** %p 20 ; CHECK-DAG: NoAlias: i32*** %b, i32*** %pp 21 ; CHECK-DAG: NoAlias: i32* %a, i32** %lb 22 ; CHECK-DAG: NoAlias: i32** %lb, i32** %p 23 ; CHECK-DAG: NoAlias: i32** %lb, i32*** %pp 24 ; CHECK-DAG: NoAlias: i32*** %b, i32** %lb 26 ; CHECK-DAG: NoAlias: i32* %lb_deref, i32** %lpp 28 ; CHECK-DAG: NoAlias: i32** %lpp, i32* %lpp_deref 30 ; CHECK-DAG: NoAlias: i32* %lp, i32** %lpp
|
| H A D | interproc-ret-escape.ll | 16 ; CHECK: NoAlias: i32* %a, i32** %x 17 ; CHECK: NoAlias: i32* %b, i32** %x 18 ; CHECK: NoAlias: i32* %a, i32* %b 19 ; CHECK: NoAlias: i32* %c, i32** %x 20 ; CHECK: NoAlias: i32* %a, i32* %c 21 ; CHECK: NoAlias: i32* %b, i32* %c 22 ; CHECK: NoAlias: i32* %a, i32* %d
|
| H A D | interproc-store-arg-multilevel.ll | 16 ; CHECK: NoAlias: i32* %a, i32* %b 17 ; CHECK: NoAlias: i32* %a, i32** %lpp 18 ; CHECK: NoAlias: i32* %b, i32** %lpp 22 ; CHECK: NoAlias: i32* %lpp_deref, i32** %p 23 ; CHECK: NoAlias: i32* %lpp_deref, i32*** %pp 24 ; CHECK: NoAlias: i32** %lpp, i32* %lpp_deref 26 ; CHECK: NoAlias: i32* %lp, i32*** %pp 27 ; CHECK: NoAlias: i32* %lp, i32** %lpp
|
| H A D | interproc-arg-escape.ll | 12 ; CHECK-DAG: NoAlias: i32* %a, i32** %x 13 ; CHECK-DAG: NoAlias: i32* %b, i32** %x 14 ; CHECK-DAG: NoAlias: i32* %a, i32* %b 15 ; CHECK-DAG: NoAlias: i32* %c, i32** %x 16 ; CHECK-DAG: NoAlias: i32* %a, i32* %c 17 ; CHECK-DAG: NoAlias: i32* %b, i32* %c 20 ; CHECK-DAG: NoAlias: i32* %c, i32* %d
|
| H A D | attrs.ll | 6 ; CHECK: NoAlias: i32* %a, i32* %b 8 ; CHECK: NoAlias: i32* %aAlias, i32* %b 21 ; CHECK-DAG: NoAlias: i32* %a, i32** %x 26 ; CHECK-DAG: NoAlias: i32* %a, i32** @ext_global 41 ; CHECK-DAG: NoAlias: i32* %b, i32* %x 42 ; CHECK-DAG: NoAlias: i32** %a, i32* %b 45 ; CHECK-DAG: NoAlias: i32* %b, i32* %c 60 ; CHECK-DAG: NoAlias: i32** %a, i32* %c 74 ; CHECK-DAG: NoAlias: i32** %a, i32* %c 102 ; CHECK: NoAlias: i32* %c, i32* %x [all …]
|
| H A D | interproc-store-arg-unknown.ll | 13 ; CHECK: NoAlias: i32** %p, i32* %x 14 ; CHECK: NoAlias: i32* %a, i32** %p 15 ; CHECK: NoAlias: i32* %b, i32** %p 18 ; CHECK: NoAlias: i32* %b, i32* %lp 19 ; CHECK: NoAlias: i32* %lp, i32** %p
|
| /llvm-project-15.0.7/llvm/test/Analysis/CFLAliasAnalysis/Steensgaard/ |
| H A D | interproc-ret-deref-arg-multilevel.ll | 12 ; CHECK: NoAlias: i32* %a, i32* %b 14 ; CHECK: NoAlias: i32* %b, i32* %c 15 ; CHECK: NoAlias: i32* %c, i32** %p 16 ; CHECK: NoAlias: i32* %c, i32*** %pp 18 ; CHECK: NoAlias: i32** %lpp, i32*** %pp 19 ; CHECK: NoAlias: i32* %c, i32** %lpp 21 ; CHECK: NoAlias: i32* %b, i32* %lpp_deref 24 ; CHECK: NoAlias: i32* %b, i32* %lp 25 ; CHECK: NoAlias: i32* %lp, i32** %p 26 ; CHECK: NoAlias: i32* %lp, i32*** %pp [all …]
|
| H A D | interproc-ret-ref-arg-multilevel.ll | 18 ; CHECK-DAG: NoAlias: i32* %a, i32*** %b 19 ; CHECK-DAG: NoAlias: i32*** %b, i32** %p 20 ; CHECK-DAG: NoAlias: i32* %a, i32** %lb 21 ; CHECK-DAG: NoAlias: i32** %lb, i32*** %pp 22 ; CHECK-DAG: NoAlias: i32*** %b, i32** %lb 24 ; CHECK-DAG: NoAlias: i32* %lb_deref, i32** %lpp 26 ; CHECK-DAG: NoAlias: i32** %lpp, i32* %lpp_deref 28 ; CHECK-DAG: NoAlias: i32* %lp, i32** %lpp 32 ; NoAlias: i32*** %b, i32*** %pp 33 ; NoAlias: i32** %lb, i32** %p
|
| H A D | interproc-arg-deref-escape.ll | 13 ; CHECK-DAG: NoAlias: i32* %a, i32** %x 14 ; CHECK-DAG: NoAlias: i32* %b, i32** %x 15 ; CHECK-DAG: NoAlias: i32* %a, i32* %b 16 ; CHECK-DAG: NoAlias: i32** %p, i32** %x 17 ; CHECK-DAG: NoAlias: i32* %a, i32** %p 18 ; CHECK-DAG: NoAlias: i32* %b, i32** %p 20 ; CHECK-DAG: NoAlias: i32* %b, i32* %c 21 ; CHECK-DAG: NoAlias: i32* %c, i32** %p
|
| H A D | interproc-ret-escape.ll | 16 ; CHECK-DAG: NoAlias: i32* %a, i32** %x 17 ; CHECK-DAG: NoAlias: i32* %b, i32** %x 18 ; CHECK-DAG: NoAlias: i32* %a, i32* %b 19 ; CHECK-DAG: NoAlias: i32* %c, i32** %x 20 ; CHECK-DAG: NoAlias: i32* %a, i32* %c 21 ; CHECK-DAG: NoAlias: i32* %b, i32* %c 22 ; CHECK-DAG: NoAlias: i32* %a, i32* %d
|
| H A D | interproc-arg-escape.ll | 12 ; CHECK-DAG: NoAlias: i32* %a, i32** %x 13 ; CHECK-DAG: NoAlias: i32* %b, i32** %x 14 ; CHECK-DAG: NoAlias: i32* %a, i32* %b 15 ; CHECK-DAG: NoAlias: i32* %c, i32** %x 16 ; CHECK-DAG: NoAlias: i32* %a, i32* %c 17 ; CHECK-DAG: NoAlias: i32* %b, i32* %c 20 ; CHECK-DAG: NoAlias: i32* %c, i32* %d
|
| H A D | interproc-store-arg-multilevel.ll | 16 ; CHECK: NoAlias: i32* %a, i32** %lpp 17 ; CHECK: NoAlias: i32* %b, i32** %lpp 21 ; CHECK: NoAlias: i32* %lpp_deref, i32** %p 22 ; CHECK: NoAlias: i32* %lpp_deref, i32*** %pp 23 ; CHECK: NoAlias: i32** %lpp, i32* %lpp_deref 25 ; CHECK: NoAlias: i32* %lp, i32*** %pp 26 ; CHECK: NoAlias: i32* %lp, i32** %lpp 30 ; NoAlias: i32* %a, i32* %b
|
| H A D | attr-escape.ll | 6 ; CHECK: NoAlias: i32* %a, i32* %b 8 ; CHECK: NoAlias: i32* %aAlias, i32* %b 21 ; CHECK-DAG: NoAlias: i32* %a, i32** %x 26 ; CHECK-DAG: NoAlias: i32* %a, i32** @ext_global 41 ; CHECK-DAG: NoAlias: i32* %b, i32* %x 42 ; CHECK-DAG: NoAlias: i32** %a, i32* %b 45 ; CHECK-DAG: NoAlias: i32* %b, i32* %c 60 ; CHECK-DAG: NoAlias: i32** %a, i32* %c 74 ; CHECK-DAG: NoAlias: i32** %a, i32* %c 102 ; CHECK-DAG: NoAlias: i32* %c, i32* %x [all …]
|
| H A D | interproc-store-arg-unknown.ll | 13 ; CHECK: NoAlias: i32** %p, i32* %x 14 ; CHECK: NoAlias: i32* %a, i32** %p 15 ; CHECK: NoAlias: i32* %b, i32** %p 18 ; CHECK: NoAlias: i32* %b, i32* %lp 19 ; CHECK: NoAlias: i32* %lp, i32** %p
|
| /llvm-project-15.0.7/llvm/test/Analysis/BasicAA/ |
| H A D | args-rets-allocas-loads.ll | 68 ; CHECK-NEXT: NoAlias: double* %loaded_a0, double* %noalias_arg_a0 70 ; CHECK-NEXT: NoAlias: double* %arg_a0, double* %noalias_arg_a0 71 ; CHECK-NEXT: NoAlias: double* %arg_a1, double* %noalias_arg_a0 76 ; CHECK-NEXT: NoAlias: double* %arg_a0, double* %noalias_arg_a1 77 ; CHECK-NEXT: NoAlias: double* %arg_a1, double* %noalias_arg_a1 83 ; CHECK-NEXT: NoAlias: double* %arg_a0, double* %escape_alloca_a0 84 ; CHECK-NEXT: NoAlias: double* %arg_a1, double* %escape_alloca_a0 146 ; CHECK-NEXT: NoAlias: double* %arg_a0, double* %noalias_ret_a0 147 ; CHECK-NEXT: NoAlias: double* %arg_a1, double* %noalias_ret_a0 160 ; CHECK-NEXT: NoAlias: double* %arg_a0, double* %noalias_ret_a1 [all …]
|
| H A D | recphi.ll | 41 ; CHECK: NoAlias: i8* %0, i32* %arrayidx 199 ; CHECK: NoAlias: i8* %a, i8* %p.base 201 ; CHECK: NoAlias: i8* %a, i8* %p 203 ; CHECK: NoAlias: i8* %a, i8* %p.next 251 ; CHECK: NoAlias: i8* %a, i8* %p.base 292 ; TODO: (a, p.inner) could be NoAlias 322 ; CHECK: NoAlias: i8* %a, i8* %p.base 357 ; CHECK: NoAlias: i8* %a, i8* %p.base 358 ; CHECK: NoAlias: i8* %a, i8* %p1 389 ; CHECK: NoAlias: i8* %a, i8* %p.base [all …]
|
| H A D | struct-geps.ll | 13 ; CHECK-DAG: NoAlias: i32* %x, i32* %y 14 ; CHECK-DAG: NoAlias: i32* %x, i32* %z 15 ; CHECK-DAG: NoAlias: i32* %y, i32* %z 23 ; CHECK-DAG: NoAlias: i32* %x, i64* %y_8 63 ; CHECK-DAG: NoAlias: i32* %x, i32* %y 64 ; CHECK-DAG: NoAlias: i32* %x, i32* %z 65 ; CHECK-DAG: NoAlias: i32* %y, i32* %z 73 ; CHECK-DAG: NoAlias: i32* %x, i64* %y_8 102 ; CHECK-DAG: NoAlias: i32* %x, i32* %y 103 ; CHECK-DAG: NoAlias: i32* %x, i32* %z [all …]
|
| H A D | vscale.ll | 128 ; CHECK-DAG: NoAlias: i32* %gep2, i32* %p2 166 ; CHECK-DAG: NoAlias: i32* %gep, i32* %gep_rec_1 183 ; CHECK-DAG: NoAlias: i32* %gep, i32* %gep_rec_1 203 ; CHECK-DAG: NoAlias: i32* %gep, i32* %gep_rec_1 204 ; CHECK-DAG: NoAlias: i32* %gep, i32* %gep_rec_2 234 ; CHECK-DAG: NoAlias: i32* %gep, i32* %gep_rec_1 235 ; CHECK-DAG: NoAlias: i32* %gep, i32* %gep_rec_2 236 ; CHECK-DAG: NoAlias: i32* %gep, i32* %gep_rec_3 237 ; CHECK-DAG: NoAlias: i32* %gep, i32* %gep_rec_4 238 ; CHECK-DAG: NoAlias: i32* %gep, i32* %gep_rec_5 [all …]
|
| /llvm-project-15.0.7/llvm/lib/Analysis/ |
| H A D | ScopedNoAliasAA.cpp | 63 const MDNode *ANoAlias = LocA.AATags.NoAlias, *BNoAlias = LocB.AATags.NoAlias; in alias() 66 return AliasResult::NoAlias; in alias() 69 return AliasResult::NoAlias; in alias() 86 Loc.AATags.NoAlias)) in getModRefInfo() 118 const MDNode *NoAlias) const { in mayAliasInScopes() 119 if (!Scopes || !NoAlias) in mayAliasInScopes() 124 for (const MDOperand &MDOp : NoAlias->operands()) in mayAliasInScopes() 138 collectMDInDomain(NoAlias, Domain, NANodes); in mayAliasInScopes()
|
| /llvm-project-15.0.7/llvm/test/Analysis/ScopedNoAliasAA/ |
| H A D | basic-domains.ll | 43 ; CHECK: NoAlias: %0 = load float, float* %c, align 4, !alias.scope !0 <-> store float %0, floa… 44 ; CHECK: NoAlias: %0 = load float, float* %c, align 4, !alias.scope !0 <-> store float %1, floa… 46 ; CHECK: NoAlias: %1 = load float, float* %c, align 4, !alias.scope !7 <-> store float %0, floa… 47 ; CHECK: NoAlias: %1 = load float, float* %c, align 4, !alias.scope !7 <-> store float %1, floa… 48 ; CHECK: NoAlias: %1 = load float, float* %c, align 4, !alias.scope !7 <-> store float %2, floa… 49 ; CHECK: NoAlias: %2 = load float, float* %c, align 4, !alias.scope !6 <-> store float %0, floa… 50 ; CHECK: NoAlias: %2 = load float, float* %c, align 4, !alias.scope !6 <-> store float %1, floa… 52 ; CHECK: NoAlias: store float %1, float* %arrayidx.i2, align 4, !noalias !6 <-> store float %0,… 53 ; CHECK: NoAlias: store float %2, float* %arrayidx.i3, align 4, !noalias !7 <-> store float %0,… 54 ; CHECK: NoAlias: store float %2, float* %arrayidx.i3, align 4, !noalias !7 <-> store float %1,…
|
| /llvm-project-15.0.7/llvm/test/CodeGen/AMDGPU/ |
| H A D | amdgpu-alias-analysis.ll | 5 ; CHECK: NoAlias: i8 addrspace(5)* %p, i8 addrspace(1)* %p1 74 ; CHECK: NoAlias: i8 addrspace(2)* %p, i8* %p1 81 ; CHECK: NoAlias: i8 addrspace(2)* %p, i8 addrspace(1)* %p1 95 ; CHECK: NoAlias: i8 addrspace(2)* %p, i8 addrspace(3)* %p1 182 ; CHECK-DAG: NoAlias: i8 addrspace(3)* %p, i8* %p1 193 ; CHECK-DAG: NoAlias: i8 addrspace(5)* %p, i8* %p1 204 ; CHECK: NoAlias: i8* %p, i8 addrspace(5)* %p1 215 ; should be NoAlias. 226 ; CHECK: NoAlias: i8* %p, i8 addrspace(3)* %p1 227 ; CHECK: NoAlias: i8* %p, i8 addrspace(3)* @shm [all …]
|