DwarfException.cpp revision 639217cb6a3948800c71c39503f8def4873a535e
1eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling//===-- CodeGen/AsmPrinter/DwarfException.cpp - Dwarf Exception Impl ------===// 2eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling// 3eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling// The LLVM Compiler Infrastructure 4eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling// 5eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling// This file is distributed under the University of Illinois Open Source 6eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling// License. See LICENSE.TXT for details. 7eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling// 8eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling//===----------------------------------------------------------------------===// 9eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling// 10639217cb6a3948800c71c39503f8def4873a535eBill Wendling// This file contains support for writing dwarf exception info into asm files. 11eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling// 12eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling//===----------------------------------------------------------------------===// 13eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 14eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling#include "DwarfException.h" 15eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling#include "llvm/Module.h" 16eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling#include "llvm/CodeGen/MachineModuleInfo.h" 17eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling#include "llvm/CodeGen/MachineFrameInfo.h" 18fc4da0cea8a0f6c9c1483b92c2dffda217c0ba24David Greene#include "llvm/CodeGen/MachineFunction.h" 19eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling#include "llvm/CodeGen/MachineLocation.h" 206c2f9e14fdf14d8c1c687c6bd9918183fa7f8a7fChris Lattner#include "llvm/MC/MCStreamer.h" 21af76e592c7f9deff0e55c13dbb4a34f07f1c7f64Chris Lattner#include "llvm/MC/MCAsmInfo.h" 22eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling#include "llvm/Target/TargetData.h" 23eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling#include "llvm/Target/TargetFrameInfo.h" 24d5bbb07ec806e6fa1e804afd7073987fdacc83e4Chris Lattner#include "llvm/Target/TargetLoweringObjectFile.h" 25eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling#include "llvm/Target/TargetOptions.h" 26d5bbb07ec806e6fa1e804afd7073987fdacc83e4Chris Lattner#include "llvm/Target/TargetRegisterInfo.h" 276c2f9e14fdf14d8c1c687c6bd9918183fa7f8a7fChris Lattner#include "llvm/Support/Dwarf.h" 286c2f9e14fdf14d8c1c687c6bd9918183fa7f8a7fChris Lattner#include "llvm/Support/Timer.h" 296c2f9e14fdf14d8c1c687c6bd9918183fa7f8a7fChris Lattner#include "llvm/Support/raw_ostream.h" 30eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling#include "llvm/ADT/StringExtras.h" 31eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendlingusing namespace llvm; 32eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 33eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendlingstatic TimerGroup &getDwarfTimerGroup() { 34eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling static TimerGroup DwarfTimerGroup("Dwarf Exception"); 35eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling return DwarfTimerGroup; 36eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling} 37eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 38bc0d23afae781c45f92865c1c27bed0ce51fe545Bill WendlingDwarfException::DwarfException(raw_ostream &OS, AsmPrinter *A, 39af76e592c7f9deff0e55c13dbb4a34f07f1c7f64Chris Lattner const MCAsmInfo *T) 40bc0d23afae781c45f92865c1c27bed0ce51fe545Bill Wendling : Dwarf(OS, A, T, "eh"), shouldEmitTable(false), shouldEmitMoves(false), 41bc0d23afae781c45f92865c1c27bed0ce51fe545Bill Wendling shouldEmitTableModule(false), shouldEmitMovesModule(false), 42bc0d23afae781c45f92865c1c27bed0ce51fe545Bill Wendling ExceptionTimer(0) { 43bc0d23afae781c45f92865c1c27bed0ce51fe545Bill Wendling if (TimePassesIsEnabled) 44bc0d23afae781c45f92865c1c27bed0ce51fe545Bill Wendling ExceptionTimer = new Timer("Dwarf Exception Writer", 45bc0d23afae781c45f92865c1c27bed0ce51fe545Bill Wendling getDwarfTimerGroup()); 46bc0d23afae781c45f92865c1c27bed0ce51fe545Bill Wendling} 47bc0d23afae781c45f92865c1c27bed0ce51fe545Bill Wendling 48bc0d23afae781c45f92865c1c27bed0ce51fe545Bill WendlingDwarfException::~DwarfException() { 49bc0d23afae781c45f92865c1c27bed0ce51fe545Bill Wendling delete ExceptionTimer; 50bc0d23afae781c45f92865c1c27bed0ce51fe545Bill Wendling} 51bc0d23afae781c45f92865c1c27bed0ce51fe545Bill Wendling 527ccda0f2aadb601ce48f05c12cc153f3fcc554e6Bill Wendling/// EmitCIE - Emit a Common Information Entry (CIE). This holds information that 537ccda0f2aadb601ce48f05c12cc153f3fcc554e6Bill Wendling/// is shared among many Frame Description Entries. There is at least one CIE 547ccda0f2aadb601ce48f05c12cc153f3fcc554e6Bill Wendling/// in every non-empty .debug_frame section. 557ccda0f2aadb601ce48f05c12cc153f3fcc554e6Bill Wendlingvoid DwarfException::EmitCIE(const Function *Personality, unsigned Index) { 56eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Size and sign of stack growth. 57eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling int stackGrowth = 58eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->TM.getFrameInfo()->getStackGrowthDirection() == 59eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling TargetFrameInfo::StackGrowsUp ? 60eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling TD->getPointerSize() : -TD->getPointerSize(); 61eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 62eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Begin eh frame section. 636c2f9e14fdf14d8c1c687c6bd9918183fa7f8a7fChris Lattner Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getEHFrameSection()); 64eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 6533adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner if (MAI->is_EHSymbolPrivate()) 6633adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner O << MAI->getPrivateGlobalPrefix(); 67eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 68eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling O << "EH_frame" << Index << ":\n"; 69eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitLabel("section_eh_frame", Index); 70eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 71eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Define base labels. 72eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitLabel("eh_frame_common", Index); 73eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 74eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Define the eh frame length. 75eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitDifference("eh_frame_common_end", Index, 76eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling "eh_frame_common_begin", Index, true); 77eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("Length of Common Information Entry"); 78eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 79eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // EH frame header. 80eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitLabel("eh_frame_common_begin", Index); 81eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitInt32((int)0); 82eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("CIE Identifier Tag"); 83eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitInt8(dwarf::DW_CIE_VERSION); 84eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("CIE Version"); 85eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 86eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // The personality presence indicates that language specific information will 87eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // show up in the eh frame. 88eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitString(Personality ? "zPLR" : "zR"); 89eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("CIE Augmentation"); 90eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 91eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Round out reader. 92eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitULEB128Bytes(1); 93eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("CIE Code Alignment Factor"); 94eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitSLEB128Bytes(stackGrowth); 95eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("CIE Data Alignment Factor"); 96eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitInt8(RI->getDwarfRegNum(RI->getRARegister(), true)); 97eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("CIE Return Address Column"); 98eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 994bda11fbdafc1d4fa97b7539bdf5a0f62ecfc280Bill Wendling // If there is a personality, we need to indicate the function's location. 100eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (Personality) { 101eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitULEB128Bytes(7); 102eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("Augmentation Size"); 103eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 10433adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner if (MAI->getNeedsIndirectEncoding()) { 105639217cb6a3948800c71c39503f8def4873a535eBill Wendling Asm->EmitInt8(dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata4 | 106639217cb6a3948800c71c39503f8def4873a535eBill Wendling dwarf::DW_EH_PE_indirect); 107639217cb6a3948800c71c39503f8def4873a535eBill Wendling Asm->EOL("Personality (pcrel sdata4 indirect)"); 108eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } else { 109639217cb6a3948800c71c39503f8def4873a535eBill Wendling Asm->EmitInt8(dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata4); 110639217cb6a3948800c71c39503f8def4873a535eBill Wendling Asm->EOL("Personality (pcrel sdata4)"); 111eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 112eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 113eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling PrintRelDirective(true); 11433adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner O << MAI->getPersonalityPrefix(); 115eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitExternalGlobal((const GlobalVariable *)(Personality)); 11633adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner O << MAI->getPersonalitySuffix(); 11733adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner if (strcmp(MAI->getPersonalitySuffix(), "+4@GOTPCREL")) 11833adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner O << "-" << MAI->getPCSymbol(); 119eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("Personality"); 120eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 121639217cb6a3948800c71c39503f8def4873a535eBill Wendling Asm->EmitInt8(dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata4); 122639217cb6a3948800c71c39503f8def4873a535eBill Wendling Asm->EOL("LSDA Encoding (pcrel sdata4)"); 123eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 124639217cb6a3948800c71c39503f8def4873a535eBill Wendling Asm->EmitInt8(dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata4); 125639217cb6a3948800c71c39503f8def4873a535eBill Wendling Asm->EOL("FDE Encoding (pcrel sdata4)"); 126eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } else { 127eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitULEB128Bytes(1); 128eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("Augmentation Size"); 129eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 130639217cb6a3948800c71c39503f8def4873a535eBill Wendling Asm->EmitInt8(dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata4); 131639217cb6a3948800c71c39503f8def4873a535eBill Wendling Asm->EOL("FDE Encoding (pcrel sdata4)"); 132eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 133eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 134eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Indicate locations of general callee saved registers in frame. 135eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling std::vector<MachineMove> Moves; 136eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling RI->getInitialFrameState(Moves); 137eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitFrameMoves(NULL, 0, Moves, true); 138eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 139eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // On Darwin the linker honors the alignment of eh_frame, which means it must 140eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // be 8-byte on 64-bit targets to match what gcc does. Otherwise you get 141eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // holes which confuse readers of eh_frame. 142eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitAlignment(TD->getPointerSize() == sizeof(int32_t) ? 2 : 3, 143eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 0, 0, false); 144eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitLabel("eh_frame_common_end", Index); 145eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 146eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL(); 147eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling} 148eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 1497ccda0f2aadb601ce48f05c12cc153f3fcc554e6Bill Wendling/// EmitFDE - Emit the Frame Description Entry (FDE) for the function. 1507ccda0f2aadb601ce48f05c12cc153f3fcc554e6Bill Wendlingvoid DwarfException::EmitFDE(const FunctionEHFrameInfo &EHFrameInfo) { 151eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling assert(!EHFrameInfo.function->hasAvailableExternallyLinkage() && 152eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling "Should not emit 'available externally' functions at all"); 153eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 1543e0f60be46cb5363d4375f26a5e27d1dcd9867fbChris Lattner const Function *TheFunc = EHFrameInfo.function; 1553e0f60be46cb5363d4375f26a5e27d1dcd9867fbChris Lattner 1566c2f9e14fdf14d8c1c687c6bd9918183fa7f8a7fChris Lattner Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getEHFrameSection()); 1576a66e585b8242b9764ec3343309697d24bb1e312Chris Lattner 158eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Externally visible entry into the functions eh frame info. If the 159eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // corresponding function is static, this should not be externally visible. 1603e0f60be46cb5363d4375f26a5e27d1dcd9867fbChris Lattner if (!TheFunc->hasLocalLinkage()) 16133adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner if (const char *GlobalEHDirective = MAI->getGlobalEHDirective()) 162eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling O << GlobalEHDirective << EHFrameInfo.FnName << "\n"; 163eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 164eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // If corresponding function is weak definition, this should be too. 16533adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner if (TheFunc->isWeakForLinker() && MAI->getWeakDefDirective()) 16633adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner O << MAI->getWeakDefDirective() << EHFrameInfo.FnName << "\n"; 167eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 168eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // If there are no calls then you can't unwind. This may mean we can omit the 169eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // EH Frame, but some environments do not handle weak absolute symbols. If 170eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // UnwindTablesMandatory is set we cannot do this optimization; the unwind 171eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // info is to be available for non-EH uses. 1723e0f60be46cb5363d4375f26a5e27d1dcd9867fbChris Lattner if (!EHFrameInfo.hasCalls && !UnwindTablesMandatory && 1733e0f60be46cb5363d4375f26a5e27d1dcd9867fbChris Lattner (!TheFunc->isWeakForLinker() || 17433adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner !MAI->getWeakDefDirective() || 17533adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner MAI->getSupportsWeakOmittedEHFrame())) { 176eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling O << EHFrameInfo.FnName << " = 0\n"; 177eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // This name has no connection to the function, so it might get 178eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // dead-stripped when the function is not, erroneously. Prohibit 179eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // dead-stripping unconditionally. 18033adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner if (const char *UsedDirective = MAI->getUsedDirective()) 181eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling O << UsedDirective << EHFrameInfo.FnName << "\n\n"; 182eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } else { 183eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling O << EHFrameInfo.FnName << ":\n"; 184eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 185eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // EH frame header. 186eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitDifference("eh_frame_end", EHFrameInfo.Number, 187eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling "eh_frame_begin", EHFrameInfo.Number, true); 188eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("Length of Frame Information Entry"); 189eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 190eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitLabel("eh_frame_begin", EHFrameInfo.Number); 191eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 192a4ff5e48fc6a4718d3a2af8654cfc06a17310aedChris Lattner EmitSectionOffset("eh_frame_begin", "eh_frame_common", 193a4ff5e48fc6a4718d3a2af8654cfc06a17310aedChris Lattner EHFrameInfo.Number, EHFrameInfo.PersonalityIndex, 194a4ff5e48fc6a4718d3a2af8654cfc06a17310aedChris Lattner true, true, false); 195eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 196eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("FDE CIE offset"); 197eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 198eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitReference("eh_func_begin", EHFrameInfo.Number, true, true); 199eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("FDE initial location"); 200eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitDifference("eh_func_end", EHFrameInfo.Number, 201eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling "eh_func_begin", EHFrameInfo.Number, true); 202eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("FDE address range"); 203eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 204eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // If there is a personality and landing pads then point to the language 205eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // specific data area in the exception table. 206d44fff7849034fc17d6a0e9f9926542865bb7881Eric Christopher if (MMI->getPersonalities()[0] != NULL) { 207eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitULEB128Bytes(4); 208eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("Augmentation size"); 209eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 210eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (EHFrameInfo.hasLandingPads) 211eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitReference("exception", EHFrameInfo.Number, true, true); 212eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling else 213eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitInt32((int)0); 214eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("Language Specific Data Area"); 215eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } else { 216eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitULEB128Bytes(0); 217eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("Augmentation size"); 218eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 219eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 220eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Indicate locations of function specific callee saved registers in frame. 221eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitFrameMoves("eh_func_begin", EHFrameInfo.Number, EHFrameInfo.Moves, 222eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling true); 223eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 224eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // On Darwin the linker honors the alignment of eh_frame, which means it 225eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // must be 8-byte on 64-bit targets to match what gcc does. Otherwise you 226eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // get holes which confuse readers of eh_frame. 227eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitAlignment(TD->getPointerSize() == sizeof(int32_t) ? 2 : 3, 228eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 0, 0, false); 229eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitLabel("eh_frame_end", EHFrameInfo.Number); 230eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 231eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // If the function is marked used, this table should be also. We cannot 232eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // make the mark unconditional in this case, since retaining the table also 233eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // retains the function in this case, and there is code around that depends 234eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // on unused functions (calling undefined externals) being dead-stripped to 235eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // link correctly. Yes, there really is. 236401e10c4fbfcdcfade5065093e2ca97f69a1d144Chris Lattner if (MMI->isUsedFunction(EHFrameInfo.function)) 23733adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner if (const char *UsedDirective = MAI->getUsedDirective()) 238eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling O << UsedDirective << EHFrameInfo.FnName << "\n\n"; 239eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 2404bda11fbdafc1d4fa97b7539bdf5a0f62ecfc280Bill Wendling 2414bda11fbdafc1d4fa97b7539bdf5a0f62ecfc280Bill Wendling Asm->EOL(); 242eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling} 243eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 244eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling/// SharedTypeIds - How many leading type ids two landing pads have in common. 245eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendlingunsigned DwarfException::SharedTypeIds(const LandingPadInfo *L, 246eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling const LandingPadInfo *R) { 247eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling const std::vector<int> &LIds = L->TypeIds, &RIds = R->TypeIds; 248eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned LSize = LIds.size(), RSize = RIds.size(); 249eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned MinSize = LSize < RSize ? LSize : RSize; 250eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned Count = 0; 251eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 252eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling for (; Count != MinSize; ++Count) 253eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (LIds[Count] != RIds[Count]) 254eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling return Count; 255eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 256eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling return Count; 257eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling} 258eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 259eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling/// PadLT - Order landing pads lexicographically by type id. 260eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendlingbool DwarfException::PadLT(const LandingPadInfo *L, const LandingPadInfo *R) { 261eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling const std::vector<int> &LIds = L->TypeIds, &RIds = R->TypeIds; 262eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned LSize = LIds.size(), RSize = RIds.size(); 263eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned MinSize = LSize < RSize ? LSize : RSize; 264eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 265eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling for (unsigned i = 0; i != MinSize; ++i) 266eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (LIds[i] != RIds[i]) 267eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling return LIds[i] < RIds[i]; 268eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 269eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling return LSize < RSize; 270eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling} 271eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 272d4609622ade8d0ebaf57fd70700c2fedf0b3d165Bill Wendling/// ComputeActionsTable - Compute the actions table and gather the first action 273d4609622ade8d0ebaf57fd70700c2fedf0b3d165Bill Wendling/// index for each landing pad site. 274ade025c65c12503aba161a4fa399fd97414abaffBill Wendlingunsigned DwarfException:: 275ade025c65c12503aba161a4fa399fd97414abaffBill WendlingComputeActionsTable(const SmallVectorImpl<const LandingPadInfo*> &LandingPads, 276ade025c65c12503aba161a4fa399fd97414abaffBill Wendling SmallVectorImpl<ActionEntry> &Actions, 277ade025c65c12503aba161a4fa399fd97414abaffBill Wendling SmallVectorImpl<unsigned> &FirstActions) { 278a583c55864e83e470333b7be878280b10e175a6eBill Wendling 279a583c55864e83e470333b7be878280b10e175a6eBill Wendling // The action table follows the call-site table in the LSDA. The individual 280a583c55864e83e470333b7be878280b10e175a6eBill Wendling // records are of two types: 281a583c55864e83e470333b7be878280b10e175a6eBill Wendling // 282a583c55864e83e470333b7be878280b10e175a6eBill Wendling // * Catch clause 283a583c55864e83e470333b7be878280b10e175a6eBill Wendling // * Exception specification 284a583c55864e83e470333b7be878280b10e175a6eBill Wendling // 285a583c55864e83e470333b7be878280b10e175a6eBill Wendling // The two record kinds have the same format, with only small differences. 286a583c55864e83e470333b7be878280b10e175a6eBill Wendling // They are distinguished by the "switch value" field: Catch clauses 287a583c55864e83e470333b7be878280b10e175a6eBill Wendling // (TypeInfos) have strictly positive switch values, and exception 288a583c55864e83e470333b7be878280b10e175a6eBill Wendling // specifications (FilterIds) have strictly negative switch values. Value 0 289a583c55864e83e470333b7be878280b10e175a6eBill Wendling // indicates a catch-all clause. 290a583c55864e83e470333b7be878280b10e175a6eBill Wendling // 2915e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling // Negative type IDs index into FilterIds. Positive type IDs index into 2925e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling // TypeInfos. The value written for a positive type ID is just the type ID 2935e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling // itself. For a negative type ID, however, the value written is the 294eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // (negative) byte offset of the corresponding FilterIds entry. The byte 2955e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling // offset is usually equal to the type ID (because the FilterIds entries are 2965e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling // written using a variable width encoding, which outputs one byte per entry 2975e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling // as long as the value written is not too large) but can differ. This kind 2985e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling // of complication does not occur for positive type IDs because type infos are 299eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // output using a fixed width encoding. FilterOffsets[i] holds the byte 300eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // offset corresponding to FilterIds[i]. 301409914b773ffd53d53d214394d5636a76f673186Bill Wendling 302409914b773ffd53d53d214394d5636a76f673186Bill Wendling const std::vector<unsigned> &FilterIds = MMI->getFilterIds(); 303eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling SmallVector<int, 16> FilterOffsets; 304eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling FilterOffsets.reserve(FilterIds.size()); 305eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling int Offset = -1; 306409914b773ffd53d53d214394d5636a76f673186Bill Wendling 307409914b773ffd53d53d214394d5636a76f673186Bill Wendling for (std::vector<unsigned>::const_iterator 308409914b773ffd53d53d214394d5636a76f673186Bill Wendling I = FilterIds.begin(), E = FilterIds.end(); I != E; ++I) { 309eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling FilterOffsets.push_back(Offset); 310af76e592c7f9deff0e55c13dbb4a34f07f1c7f64Chris Lattner Offset -= MCAsmInfo::getULEB128Size(*I); 311eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 312eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 313eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling FirstActions.reserve(LandingPads.size()); 314eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 315eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling int FirstAction = 0; 316eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned SizeActions = 0; 3175e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling const LandingPadInfo *PrevLPI = 0; 318409914b773ffd53d53d214394d5636a76f673186Bill Wendling 3195cff487665097d971067cbede1598e249f673182Bill Wendling for (SmallVectorImpl<const LandingPadInfo *>::const_iterator 3205e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling I = LandingPads.begin(), E = LandingPads.end(); I != E; ++I) { 3215e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling const LandingPadInfo *LPI = *I; 3225e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling const std::vector<int> &TypeIds = LPI->TypeIds; 3235e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling const unsigned NumShared = PrevLPI ? SharedTypeIds(LPI, PrevLPI) : 0; 324eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned SizeSiteActions = 0; 325eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 326eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (NumShared < TypeIds.size()) { 327eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned SizeAction = 0; 328eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling ActionEntry *PrevAction = 0; 329eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 330eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (NumShared) { 3315e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling const unsigned SizePrevIds = PrevLPI->TypeIds.size(); 332eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling assert(Actions.size()); 333eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling PrevAction = &Actions.back(); 334af76e592c7f9deff0e55c13dbb4a34f07f1c7f64Chris Lattner SizeAction = MCAsmInfo::getSLEB128Size(PrevAction->NextAction) + 335af76e592c7f9deff0e55c13dbb4a34f07f1c7f64Chris Lattner MCAsmInfo::getSLEB128Size(PrevAction->ValueForTypeID); 336eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 337eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling for (unsigned j = NumShared; j != SizePrevIds; ++j) { 338eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling SizeAction -= 339af76e592c7f9deff0e55c13dbb4a34f07f1c7f64Chris Lattner MCAsmInfo::getSLEB128Size(PrevAction->ValueForTypeID); 340eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling SizeAction += -PrevAction->NextAction; 341eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling PrevAction = PrevAction->Previous; 342eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 343eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 344eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 345eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Compute the actions. 3465e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling for (unsigned J = NumShared, M = TypeIds.size(); J != M; ++J) { 3475e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling int TypeID = TypeIds[J]; 3485e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling assert(-1 - TypeID < (int)FilterOffsets.size() && "Unknown filter id!"); 349eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling int ValueForTypeID = TypeID < 0 ? FilterOffsets[-1 - TypeID] : TypeID; 350af76e592c7f9deff0e55c13dbb4a34f07f1c7f64Chris Lattner unsigned SizeTypeID = MCAsmInfo::getSLEB128Size(ValueForTypeID); 351eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 352eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling int NextAction = SizeAction ? -(SizeAction + SizeTypeID) : 0; 353af76e592c7f9deff0e55c13dbb4a34f07f1c7f64Chris Lattner SizeAction = SizeTypeID + MCAsmInfo::getSLEB128Size(NextAction); 354eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling SizeSiteActions += SizeAction; 355eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 356a583c55864e83e470333b7be878280b10e175a6eBill Wendling ActionEntry Action = { ValueForTypeID, NextAction, PrevAction }; 357eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Actions.push_back(Action); 358eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling PrevAction = &Actions.back(); 359eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 360eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 361eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Record the first action of the landing pad site. 362eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling FirstAction = SizeActions + SizeSiteActions - SizeAction + 1; 363eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } // else identical - re-use previous FirstAction 364eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 365a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Information used when created the call-site table. The action record 366a583c55864e83e470333b7be878280b10e175a6eBill Wendling // field of the call site record is the offset of the first associated 367a583c55864e83e470333b7be878280b10e175a6eBill Wendling // action record, relative to the start of the actions table. This value is 368a583c55864e83e470333b7be878280b10e175a6eBill Wendling // biased by 1 (1 in dicating the start of the actions table), and 0 369a583c55864e83e470333b7be878280b10e175a6eBill Wendling // indicates that there are no actions. 370eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling FirstActions.push_back(FirstAction); 371eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 372eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Compute this sites contribution to size. 373eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling SizeActions += SizeSiteActions; 3745e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling 3755e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling PrevLPI = LPI; 376eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 377eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 3785e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling return SizeActions; 3795e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling} 3805e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling 381ade025c65c12503aba161a4fa399fd97414abaffBill Wendling/// ComputeCallSiteTable - Compute the call-site table. The entry for an invoke 382a583c55864e83e470333b7be878280b10e175a6eBill Wendling/// has a try-range containing the call, a non-zero landing pad, and an 383ade025c65c12503aba161a4fa399fd97414abaffBill Wendling/// appropriate action. The entry for an ordinary call has a try-range 384ade025c65c12503aba161a4fa399fd97414abaffBill Wendling/// containing the call and zero for the landing pad and the action. Calls 385ade025c65c12503aba161a4fa399fd97414abaffBill Wendling/// marked 'nounwind' have no entry and must not be contained in the try-range 386ade025c65c12503aba161a4fa399fd97414abaffBill Wendling/// of any entry - they form gaps in the table. Entries must be ordered by 387ade025c65c12503aba161a4fa399fd97414abaffBill Wendling/// try-range address. 388ade025c65c12503aba161a4fa399fd97414abaffBill Wendlingvoid DwarfException:: 389ade025c65c12503aba161a4fa399fd97414abaffBill WendlingComputeCallSiteTable(SmallVectorImpl<CallSiteEntry> &CallSites, 390ade025c65c12503aba161a4fa399fd97414abaffBill Wendling const RangeMapType &PadMap, 391ade025c65c12503aba161a4fa399fd97414abaffBill Wendling const SmallVectorImpl<const LandingPadInfo *> &LandingPads, 392ade025c65c12503aba161a4fa399fd97414abaffBill Wendling const SmallVectorImpl<unsigned> &FirstActions) { 393eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // The end label of the previous invoke or nounwind try-range. 394eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned LastLabel = 0; 395eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 396eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Whether there is a potentially throwing instruction (currently this means 397eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // an ordinary call) between the end of the previous try-range and now. 398eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling bool SawPotentiallyThrowing = false; 399eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 4005cff487665097d971067cbede1598e249f673182Bill Wendling // Whether the last CallSite entry was for an invoke. 401eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling bool PreviousIsInvoke = false; 402eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 403eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Visit all instructions in order of address. 404eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling for (MachineFunction::const_iterator I = MF->begin(), E = MF->end(); 405eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling I != E; ++I) { 406eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling for (MachineBasicBlock::const_iterator MI = I->begin(), E = I->end(); 407eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling MI != E; ++MI) { 408eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (!MI->isLabel()) { 409eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling SawPotentiallyThrowing |= MI->getDesc().isCall(); 410eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling continue; 411eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 412eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 413eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned BeginLabel = MI->getOperand(0).getImm(); 414eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling assert(BeginLabel && "Invalid label!"); 415eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 416eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // End of the previous try-range? 417eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (BeginLabel == LastLabel) 418eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling SawPotentiallyThrowing = false; 419eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 420eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Beginning of a new try-range? 421eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling RangeMapType::iterator L = PadMap.find(BeginLabel); 422eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (L == PadMap.end()) 423eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Nope, it was just some random label. 424eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling continue; 425eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 426a583c55864e83e470333b7be878280b10e175a6eBill Wendling const PadRange &P = L->second; 427eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling const LandingPadInfo *LandingPad = LandingPads[P.PadIndex]; 428eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling assert(BeginLabel == LandingPad->BeginLabels[P.RangeIndex] && 429eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling "Inconsistent landing pad map!"); 430eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 431a583c55864e83e470333b7be878280b10e175a6eBill Wendling // For Dwarf exception handling (SjLj handling doesn't use this). If some 432a583c55864e83e470333b7be878280b10e175a6eBill Wendling // instruction between the previous try-range and this one may throw, 433a583c55864e83e470333b7be878280b10e175a6eBill Wendling // create a call-site entry with no landing pad for the region between the 434a583c55864e83e470333b7be878280b10e175a6eBill Wendling // try-ranges. 4351b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach if (SawPotentiallyThrowing && 43633adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner MAI->getExceptionHandlingType() == ExceptionHandling::Dwarf) { 437a583c55864e83e470333b7be878280b10e175a6eBill Wendling CallSiteEntry Site = { LastLabel, BeginLabel, 0, 0 }; 438eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling CallSites.push_back(Site); 439eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling PreviousIsInvoke = false; 440eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 441eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 442eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling LastLabel = LandingPad->EndLabels[P.RangeIndex]; 443eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling assert(BeginLabel && LastLabel && "Invalid landing pad!"); 444eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 445eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (LandingPad->LandingPadLabel) { 446eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // This try-range is for an invoke. 447a583c55864e83e470333b7be878280b10e175a6eBill Wendling CallSiteEntry Site = { 448a583c55864e83e470333b7be878280b10e175a6eBill Wendling BeginLabel, 449a583c55864e83e470333b7be878280b10e175a6eBill Wendling LastLabel, 450a583c55864e83e470333b7be878280b10e175a6eBill Wendling LandingPad->LandingPadLabel, 451a583c55864e83e470333b7be878280b10e175a6eBill Wendling FirstActions[P.PadIndex] 452a583c55864e83e470333b7be878280b10e175a6eBill Wendling }; 453eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 454eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Try to merge with the previous call-site. 455eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (PreviousIsInvoke) { 456eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling CallSiteEntry &Prev = CallSites.back(); 457eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (Site.PadLabel == Prev.PadLabel && Site.Action == Prev.Action) { 458eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Extend the range of the previous entry. 459eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Prev.EndLabel = Site.EndLabel; 460eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling continue; 461eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 462eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 463eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 464eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Otherwise, create a new call-site. 465eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling CallSites.push_back(Site); 466eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling PreviousIsInvoke = true; 467eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } else { 468eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Create a gap. 469eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling PreviousIsInvoke = false; 470eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 471eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 472eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 473eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 474eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // If some instruction between the previous try-range and the end of the 475eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // function may throw, create a call-site entry with no landing pad for the 476eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // region following the try-range. 4771b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach if (SawPotentiallyThrowing && 47833adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner MAI->getExceptionHandlingType() == ExceptionHandling::Dwarf) { 479a583c55864e83e470333b7be878280b10e175a6eBill Wendling CallSiteEntry Site = { LastLabel, 0, 0, 0 }; 480eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling CallSites.push_back(Site); 481eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 482ade025c65c12503aba161a4fa399fd97414abaffBill Wendling} 483ade025c65c12503aba161a4fa399fd97414abaffBill Wendling 4840dafca90761097230f02e655fdd541f59b888315Bill Wendling/// EmitExceptionTable - Emit landing pads and actions. 4850dafca90761097230f02e655fdd541f59b888315Bill Wendling/// 4860dafca90761097230f02e655fdd541f59b888315Bill Wendling/// The general organization of the table is complex, but the basic concepts are 4870dafca90761097230f02e655fdd541f59b888315Bill Wendling/// easy. First there is a header which describes the location and organization 4880dafca90761097230f02e655fdd541f59b888315Bill Wendling/// of the three components that follow. 4890dafca90761097230f02e655fdd541f59b888315Bill Wendling/// 4900dafca90761097230f02e655fdd541f59b888315Bill Wendling/// 1. The landing pad site information describes the range of code covered by 4910dafca90761097230f02e655fdd541f59b888315Bill Wendling/// the try. In our case it's an accumulation of the ranges covered by the 4920dafca90761097230f02e655fdd541f59b888315Bill Wendling/// invokes in the try. There is also a reference to the landing pad that 4930dafca90761097230f02e655fdd541f59b888315Bill Wendling/// handles the exception once processed. Finally an index into the actions 4940dafca90761097230f02e655fdd541f59b888315Bill Wendling/// table. 495a583c55864e83e470333b7be878280b10e175a6eBill Wendling/// 2. The action table, in our case, is composed of pairs of type IDs and next 4960dafca90761097230f02e655fdd541f59b888315Bill Wendling/// action offset. Starting with the action index from the landing pad 497a583c55864e83e470333b7be878280b10e175a6eBill Wendling/// site, each type ID is checked for a match to the current exception. If 4980dafca90761097230f02e655fdd541f59b888315Bill Wendling/// it matches then the exception and type id are passed on to the landing 4990dafca90761097230f02e655fdd541f59b888315Bill Wendling/// pad. Otherwise the next action is looked up. This chain is terminated 5000dafca90761097230f02e655fdd541f59b888315Bill Wendling/// with a next action of zero. If no type id is found the the frame is 5010dafca90761097230f02e655fdd541f59b888315Bill Wendling/// unwound and handling continues. 502a583c55864e83e470333b7be878280b10e175a6eBill Wendling/// 3. Type ID table contains references to all the C++ typeinfo for all 5030dafca90761097230f02e655fdd541f59b888315Bill Wendling/// catches in the function. This tables is reversed indexed base 1. 504ade025c65c12503aba161a4fa399fd97414abaffBill Wendlingvoid DwarfException::EmitExceptionTable() { 505ade025c65c12503aba161a4fa399fd97414abaffBill Wendling const std::vector<GlobalVariable *> &TypeInfos = MMI->getTypeInfos(); 506ade025c65c12503aba161a4fa399fd97414abaffBill Wendling const std::vector<unsigned> &FilterIds = MMI->getFilterIds(); 507ade025c65c12503aba161a4fa399fd97414abaffBill Wendling const std::vector<LandingPadInfo> &PadInfos = MMI->getLandingPads(); 508ade025c65c12503aba161a4fa399fd97414abaffBill Wendling if (PadInfos.empty()) return; 509ade025c65c12503aba161a4fa399fd97414abaffBill Wendling 510ade025c65c12503aba161a4fa399fd97414abaffBill Wendling // Sort the landing pads in order of their type ids. This is used to fold 511ade025c65c12503aba161a4fa399fd97414abaffBill Wendling // duplicate actions. 512ade025c65c12503aba161a4fa399fd97414abaffBill Wendling SmallVector<const LandingPadInfo *, 64> LandingPads; 513ade025c65c12503aba161a4fa399fd97414abaffBill Wendling LandingPads.reserve(PadInfos.size()); 514ade025c65c12503aba161a4fa399fd97414abaffBill Wendling 515ade025c65c12503aba161a4fa399fd97414abaffBill Wendling for (unsigned i = 0, N = PadInfos.size(); i != N; ++i) 516ade025c65c12503aba161a4fa399fd97414abaffBill Wendling LandingPads.push_back(&PadInfos[i]); 517ade025c65c12503aba161a4fa399fd97414abaffBill Wendling 518ade025c65c12503aba161a4fa399fd97414abaffBill Wendling std::sort(LandingPads.begin(), LandingPads.end(), PadLT); 519ade025c65c12503aba161a4fa399fd97414abaffBill Wendling 520ade025c65c12503aba161a4fa399fd97414abaffBill Wendling // Compute the actions table and gather the first action index for each 521ade025c65c12503aba161a4fa399fd97414abaffBill Wendling // landing pad site. 522ade025c65c12503aba161a4fa399fd97414abaffBill Wendling SmallVector<ActionEntry, 32> Actions; 523ade025c65c12503aba161a4fa399fd97414abaffBill Wendling SmallVector<unsigned, 64> FirstActions; 524ade025c65c12503aba161a4fa399fd97414abaffBill Wendling unsigned SizeActions = ComputeActionsTable(LandingPads, Actions, FirstActions); 525ade025c65c12503aba161a4fa399fd97414abaffBill Wendling 526ade025c65c12503aba161a4fa399fd97414abaffBill Wendling // Invokes and nounwind calls have entries in PadMap (due to being bracketed 527ade025c65c12503aba161a4fa399fd97414abaffBill Wendling // by try-range labels when lowered). Ordinary calls do not, so appropriate 5281b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach // try-ranges for them need be deduced when using Dwarf exception handling. 529ade025c65c12503aba161a4fa399fd97414abaffBill Wendling RangeMapType PadMap; 530ade025c65c12503aba161a4fa399fd97414abaffBill Wendling for (unsigned i = 0, N = LandingPads.size(); i != N; ++i) { 531ade025c65c12503aba161a4fa399fd97414abaffBill Wendling const LandingPadInfo *LandingPad = LandingPads[i]; 532ade025c65c12503aba161a4fa399fd97414abaffBill Wendling for (unsigned j = 0, E = LandingPad->BeginLabels.size(); j != E; ++j) { 533ade025c65c12503aba161a4fa399fd97414abaffBill Wendling unsigned BeginLabel = LandingPad->BeginLabels[j]; 534ade025c65c12503aba161a4fa399fd97414abaffBill Wendling assert(!PadMap.count(BeginLabel) && "Duplicate landing pad labels!"); 535ade025c65c12503aba161a4fa399fd97414abaffBill Wendling PadRange P = { i, j }; 536ade025c65c12503aba161a4fa399fd97414abaffBill Wendling PadMap[BeginLabel] = P; 537ade025c65c12503aba161a4fa399fd97414abaffBill Wendling } 538ade025c65c12503aba161a4fa399fd97414abaffBill Wendling } 539ade025c65c12503aba161a4fa399fd97414abaffBill Wendling 540ade025c65c12503aba161a4fa399fd97414abaffBill Wendling // Compute the call-site table. 541ade025c65c12503aba161a4fa399fd97414abaffBill Wendling SmallVector<CallSiteEntry, 64> CallSites; 5428b818d7e98309125c6058c4ea72a7dc73b031db2Jim Grosbach ComputeCallSiteTable(CallSites, PadMap, LandingPads, FirstActions); 543eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 544eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Final tallies. 545eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 546eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Call sites. 547eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling const unsigned SiteStartSize = sizeof(int32_t); // DW_EH_PE_udata4 548eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling const unsigned SiteLengthSize = sizeof(int32_t); // DW_EH_PE_udata4 549eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling const unsigned LandingPadSize = sizeof(int32_t); // DW_EH_PE_udata4 5501b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach unsigned SizeSites; 551bff392384ddb032c732c38ec78b91d7a25dcf467Jim Grosbach 55233adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner bool HaveTTData = (MAI->getExceptionHandlingType() == ExceptionHandling::SjLj) 553bff392384ddb032c732c38ec78b91d7a25dcf467Jim Grosbach ? (!TypeInfos.empty() || !FilterIds.empty()) : true; 554bff392384ddb032c732c38ec78b91d7a25dcf467Jim Grosbach 555bff392384ddb032c732c38ec78b91d7a25dcf467Jim Grosbach 55633adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner if (MAI->getExceptionHandlingType() == ExceptionHandling::SjLj) { 5578b818d7e98309125c6058c4ea72a7dc73b031db2Jim Grosbach SizeSites = 0; 5581b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach } else 5591b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach SizeSites = CallSites.size() * 5601b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach (SiteStartSize + SiteLengthSize + LandingPadSize); 5611b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach for (unsigned i = 0, e = CallSites.size(); i < e; ++i) { 562af76e592c7f9deff0e55c13dbb4a34f07f1c7f64Chris Lattner SizeSites += MCAsmInfo::getULEB128Size(CallSites[i].Action); 56333adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner if (MAI->getExceptionHandlingType() == ExceptionHandling::SjLj) 564af76e592c7f9deff0e55c13dbb4a34f07f1c7f64Chris Lattner SizeSites += MCAsmInfo::getULEB128Size(i); 5651b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach } 566eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Type infos. 567eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling const unsigned TypeInfoSize = TD->getPointerSize(); // DW_EH_PE_absptr 568eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned SizeTypes = TypeInfos.size() * TypeInfoSize; 569eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 570eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned TypeOffset = sizeof(int8_t) + // Call site format 571af76e592c7f9deff0e55c13dbb4a34f07f1c7f64Chris Lattner MCAsmInfo::getULEB128Size(SizeSites) + // Call-site table length 572eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling SizeSites + SizeActions + SizeTypes; 573eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 574eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned TotalSize = sizeof(int8_t) + // LPStart format 575eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling sizeof(int8_t) + // TType format 576bff392384ddb032c732c38ec78b91d7a25dcf467Jim Grosbach (HaveTTData ? 577af76e592c7f9deff0e55c13dbb4a34f07f1c7f64Chris Lattner MCAsmInfo::getULEB128Size(TypeOffset) : 0) + // TType base offset 578eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling TypeOffset; 579eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 580eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned SizeAlign = (4 - TotalSize) & 3; 581eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 582eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Begin the exception table. 583d5bbb07ec806e6fa1e804afd7073987fdacc83e4Chris Lattner const MCSection *LSDASection = Asm->getObjFileLowering().getLSDASection(); 5846c2f9e14fdf14d8c1c687c6bd9918183fa7f8a7fChris Lattner Asm->OutStreamer.SwitchSection(LSDASection); 585eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitAlignment(2, 0, 0, false); 586eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling O << "GCC_except_table" << SubprogramCount << ":\n"; 587eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 588eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling for (unsigned i = 0; i != SizeAlign; ++i) { 589eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitInt8(0); 590eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("Padding"); 591c5800a809fd5e411de78ac1a4be633cd3e1d7840Bill Wendling } 592eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 593eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitLabel("exception", SubprogramCount); 59433adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner if (MAI->getExceptionHandlingType() == ExceptionHandling::SjLj) { 5951b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach std::string SjLjName = "_lsda_"; 5961b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach SjLjName += MF->getFunction()->getName().str(); 5971b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach EmitLabel(SjLjName.c_str(), 0); 5981b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach } 599eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 600eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Emit the header. 601639217cb6a3948800c71c39503f8def4873a535eBill Wendling Asm->EmitInt8(dwarf::DW_EH_PE_omit); 602639217cb6a3948800c71c39503f8def4873a535eBill Wendling Asm->EOL("@LPStart format (DW_EH_PE_omit)"); 603b0d9c3e7fdc952ae7cbe169b01ccaf1b80329403Bill Wendling 604ade025c65c12503aba161a4fa399fd97414abaffBill Wendling#if 0 60581c9a069377e9474d010f04eebe8325fd11429e3Chris Lattner if (TypeInfos.empty() && FilterIds.empty()) { 606ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // If there are no typeinfos or filters, there is nothing to emit, optimize 607ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // by specifying the "omit" encoding. 608639217cb6a3948800c71c39503f8def4873a535eBill Wendling Asm->EmitInt8(dwarf::DW_EH_PE_omit); 609639217cb6a3948800c71c39503f8def4873a535eBill Wendling Asm->EOL("@TType format (DW_EH_PE_omit)"); 61081c9a069377e9474d010f04eebe8325fd11429e3Chris Lattner } else { 611ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // Okay, we have actual filters or typeinfos to emit. As such, we need to 612ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // pick a type encoding for them. We're about to emit a list of pointers to 613ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // typeinfo objects at the end of the LSDA. However, unless we're in static 614ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // mode, this reference will require a relocation by the dynamic linker. 61546b754c76bd6a720dd1dd3be248cb93a4e25d3e5Chris Lattner // 616ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // Because of this, we have a couple of options: 617ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // 1) If we are in -static mode, we can always use an absolute reference 618ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // from the LSDA, because the static linker will resolve it. 619ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // 2) Otherwise, if the LSDA section is writable, we can output the direct 620ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // reference to the typeinfo and allow the dynamic linker to relocate 621ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // it. Since it is in a writable section, the dynamic linker won't 622ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // have a problem. 623ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // 3) Finally, if we're in PIC mode and the LDSA section isn't writable, 624ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // we need to use some form of indirection. For example, on Darwin, 625ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // we can output a statically-relocatable reference to a dyld stub. The 626ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // offset to the stub is constant, but the contents are in a section 627ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // that is updated by the dynamic linker. This is easy enough, but we 628ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // need to tell the personality function of the unwinder to indirect 629ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // through the dyld stub. 630ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // 631ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // FIXME: When this is actually implemented, we'll have to emit the stubs 632ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // somewhere. This predicate should be moved to a shared location that is 633ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // in target-independent code. 634ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // 635ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner if (LSDASection->isWritable() || 636ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner Asm->TM.getRelocationModel() == Reloc::Static) { 637639217cb6a3948800c71c39503f8def4873a535eBill Wendling Asm->EmitInt8(DW_EH_PE_absptr); 638639217cb6a3948800c71c39503f8def4873a535eBill Wendling Asm->EOL("TType format (DW_EH_PE_absptr)"); 639ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner } else { 640ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner Asm->EmitInt8(DW_EH_PE_pcrel | DW_EH_PE_indirect | DW_EH_PE_sdata4); 641639217cb6a3948800c71c39503f8def4873a535eBill Wendling Asm->EOL("TType format (DW_EH_PE_pcrel | DW_EH_PE_indirect" 642639217cb6a3948800c71c39503f8def4873a535eBill Wendling " | DW_EH_PE_sdata4)"); 643ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner } 644b0d9c3e7fdc952ae7cbe169b01ccaf1b80329403Bill Wendling Asm->EmitULEB128Bytes(TypeOffset); 645b0d9c3e7fdc952ae7cbe169b01ccaf1b80329403Bill Wendling Asm->EOL("TType base offset"); 646b0d9c3e7fdc952ae7cbe169b01ccaf1b80329403Bill Wendling } 647ade025c65c12503aba161a4fa399fd97414abaffBill Wendling#else 648bff392384ddb032c732c38ec78b91d7a25dcf467Jim Grosbach // For SjLj exceptions, if there is no TypeInfo, then we just explicitly 6491b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach // say that we're omitting that bit. 6501b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach // FIXME: does this apply to Dwarf also? The above #if 0 implies yes? 651bff392384ddb032c732c38ec78b91d7a25dcf467Jim Grosbach if (!HaveTTData) { 652639217cb6a3948800c71c39503f8def4873a535eBill Wendling Asm->EmitInt8(dwarf::DW_EH_PE_omit); 653639217cb6a3948800c71c39503f8def4873a535eBill Wendling Asm->EOL("@TType format (DW_EH_PE_omit)"); 6541b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach } else { 655639217cb6a3948800c71c39503f8def4873a535eBill Wendling Asm->EmitInt8(dwarf::DW_EH_PE_absptr); 656639217cb6a3948800c71c39503f8def4873a535eBill Wendling Asm->EOL("@TType format (DW_EH_PE_absptr)"); 6571b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach Asm->EmitULEB128Bytes(TypeOffset); 658a583c55864e83e470333b7be878280b10e175a6eBill Wendling Asm->EOL("@TType base offset"); 6591b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach } 660ade025c65c12503aba161a4fa399fd97414abaffBill Wendling#endif 661b0d9c3e7fdc952ae7cbe169b01ccaf1b80329403Bill Wendling 6621b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach // SjLj Exception handilng 66333adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner if (MAI->getExceptionHandlingType() == ExceptionHandling::SjLj) { 664639217cb6a3948800c71c39503f8def4873a535eBill Wendling Asm->EmitInt8(dwarf::DW_EH_PE_udata4); 665639217cb6a3948800c71c39503f8def4873a535eBill Wendling Asm->EOL("Call site format (DW_EH_PE_udata4)"); 6661b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach Asm->EmitULEB128Bytes(SizeSites); 667a583c55864e83e470333b7be878280b10e175a6eBill Wendling Asm->EOL("Call site table length"); 6681b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach 6691b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach // Emit the landing pad site information. 6708b818d7e98309125c6058c4ea72a7dc73b031db2Jim Grosbach unsigned idx = 0; 6718b818d7e98309125c6058c4ea72a7dc73b031db2Jim Grosbach for (SmallVectorImpl<CallSiteEntry>::const_iterator 6728b818d7e98309125c6058c4ea72a7dc73b031db2Jim Grosbach I = CallSites.begin(), E = CallSites.end(); I != E; ++I, ++idx) { 6738b818d7e98309125c6058c4ea72a7dc73b031db2Jim Grosbach const CallSiteEntry &S = *I; 674a583c55864e83e470333b7be878280b10e175a6eBill Wendling 675a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Offset of the landing pad, counted in 16-byte bundles relative to the 676a583c55864e83e470333b7be878280b10e175a6eBill Wendling // @LPStart address. 6778b818d7e98309125c6058c4ea72a7dc73b031db2Jim Grosbach Asm->EmitULEB128Bytes(idx); 6781b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach Asm->EOL("Landing pad"); 679a583c55864e83e470333b7be878280b10e175a6eBill Wendling 680a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Offset of the first associated action record, relative to the start of 681a583c55864e83e470333b7be878280b10e175a6eBill Wendling // the action table. This value is biased by 1 (1 indicates the start of 682a583c55864e83e470333b7be878280b10e175a6eBill Wendling // the action table), and 0 indicates that there are no actions. 6831b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach Asm->EmitULEB128Bytes(S.Action); 6841b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach Asm->EOL("Action"); 6851b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach } 6861b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach } else { 6871b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach // DWARF Exception handling 68833adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner assert(MAI->getExceptionHandlingType() == ExceptionHandling::Dwarf); 6891b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach 690a583c55864e83e470333b7be878280b10e175a6eBill Wendling // The call-site table is a list of all call sites that may throw an 691a583c55864e83e470333b7be878280b10e175a6eBill Wendling // exception (including C++ 'throw' statements) in the procedure 692a583c55864e83e470333b7be878280b10e175a6eBill Wendling // fragment. It immediately follows the LSDA header. Each entry indicates, 693a583c55864e83e470333b7be878280b10e175a6eBill Wendling // for a given call, the first corresponding action record and corresponding 694a583c55864e83e470333b7be878280b10e175a6eBill Wendling // landing pad. 695a583c55864e83e470333b7be878280b10e175a6eBill Wendling // 696a583c55864e83e470333b7be878280b10e175a6eBill Wendling // The table begins with the number of bytes, stored as an LEB128 697a583c55864e83e470333b7be878280b10e175a6eBill Wendling // compressed, unsigned integer. The records immediately follow the record 698a583c55864e83e470333b7be878280b10e175a6eBill Wendling // count. They are sorted in increasing call-site address. Each record 699a583c55864e83e470333b7be878280b10e175a6eBill Wendling // indicates: 700a583c55864e83e470333b7be878280b10e175a6eBill Wendling // 701a583c55864e83e470333b7be878280b10e175a6eBill Wendling // * The position of the call-site. 702a583c55864e83e470333b7be878280b10e175a6eBill Wendling // * The position of the landing pad. 703a583c55864e83e470333b7be878280b10e175a6eBill Wendling // * The first action record for that call site. 704a583c55864e83e470333b7be878280b10e175a6eBill Wendling // 705a583c55864e83e470333b7be878280b10e175a6eBill Wendling // A missing entry in the call-site table indicates that a call is not 706a583c55864e83e470333b7be878280b10e175a6eBill Wendling // supposed to throw. Such calls include: 707a583c55864e83e470333b7be878280b10e175a6eBill Wendling // 708a583c55864e83e470333b7be878280b10e175a6eBill Wendling // * Calls to destructors within cleanup code. C++ semantics forbids these 709a583c55864e83e470333b7be878280b10e175a6eBill Wendling // calls to throw. 710a583c55864e83e470333b7be878280b10e175a6eBill Wendling // * Calls to intrinsic routines in the standard library which are known 711a583c55864e83e470333b7be878280b10e175a6eBill Wendling // not to throw (sin, memcpy, et al). 712a583c55864e83e470333b7be878280b10e175a6eBill Wendling // 713a583c55864e83e470333b7be878280b10e175a6eBill Wendling // If the runtime does not find the call-site entry for a given call, it 714a583c55864e83e470333b7be878280b10e175a6eBill Wendling // will call `terminate()'. 715a583c55864e83e470333b7be878280b10e175a6eBill Wendling 716a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Emit the landing pad call site table. 717639217cb6a3948800c71c39503f8def4873a535eBill Wendling Asm->EmitInt8(dwarf::DW_EH_PE_udata4); 718639217cb6a3948800c71c39503f8def4873a535eBill Wendling Asm->EOL("Call site format (DW_EH_PE_udata4)"); 7191b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach Asm->EmitULEB128Bytes(SizeSites); 720a583c55864e83e470333b7be878280b10e175a6eBill Wendling Asm->EOL("Call site table size"); 721eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 7221b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach for (SmallVectorImpl<CallSiteEntry>::const_iterator 7235cff487665097d971067cbede1598e249f673182Bill Wendling I = CallSites.begin(), E = CallSites.end(); I != E; ++I) { 7241b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach const CallSiteEntry &S = *I; 7251b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach const char *BeginTag; 7261b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach unsigned BeginNumber; 727eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 7281b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach if (!S.BeginLabel) { 7291b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach BeginTag = "eh_func_begin"; 7301b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach BeginNumber = SubprogramCount; 7311b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach } else { 7321b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach BeginTag = "label"; 7331b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach BeginNumber = S.BeginLabel; 7341b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach } 735eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 736a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Offset of the call site relative to the previous call site, counted in 737a583c55864e83e470333b7be878280b10e175a6eBill Wendling // number of 16-byte bundles. The first call site is counted relative to 738a583c55864e83e470333b7be878280b10e175a6eBill Wendling // the start of the procedure fragment. 7391b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach EmitSectionOffset(BeginTag, "eh_func_begin", BeginNumber, SubprogramCount, 7401b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach true, true); 7411b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach Asm->EOL("Region start"); 742eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 7431b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach if (!S.EndLabel) 7441b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach EmitDifference("eh_func_end", SubprogramCount, BeginTag, BeginNumber, 7451b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach true); 7461b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach else 7471b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach EmitDifference("label", S.EndLabel, BeginTag, BeginNumber, true); 748eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 7491b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach Asm->EOL("Region length"); 750eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 751a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Offset of the landing pad, counted in 16-byte bundles relative to the 752a583c55864e83e470333b7be878280b10e175a6eBill Wendling // @LPStart address. 7531b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach if (!S.PadLabel) 7541b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach Asm->EmitInt32(0); 7551b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach else 7561b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach EmitSectionOffset("label", "eh_func_begin", S.PadLabel, SubprogramCount, 7571b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach true, true); 758eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 7591b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach Asm->EOL("Landing pad"); 760eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 761a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Offset of the first associated action record, relative to the start of 762a583c55864e83e470333b7be878280b10e175a6eBill Wendling // the action table. This value is biased by 1 (1 indicates the start of 763a583c55864e83e470333b7be878280b10e175a6eBill Wendling // the action table), and 0 indicates that there are no actions. 7641b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach Asm->EmitULEB128Bytes(S.Action); 7651b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach Asm->EOL("Action"); 7661b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach } 767eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 768eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 769a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Emit the Action Table. 7705cff487665097d971067cbede1598e249f673182Bill Wendling for (SmallVectorImpl<ActionEntry>::const_iterator 7715cff487665097d971067cbede1598e249f673182Bill Wendling I = Actions.begin(), E = Actions.end(); I != E; ++I) { 7725cff487665097d971067cbede1598e249f673182Bill Wendling const ActionEntry &Action = *I; 773a583c55864e83e470333b7be878280b10e175a6eBill Wendling 774a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Type Filter 775a583c55864e83e470333b7be878280b10e175a6eBill Wendling // 776a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Used by the runtime to match the type of the thrown exception to the 777a583c55864e83e470333b7be878280b10e175a6eBill Wendling // type of the catch clauses or the types in the exception specification. 778a583c55864e83e470333b7be878280b10e175a6eBill Wendling 779eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitSLEB128Bytes(Action.ValueForTypeID); 780eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("TypeInfo index"); 781a583c55864e83e470333b7be878280b10e175a6eBill Wendling 782a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Action Record 783a583c55864e83e470333b7be878280b10e175a6eBill Wendling // 784a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Self-relative signed displacement in bytes of the next action record, 785a583c55864e83e470333b7be878280b10e175a6eBill Wendling // or 0 if there is no next action record. 786a583c55864e83e470333b7be878280b10e175a6eBill Wendling 787eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitSLEB128Bytes(Action.NextAction); 788eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("Next action"); 789eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 790eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 791a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Emit the Catch Clauses. The code for the catch clauses following the same 792a583c55864e83e470333b7be878280b10e175a6eBill Wendling // try is similar to a switch statement. The catch clause action record 793a583c55864e83e470333b7be878280b10e175a6eBill Wendling // informs the runtime about the type of a catch clause and about the 794a583c55864e83e470333b7be878280b10e175a6eBill Wendling // associated switch value. 795a583c55864e83e470333b7be878280b10e175a6eBill Wendling // 796a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Action Record Fields: 797a583c55864e83e470333b7be878280b10e175a6eBill Wendling // 798a583c55864e83e470333b7be878280b10e175a6eBill Wendling // * Filter Value 799a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Positive value, starting at 1. Index in the types table of the 800a583c55864e83e470333b7be878280b10e175a6eBill Wendling // __typeinfo for the catch-clause type. 1 is the first word preceding 801a583c55864e83e470333b7be878280b10e175a6eBill Wendling // TTBase, 2 is the second word, and so on. Used by the runtime to check 802a583c55864e83e470333b7be878280b10e175a6eBill Wendling // if the thrown exception type matches the catch-clause type. Back-end 803a583c55864e83e470333b7be878280b10e175a6eBill Wendling // generated switch statements check against this value. 804a583c55864e83e470333b7be878280b10e175a6eBill Wendling // 805a583c55864e83e470333b7be878280b10e175a6eBill Wendling // * Next 806a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Signed offset, in bytes from the start of this field, to the next 807a583c55864e83e470333b7be878280b10e175a6eBill Wendling // chained action record, or zero if none. 808a583c55864e83e470333b7be878280b10e175a6eBill Wendling // 809a583c55864e83e470333b7be878280b10e175a6eBill Wendling // The order of the action records determined by the next field is the order 810a583c55864e83e470333b7be878280b10e175a6eBill Wendling // of the catch clauses as they appear in the source code, and must be kept in 811a583c55864e83e470333b7be878280b10e175a6eBill Wendling // the same order. As a result, changing the order of the catch clause would 812a583c55864e83e470333b7be878280b10e175a6eBill Wendling // change the semantics of the program. 8135cff487665097d971067cbede1598e249f673182Bill Wendling for (std::vector<GlobalVariable *>::const_reverse_iterator 8145cff487665097d971067cbede1598e249f673182Bill Wendling I = TypeInfos.rbegin(), E = TypeInfos.rend(); I != E; ++I) { 815a583c55864e83e470333b7be878280b10e175a6eBill Wendling const GlobalVariable *GV = *I; 816eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling PrintRelDirective(); 817eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 818eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (GV) { 819eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling std::string GLN; 820eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling O << Asm->getGlobalLinkName(GV, GLN); 821eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } else { 822eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling O << "0"; 823eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 824eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 825eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("TypeInfo"); 826eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 827eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 828a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Emit the Type Table. 8295cff487665097d971067cbede1598e249f673182Bill Wendling for (std::vector<unsigned>::const_iterator 8305cff487665097d971067cbede1598e249f673182Bill Wendling I = FilterIds.begin(), E = FilterIds.end(); I < E; ++I) { 8315cff487665097d971067cbede1598e249f673182Bill Wendling unsigned TypeID = *I; 832eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitULEB128Bytes(TypeID); 833eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("Filter TypeInfo index"); 834eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 835eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 836eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitAlignment(2, 0, 0, false); 837eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling} 838eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 839eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling/// EndModule - Emit all exception information that should come after the 840eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling/// content. 841eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendlingvoid DwarfException::EndModule() { 84233adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner if (MAI->getExceptionHandlingType() != ExceptionHandling::Dwarf) 8431b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach return; 844eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (TimePassesIsEnabled) 845eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling ExceptionTimer->startTimer(); 846eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 847eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (shouldEmitMovesModule || shouldEmitTableModule) { 848eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling const std::vector<Function *> Personalities = MMI->getPersonalities(); 849eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling for (unsigned i = 0; i < Personalities.size(); ++i) 8507ccda0f2aadb601ce48f05c12cc153f3fcc554e6Bill Wendling EmitCIE(Personalities[i], i); 851eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 852eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling for (std::vector<FunctionEHFrameInfo>::iterator I = EHFrames.begin(), 853eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling E = EHFrames.end(); I != E; ++I) 8547ccda0f2aadb601ce48f05c12cc153f3fcc554e6Bill Wendling EmitFDE(*I); 855eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 856eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 857eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (TimePassesIsEnabled) 858eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling ExceptionTimer->stopTimer(); 859eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling} 860eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 861eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling/// BeginFunction - Gather pre-function exception information. Assumes being 862eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling/// emitted immediately after the function entry point. 863eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendlingvoid DwarfException::BeginFunction(MachineFunction *MF) { 864eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (TimePassesIsEnabled) 865eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling ExceptionTimer->startTimer(); 866eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 867eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling this->MF = MF; 868eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling shouldEmitTable = shouldEmitMoves = false; 869eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 87033adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner if (MMI && MAI->doesSupportExceptionHandling()) { 871eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Map all labels and get rid of any dead landing pads. 872eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling MMI->TidyLandingPads(); 873eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 874eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // If any landing pads survive, we need an EH table. 875eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (MMI->getLandingPads().size()) 876eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling shouldEmitTable = true; 877eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 878eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // See if we need frame move info. 879eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (!MF->getFunction()->doesNotThrow() || UnwindTablesMandatory) 880eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling shouldEmitMoves = true; 881eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 882eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (shouldEmitMoves || shouldEmitTable) 883eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Assumes in correct section after the entry point. 884eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitLabel("eh_func_begin", ++SubprogramCount); 885eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 886eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 887eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling shouldEmitTableModule |= shouldEmitTable; 888eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling shouldEmitMovesModule |= shouldEmitMoves; 889eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 890eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (TimePassesIsEnabled) 891eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling ExceptionTimer->stopTimer(); 892eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling} 893eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 894eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling/// EndFunction - Gather and emit post-function exception information. 895eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling/// 896eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendlingvoid DwarfException::EndFunction() { 897eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (TimePassesIsEnabled) 898eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling ExceptionTimer->startTimer(); 899eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 900eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (shouldEmitMoves || shouldEmitTable) { 901eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitLabel("eh_func_end", SubprogramCount); 902eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitExceptionTable(); 903eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 904eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Save EH frame information 905eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EHFrames.push_back( 906e2cf37b88c089a71727b3ecd466856f0cd638813Chris Lattner FunctionEHFrameInfo(getAsm()->getCurrentFunctionEHName(MF), 907eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling SubprogramCount, 908eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling MMI->getPersonalityIndex(), 909eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling MF->getFrameInfo()->hasCalls(), 910eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling !MMI->getLandingPads().empty(), 911eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling MMI->getFrameMoves(), 912eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling MF->getFunction())); 913eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 914eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 915eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (TimePassesIsEnabled) 916eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling ExceptionTimer->stopTimer(); 917eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling} 918