Index: llvm/lib/Transforms/Utils/SimplifyCFG.cpp =================================================================== --- llvm/lib/Transforms/Utils/SimplifyCFG.cpp +++ llvm/lib/Transforms/Utils/SimplifyCFG.cpp @@ -3972,7 +3972,7 @@ // Check that there are no other instructions except for debug intrinsics. BasicBlock::iterator I = LPInst->getIterator(), E = RI->getIterator(); while (++I != E) - if (!isa(I)) + if (!isa(I) && !I->isLifetimeStartOrEnd()) return false; // Turn all invokes that unwind here into calls and delete the basic block. Index: llvm/test/Transforms/SimplifyCFG/lifetime-landingpad.ll =================================================================== --- /dev/null +++ llvm/test/Transforms/SimplifyCFG/lifetime-landingpad.ll @@ -0,0 +1,33 @@ +; RUN: opt < %s -simplifycfg -S | FileCheck %s + +; CHECK-LABEL: define void @foo +define void @foo() personality i32 (...)* @__gxx_personality_v0 { +entry: +; CHECK: alloca i8 +; CHECK: call void @llvm.lifetime.start.p0i8 +; CHECK: call void @bar() +; CHECK: call void @llvm.lifetime.end.p0i8 +; CHECK: ret void + %a = alloca i8 + call void @llvm.lifetime.start.p0i8(i64 1, i8* nonnull %a) nounwind + invoke void @bar() to label %invoke.cont unwind label %lpad + +invoke.cont: + call void @llvm.lifetime.end.p0i8(i64 1, i8* nonnull %a) nounwind + ret void + +lpad: +; CHECK-NOT: landingpad + %b = landingpad { i8*, i32 } + cleanup + call void @llvm.lifetime.end.p0i8(i64 1, i8* nonnull %a) nounwind + resume { i8*, i32 } %b +} + +declare void @bar() + +declare void @llvm.lifetime.start.p0i8(i64 immarg, i8* nocapture) nounwind + +declare void @llvm.lifetime.end.p0i8(i64 immarg, i8* nocapture) nounwind + +declare i32 @__gxx_personality_v0(...)