1; RUN: opt -o %t %s -passes=instcombine,simplifycfg -simplifycfg-require-and-preserve-domtree=1 -thinlto-bc -verify-assumption-cache 2; RUN: llvm-dis -o - %t | FileCheck %s 3 4; Test that the simplifycfg pass correctly updates the assumption cache 5; when it clones the llvm.assume call as part of creating a critical 6; edge. To do that, we set up a pass pipeline such that (1) an assumption 7; cache is created for foo before simplifycfg updates it, and (2) foo's 8; assumption cache is verified after simplifycfg has run. To satisfy 1, we 9; run the instcombine pass first in our pipeline. To satisfy 2, we use the 10; ThinLTOBitcodeWriter pass to write bitcode (that pass uses the assumption 11; cache). That ensures that the pass manager does not call releaseMemory() 12; on the AssumptionCacheTracker before the end of the pipeline, which would 13; wipe out the bad assumption cache before it is verified. 14 15target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 16target triple = "x86_64-unknown-linux-gnu" 17 18%class.F = type { i8 } 19%class.B = type { i8 } 20%class.A = type { %class.C } 21%class.C = type { ptr } 22 23define void @foo(ptr %this, ptr %out) { 24entry: 25 %call = tail call i32 @_ZNK1F5beginEv(ptr %this) 26 %call2 = tail call i32 @_ZNK1F3endEv(ptr %this) 27 %cmp.i22 = icmp eq i32 %call, %call2 28 br i1 %cmp.i22, label %while.end, label %while.body.preheader 29 30while.body.preheader: 31 br label %while.body 32 33while.body: 34 %frame_node.sroa.0.023 = phi i32 [ %inc.i, %_ZN10unique_ptrD2Ev.exit ], [ %call, %while.body.preheader ] 35 %call8 = tail call ptr @_Znwm(i64 8) 36 %inc.i = add nsw i32 %frame_node.sroa.0.023, 1 37 %cmp = icmp eq i32 %inc.i, %call2 38 br i1 %cmp, label %_ZN10unique_ptrD2Ev.exit, label %if.then 39 40if.then: 41 tail call void @_ZN1B6appendEv(ptr %out) 42 br label %_ZN10unique_ptrD2Ev.exit 43 44_ZN10unique_ptrD2Ev.exit: 45 %vtable.i.i = load ptr, ptr %call8, align 8 46 %x3 = tail call i1 @llvm.type.test(ptr %vtable.i.i, metadata !"foo") 47 ; CHECK: call void @llvm.assume 48 ; CHECK: call void @llvm.assume 49 tail call void @llvm.assume(i1 %x3) #5 50 br i1 %cmp, label %while.end.loopexit, label %while.body 51 52while.end.loopexit: 53 br label %while.end 54 55while.end: 56 ret void 57} 58 59declare void @llvm.lifetime.start.p0(i64, ptr nocapture) 60 61declare i32 @_ZNK1F5beginEv(ptr) 62 63declare i32 @_ZNK1F3endEv(ptr) 64 65declare void @llvm.memcpy.p0.p0.i64(ptr nocapture writeonly, ptr nocapture readonly, i64, i1) 66 67declare noalias nonnull ptr @_Znwm(i64) 68 69declare void @_ZN1B6appendEv(ptr) 70 71declare void @llvm.lifetime.end.p0(i64, ptr nocapture) 72 73declare i1 @llvm.type.test(ptr, metadata) 74 75declare void @llvm.assume(i1) 76 77!llvm.module.flags = !{!0} 78!llvm.ident = !{!1} 79 80!0 = !{i32 1, !"PIC Level", i32 2} 81!1 = !{!"clang version 5.0.0 "} 82