Index: lib/Target/ARM/ARMFrameLowering.cpp =================================================================== --- lib/Target/ARM/ARMFrameLowering.cpp +++ lib/Target/ARM/ARMFrameLowering.cpp @@ -968,12 +968,16 @@ DebugLoc DL; bool isTailCall = false; bool isInterrupt = false; + bool isTrap = false; if (MBB.end() != MI) { DL = MI->getDebugLoc(); unsigned RetOpcode = MI->getOpcode(); isTailCall = (RetOpcode == ARM::TCRETURNdi || RetOpcode == ARM::TCRETURNri); isInterrupt = RetOpcode == ARM::SUBS_PC_LR || RetOpcode == ARM::t2SUBS_PC_LR; + isTrap = + RetOpcode == ARM::TRAP || RetOpcode == ARM::TRAPNaCl || + RetOpcode == ARM::tTRAP; } SmallVector Regs; @@ -990,7 +994,7 @@ continue; if (Reg == ARM::LR && !isTailCall && !isVarArg && !isInterrupt && - STI.hasV5TOps()) { + !isTrap && STI.hasV5TOps()) { if (MBB.succ_empty()) { Reg = ARM::PC; DeleteRet = true; Index: test/CodeGen/ARM/debugtrap.ll =================================================================== --- test/CodeGen/ARM/debugtrap.ll +++ test/CodeGen/ARM/debugtrap.ll @@ -0,0 +1,18 @@ +; This test ensures the @llvm.debugtrap() call is not removed when generating +; the 'pop' instruction to restore the callee saved registers on ARM. + +; RUN: llc -mtriple=armv7 -filetype=obj -O0 %s -o - \ +; RUN: | llvm-objdump -disassemble -triple armv7 - \ +; RUN: | FileCheck %s + +declare void @llvm.debugtrap() nounwind +declare void @foo() nounwind + +define void @test() nounwind { +entry: + ; CHECK: bl + ; CHECK: fe de ff e7 trap + call void @foo() + call void @llvm.debugtrap() + ret void +}