1; Test that when a pass like correlated-propagation populates an analysis such 2; as LVI with references back into the IR of a function that the inliner will 3; delete, this doesn't crash or go awry despite the inliner clearing the analyses 4; separately from when it deletes the function. 5; 6; RUN: opt -debug-pass-manager -S < %s 2>&1 \ 7; RUN: -passes='cgscc(inline,function(correlated-propagation))' \ 8; RUN: | FileCheck %s 9; 10; CHECK-LABEL: Starting llvm::Module pass manager run. 11; CHECK: Running pass: InlinerPass on (callee) 12; CHECK: Running pass: CorrelatedValuePropagationPass on callee 13; CHECK: Running analysis: LazyValueAnalysis 14; CHECK: Running pass: InlinerPass on (caller) 15; CHECK: Clearing all analysis results for: callee 16; CHECK: Running pass: CorrelatedValuePropagationPass on caller 17; CHECK: Running analysis: LazyValueAnalysis 18 19define internal i32 @callee(i32 %x) { 20; CHECK-NOT: @callee 21entry: 22 ret i32 %x 23} 24 25define i32 @caller(i32 %x) { 26; CHECK-LABEL: define i32 @caller 27entry: 28 %call = call i32 @callee(i32 %x) 29; CHECK-NOT: call 30 ret i32 %call 31; CHECK: ret i32 %x 32} 33