34a8a437bf
Printing pass manager invocations is fairly verbose and not super useful. This allows us to remove DebugLogging from pass managers and PassBuilder since all logging (aside from analysis managers) goes through instrumentation now. This has the downside of never being able to print the top level pass manager via instrumentation, but that seems like a minor downside. Reviewed By: ychen Differential Revision: https://reviews.llvm.org/D101797
32 lines
1.0 KiB
LLVM
32 lines
1.0 KiB
LLVM
; Test that when a pass like correlated-propagation populates an analysis such
|
|
; as LVI with references back into the IR of a function that the inliner will
|
|
; delete, this doesn't crash or go awry despite the inliner clearing the analyses
|
|
; separately from when it deletes the function.
|
|
;
|
|
; RUN: opt -debug-pass-manager -S < %s 2>&1 \
|
|
; RUN: -passes='cgscc(inline,function(correlated-propagation))' \
|
|
; RUN: | FileCheck %s
|
|
;
|
|
; CHECK: Running pass: InlinerPass on (callee)
|
|
; CHECK: Running pass: CorrelatedValuePropagationPass on callee
|
|
; CHECK: Running analysis: LazyValueAnalysis
|
|
; CHECK: Running pass: InlinerPass on (caller)
|
|
; CHECK: Clearing all analysis results for: callee
|
|
; CHECK: Running pass: CorrelatedValuePropagationPass on caller
|
|
; CHECK: Running analysis: LazyValueAnalysis
|
|
|
|
define internal i32 @callee(i32 %x) {
|
|
; CHECK-NOT: @callee
|
|
entry:
|
|
ret i32 %x
|
|
}
|
|
|
|
define i32 @caller(i32 %x) {
|
|
; CHECK-LABEL: define i32 @caller
|
|
entry:
|
|
%call = call i32 @callee(i32 %x)
|
|
; CHECK-NOT: call
|
|
ret i32 %call
|
|
; CHECK: ret i32 %x
|
|
}
|