28 lines · plain
1; RUN: opt -disable-verify -debug-pass-manager -passes='function(require<no-op-function>)' -disable-output %s 2>&1 | FileCheck %s --check-prefix=NORMAL2; RUN: opt -disable-verify -debug-pass-manager -passes='cgscc(function(require<no-op-function>))' -disable-output %s 2>&1 | FileCheck %s --check-prefix=NORMAL3; RUN: opt -disable-verify -debug-pass-manager -passes='function<eager-inv>(require<no-op-function>)' -disable-output %s 2>&1 | FileCheck %s --check-prefix=EAGER4; RUN: opt -disable-verify -debug-pass-manager -passes='cgscc(function<eager-inv>(require<no-op-function>))' -disable-output %s 2>&1 | FileCheck %s --check-prefix=EAGER5 6; RUN: opt -disable-verify -debug-pass-manager -passes='default<O2>' -eagerly-invalidate-analyses=0 -disable-output %s 2>&1 | FileCheck %s --check-prefix=PIPELINE7; RUN: opt -disable-verify -debug-pass-manager -passes='default<O2>' -eagerly-invalidate-analyses=1 -disable-output %s 2>&1 | FileCheck %s --check-prefix=PIPELINE-EAGER8 9; NORMAL-NOT: Invalidating analysis: NoOpFunctionAnalysis10; EAGER: Invalidating analysis: NoOpFunctionAnalysis11; PIPELINE-NOT: Invalidating analysis: DominatorTreeAnalysis12; PIPELINE-EAGER: Invalidating analysis: DominatorTreeAnalysis13 14declare void @bar() local_unnamed_addr15 16define void @foo(i32 %n) local_unnamed_addr {17entry:18 br label %loop19loop:20 %iv = phi i32 [ 0, %entry ], [ %iv.next, %loop ]21 %iv.next = add i32 %iv, 122 tail call void @bar()23 %cmp = icmp eq i32 %iv, %n24 br i1 %cmp, label %exit, label %loop25exit:26 ret void27}28