1 ; Test that the lazy value analysis gets invalidated when its dependencies go 2 ; away. Sadly, you can neither print nor verify LVI so we just have to require 3 ; it and check that the pass manager does the right thing. 4 ; 5 ; Check basic invalidation. 6 ; RUN: opt -disable-output -disable-verify -debug-pass-manager %s 2>&1 \ 7 ; RUN: -passes='require<lazy-value-info>,invalidate<lazy-value-info>,require<lazy-value-info>' \ 8 ; RUN: | FileCheck %s --check-prefix=CHECK-INVALIDATE 9 ; CHECK-INVALIDATE: Running pass: RequireAnalysisPass 10 ; CHECK-INVALIDATE: Running analysis: LazyValueAnalysis 11 ; CHECK-INVALIDATE: Running pass: InvalidateAnalysisPass 12 ; CHECK-INVALIDATE: Invalidating analysis: LazyValueAnalysis 13 ; CHECK-INVALIDATE: Running pass: RequireAnalysisPass 14 ; CHECK-INVALIDATE: Running analysis: LazyValueAnalysis 15 ; 16 ; Check DomTree specifically. 17 ; RUN: opt -disable-output -disable-verify -debug-pass-manager %s 2>&1 \ 18 ; RUN: -passes='require<domtree>,require<lazy-value-info>,invalidate<domtree>,require<lazy-value-info>' \ 19 ; RUN: | FileCheck %s --check-prefix=CHECK-DT-INVALIDATE 20 ; CHECK-DT-INVALIDATE: Running pass: RequireAnalysisPass 21 ; CHECK-DT-INVALIDATE: Running analysis: LazyValueAnalysis 22 ; CHECK-DT-INVALIDATE: Running pass: InvalidateAnalysisPass 23 ; CHECK-DT-INVALIDATE: Invalidating analysis: DominatorTreeAnalysis 24 ; CHECK-DT-INVALIDATE: Invalidating analysis: LazyValueAnalysis 25 ; CHECK-AC-INVALIDATE: Running pass: RequireAnalysisPass 26 ; CHECK-DT-INVALIDATE: Running analysis: LazyValueAnalysis 27 28 target triple = "x86_64-unknown-linux-gnu" 29 30 @.str = private unnamed_addr constant [8 x i8] c"a = %l\0A\00", align 1 31 32 declare void @llvm.lifetime.start.p0i8(i64, i8* nocapture) 33 34 declare void @hoo(i64*) 35 36 declare i32 @printf(i8* nocapture readonly, ...) 37 38 declare void @llvm.lifetime.end.p0i8(i64, i8* nocapture) 39 40 define void @goo(i32 %N, i64* %b) { 41 entry: 42 %a.i = alloca i64, align 8 43 %tmp = bitcast i64* %a.i to i8* 44 %c = getelementptr inbounds i64, i64* %b, i64 0 45 br label %for.cond 46 47 for.cond: ; preds = %for.body, %entry 48 %i.0 = phi i32 [ 0, %entry ], [ %inc, %for.body ] 49 %cmp = icmp slt i32 %i.0, %N 50 br i1 %cmp, label %for.body, label %for.end 51 52 for.body: ; preds = %for.cond 53 call void @llvm.lifetime.start.p0i8(i64 8, i8* %tmp) 54 call void @hoo(i64* %a.i) 55 call void @hoo(i64* %c) 56 %tmp1 = load volatile i64, i64* %a.i, align 8 57 %call.i = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str, i64 0, i64 0), i64 %tmp1) 58 call void @llvm.lifetime.end.p0i8(i64 8, i8* %tmp) 59 %inc = add nsw i32 %i.0, 1 60 br label %for.cond 61 62 for.end: ; preds = %for.cond 63 ret void 64 } 65
