32 lines · plain
1; Test that when a pass like correlated-propagation populates an analysis such2; as LVI with references back into the IR of a function that the inliner will3; delete, this doesn't crash or go awry despite the inliner clearing the analyses4; 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 %s9;10; CHECK: Running pass: InlinerPass on (callee)11; CHECK: Running pass: CorrelatedValuePropagationPass on callee12; CHECK: Running analysis: LazyValueAnalysis13; CHECK: Running pass: InlinerPass on (caller)14; CHECK: Clearing all analysis results for: callee15; CHECK: Running pass: CorrelatedValuePropagationPass on caller16; CHECK: Running analysis: LazyValueAnalysis17 18define internal i32 @callee(i32 %x) {19; CHECK-NOT: @callee20entry:21 ret i32 %x22}23 24define i32 @caller(i32 %x) {25; CHECK-LABEL: define i32 @caller26entry:27 %call = call i32 @callee(i32 %x)28; CHECK-NOT: call29 ret i32 %call30; CHECK: ret i32 %x31}32