1; RUN: opt < %s -passes='require<da>,invalidate<scalar-evolution>,print<da>' \ 2; RUN: -disable-output -debug-pass-manager 2>&1 | FileCheck %s 3 4; This test cannot be converted to use utils/update_analyze_test_checks.py 5; because the pass order printing is not deterministic. 6 7; CHECK: Running analysis: DependenceAnalysis on test_no_noalias 8; CHECK: Running analysis: ScalarEvolutionAnalysis on test_no_noalias 9; CHECK: Invalidating analysis: ScalarEvolutionAnalysis on test_no_noalias 10; CHECK: Invalidating analysis: DependenceAnalysis on test_no_noalias 11; CHECK: Running analysis: DependenceAnalysis on test_no_noalias 12; CHECK: da analyze - none! 13; CHECK: da analyze - confused! 14; CHECK: da analyze - none! 15define void @test_no_noalias(ptr %A, ptr %B) { 16 store i32 1, ptr %A 17 store i32 2, ptr %B 18 ret void 19} 20