diff options
| -rw-r--r-- | llvm/lib/Transforms/IPO/DeadArgumentElimination.cpp | 2 | ||||
| -rw-r--r-- | llvm/test/Transforms/DeadArgElim/deadexternal.ll | 15 |
2 files changed, 16 insertions, 1 deletions
diff --git a/llvm/lib/Transforms/IPO/DeadArgumentElimination.cpp b/llvm/lib/Transforms/IPO/DeadArgumentElimination.cpp index c8c895b1879..c294d6450b5 100644 --- a/llvm/lib/Transforms/IPO/DeadArgumentElimination.cpp +++ b/llvm/lib/Transforms/IPO/DeadArgumentElimination.cpp @@ -270,7 +270,7 @@ bool DeadArgumentEliminationPass::RemoveDeadArgumentsFromCallers(Function &Fn) { SmallVector<unsigned, 8> UnusedArgs; for (Argument &Arg : Fn.args()) { - if (Arg.use_empty() && !Arg.hasByValOrInAllocaAttr()) + if (!Arg.hasSwiftErrorAttr() && Arg.use_empty() && !Arg.hasByValOrInAllocaAttr()) UnusedArgs.push_back(Arg.getArgNo()); } diff --git a/llvm/test/Transforms/DeadArgElim/deadexternal.ll b/llvm/test/Transforms/DeadArgElim/deadexternal.ll index 21cbc37a3f0..1b098c6fe52 100644 --- a/llvm/test/Transforms/DeadArgElim/deadexternal.ll +++ b/llvm/test/Transforms/DeadArgElim/deadexternal.ll @@ -50,3 +50,18 @@ entry: ret void } +%swift_error = type opaque + +define void @unused_swifterror_arg(%swift_error** swifterror %dead_arg) { + tail call void @sideeffect() nounwind + ret void +} + +; CHECK-LABEL: @dont_replace_by_undef +; CHECK-NOT: call void @unused_swifterror_arg({{.*}}undef) +define void @dont_replace_by_undef() { + %error_ptr_ref = alloca swifterror %swift_error* + store %swift_error* null, %swift_error** %error_ptr_ref + call void @unused_swifterror_arg(%swift_error** %error_ptr_ref) + ret void +} |
