1*81d6310dSBjorn Pettersson; Test that access-info gets invalidated when the analyses it depends on are 2*81d6310dSBjorn Pettersson; invalidated. 3*81d6310dSBjorn Pettersson 4*81d6310dSBjorn Pettersson; This is a reproducer for https://github.com/llvm/llvm-project/issues/61324. 5*81d6310dSBjorn Pettersson; We want to see that LoopAccessAnalysis+AAManger is being updated at the end, 6*81d6310dSBjorn Pettersson; instead of crashing when using a stale AAManager. 7*81d6310dSBjorn Pettersson; 8*81d6310dSBjorn Pettersson; RUN: opt < %s -disable-output -debug-pass-manager -passes='function(require<access-info>,invalidate<aa>),print<access-info>' 2>&1 | FileCheck %s --check-prefix=CHECK-AA 9*81d6310dSBjorn Pettersson; 10*81d6310dSBjorn Pettersson; CHECK-AA: Running pass: RequireAnalysisPass 11*81d6310dSBjorn Pettersson; CHECK-AA-NEXT: Running analysis: LoopAccessAnalysis on foo 12*81d6310dSBjorn Pettersson; CHECK-AA: Running pass: InvalidateAnalysisPass 13*81d6310dSBjorn Pettersson; CHECK-AA-NEXT: Invalidating analysis: AAManager on foo 14*81d6310dSBjorn Pettersson; CHECK-AA-NEXT: Invalidating analysis: LoopAccessAnalysis on foo 15*81d6310dSBjorn Pettersson; CHECK-AA-NEXT: Running pass: LoopAccessInfoPrinterPass on foo 16*81d6310dSBjorn Pettersson; CHECK-AA-NEXT: Running analysis: LoopAccessAnalysis on foo 17*81d6310dSBjorn Pettersson; CHECK-AA-NEXT: Running analysis: AAManager on foo 18*81d6310dSBjorn Pettersson 19*81d6310dSBjorn Pettersson 20*81d6310dSBjorn Pettersson; Verify that an explicit invalidate request for access-info result in an 21*81d6310dSBjorn Pettersson; invalidation. 22*81d6310dSBjorn Pettersson; 23*81d6310dSBjorn Pettersson; RUN: opt < %s -disable-output -debug-pass-manager -passes='function(require<access-info>,invalidate<access-info>)' 2>&1 | FileCheck %s --check-prefix=CHECK-INV-AA 24*81d6310dSBjorn Pettersson; 25*81d6310dSBjorn Pettersson; CHECK-INV-AA: Running pass: RequireAnalysisPass 26*81d6310dSBjorn Pettersson; CHECK-INV-AA-NEXT: Running analysis: LoopAccessAnalysis on foo 27*81d6310dSBjorn Pettersson; CHECK-INV-AA: Running pass: InvalidateAnalysisPass 28*81d6310dSBjorn Pettersson; CHECK-INV-AA-NEXT: Invalidating analysis: LoopAccessAnalysis on foo 29*81d6310dSBjorn Pettersson 30*81d6310dSBjorn Pettersson 31*81d6310dSBjorn Pettersson; Invalidation of scalar-evolution should transitively invalidate access-info. 32*81d6310dSBjorn Pettersson; 33*81d6310dSBjorn Pettersson; RUN: opt < %s -disable-output -debug-pass-manager -passes='function(require<access-info>,invalidate<scalar-evolution>)' 2>&1 | FileCheck %s --check-prefix=CHECK-SCEV 34*81d6310dSBjorn Pettersson; 35*81d6310dSBjorn Pettersson; CHECK-SCEV: Running pass: RequireAnalysisPass 36*81d6310dSBjorn Pettersson; CHECK-SCEV-NEXT: Running analysis: LoopAccessAnalysis on foo 37*81d6310dSBjorn Pettersson; CHECK-SCEV: Running pass: InvalidateAnalysisPass 38*81d6310dSBjorn Pettersson; CHECK-SCEV-NEXT: Invalidating analysis: ScalarEvolutionAnalysis on foo 39*81d6310dSBjorn Pettersson; CHECK-SCEV-NEXT: Invalidating analysis: LoopAccessAnalysis on foo 40*81d6310dSBjorn Pettersson 41*81d6310dSBjorn Pettersson 42*81d6310dSBjorn Pettersson; Invalidation of domtree should transitively invalidate access-info. 43*81d6310dSBjorn Pettersson; 44*81d6310dSBjorn Pettersson; RUN: opt < %s -disable-output -debug-pass-manager -passes='function(require<access-info>,invalidate<domtree>)' 2>&1 | FileCheck %s --check-prefix=CHECK-DT 45*81d6310dSBjorn Pettersson; 46*81d6310dSBjorn Pettersson; CHECK-DT: Running pass: RequireAnalysisPass 47*81d6310dSBjorn Pettersson; CHECK-DT-NEXT: Running analysis: LoopAccessAnalysis on foo 48*81d6310dSBjorn Pettersson; CHECK-DT: Running pass: InvalidateAnalysisPass 49*81d6310dSBjorn Pettersson; CHECK-DT-NEXT: Invalidating analysis: DominatorTreeAnalysis on foo 50*81d6310dSBjorn Pettersson; CHECK-DT: Invalidating analysis: LoopAccessAnalysis on foo 51*81d6310dSBjorn Pettersson 52*81d6310dSBjorn Pettersson 53*81d6310dSBjorn Petterssondefine void @foo(ptr nocapture writeonly %a, ptr nocapture writeonly %b) memory(argmem: write) { 54*81d6310dSBjorn Petterssonentry: 55*81d6310dSBjorn Pettersson br label %for.cond1 56*81d6310dSBjorn Pettersson 57*81d6310dSBjorn Petterssonfor.cond1: 58*81d6310dSBjorn Pettersson store i16 0, ptr %b, align 1 59*81d6310dSBjorn Pettersson store i16 0, ptr %a, align 1 60*81d6310dSBjorn Pettersson br i1 true, label %for.end6, label %for.cond1 61*81d6310dSBjorn Pettersson 62*81d6310dSBjorn Petterssonfor.end6: 63*81d6310dSBjorn Pettersson ret void 64*81d6310dSBjorn Pettersson} 65