https://github.com/trungnt2910 updated https://github.com/llvm/llvm-project/pull/184953
>From fafc2387a7318e0ebcaca5654e998172104180f8 Mon Sep 17 00:00:00 2001 From: Trung Nguyen <[email protected]> Date: Sun, 15 Mar 2026 23:32:40 +1100 Subject: [PATCH 1/2] [ARM] Add support for Windows SEH This commit implements Windows Structured Exception Handling (SEH) support for ARM `clang` in MSVC mode. This includes enabling the relevant language constructs in the Clang frontend and adding new ARM-specific code lowering logic. --- clang/include/clang/Basic/TargetInfo.h | 3 +- llvm/lib/CodeGen/AsmPrinter/WinException.cpp | 7 ++-- llvm/lib/Target/ARM/ARMBaseRegisterInfo.cpp | 23 ++++++++++++ llvm/lib/Target/ARM/ARMBaseRegisterInfo.h | 1 + llvm/lib/Target/ARM/ARMExpandPseudoInsts.cpp | 38 ++++++++++++++++++++ llvm/lib/Target/ARM/ARMFrameLowering.cpp | 26 +++++++++++++- llvm/lib/Target/ARM/ARMFrameLowering.h | 2 ++ llvm/lib/Target/ARM/ARMISelLowering.cpp | 17 +++++++++ llvm/lib/Target/ARM/ARMInstrInfo.td | 22 ++++++++++++ llvm/lib/Target/ARM/ARMInstrThumb2.td | 3 ++ llvm/lib/Target/ARM/ARMMCInstLower.cpp | 3 ++ llvm/lib/Target/ARM/ARMMachineFunctionInfo.h | 13 +++++++ 12 files changed, 153 insertions(+), 5 deletions(-) diff --git a/clang/include/clang/Basic/TargetInfo.h b/clang/include/clang/Basic/TargetInfo.h index f3a85737f6571..1405164ac9a33 100644 --- a/clang/include/clang/Basic/TargetInfo.h +++ b/clang/include/clang/Basic/TargetInfo.h @@ -1668,7 +1668,8 @@ class TargetInfo : public TransferrableTargetInfo, bool isSEHTrySupported() const { return getTriple().isOSWindows() && (getTriple().isX86() || - getTriple().getArch() == llvm::Triple::aarch64); + getTriple().getArch() == llvm::Triple::aarch64 || + getTriple().isThumb()); } /// Return true if {|} are normal characters in the asm string. diff --git a/llvm/lib/CodeGen/AsmPrinter/WinException.cpp b/llvm/lib/CodeGen/AsmPrinter/WinException.cpp index 90d8196ffb82a..ca579c22f66be 100644 --- a/llvm/lib/CodeGen/AsmPrinter/WinException.cpp +++ b/llvm/lib/CodeGen/AsmPrinter/WinException.cpp @@ -33,9 +33,10 @@ using namespace llvm; WinException::WinException(AsmPrinter *A) : EHStreamer(A) { - // MSVC's EH tables are always composed of 32-bit words. All known 64-bit - // platforms use an imagerel32 relocation to refer to symbols. - useImageRel32 = (A->getDataLayout().getPointerSizeInBits() == 64); + // MSVC's EH tables are always composed of 32-bit words. All known + // architectures use an imagerel32 relocation to refer to symbols, except + // 32-bit x86. + useImageRel32 = A->TM.getTargetTriple().getArch() != Triple::x86; isAArch64 = Asm->TM.getTargetTriple().isAArch64(); isThumb = Asm->TM.getTargetTriple().isThumb(); } diff --git a/llvm/lib/Target/ARM/ARMBaseRegisterInfo.cpp b/llvm/lib/Target/ARM/ARMBaseRegisterInfo.cpp index 80921ce4fb4dd..c581df8cf892b 100644 --- a/llvm/lib/Target/ARM/ARMBaseRegisterInfo.cpp +++ b/llvm/lib/Target/ARM/ARMBaseRegisterInfo.cpp @@ -447,6 +447,12 @@ bool ARMBaseRegisterInfo::hasBasePointer(const MachineFunction &MF) const { const ARMFunctionInfo *AFI = MF.getInfo<ARMFunctionInfo>(); const ARMFrameLowering *TFI = getFrameLowering(MF); + // For Windows SEH, the runtime does not preserve SP or R11 for EH funclets. + // Fortunately, R4-R10 are always preserved. + // Therefore, we force these functions to set up a base pointer. + if (MF.hasEHFunclets()) + return true; + // If we have stack realignment and VLAs, we have no pointer to use to // access the stack. If we have stack realignment, and a large call frame, // we have no place to allocate the emergency spill slot. @@ -520,6 +526,16 @@ ARMBaseRegisterInfo::getFrameRegister(const MachineFunction &MF) const { return ARM::SP; } +unsigned +ARMBaseRegisterInfo::getLocalAddressRegister(const MachineFunction &MF) const { + const auto &MFI = MF.getFrameInfo(); + if (!MF.hasEHFunclets() && !MFI.hasVarSizedObjects()) + return ARM::SP; + else if (MF.hasEHFunclets() || hasStackRealignment(MF)) + return getBaseRegister(); + return getFrameRegister(MF); +} + /// emitLoadConstPool - Emits a load from constpool to materialize the /// specified immediate. void ARMBaseRegisterInfo::emitLoadConstPool( @@ -833,6 +849,13 @@ ARMBaseRegisterInfo::eliminateFrameIndex(MachineBasicBlock::iterator II, int Offset = TFI->ResolveFrameIndexReference(MF, FrameIndex, FrameReg, SPAdj); + if (MI.getOpcode() == TargetOpcode::LOCAL_ESCAPE) { + MachineOperand &FI = MI.getOperand(FIOperandNum); + StackOffset Offset = TFI->getNonLocalFrameIndexReference(MF, FrameIndex); + FI.ChangeToImmediate(Offset.getFixed()); + return false; + } + // PEI::scavengeFrameVirtualRegs() cannot accurately track SPAdj because the // call frame setup/destroy instructions have already been eliminated. That // means the stack pointer cannot be used to access the emergency spill slot diff --git a/llvm/lib/Target/ARM/ARMBaseRegisterInfo.h b/llvm/lib/Target/ARM/ARMBaseRegisterInfo.h index 03b0fa0d1ee08..1f0681bf2ee3e 100644 --- a/llvm/lib/Target/ARM/ARMBaseRegisterInfo.h +++ b/llvm/lib/Target/ARM/ARMBaseRegisterInfo.h @@ -127,6 +127,7 @@ class ARMBaseRegisterInfo : public ARMGenRegisterInfo { // Debug information queries. Register getFrameRegister(const MachineFunction &MF) const override; + unsigned getLocalAddressRegister(const MachineFunction &MF) const; Register getBaseRegister() const { return BasePtr; } /// emitLoadConstPool - Emits a load from constpool to materialize the diff --git a/llvm/lib/Target/ARM/ARMExpandPseudoInsts.cpp b/llvm/lib/Target/ARM/ARMExpandPseudoInsts.cpp index 276736333fb5d..f4b1f877a2d32 100644 --- a/llvm/lib/Target/ARM/ARMExpandPseudoInsts.cpp +++ b/llvm/lib/Target/ARM/ARMExpandPseudoInsts.cpp @@ -985,6 +985,8 @@ static MachineOperand getMovOperand(const MachineOperand &MO, } case MachineOperand::MO_ExternalSymbol: return MachineOperand::CreateES(MO.getSymbolName(), TF); + case MachineOperand::MO_MCSymbol: + return MachineOperand::CreateMCSymbol(MO.getMCSymbol(), TF); case MachineOperand::MO_JumpTableIndex: return MachineOperand::CreateJTI(MO.getIndex(), TF); default: @@ -2242,6 +2244,14 @@ bool ARMExpandPseudo::ExpandMI(MachineBasicBlock &MBB, return true; } + case ARM::CLEANUPRET: + case ARM::CATCHRET: { + unsigned RetOpcode = STI->isThumb() ? ARM::tBX_RET : ARM::BX_RET; + BuildMI(MBB, MBBI, MI.getDebugLoc(), TII->get(RetOpcode)) + .add(predOps(ARMCC::AL)); + MI.eraseFromParent(); + return true; + } case ARM::TCRETURNdi: case ARM::TCRETURNri: case ARM::TCRETURNrinotr12: { @@ -3282,6 +3292,34 @@ bool ARMExpandPseudo::ExpandMI(MachineBasicBlock &MBB, MI.eraseFromParent(); return true; } + case ARM::WIN_RECOVER_FP: { + MachineBasicBlock &MBB = *MI.getParent(); + MachineBasicBlock::iterator MBBI = MI.getIterator(); + DebugLoc dl = MI.getDebugLoc(); + Register DstReg = MI.getOperand(0).getReg(); + const ARMBaseRegisterInfo &RI = TII->getRegisterInfo(); + Register BaseReg = RI.getBaseRegister(); + if (AFI->isBasePtrSpilled()) { + // If the handler itself uses R6, we must restore the parent's R6. + int Offset = AFI->getBasePtrSpillOffset(); + BuildMI(MBB, MBBI, dl, + TII->get(AFI->isThumb2Function() ? ARM::t2LDRi12 : ARM::LDRi12), + DstReg) + .addReg(BaseReg) + .addImm(Offset) + .add(predOps(ARMCC::AL)); + } else { + // R6 is preserved and valid, but we must still move it to whatever + // register the handler uses to index the parent's local variables. + BuildMI(MBB, MBBI, dl, + TII->get(AFI->isThumbFunction() ? ARM::tMOVr : ARM::MOVr), + DstReg) + .addReg(BaseReg) + .add(predOps(ARMCC::AL)); + } + MI.eraseFromParent(); + return true; + } } } diff --git a/llvm/lib/Target/ARM/ARMFrameLowering.cpp b/llvm/lib/Target/ARM/ARMFrameLowering.cpp index 3abace4f6a958..23554f6bcaf27 100644 --- a/llvm/lib/Target/ARM/ARMFrameLowering.cpp +++ b/llvm/lib/Target/ARM/ARMFrameLowering.cpp @@ -624,6 +624,8 @@ static MachineBasicBlock::iterator insertSEH(MachineBasicBlock::iterator MBBI, case ARM::tBX_RET: case ARM::t2BXAUT_RET: + case ARM::CLEANUPRET: + case ARM::CATCHRET: case ARM::TCRETURNri: case ARM::TCRETURNrinotr12: MIB = BuildMI(MF, DL, TII.get(ARM::SEH_Nop_Ret)) @@ -910,6 +912,7 @@ void ARMFrameLowering::emitPrologue(MachineFunction &MF, DebugLoc dl; Register FramePtr = RegInfo->getFrameRegister(MF); + Register BasePtr = RegInfo->getBaseRegister(); // Determine the sizes of each callee-save spill areas and record which frame // belongs to which callee-save spill areas. @@ -917,6 +920,8 @@ void ARMFrameLowering::emitPrologue(MachineFunction &MF, DPRCS1Size = 0, GPRCS3Size = 0, DPRCS2Size = 0; int FramePtrSpillFI = 0; int D8SpillFI = 0; + int BasePtrSpillFI = 0; + bool BasePtrSpilled = false; // All calls are tail calls in GHC calling conv, and functions have no // prologue/epilogue. @@ -958,6 +963,10 @@ void ARMFrameLowering::emitPrologue(MachineFunction &MF, FramePtrSpillFI = FI; FramePtrSpillArea = Area; } + if (Reg == BasePtr.asMCReg()) { + BasePtrSpillFI = FI; + BasePtrSpilled = true; + } if (Reg == ARM::D8) D8SpillFI = FI; @@ -1041,6 +1050,10 @@ void ARMFrameLowering::emitPrologue(MachineFunction &MF, AFI->setFramePtrSpillOffset(MFI.getObjectOffset(FramePtrSpillFI) + NumBytes); } + if (BasePtrSpilled) { + AFI->setIsBasePtrSpilled(BasePtrSpilled); + AFI->setBasePtrSpillOffset(MFI.getObjectOffset(BasePtrSpillFI) + NumBytes); + } AFI->setGPRCalleeSavedArea1Offset(GPRCS1Offset); AFI->setGPRCalleeSavedArea2Offset(GPRCS2Offset); AFI->setDPRCalleeSavedArea1Offset(DPRCS1Offset); @@ -1110,6 +1123,7 @@ void ARMFrameLowering::emitPrologue(MachineFunction &MF, DefCFAOffsetCandidates.addInst(LastPush, GPRCS3Size, BeforeFPPush); if (FramePtrSpillArea == SpillArea::GPRCS3) BeforeFPPush = false; + NumBytes -= GPRCS3Size; } bool NeedsWinCFIStackAlloc = NeedsWinCFI; @@ -1378,7 +1392,7 @@ void ARMFrameLowering::emitPrologue(MachineFunction &MF, // will be allocated after this, so we can still use the base pointer // to reference locals. // FIXME: Clarify FrameSetup flags here. - if (RegInfo->hasBasePointer(MF)) { + if (RegInfo->hasBasePointer(MF) && !MBB.isEHFuncletEntry()) { if (isARM) BuildMI(MBB, MBBI, dl, TII.get(ARM::MOVr), RegInfo->getBaseRegister()) .addReg(ARM::SP) @@ -1582,6 +1596,14 @@ StackOffset ARMFrameLowering::getFrameIndexReference(const MachineFunction &MF, return StackOffset::getFixed(ResolveFrameIndexReference(MF, FI, FrameReg, 0)); } +StackOffset +ARMFrameLowering::getNonLocalFrameIndexReference(const MachineFunction &MF, + int FI) const { + const MachineFrameInfo &MFI = MF.getFrameInfo(); + int Offset = MFI.getObjectOffset(FI) + MFI.getStackSize(); + return StackOffset::getFixed(Offset); +} + int ARMFrameLowering::ResolveFrameIndexReference(const MachineFunction &MF, int FI, Register &FrameReg, int SPAdj) const { @@ -2365,6 +2387,8 @@ static unsigned estimateRSStackSizeLimit(MachineFunction &MF, for (auto &MI : MBB) { if (MI.isDebugInstr()) continue; + if (MI.getOpcode() == TargetOpcode::LOCAL_ESCAPE) + continue; for (unsigned i = 0, e = MI.getNumOperands(); i != e; ++i) { if (!MI.getOperand(i).isFI()) continue; diff --git a/llvm/lib/Target/ARM/ARMFrameLowering.h b/llvm/lib/Target/ARM/ARMFrameLowering.h index 9dc88d4671c38..7021af0d9fbdd 100644 --- a/llvm/lib/Target/ARM/ARMFrameLowering.h +++ b/llvm/lib/Target/ARM/ARMFrameLowering.h @@ -51,6 +51,8 @@ class ARMFrameLowering : public TargetFrameLowering { bool canSimplifyCallFramePseudos(const MachineFunction &MF) const override; StackOffset getFrameIndexReference(const MachineFunction &MF, int FI, Register &FrameReg) const override; + StackOffset getNonLocalFrameIndexReference(const MachineFunction &MF, + int FI) const override; int ResolveFrameIndexReference(const MachineFunction &MF, int FI, Register &FrameReg, int SPAdj) const; diff --git a/llvm/lib/Target/ARM/ARMISelLowering.cpp b/llvm/lib/Target/ARM/ARMISelLowering.cpp index 228ed68e386b4..2ece2afc76c11 100644 --- a/llvm/lib/Target/ARM/ARMISelLowering.cpp +++ b/llvm/lib/Target/ARM/ARMISelLowering.cpp @@ -3837,6 +3837,23 @@ ARMTargetLowering::LowerINTRINSIC_WO_CHAIN(SDValue Op, SelectionDAG &DAG, SDLoc dl(Op); switch (IntNo) { default: return SDValue(); // Don't custom lower most intrinsics. + case Intrinsic::localaddress: { + const MachineFunction &MF = DAG.getMachineFunction(); + const auto *RegInfo = Subtarget->getRegisterInfo(); + unsigned Reg = RegInfo->getLocalAddressRegister(MF); + return DAG.getCopyFromReg(DAG.getEntryNode(), dl, Reg, + Op.getSimpleValueType()); + } + case Intrinsic::eh_recoverfp: { + SDValue FnOp = Op.getOperand(1); + GlobalAddressSDNode *GSD = dyn_cast<GlobalAddressSDNode>(FnOp); + auto *Fn = dyn_cast_or_null<Function>(GSD ? GSD->getGlobal() : nullptr); + if (!Fn) + report_fatal_error( + "llvm.eh.recoverfp must take a function as the first argument"); + EVT PtrVT = getPointerTy(DAG.getDataLayout()); + return SDValue(DAG.getMachineNode(ARM::WIN_RECOVER_FP, dl, PtrVT), 0); + } case Intrinsic::thread_pointer: { EVT PtrVT = getPointerTy(DAG.getDataLayout()); return DAG.getNode(ARMISD::THREAD_POINTER, dl, PtrVT); diff --git a/llvm/lib/Target/ARM/ARMInstrInfo.td b/llvm/lib/Target/ARM/ARMInstrInfo.td index b72aa4b28736e..849a61927f26a 100644 --- a/llvm/lib/Target/ARM/ARMInstrInfo.td +++ b/llvm/lib/Target/ARM/ARMInstrInfo.td @@ -6220,6 +6220,17 @@ def : ARMPat<(ARMWrapperJT tjumptable:$dst), // TODO: add,sub,and, 3-instr forms? + +// Exception Handling +def ARMLocalRecover : SDNode<"ISD::LOCAL_RECOVER", + SDTypeProfile<1, 1, [SDTCisSameAs<0, 1>, + SDTCisInt<1>]>>; +def : ARMPat<(ARMLocalRecover mcsym:$sym), (MOVi32imm mcsym:$sym)>, + Requires<[IsARM, UseMovt]>; +def : ARMPat<(ARMLocalRecover mcsym:$sym), (LDRLIT_ga_abs mcsym:$sym)>, + Requires<[IsARM, DontUseMovt]>; + + // Tail calls. These patterns also apply to Thumb mode. // Regular indirect tail call def : Pat<(ARMtcret tcGPR:$dst, (i32 timm:$SPDiff)), @@ -6725,3 +6736,14 @@ let isPseudo = 1 in { let isTerminator = 1 in def SEH_EpilogEnd : PseudoInst<(outs), (ins), NoItinerary, []>, Sched<[]>; } + +// C++ Exception / SEH Pseudo Instructions +let isTerminator = 1, isReturn = 1, isBarrier = 1, isCodeGenOnly = 1, hasNoSchedulingInfo = 1 in { + def CLEANUPRET : PseudoInst<(outs), (ins), NoItinerary, [(cleanupret bb)]>, Sched<[]>; + def CATCHRET : PseudoInst<(outs), (ins arm_br_target:$dst, arm_br_target:$src), NoItinerary, [(catchret bb:$dst, bb:$src)]>, Sched<[]>; +} + +// Pseudo Instruction for setting local address pointer on Windows. +let isPseudo = 1, isBarrier = 1, isCodeGenOnly = 1, hasNoSchedulingInfo = 1 in { + def WIN_RECOVER_FP : PseudoInst<(outs GPR:$dst), (ins), NoItinerary, []>; +} diff --git a/llvm/lib/Target/ARM/ARMInstrThumb2.td b/llvm/lib/Target/ARM/ARMInstrThumb2.td index b17c76baec4ef..795b155a68a20 100644 --- a/llvm/lib/Target/ARM/ARMInstrThumb2.td +++ b/llvm/lib/Target/ARM/ARMInstrThumb2.td @@ -4393,6 +4393,9 @@ def t2LDRLIT_ga_pcrel : PseudoInst<(outs rGPR:$dst), (ins i32imm:$addr), Requires<[IsThumb, HasV8MBaseline, DontUseMovtInPic]>; } +// Exception Handling +def : T2Pat<(ARMLocalRecover mcsym:$sym), (t2MOVi32imm mcsym:$sym)>; + // TLS globals def : Pat<(ARMWrapperPIC tglobaltlsaddr:$addr), (t2LDRLIT_ga_pcrel tglobaltlsaddr:$addr)>, diff --git a/llvm/lib/Target/ARM/ARMMCInstLower.cpp b/llvm/lib/Target/ARM/ARMMCInstLower.cpp index c040904a82b71..79ee0f22f3c1e 100644 --- a/llvm/lib/Target/ARM/ARMMCInstLower.cpp +++ b/llvm/lib/Target/ARM/ARMMCInstLower.cpp @@ -100,6 +100,9 @@ bool ARMAsmPrinter::lowerOperand(const MachineOperand &MO, MCOp = MCOperand::createExpr(MCSymbolRefExpr::create( MO.getMBB()->getSymbol(), OutContext)); break; + case MachineOperand::MO_MCSymbol: + MCOp = GetSymbolRef(MO, MO.getMCSymbol()); + break; case MachineOperand::MO_GlobalAddress: MCOp = GetSymbolRef(MO, GetARMGVSymbol(MO.getGlobal(), MO.getTargetFlags())); diff --git a/llvm/lib/Target/ARM/ARMMachineFunctionInfo.h b/llvm/lib/Target/ARM/ARMMachineFunctionInfo.h index b6897608a952c..e8c5daa5fc79b 100644 --- a/llvm/lib/Target/ARM/ARMMachineFunctionInfo.h +++ b/llvm/lib/Target/ARM/ARMMachineFunctionInfo.h @@ -67,6 +67,13 @@ class ARMFunctionInfo : public MachineFunctionInfo { /// spill stack offset. unsigned FramePtrSpillOffset = 0; + /// BasePtrSpilled - True if the base pointer has been spilled. + bool BasePtrSpilled = false; + + /// BasePtrSpillOffset - If BasePtrSpilled, this records the base pointer + /// spill stack offset. + unsigned BasePtrSpillOffset = 0; + /// GPRCS1Offset, GPRCS2Offset, DPRCSOffset - Starting offset of callee saved /// register spills areas. For Mac OS X: /// @@ -190,6 +197,12 @@ class ARMFunctionInfo : public MachineFunctionInfo { unsigned getFramePtrSpillOffset() const { return FramePtrSpillOffset; } void setFramePtrSpillOffset(unsigned o) { FramePtrSpillOffset = o; } + bool isBasePtrSpilled() const { return BasePtrSpilled; } + void setIsBasePtrSpilled(bool s) { BasePtrSpilled = s; } + + unsigned getBasePtrSpillOffset() const { return BasePtrSpillOffset; } + void setBasePtrSpillOffset(unsigned o) { BasePtrSpillOffset = o; } + unsigned getNumAlignedDPRCS2Regs() const { return NumAlignedDPRCS2Regs; } void setNumAlignedDPRCS2Regs(unsigned n) { NumAlignedDPRCS2Regs = n; } >From 3b05d210b831e6fbb1af28f1edb1741bf3a835a1 Mon Sep 17 00:00:00 2001 From: Trung Nguyen <[email protected]> Date: Sun, 15 Mar 2026 23:33:19 +1100 Subject: [PATCH 2/2] [ARM] Port SEH codegen tests to thumbv7-windows --- clang/test/CodeGen/exceptions-seh-finally.c | 111 +++++----- clang/test/CodeGen/exceptions-seh.c | 70 +++--- llvm/test/CodeGen/ARM/seh-finally.ll | 230 ++++++++++++++++++++ 3 files changed, 327 insertions(+), 84 deletions(-) create mode 100644 llvm/test/CodeGen/ARM/seh-finally.ll diff --git a/clang/test/CodeGen/exceptions-seh-finally.c b/clang/test/CodeGen/exceptions-seh-finally.c index 0cdf230311250..8b6f6b124bd21 100644 --- a/clang/test/CodeGen/exceptions-seh-finally.c +++ b/clang/test/CodeGen/exceptions-seh-finally.c @@ -1,6 +1,7 @@ // RUN: %clang_cc1 %s -triple x86_64-pc-win32 -fms-extensions -emit-llvm -O1 -disable-llvm-passes -o - | FileCheck %s // RUN: %clang_cc1 %s -triple i686-pc-win32 -fms-extensions -emit-llvm -O1 -disable-llvm-passes -o - | FileCheck %s // RUN: %clang_cc1 %s -triple aarch64-windows -fms-extensions -emit-llvm -O1 -disable-llvm-passes -o - | FileCheck %s +// RUN: %clang_cc1 %s -triple thumbv7-windows -fms-extensions -emit-llvm -O1 -disable-llvm-passes -o - | FileCheck %s // NOTE: we're passing "-O1 -disable-llvm-passes" to avoid adding optnone and noinline everywhere. void abort(void) __attribute__((noreturn)); @@ -15,24 +16,24 @@ void basic_finally(void) { } } -// CHECK-LABEL: define dso_local void @basic_finally() -// CHECK: invoke void @might_crash() +// CHECK-LABEL: define dso_local {{.*}}void @basic_finally() +// CHECK: invoke {{.*}}void @might_crash() // CHECK: to label %[[invoke_cont:[^ ]*]] unwind label %[[lpad:[^ ]*]] // // CHECK: [[invoke_cont]] // CHECK: %[[fp:[^ ]*]] = call ptr @llvm.localaddress() -// CHECK: call void @"?fin$0@0@basic_finally@@"({{i8 noundef( zeroext)?}} 0, ptr noundef %[[fp]]) +// CHECK: call {{.*}}void @"?fin$0@0@basic_finally@@"({{i8 noundef( zeroext)?}} 0, ptr noundef %[[fp]]) // CHECK-NEXT: ret void // // CHECK: [[lpad]] // CHECK-NEXT: %[[pad:[^ ]*]] = cleanuppad // CHECK: %[[fp:[^ ]*]] = call ptr @llvm.localaddress() -// CHECK: call void @"?fin$0@0@basic_finally@@"({{i8 noundef( zeroext)?}} 1, ptr noundef %[[fp]]) +// CHECK: call {{.*}}void @"?fin$0@0@basic_finally@@"({{i8 noundef( zeroext)?}} 1, ptr noundef %[[fp]]) // CHECK-NEXT: cleanupret from %[[pad]] unwind to caller -// CHECK: define internal void @"?fin$0@0@basic_finally@@"({{.*}}) +// CHECK: define internal {{.*}}void @"?fin$0@0@basic_finally@@"({{.*}}) // CHECK-SAME: [[finally_attrs:#[0-9]+]] -// CHECK: call void @cleanup() +// CHECK: call {{.*}}void @cleanup() // Mostly check that we don't double emit 'r' which would crash. void decl_in_finally(void) { @@ -55,22 +56,22 @@ void label_in_finally(void) { } } -// CHECK-LABEL: define dso_local void @label_in_finally() -// CHECK: invoke void @might_crash() +// CHECK-LABEL: define dso_local {{.*}}void @label_in_finally() +// CHECK: invoke {{.*}}void @might_crash() // CHECK: to label %[[invoke_cont:[^ ]*]] unwind label %[[lpad:[^ ]*]] // // CHECK: [[invoke_cont]] // CHECK: %[[fp:[^ ]*]] = call ptr @llvm.localaddress() -// CHECK: call void @"?fin$0@0@label_in_finally@@"({{i8 noundef( zeroext)?}} 0, ptr noundef %[[fp]]) +// CHECK: call {{.*}}void @"?fin$0@0@label_in_finally@@"({{i8 noundef( zeroext)?}} 0, ptr noundef %[[fp]]) // CHECK: ret void -// CHECK: define internal void @"?fin$0@0@label_in_finally@@"({{.*}}) +// CHECK: define internal {{.*}}void @"?fin$0@0@label_in_finally@@"({{.*}}) // CHECK-SAME: [[finally_attrs]] // CHECK: br label %[[l:[^ ]*]] // // CHECK: [[l]] -// CHECK: call void @cleanup() -// CHECK: call i32 @check_condition() +// CHECK: call {{.*}}void @cleanup() +// CHECK: call {{.*}}i32 @check_condition() // CHECK: br i1 {{.*}}, label // CHECK: br label %[[l]] @@ -83,22 +84,22 @@ void use_abnormal_termination(void) { } } -// CHECK-LABEL: define dso_local void @use_abnormal_termination() -// CHECK: invoke void @might_crash() +// CHECK-LABEL: define dso_local {{.*}}void @use_abnormal_termination() +// CHECK: invoke {{.*}}void @might_crash() // CHECK: to label %[[invoke_cont:[^ ]*]] unwind label %[[lpad:[^ ]*]] // // CHECK: [[invoke_cont]] // CHECK: %[[fp:[^ ]*]] = call ptr @llvm.localaddress() -// CHECK: call void @"?fin$0@0@use_abnormal_termination@@"({{i8 noundef( zeroext)?}} 0, ptr noundef %[[fp]]) +// CHECK: call {{.*}}void @"?fin$0@0@use_abnormal_termination@@"({{i8 noundef( zeroext)?}} 0, ptr noundef %[[fp]]) // CHECK: ret void // // CHECK: [[lpad]] // CHECK-NEXT: %[[pad:[^ ]*]] = cleanuppad // CHECK: %[[fp:[^ ]*]] = call ptr @llvm.localaddress() -// CHECK: call void @"?fin$0@0@use_abnormal_termination@@"({{i8 noundef( zeroext)?}} 1, ptr noundef %[[fp]]) +// CHECK: call {{.*}}void @"?fin$0@0@use_abnormal_termination@@"({{i8 noundef( zeroext)?}} 1, ptr noundef %[[fp]]) // CHECK-NEXT: cleanupret from %[[pad]] unwind to caller -// CHECK: define internal void @"?fin$0@0@use_abnormal_termination@@"({{i8 noundef( zeroext)?}} %[[abnormal:abnormal_termination]], ptr noundef %frame_pointer) +// CHECK: define internal {{.*}}void @"?fin$0@0@use_abnormal_termination@@"({{i8 noundef( zeroext)?}} %[[abnormal:abnormal_termination]], ptr noundef %frame_pointer) // CHECK-SAME: [[finally_attrs]] // CHECK: %[[abnormal_zext:[^ ]*]] = zext i8 %[[abnormal]] to i32 // CHECK: store i32 %[[abnormal_zext]], ptr @crashed @@ -112,13 +113,13 @@ void noreturn_noop_finally(void) { } } -// CHECK-LABEL: define dso_local void @noreturn_noop_finally() -// CHECK: call void @"?fin$0@0@noreturn_noop_finally@@"({{.*}}) +// CHECK-LABEL: define dso_local {{.*}}void @noreturn_noop_finally() +// CHECK: call {{.*}}void @"?fin$0@0@noreturn_noop_finally@@"({{.*}}) // CHECK: ret void -// CHECK: define internal void @"?fin$0@0@noreturn_noop_finally@@"({{.*}}) +// CHECK: define internal {{.*}}void @"?fin$0@0@noreturn_noop_finally@@"({{.*}}) // CHECK-SAME: [[finally_attrs]] -// CHECK: call void @abort() +// CHECK: call {{.*}}void @abort() // CHECK: unreachable void noreturn_finally(void) { @@ -129,22 +130,22 @@ void noreturn_finally(void) { } } -// CHECK-LABEL: define dso_local void @noreturn_finally() -// CHECK: invoke void @might_crash() +// CHECK-LABEL: define dso_local {{.*}}void @noreturn_finally() +// CHECK: invoke {{.*}}void @might_crash() // CHECK: to label %[[cont:[^ ]*]] unwind label %[[lpad:[^ ]*]] // // CHECK: [[cont]] -// CHECK: call void @"?fin$0@0@noreturn_finally@@"({{.*}}) +// CHECK: call {{.*}}void @"?fin$0@0@noreturn_finally@@"({{.*}}) // CHECK: ret void // // CHECK: [[lpad]] // CHECK-NEXT: %[[pad:[^ ]*]] = cleanuppad -// CHECK: call void @"?fin$0@0@noreturn_finally@@"({{.*}}) +// CHECK: call {{.*}}void @"?fin$0@0@noreturn_finally@@"({{.*}}) // CHECK-NEXT: cleanupret from %[[pad]] unwind to caller -// CHECK: define internal void @"?fin$0@0@noreturn_finally@@"({{.*}}) +// CHECK: define internal {{.*}}void @"?fin$0@0@noreturn_finally@@"({{.*}}) // CHECK-SAME: [[finally_attrs]] -// CHECK: call void @abort() +// CHECK: call {{.*}}void @abort() // CHECK: unreachable int finally_with_return(void) { @@ -153,14 +154,14 @@ int finally_with_return(void) { } __finally { } } -// CHECK-LABEL: define dso_local i32 @finally_with_return() +// CHECK-LABEL: define dso_local {{.*}}i32 @finally_with_return() // CHECK: store i32 1, ptr %cleanup.dest.slot // CHECK: %cleanup.dest = load i32, ptr %cleanup.dest.slot // CHECK: icmp ne i32 %cleanup.dest -// CHECK: call void @"?fin$0@0@finally_with_return@@"({{.*}}) +// CHECK: call {{.*}}void @"?fin$0@0@finally_with_return@@"({{.*}}) // CHECK: ret i32 42 -// CHECK: define internal void @"?fin$0@0@finally_with_return@@"({{.*}}) +// CHECK: define internal {{.*}}void @"?fin$0@0@finally_with_return@@"({{.*}}) // CHECK-SAME: [[finally_attrs]] // CHECK-NOT: br i1 // CHECK-NOT: br label @@ -178,24 +179,24 @@ int nested___finally___finally(void) { return 0; } -// CHECK-LABEL: define dso_local i32 @nested___finally___finally -// CHECK: invoke void @"?fin$1@0@nested___finally___finally@@"({{.*}}) +// CHECK-LABEL: define dso_local {{.*}}i32 @nested___finally___finally +// CHECK: invoke {{.*}}void @"?fin$1@0@nested___finally___finally@@"({{.*}}) // CHECK: to label %[[outercont:[^ ]*]] unwind label %[[lpad:[^ ]*]] // // CHECK: [[outercont]] -// CHECK: call void @"?fin$0@0@nested___finally___finally@@"({{.*}}) +// CHECK: call {{.*}}void @"?fin$0@0@nested___finally___finally@@"({{.*}}) // CHECK-NEXT: ret i32 0 // // CHECK: [[lpad]] // CHECK-NEXT: %[[pad:[^ ]*]] = cleanuppad -// CHECK: call void @"?fin$0@0@nested___finally___finally@@"({{.*}}) +// CHECK: call {{.*}}void @"?fin$0@0@nested___finally___finally@@"({{.*}}) // CHECK-NEXT: cleanupret from %[[pad]] unwind to caller -// CHECK-LABEL: define internal void @"?fin$0@0@nested___finally___finally@@"({{.*}}) +// CHECK-LABEL: define internal {{.*}}void @"?fin$0@0@nested___finally___finally@@"({{.*}}) // CHECK-SAME: [[finally_attrs]] // CHECK: ret void -// CHECK-LABEL: define internal void @"?fin$1@0@nested___finally___finally@@"({{.*}}) +// CHECK-LABEL: define internal {{.*}}void @"?fin$1@0@nested___finally___finally@@"({{.*}}) // CHECK-SAME: [[finally_attrs]] // CHECK: unreachable @@ -213,21 +214,21 @@ int nested___finally___finally_with_eh_edge(void) { } return 912; } -// CHECK-LABEL: define dso_local i32 @nested___finally___finally_with_eh_edge -// CHECK: invoke void @might_crash() +// CHECK-LABEL: define dso_local {{.*}}i32 @nested___finally___finally_with_eh_edge +// CHECK: invoke {{.*}}void @might_crash() // CHECK-NEXT: to label %[[invokecont:[^ ]*]] unwind label %[[lpad1:[^ ]*]] // // [[invokecont]] -// CHECK: invoke void @"?fin$1@0@nested___finally___finally_with_eh_edge@@"({{.*}}) +// CHECK: invoke {{.*}}void @"?fin$1@0@nested___finally___finally_with_eh_edge@@"({{.*}}) // CHECK-NEXT: to label %[[outercont:[^ ]*]] unwind label %[[lpad2:[^ ]*]] // // CHECK: [[outercont]] -// CHECK: call void @"?fin$0@0@nested___finally___finally_with_eh_edge@@"({{.*}}) +// CHECK: call {{.*}}void @"?fin$0@0@nested___finally___finally_with_eh_edge@@"({{.*}}) // CHECK-NEXT: ret i32 912 // // CHECK: [[lpad1]] // CHECK-NEXT: %[[innerpad:[^ ]*]] = cleanuppad -// CHECK: invoke void @"?fin$1@0@nested___finally___finally_with_eh_edge@@"({{.*}}) +// CHECK: invoke {{.*}}void @"?fin$1@0@nested___finally___finally_with_eh_edge@@"({{.*}}) // CHECK-NEXT: label %[[innercleanupretbb:[^ ]*]] unwind label %[[lpad2:[^ ]*]] // // CHECK: [[innercleanupretbb]] @@ -235,14 +236,14 @@ int nested___finally___finally_with_eh_edge(void) { // // CHECK: [[lpad2]] // CHECK-NEXT: %[[outerpad:[^ ]*]] = cleanuppad -// CHECK: call void @"?fin$0@0@nested___finally___finally_with_eh_edge@@"({{.*}}) +// CHECK: call {{.*}}void @"?fin$0@0@nested___finally___finally_with_eh_edge@@"({{.*}}) // CHECK-NEXT: cleanupret from %[[outerpad]] unwind to caller -// CHECK-LABEL: define internal void @"?fin$0@0@nested___finally___finally_with_eh_edge@@"({{.*}}) +// CHECK-LABEL: define internal {{.*}}void @"?fin$0@0@nested___finally___finally_with_eh_edge@@"({{.*}}) // CHECK-SAME: [[finally_attrs]] // CHECK: ret void -// CHECK-LABEL: define internal void @"?fin$1@0@nested___finally___finally_with_eh_edge@@"({{.*}}) +// CHECK-LABEL: define internal {{.*}}void @"?fin$1@0@nested___finally___finally_with_eh_edge@@"({{.*}}) // CHECK-SAME: [[finally_attrs]] // CHECK: unreachable @@ -257,20 +258,20 @@ void finally_within_finally(void) { } } -// CHECK-LABEL: define dso_local void @finally_within_finally( -// CHECK: invoke void @might_crash( +// CHECK-LABEL: define dso_local {{.*}}void @finally_within_finally( +// CHECK: invoke {{.*}}void @might_crash( -// CHECK: call void @"?fin$0@0@finally_within_finally@@"( -// CHECK: call void @"?fin$0@0@finally_within_finally@@"({{.*}}) [ "funclet"( +// CHECK: call {{.*}}void @"?fin$0@0@finally_within_finally@@"( +// CHECK: call {{.*}}void @"?fin$0@0@finally_within_finally@@"({{.*}}) [ "funclet"( -// CHECK-LABEL: define internal void @"?fin$0@0@finally_within_finally@@"({{[^)]*}}) +// CHECK-LABEL: define internal {{.*}}void @"?fin$0@0@finally_within_finally@@"({{[^)]*}}) // CHECK-SAME: [[finally_attrs]] -// CHECK: invoke void @might_crash( +// CHECK: invoke {{.*}}void @might_crash( -// CHECK: call void @"?fin$1@0@finally_within_finally@@"( -// CHECK: call void @"?fin$1@0@finally_within_finally@@"({{.*}}) [ "funclet"( +// CHECK: call {{.*}}void @"?fin$1@0@finally_within_finally@@"( +// CHECK: call {{.*}}void @"?fin$1@0@finally_within_finally@@"({{.*}}) [ "funclet"( -// CHECK-LABEL: define internal void @"?fin$1@0@finally_within_finally@@"({{[^)]*}}) +// CHECK-LABEL: define internal {{.*}}void @"?fin$1@0@finally_within_finally@@"({{[^)]*}}) // CHECK-SAME: [[finally_attrs]] void cleanup_with_func(const char *); @@ -282,8 +283,8 @@ void finally_with_func(void) { } } -// CHECK-LABEL: define internal void @"?fin$0@0@finally_with_func@@"({{[^)]*}}) -// CHECK: call void @cleanup_with_func(ptr noundef @"??_C@_0BC@COAGBPGM@finally_with_func?$AA@") +// CHECK-LABEL: define internal {{.*}}void @"?fin$0@0@finally_with_func@@"({{[^)]*}}) +// CHECK: call {{.*}}void @cleanup_with_func(ptr noundef @"??_C@_0BC@COAGBPGM@finally_with_func?$AA@") // Look for the absence of noinline. nounwind is expected; any further // attributes should be string attributes. diff --git a/clang/test/CodeGen/exceptions-seh.c b/clang/test/CodeGen/exceptions-seh.c index 25d622419b09c..a406076d5c5a4 100644 --- a/clang/test/CodeGen/exceptions-seh.c +++ b/clang/test/CodeGen/exceptions-seh.c @@ -4,6 +4,8 @@ // RUN: | FileCheck %s --check-prefix=CHECK --check-prefix=X86 // RUN: %clang_cc1 %s -triple aarch64-windows -fms-extensions -emit-llvm -o - \ // RUN: | FileCheck %s --check-prefixes=CHECK,ARM64 +// RUN: %clang_cc1 %s -triple thumbv7-windows -fms-extensions -emit-llvm -o - \ +// RUN: | FileCheck %s --check-prefixes=CHECK,ARM // RUN: %clang_cc1 %s -triple i686-pc-windows-gnu -fms-extensions -emit-llvm -o - \ // RUN: | FileCheck %s --check-prefix=X86-GNU // RUN: %clang_cc1 %s -triple x86_64-pc-windows-gnu -fms-extensions -emit-llvm -o - \ @@ -12,7 +14,7 @@ void try_body(int numerator, int denominator, int *myres) { *myres = numerator / denominator; } -// CHECK-LABEL: define dso_local void @try_body(i32 noundef %numerator, i32 noundef %denominator, ptr noundef %myres) +// CHECK-LABEL: define dso_local {{.*}}void @try_body(i32 noundef %numerator, i32 noundef %denominator, ptr noundef %myres) // CHECK: sdiv i32 // CHECK: store i32 %{{.*}}, ptr // CHECK: ret void @@ -29,16 +31,18 @@ int safe_div(int numerator, int denominator, int *res) { return success; } -// CHECK-LABEL: define dso_local i32 @safe_div(i32 noundef %numerator, i32 noundef %denominator, ptr noundef %res) +// CHECK-LABEL: define dso_local {{.*}}i32 @safe_div(i32 noundef %numerator, i32 noundef %denominator, ptr noundef %res) // X64-SAME: personality ptr @__C_specific_handler // ARM64-SAME: personality ptr @__C_specific_handler +// ARM-SAME: personality ptr @__C_specific_handler // X86-SAME: personality ptr @_except_handler3 -// CHECK: invoke void @try_body(i32 noundef %{{.*}}, i32 noundef %{{.*}}, ptr noundef %{{.*}}) #[[NOINLINE:[0-9]+]] +// CHECK: invoke {{.*}}void @try_body(i32 noundef %{{.*}}, i32 noundef %{{.*}}, ptr noundef %{{.*}}) #[[NOINLINE:[0-9]+]] // CHECK: to label %{{.*}} unwind label %[[catchpad:[^ ]*]] // // CHECK: [[catchpad]] // X64: %[[padtoken:[^ ]*]] = catchpad within %{{[^ ]*}} [ptr null] // ARM64: %[[padtoken:[^ ]*]] = catchpad within %{{[^ ]*}} [ptr null] +// ARM: %[[padtoken:[^ ]*]] = catchpad within %{{[^ ]*}} [ptr null] // X86: %[[padtoken:[^ ]*]] = catchpad within %{{[^ ]*}} [ptr @"?filt$0@0@safe_div@@"] // CHECK-NEXT: catchret from %[[padtoken]] to label %[[except:[^ ]*]] // @@ -50,7 +54,7 @@ int safe_div(int numerator, int denominator, int *res) { // 32-bit SEH needs this filter to save the exception code. // -// X86-LABEL: define internal i32 @"?filt$0@0@safe_div@@"() +// X86-LABEL: define internal {{.*}}i32 @"?filt$0@0@safe_div@@"() // X86: %[[ebp:[^ ]*]] = call ptr @llvm.frameaddress.p0(i32 1) // X86: %[[fp:[^ ]*]] = call ptr @llvm.eh.recoverfp(ptr @safe_div, ptr %[[ebp]]) // X86: call ptr @llvm.localrecover(ptr @safe_div, ptr %[[fp]], i32 0) @@ -61,9 +65,9 @@ int safe_div(int numerator, int denominator, int *res) { // X86: ret i32 1 // Mingw uses msvcrt, so it can also use _except_handler3. -// X86-GNU-LABEL: define dso_local i32 @safe_div(i32 noundef %numerator, i32 noundef %denominator, ptr noundef %res) +// X86-GNU-LABEL: define dso_local {{.*}}i32 @safe_div(i32 noundef %numerator, i32 noundef %denominator, ptr noundef %res) // X86-GNU-SAME: personality ptr @_except_handler3 -// X64-GNU-LABEL: define dso_local i32 @safe_div(i32 noundef %numerator, i32 noundef %denominator, ptr noundef %res) +// X64-GNU-LABEL: define dso_local {{.*}}i32 @safe_div(i32 noundef %numerator, i32 noundef %denominator, ptr noundef %res) // X64-GNU-SAME: personality ptr @__C_specific_handler void j(void); @@ -78,15 +82,17 @@ int filter_expr_capture(void) { return r; } -// CHECK-LABEL: define dso_local i32 @filter_expr_capture() +// CHECK-LABEL: define dso_local {{.*}}i32 @filter_expr_capture() // X64-SAME: personality ptr @__C_specific_handler // ARM64-SAME: personality ptr @__C_specific_handler +// ARM-SAME: personality ptr @__C_specific_handler // X86-SAME: personality ptr @_except_handler3 // X64: call void (...) @llvm.localescape(ptr %[[r:[^ ,]*]]) // ARM64: call void (...) @llvm.localescape(ptr %[[r:[^ ,]*]]) +// ARM: call void (...) @llvm.localescape(ptr %[[r:[^ ,]*]]) // X86: call void (...) @llvm.localescape(ptr %[[r:[^ ,]*]], ptr %[[code:[^ ,]*]]) // CHECK: store i32 42, ptr %[[r]] -// CHECK: invoke void @j() #[[NOINLINE]] +// CHECK: invoke {{.*}}void @j() #[[NOINLINE]] // // CHECK: catchpad within %{{[^ ]*}} [ptr @"?filt$0@0@filter_expr_capture@@"] // CHECK: store i32 13, ptr %[[r]] @@ -94,15 +100,19 @@ int filter_expr_capture(void) { // CHECK: %[[rv:[^ ]*]] = load i32, ptr %[[r]] // CHECK: ret i32 %[[rv]] -// X64-LABEL: define internal i32 @"?filt$0@0@filter_expr_capture@@"(ptr noundef %exception_pointers, ptr noundef %frame_pointer) +// X64-LABEL: define internal {{.*}}i32 @"?filt$0@0@filter_expr_capture@@"(ptr noundef %exception_pointers, ptr noundef %frame_pointer) // X64: %[[fp:[^ ]*]] = call ptr @llvm.eh.recoverfp(ptr @filter_expr_capture, ptr %frame_pointer) // X64: call ptr @llvm.localrecover(ptr @filter_expr_capture, ptr %[[fp]], i32 0) // -// ARM64-LABEL: define internal i32 @"?filt$0@0@filter_expr_capture@@"(ptr noundef %exception_pointers, ptr noundef %frame_pointer) +// ARM64-LABEL: define internal {{.*}}i32 @"?filt$0@0@filter_expr_capture@@"(ptr noundef %exception_pointers, ptr noundef %frame_pointer) // ARM64: %[[fp:[^ ]*]] = call ptr @llvm.eh.recoverfp(ptr @filter_expr_capture, ptr %frame_pointer) // ARM64: call ptr @llvm.localrecover(ptr @filter_expr_capture, ptr %[[fp]], i32 0) // -// X86-LABEL: define internal i32 @"?filt$0@0@filter_expr_capture@@"() +// ARM-LABEL: define internal {{.*}}i32 @"?filt$0@0@filter_expr_capture@@"(ptr noundef %exception_pointers, ptr noundef %frame_pointer) +// ARM: %[[fp:[^ ]*]] = call ptr @llvm.eh.recoverfp(ptr @filter_expr_capture, ptr %frame_pointer) +// ARM: call ptr @llvm.localrecover(ptr @filter_expr_capture, ptr %[[fp]], i32 0) +// +// X86-LABEL: define internal {{.*}}i32 @"?filt$0@0@filter_expr_capture@@"() // X86: %[[ebp:[^ ]*]] = call ptr @llvm.frameaddress.p0(i32 1) // X86: %[[fp:[^ ]*]] = call ptr @llvm.eh.recoverfp(ptr @filter_expr_capture, ptr %[[ebp]]) // X86: call ptr @llvm.localrecover(ptr @filter_expr_capture, ptr %[[fp]], i32 0) @@ -124,12 +134,13 @@ int nested_try(void) { } return r; } -// CHECK-LABEL: define dso_local i32 @nested_try() +// CHECK-LABEL: define dso_local {{.*}}i32 @nested_try() // X64-SAME: personality ptr @__C_specific_handler // ARM64-SAME: personality ptr @__C_specific_handler +// ARM-SAME: personality ptr @__C_specific_handler // X86-SAME: personality ptr @_except_handler3 // CHECK: store i32 42, ptr %[[r:[^ ,]*]] -// CHECK: invoke void @j() #[[NOINLINE]] +// CHECK: invoke {{.*}}void @j() #[[NOINLINE]] // CHECK: to label %[[cont:[^ ]*]] unwind label %[[cswitch_inner:[^ ]*]] // // CHECK: [[cswitch_inner]] @@ -165,13 +176,13 @@ int nested_try(void) { // CHECK: store i32 0, ptr %[[r]] // CHECK: br label %[[inner_try_cont]] // -// CHECK-LABEL: define internal i32 @"?filt$0@0@nested_try@@"({{.*}}) +// CHECK-LABEL: define internal {{.*}}i32 @"?filt$0@0@nested_try@@"({{.*}}) // X86: call ptr @llvm.eh.recoverfp({{.*}}) // CHECK: load ptr, ptr // CHECK: load i32, ptr // CHECK: icmp eq i32 %{{.*}}, 456 // -// CHECK-LABEL: define internal i32 @"?filt$1@0@nested_try@@"({{.*}}) +// CHECK-LABEL: define internal {{.*}}i32 @"?filt$1@0@nested_try@@"({{.*}}) // X86: call ptr @llvm.eh.recoverfp({{.*}}) // CHECK: load ptr, ptr // CHECK: load i32, ptr @@ -185,30 +196,31 @@ int basic_finally(int g) { } return g; } -// CHECK-LABEL: define dso_local i32 @basic_finally(i32 noundef %g) +// CHECK-LABEL: define dso_local {{.*}}i32 @basic_finally(i32 noundef %g) // X64-SAME: personality ptr @__C_specific_handler // ARM64-SAME: personality ptr @__C_specific_handler +// ARM-SAME: personality ptr @__C_specific_handler // X86-SAME: personality ptr @_except_handler3 // CHECK: %[[g_addr:[^ ]*]] = alloca i32, align 4 // CHECK: call void (...) @llvm.localescape(ptr %[[g_addr]]) // CHECK: store i32 %g, ptr %[[g_addr]] // -// CHECK: invoke void @j() +// CHECK: invoke {{.*}}void @j() // CHECK: to label %[[cont:[^ ]*]] unwind label %[[cleanuppad:[^ ]*]] // // CHECK: [[cont]] // CHECK: %[[fp:[^ ]*]] = call ptr @llvm.localaddress() -// CHECK: call void @"?fin$0@0@basic_finally@@"({{i8 noundef( zeroext)?}} 0, ptr noundef %[[fp]]) +// CHECK: call {{.*}}void @"?fin$0@0@basic_finally@@"({{i8 noundef( zeroext)?}} 0, ptr noundef %[[fp]]) // CHECK: load i32, ptr %[[g_addr]], align 4 // CHECK: ret i32 // // CHECK: [[cleanuppad]] // CHECK: %[[padtoken:[^ ]*]] = cleanuppad within none [] // CHECK: %[[fp:[^ ]*]] = call ptr @llvm.localaddress() -// CHECK: call void @"?fin$0@0@basic_finally@@"({{i8 noundef( zeroext)?}} 1, ptr noundef %[[fp]]) +// CHECK: call {{.*}}void @"?fin$0@0@basic_finally@@"({{i8 noundef( zeroext)?}} 1, ptr noundef %[[fp]]) // CHECK: cleanupret from %[[padtoken]] unwind to caller -// CHECK: define internal void @"?fin$0@0@basic_finally@@"({{i8 noundef( zeroext)?}} %abnormal_termination, ptr noundef %frame_pointer) +// CHECK: define internal {{.*}}void @"?fin$0@0@basic_finally@@"({{i8 noundef( zeroext)?}} %abnormal_termination, ptr noundef %frame_pointer) // CHECK: call ptr @llvm.localrecover(ptr @basic_finally, ptr %frame_pointer, i32 0) // CHECK: load i32, ptr %{{.*}}, align 4 // CHECK: add nsw i32 %{{.*}}, 1 @@ -223,8 +235,8 @@ int except_return(void) { return 42; } } -// CHECK-LABEL: define dso_local i32 @except_return() -// CHECK: %[[tmp:[^ ]*]] = invoke i32 @returns_int() +// CHECK-LABEL: define dso_local {{.*}}i32 @except_return() +// CHECK: %[[tmp:[^ ]*]] = invoke {{.*}}i32 @returns_int() // CHECK: to label %[[cont:[^ ]*]] unwind label %[[catchpad:[^ ]*]] // // CHECK: [[catchpad]] @@ -252,13 +264,13 @@ void finally_capture_twice(int x) { } } // -// CHECK-LABEL: define dso_local void @finally_capture_twice( +// CHECK-LABEL: define dso_local {{.*}}void @finally_capture_twice( // CHECK: [[X:%.*]] = alloca i32, align 4 // CHECK: call void (...) @llvm.localescape(ptr [[X]]) // CHECK-NEXT: store i32 {{.*}}, ptr [[X]], align 4 // CHECK-NEXT: [[LOCAL:%.*]] = call ptr @llvm.localaddress() -// CHECK-NEXT: call void [[FINALLY:@.*]](i8 noundef{{ zeroext | }}0, ptr noundef [[LOCAL]]) -// CHECK: define internal void [[FINALLY]]( +// CHECK-NEXT: call {{.*}}void [[FINALLY:@.*]](i8 noundef{{ zeroext | }}0, ptr noundef [[LOCAL]]) +// CHECK: define internal {{.*}}void [[FINALLY]]( // CHECK: [[LOCAL:%.*]] = call ptr @llvm.localrecover( // CHECK-NEXT: [[Y:%.*]] = alloca i32, align 4 // CHECK-NEXT: [[Z:%.*]] = alloca i32, align 4 @@ -279,15 +291,15 @@ int exception_code_in_except(void) { return 0; } -// CHECK-LABEL: define dso_local i32 @exception_code_in_except() +// CHECK-LABEL: define dso_local {{.*}}i32 @exception_code_in_except() // CHECK: %[[ret_slot:[^ ]*]] = alloca i32 // CHECK: %[[code_slot:[^ ]*]] = alloca i32 -// CHECK: invoke void @try_body(i32 noundef 0, i32 noundef 0, ptr noundef null) +// CHECK: invoke {{.*}}void @try_body(i32 noundef 0, i32 noundef 0, ptr noundef null) // CHECK: %[[pad:[^ ]*]] = catchpad // CHECK: catchret from %[[pad]] -// X64: %[[code:[^ ]*]] = call i32 @llvm.eh.exceptioncode(token %[[pad]]) +// X64: %[[code:[^ ]*]] = call {{.*}}i32 @llvm.eh.exceptioncode(token %[[pad]]) // X64: store i32 %[[code]], ptr %[[code_slot]] -// ARM64: %[[code:[^ ]*]] = call i32 @llvm.eh.exceptioncode(token %[[pad]]) +// ARM64: %[[code:[^ ]*]] = call {{.*}}i32 @llvm.eh.exceptioncode(token %[[pad]]) // ARM64: store i32 %[[code]], ptr %[[code_slot]] // CHECK: %[[ret1:[^ ]*]] = load i32, ptr %[[code_slot]] // CHECK: store i32 %[[ret1]], ptr %[[ret_slot]] diff --git a/llvm/test/CodeGen/ARM/seh-finally.ll b/llvm/test/CodeGen/ARM/seh-finally.ll new file mode 100644 index 0000000000000..2dd16f4975082 --- /dev/null +++ b/llvm/test/CodeGen/ARM/seh-finally.ll @@ -0,0 +1,230 @@ +; RUN: llc -mtriple thumbv7-windows-msvc -o - %s | FileCheck %s + +; struct S { int x; }; +; void foo(int n); +; void foo_s(struct S o); +; void simple_seh() { +; struct S o; +; +; __try { foo(o.x); } +; __finally { foo(o.x); } +; } +; void stack_realign() { +; struct S __declspec(align(32)) o; +; +; __try { foo(o.x); } +; __finally { foo(o.x); } +; } +; void vla_present(int n) { +; int vla[n]; +; +; __try { foo(n); } +; __finally { foo(n); } +; } +; void vla_and_realign(int n) { +; struct S __declspec(align(32)) o; +; int vla[n]; +; +; __try { foo(o.x); } +; __finally { foo(o.x); } +; } + +%struct.S = type { i32 } + +; Test simple SEH (__try/__finally). +define arm_aapcs_vfpcc void @simple_seh() #0 personality ptr @__C_specific_handler { +entry: +; CHECK-LABEL: simple_seh: +; CHECK: mov r6, sp +; CHECK: $Msimple_seh$frame_escape_0 = 4 +; CHECK: ldr r0, [r6, #4] +; CHECK: bl foo + + %o = alloca %struct.S, align 4 + call void (...) @llvm.localescape(ptr %o) + %x = getelementptr inbounds nuw %struct.S, ptr %o, i32 0, i32 0 + %0 = load i32, ptr %x, align 4 + invoke arm_aapcs_vfpcc void @foo(i32 noundef %0) #5 + to label %invoke.cont unwind label %ehcleanup + +invoke.cont: ; preds = %entry + %1 = call ptr @llvm.localaddress() + call arm_aapcs_vfpcc void @"?fin$0@0@simple_seh@@"(i8 noundef zeroext 0, ptr noundef %1) + ret void + +ehcleanup: ; preds = %entry + %2 = cleanuppad within none [] + %3 = call ptr @llvm.localaddress() + call arm_aapcs_vfpcc void @"?fin$0@0@simple_seh@@"(i8 noundef zeroext 1, ptr noundef %3) [ "funclet"(token %2) ] + cleanupret from %2 unwind to caller +} + +define arm_aapcs_vfpcc void @"?fin$0@0@simple_seh@@"(i8 noundef zeroext %abnormal_termination, ptr noundef %frame_pointer) #1 { +entry: +; CHECK-LABEL: "?fin$0@0@simple_seh@@": +; CHECK: movw r0, :lower16:$Msimple_seh$frame_escape_0 +; CHECK: movt r0, :upper16:$Msimple_seh$frame_escape_0 +; CHECK: ldr r0, [r1, r0] +; CHECK: bl foo + + %o = call ptr @llvm.localrecover(ptr @simple_seh, ptr %frame_pointer, i32 0) + %x = getelementptr inbounds nuw %struct.S, ptr %o, i32 0, i32 0 + %0 = load i32, ptr %x, align 4 + call arm_aapcs_vfpcc void @foo(i32 noundef %0) + ret void +} + +; Test SEH when stack realignment is needed in case highly aligned stack objects are present. +define arm_aapcs_vfpcc void @stack_realign() #0 personality ptr @__C_specific_handler { +entry: +; CHECK-LABEL: stack_realign: +; CHECK: bfc r4, #0, #5 +; CHECK: mov sp, r4 +; CHECK: mov r6, sp +; CHECK: $Mstack_realign$frame_escape_0 = 0 +; CHECK: ldr r0, [sp] +; CHECK: bl foo +; CHECK: movs r0, #0 +; CHECK: mov r1, r6 +; CHECK: bl "?fin$0@0@stack_realign@@" + + %o = alloca %struct.S, align 32 + call void (...) @llvm.localescape(ptr %o) + %x = getelementptr inbounds nuw %struct.S, ptr %o, i32 0, i32 0 + %0 = load i32, ptr %x, align 32 + invoke arm_aapcs_vfpcc void @foo(i32 noundef %0) #5 + to label %invoke.cont unwind label %ehcleanup + +invoke.cont: ; preds = %entry + %1 = call ptr @llvm.localaddress() + call arm_aapcs_vfpcc void @"?fin$0@0@stack_realign@@"(i8 noundef zeroext 0, ptr noundef %1) + ret void + +ehcleanup: ; preds = %entry + %2 = cleanuppad within none [] + %3 = call ptr @llvm.localaddress() + call arm_aapcs_vfpcc void @"?fin$0@0@stack_realign@@"(i8 noundef zeroext 1, ptr noundef %3) [ "funclet"(token %2) ] + cleanupret from %2 unwind to caller +} + +define arm_aapcs_vfpcc void @"?fin$0@0@stack_realign@@"(i8 noundef zeroext %abnormal_termination, ptr noundef %frame_pointer) #1 { +entry: +; CHECK-LABEL: "?fin$0@0@stack_realign@@": +; CHECK: movw r0, :lower16:$Mstack_realign$frame_escape_0 +; CHECK: movt r0, :upper16:$Mstack_realign$frame_escape_0 +; CHECK: ldr r0, [r1, r0] +; CHECK: bl foo + + %o = call ptr @llvm.localrecover(ptr @stack_realign, ptr %frame_pointer, i32 0) + %x = getelementptr inbounds nuw %struct.S, ptr %o, i32 0, i32 0 + %0 = load i32, ptr %x, align 32 + call arm_aapcs_vfpcc void @foo(i32 noundef %0) + ret void +} + +; Test SEH when variable size objects are present on the stack. Note: Escaped vla's are current not supported by SEH. +define arm_aapcs_vfpcc void @vla_present(i32 noundef %n) #0 personality ptr @__C_specific_handler { +entry: +; CHECK-LABEL: vla_present: +; CHECK: mov r6, sp +; CHECK: $Mvla_present$frame_escape_0 = 12 +; CHECK: bl foo + + %n.addr = alloca i32, align 4 + %saved_stack = alloca ptr, align 4 + %__vla_expr0 = alloca i32, align 4 + call void (...) @llvm.localescape(ptr %n.addr) + store i32 %n, ptr %n.addr, align 4 + %0 = load i32, ptr %n.addr, align 4 + %1 = call ptr @llvm.stacksave.p0() + store ptr %1, ptr %saved_stack, align 4 + %vla = alloca i32, i32 %0, align 4 + store i32 %0, ptr %__vla_expr0, align 4 + %2 = load i32, ptr %n.addr, align 4 + invoke arm_aapcs_vfpcc void @foo(i32 noundef %2) #5 + to label %invoke.cont unwind label %ehcleanup + +invoke.cont: ; preds = %entry + %3 = call ptr @llvm.localaddress() + call arm_aapcs_vfpcc void @"?fin$0@0@vla_present@@"(i8 noundef zeroext 0, ptr noundef %3) + %4 = load ptr, ptr %saved_stack, align 4 + call void @llvm.stackrestore.p0(ptr %4) + ret void + +ehcleanup: ; preds = %entry + %5 = cleanuppad within none [] + %6 = call ptr @llvm.localaddress() + call arm_aapcs_vfpcc void @"?fin$0@0@vla_present@@"(i8 noundef zeroext 1, ptr noundef %6) [ "funclet"(token %5) ] + cleanupret from %5 unwind to caller +} + +define arm_aapcs_vfpcc void @"?fin$0@0@vla_present@@"(i8 noundef zeroext %abnormal_termination, ptr noundef %frame_pointer) #1 { +entry: +; CHECK-LABEL: "?fin$0@0@vla_present@@": +; CHECK: movw r0, :lower16:$Mvla_present$frame_escape_0 +; CHECK: movt r0, :upper16:$Mvla_present$frame_escape_0 +; CHECK: ldr r0, [r1, r0] +; CHECK: bl foo + + %n.addr = call ptr @llvm.localrecover(ptr @vla_present, ptr %frame_pointer, i32 0) + %0 = load i32, ptr %n.addr, align 4 + call arm_aapcs_vfpcc void @foo(i32 noundef %0) + ret void +} + +; Test when both vla's and highly aligned objects are present on stack. +define arm_aapcs_vfpcc void @vla_and_realign(i32 noundef %n) #0 personality ptr @__C_specific_handler { +entry: +; CHECK-LABEL: vla_and_realign: +; CHECK: bfc r4, #0, #5 +; CHECK: mov sp, r4 +; CHECK: mov r6, sp +; CHECK: $Mvla_and_realign$frame_escape_0 = 0 +; CHECK: bl foo + + %o = alloca %struct.S, align 32 + call void (...) @llvm.localescape(ptr %o) + %0 = call ptr @llvm.stacksave.p0() + %x = getelementptr inbounds nuw %struct.S, ptr %o, i32 0, i32 0 + %1 = load i32, ptr %x, align 32 + invoke arm_aapcs_vfpcc void @foo(i32 noundef %1) #5 + to label %invoke.cont unwind label %ehcleanup + +invoke.cont: ; preds = %entry + %2 = call ptr @llvm.localaddress() + call arm_aapcs_vfpcc void @"?fin$0@0@vla_and_realign@@"(i8 noundef zeroext 0, ptr noundef %2) + call void @llvm.stackrestore.p0(ptr %0) + ret void + +ehcleanup: ; preds = %entry + %3 = cleanuppad within none [] + %4 = call ptr @llvm.localaddress() + call arm_aapcs_vfpcc void @"?fin$0@0@vla_and_realign@@"(i8 noundef zeroext 1, ptr noundef %4) [ "funclet"(token %3) ] + cleanupret from %3 unwind to caller +} + +define arm_aapcs_vfpcc void @"?fin$0@0@vla_and_realign@@"(i8 noundef zeroext %abnormal_termination, ptr noundef %frame_pointer) #1 { +entry: +; CHECK-LABEL: "?fin$0@0@vla_and_realign@@": +; CHECK: movw r0, :lower16:$Mvla_and_realign$frame_escape_0 +; CHECK: movt r0, :upper16:$Mvla_and_realign$frame_escape_0 +; CHECK: ldr r0, [r1, r0] +; CHECK: bl foo + + %o = call ptr @llvm.localrecover(ptr @vla_and_realign, ptr %frame_pointer, i32 0) + %x = getelementptr inbounds nuw %struct.S, ptr %o, i32 0, i32 0 + %0 = load i32, ptr %x, align 32 + call arm_aapcs_vfpcc void @foo(i32 noundef %0) + ret void +} + +declare arm_aapcs_vfpcc void @foo(i32 noundef) +declare void @llvm.stackrestore.p0(ptr) +declare ptr @llvm.stacksave.p0() +declare ptr @llvm.localrecover(ptr, ptr, i32 immarg) +declare ptr @llvm.localaddress() +declare void @llvm.localescape(...) +declare i32 @__C_specific_handler(...) + +attributes #0 = { noinline optnone } +attributes #1 = { noinline } _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
