46f9cddfd7
Modify the DA pretty printer to match the output of other analysis passes. This enables update_analyze_test_checks.py to also work on DA tests. Auto generate all the Dependence Analysis tests.
20 lines
816 B
LLVM
20 lines
816 B
LLVM
; RUN: opt < %s -passes='require<da>,invalidate<scalar-evolution>,print<da>' \
|
|
; RUN: -disable-output -debug-pass-manager 2>&1 | FileCheck %s
|
|
|
|
; This test cannot be converted to use utils/update_analyze_test_checks.py
|
|
; because the pass order printing is not deterministic.
|
|
|
|
; CHECK: Running analysis: DependenceAnalysis on test_no_noalias
|
|
; CHECK: Running analysis: ScalarEvolutionAnalysis on test_no_noalias
|
|
; CHECK: Invalidating analysis: ScalarEvolutionAnalysis on test_no_noalias
|
|
; CHECK: Invalidating analysis: DependenceAnalysis on test_no_noalias
|
|
; CHECK: Running analysis: DependenceAnalysis on test_no_noalias
|
|
; CHECK: da analyze - none!
|
|
; CHECK: da analyze - confused!
|
|
; CHECK: da analyze - none!
|
|
define void @test_no_noalias(ptr %A, ptr %B) {
|
|
store i32 1, ptr %A
|
|
store i32 2, ptr %B
|
|
ret void
|
|
}
|