Index: lib/Transforms/Scalar/CallSiteSplitting.cpp =================================================================== --- lib/Transforms/Scalar/CallSiteSplitting.cpp +++ lib/Transforms/Scalar/CallSiteSplitting.cpp @@ -206,6 +206,12 @@ isa(Preds[1]->getTerminator())) return false; + // Do not split a call-site in an exception handling block. This check + // prevents triggering an assertion in SplitEdge used via + // DuplicateInstructionsInSplitBetween. + if (CallSiteBB->isEHPad()) + return false; + return CallSiteBB->canSplitPredecessors(); } Index: test/Transforms/CallSiteSplitting/lpad.ll =================================================================== --- /dev/null +++ test/Transforms/CallSiteSplitting/lpad.ll @@ -0,0 +1,40 @@ +; RUN: opt -S -callsite-splitting < %s | FileCheck %s +; +; Make sure that the callsite is not splitted by checking that there's only one +; call to @callee. + +; CHECK-LABEL: @caller +; CHECK-LABEL: lpad +; CHECK: call void @callee +; CHECK-NOT: call void @callee + +declare void @foo(i1* %p); +declare void @bar(i1* %p); +declare dso_local i32 @__gxx_personality_v0(...) + +define void @caller(i1* %p) personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) { +entry: + %0 = icmp eq i1* %p, null + br i1 %0, label %bb1, label %bb2 + +bb1: + invoke void @foo(i1* %p) to label %end1 unwind label %lpad + +bb2: + invoke void @bar(i1* %p) to label %end2 unwind label %lpad + +lpad: + %1 = landingpad { i8*, i32 } cleanup + call void @callee(i1* %p) + resume { i8*, i32 } %1 + +end1: + ret void + +end2: + ret void +} + +define internal void @callee(i1* %p) { + ret void +}