| ; Test that the lazy value analysis gets invalidated when its dependencies go |
| ; away. Sadly, you can neither print nor verify LVI so we just have to require |
| ; it and check that the pass manager does the right thing. |
| ; |
| ; Check basic invalidation. |
| ; RUN: opt -disable-output -disable-verify -debug-pass-manager %s 2>&1 \ |
| ; RUN: -passes='require<lazy-value-info>,invalidate<lazy-value-info>,require<lazy-value-info>' \ |
| ; RUN: | FileCheck %s --check-prefix=CHECK-INVALIDATE |
| ; CHECK-INVALIDATE: Running pass: RequireAnalysisPass |
| ; CHECK-INVALIDATE: Running analysis: LazyValueAnalysis |
| ; CHECK-INVALIDATE: Running pass: InvalidateAnalysisPass |
| ; CHECK-INVALIDATE: Invalidating analysis: LazyValueAnalysis |
| ; CHECK-INVALIDATE: Running pass: RequireAnalysisPass |
| ; CHECK-INVALIDATE: Running analysis: LazyValueAnalysis |
| |
| target triple = "x86_64-unknown-linux-gnu" |
| |
| @.str = private unnamed_addr constant [8 x i8] c"a = %l\0A\00", align 1 |
| |
| declare void @llvm.lifetime.start.p0i8(i64, i8* nocapture) |
| |
| declare void @hoo(i64*) |
| |
| declare i32 @printf(i8* nocapture readonly, ...) |
| |
| declare void @llvm.lifetime.end.p0i8(i64, i8* nocapture) |
| |
| define void @goo(i32 %N, i64* %b) { |
| entry: |
| %a.i = alloca i64, align 8 |
| %tmp = bitcast i64* %a.i to i8* |
| %c = getelementptr inbounds i64, i64* %b, i64 0 |
| br label %for.cond |
| |
| for.cond: ; preds = %for.body, %entry |
| %i.0 = phi i32 [ 0, %entry ], [ %inc, %for.body ] |
| %cmp = icmp slt i32 %i.0, %N |
| br i1 %cmp, label %for.body, label %for.end |
| |
| for.body: ; preds = %for.cond |
| call void @llvm.lifetime.start.p0i8(i64 8, i8* %tmp) |
| call void @hoo(i64* %a.i) |
| call void @hoo(i64* %c) |
| %tmp1 = load volatile i64, i64* %a.i, align 8 |
| %call.i = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str, i64 0, i64 0), i64 %tmp1) |
| call void @llvm.lifetime.end.p0i8(i64 8, i8* %tmp) |
| %inc = add nsw i32 %i.0, 1 |
| br label %for.cond |
| |
| for.end: ; preds = %for.cond |
| ret void |
| } |