blob: 1018ec5e8661cd14eadad15a7d85af85a642da6d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
; 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
}
|
