DwarfException.cpp revision 33adcfb4d217f5f23d9bde8ba02b8e48f9605fc5
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// 10eb9072195ca7d777a71194dcaaaa369d82f24f53Bill 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 52eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendlingvoid DwarfException::EmitCommonEHFrame(const Function *Personality, 53eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned Index) { 54eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Size and sign of stack growth. 55eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling int stackGrowth = 56eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->TM.getFrameInfo()->getStackGrowthDirection() == 57eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling TargetFrameInfo::StackGrowsUp ? 58eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling TD->getPointerSize() : -TD->getPointerSize(); 59eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 60eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Begin eh frame section. 616c2f9e14fdf14d8c1c687c6bd9918183fa7f8a7fChris Lattner Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getEHFrameSection()); 62eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 6333adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner if (MAI->is_EHSymbolPrivate()) 6433adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner O << MAI->getPrivateGlobalPrefix(); 65eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 66eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling O << "EH_frame" << Index << ":\n"; 67eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitLabel("section_eh_frame", Index); 68eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 69eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Define base labels. 70eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitLabel("eh_frame_common", Index); 71eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 72eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Define the eh frame length. 73eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitDifference("eh_frame_common_end", Index, 74eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling "eh_frame_common_begin", Index, true); 75eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("Length of Common Information Entry"); 76eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 77eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // EH frame header. 78eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitLabel("eh_frame_common_begin", Index); 79eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitInt32((int)0); 80eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("CIE Identifier Tag"); 81eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitInt8(dwarf::DW_CIE_VERSION); 82eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("CIE Version"); 83eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 84eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // The personality presence indicates that language specific information will 85eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // show up in the eh frame. 86eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitString(Personality ? "zPLR" : "zR"); 87eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("CIE Augmentation"); 88eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 89eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Round out reader. 90eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitULEB128Bytes(1); 91eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("CIE Code Alignment Factor"); 92eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitSLEB128Bytes(stackGrowth); 93eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("CIE Data Alignment Factor"); 94eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitInt8(RI->getDwarfRegNum(RI->getRARegister(), true)); 95eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("CIE Return Address Column"); 96eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 97eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // If there is a personality, we need to indicate the functions location. 98eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (Personality) { 99eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitULEB128Bytes(7); 100eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("Augmentation Size"); 101eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 10233adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner if (MAI->getNeedsIndirectEncoding()) { 103eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitInt8(dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata4 | 104eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling dwarf::DW_EH_PE_indirect); 105eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("Personality (pcrel sdata4 indirect)"); 106eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } else { 107eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitInt8(dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata4); 108eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("Personality (pcrel sdata4)"); 109eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 110eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 111eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling PrintRelDirective(true); 11233adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner O << MAI->getPersonalityPrefix(); 113eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitExternalGlobal((const GlobalVariable *)(Personality)); 11433adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner O << MAI->getPersonalitySuffix(); 11533adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner if (strcmp(MAI->getPersonalitySuffix(), "+4@GOTPCREL")) 11633adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner O << "-" << MAI->getPCSymbol(); 117eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("Personality"); 118eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 119eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitInt8(dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata4); 120eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("LSDA Encoding (pcrel sdata4)"); 121eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 122eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitInt8(dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata4); 123eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("FDE Encoding (pcrel sdata4)"); 124eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } else { 125eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitULEB128Bytes(1); 126eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("Augmentation Size"); 127eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 128eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitInt8(dwarf::DW_EH_PE_pcrel | dwarf::DW_EH_PE_sdata4); 129eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("FDE Encoding (pcrel sdata4)"); 130eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 131eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 132eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Indicate locations of general callee saved registers in frame. 133eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling std::vector<MachineMove> Moves; 134eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling RI->getInitialFrameState(Moves); 135eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitFrameMoves(NULL, 0, Moves, true); 136eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 137eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // On Darwin the linker honors the alignment of eh_frame, which means it must 138eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // be 8-byte on 64-bit targets to match what gcc does. Otherwise you get 139eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // holes which confuse readers of eh_frame. 140eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitAlignment(TD->getPointerSize() == sizeof(int32_t) ? 2 : 3, 141eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 0, 0, false); 142eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitLabel("eh_frame_common_end", Index); 143eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 144eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL(); 145eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling} 146eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 147eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling/// EmitEHFrame - Emit function exception frame information. 148eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling/// 149eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendlingvoid DwarfException::EmitEHFrame(const FunctionEHFrameInfo &EHFrameInfo) { 150eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling assert(!EHFrameInfo.function->hasAvailableExternallyLinkage() && 151eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling "Should not emit 'available externally' functions at all"); 152eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 1533e0f60be46cb5363d4375f26a5e27d1dcd9867fbChris Lattner const Function *TheFunc = EHFrameInfo.function; 1543e0f60be46cb5363d4375f26a5e27d1dcd9867fbChris Lattner 1556c2f9e14fdf14d8c1c687c6bd9918183fa7f8a7fChris Lattner Asm->OutStreamer.SwitchSection(Asm->getObjFileLowering().getEHFrameSection()); 1566a66e585b8242b9764ec3343309697d24bb1e312Chris Lattner 157eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Externally visible entry into the functions eh frame info. If the 158eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // corresponding function is static, this should not be externally visible. 1593e0f60be46cb5363d4375f26a5e27d1dcd9867fbChris Lattner if (!TheFunc->hasLocalLinkage()) 16033adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner if (const char *GlobalEHDirective = MAI->getGlobalEHDirective()) 161eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling O << GlobalEHDirective << EHFrameInfo.FnName << "\n"; 162eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 163eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // If corresponding function is weak definition, this should be too. 16433adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner if (TheFunc->isWeakForLinker() && MAI->getWeakDefDirective()) 16533adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner O << MAI->getWeakDefDirective() << EHFrameInfo.FnName << "\n"; 166eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 167eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // If there are no calls then you can't unwind. This may mean we can omit the 168eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // EH Frame, but some environments do not handle weak absolute symbols. If 169eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // UnwindTablesMandatory is set we cannot do this optimization; the unwind 170eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // info is to be available for non-EH uses. 1713e0f60be46cb5363d4375f26a5e27d1dcd9867fbChris Lattner if (!EHFrameInfo.hasCalls && !UnwindTablesMandatory && 1723e0f60be46cb5363d4375f26a5e27d1dcd9867fbChris Lattner (!TheFunc->isWeakForLinker() || 17333adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner !MAI->getWeakDefDirective() || 17433adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner MAI->getSupportsWeakOmittedEHFrame())) { 175eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling O << EHFrameInfo.FnName << " = 0\n"; 176eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // This name has no connection to the function, so it might get 177eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // dead-stripped when the function is not, erroneously. Prohibit 178eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // dead-stripping unconditionally. 17933adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner if (const char *UsedDirective = MAI->getUsedDirective()) 180eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling O << UsedDirective << EHFrameInfo.FnName << "\n\n"; 181eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } else { 182eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling O << EHFrameInfo.FnName << ":\n"; 183eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 184eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // EH frame header. 185eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitDifference("eh_frame_end", EHFrameInfo.Number, 186eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling "eh_frame_begin", EHFrameInfo.Number, true); 187eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("Length of Frame Information Entry"); 188eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 189eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitLabel("eh_frame_begin", EHFrameInfo.Number); 190eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 191a4ff5e48fc6a4718d3a2af8654cfc06a17310aedChris Lattner EmitSectionOffset("eh_frame_begin", "eh_frame_common", 192a4ff5e48fc6a4718d3a2af8654cfc06a17310aedChris Lattner EHFrameInfo.Number, EHFrameInfo.PersonalityIndex, 193a4ff5e48fc6a4718d3a2af8654cfc06a17310aedChris Lattner true, true, false); 194eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 195eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("FDE CIE offset"); 196eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 197eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitReference("eh_func_begin", EHFrameInfo.Number, true, true); 198eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("FDE initial location"); 199eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitDifference("eh_func_end", EHFrameInfo.Number, 200eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling "eh_func_begin", EHFrameInfo.Number, true); 201eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("FDE address range"); 202eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 203eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // If there is a personality and landing pads then point to the language 204eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // specific data area in the exception table. 205eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (EHFrameInfo.PersonalityIndex) { 206eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitULEB128Bytes(4); 207eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("Augmentation size"); 208eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 209eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (EHFrameInfo.hasLandingPads) 210eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitReference("exception", EHFrameInfo.Number, true, true); 211eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling else 212eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitInt32((int)0); 213eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("Language Specific Data Area"); 214eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } else { 215eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitULEB128Bytes(0); 216eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("Augmentation size"); 217eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 218eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 219eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Indicate locations of function specific callee saved registers in frame. 220eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitFrameMoves("eh_func_begin", EHFrameInfo.Number, EHFrameInfo.Moves, 221eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling true); 222eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 223eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // On Darwin the linker honors the alignment of eh_frame, which means it 224eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // must be 8-byte on 64-bit targets to match what gcc does. Otherwise you 225eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // get holes which confuse readers of eh_frame. 226eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitAlignment(TD->getPointerSize() == sizeof(int32_t) ? 2 : 3, 227eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 0, 0, false); 228eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitLabel("eh_frame_end", EHFrameInfo.Number); 229eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 230eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // If the function is marked used, this table should be also. We cannot 231eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // make the mark unconditional in this case, since retaining the table also 232eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // retains the function in this case, and there is code around that depends 233eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // on unused functions (calling undefined externals) being dead-stripped to 234eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // link correctly. Yes, there really is. 235401e10c4fbfcdcfade5065093e2ca97f69a1d144Chris Lattner if (MMI->isUsedFunction(EHFrameInfo.function)) 23633adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner if (const char *UsedDirective = MAI->getUsedDirective()) 237eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling O << UsedDirective << EHFrameInfo.FnName << "\n\n"; 238eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 239eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling} 240eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 241eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling/// SharedTypeIds - How many leading type ids two landing pads have in common. 242eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendlingunsigned DwarfException::SharedTypeIds(const LandingPadInfo *L, 243eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling const LandingPadInfo *R) { 244eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling const std::vector<int> &LIds = L->TypeIds, &RIds = R->TypeIds; 245eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned LSize = LIds.size(), RSize = RIds.size(); 246eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned MinSize = LSize < RSize ? LSize : RSize; 247eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned Count = 0; 248eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 249eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling for (; Count != MinSize; ++Count) 250eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (LIds[Count] != RIds[Count]) 251eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling return Count; 252eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 253eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling return Count; 254eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling} 255eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 256eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling/// PadLT - Order landing pads lexicographically by type id. 257eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendlingbool DwarfException::PadLT(const LandingPadInfo *L, const LandingPadInfo *R) { 258eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling const std::vector<int> &LIds = L->TypeIds, &RIds = R->TypeIds; 259eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned LSize = LIds.size(), RSize = RIds.size(); 260eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned MinSize = LSize < RSize ? LSize : RSize; 261eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 262eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling for (unsigned i = 0; i != MinSize; ++i) 263eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (LIds[i] != RIds[i]) 264eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling return LIds[i] < RIds[i]; 265eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 266eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling return LSize < RSize; 267eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling} 268eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 269d4609622ade8d0ebaf57fd70700c2fedf0b3d165Bill Wendling/// ComputeActionsTable - Compute the actions table and gather the first action 270d4609622ade8d0ebaf57fd70700c2fedf0b3d165Bill Wendling/// index for each landing pad site. 271ade025c65c12503aba161a4fa399fd97414abaffBill Wendlingunsigned DwarfException:: 272ade025c65c12503aba161a4fa399fd97414abaffBill WendlingComputeActionsTable(const SmallVectorImpl<const LandingPadInfo*> &LandingPads, 273ade025c65c12503aba161a4fa399fd97414abaffBill Wendling SmallVectorImpl<ActionEntry> &Actions, 274ade025c65c12503aba161a4fa399fd97414abaffBill Wendling SmallVectorImpl<unsigned> &FirstActions) { 275a583c55864e83e470333b7be878280b10e175a6eBill Wendling 276a583c55864e83e470333b7be878280b10e175a6eBill Wendling // The action table follows the call-site table in the LSDA. The individual 277a583c55864e83e470333b7be878280b10e175a6eBill Wendling // records are of two types: 278a583c55864e83e470333b7be878280b10e175a6eBill Wendling // 279a583c55864e83e470333b7be878280b10e175a6eBill Wendling // * Catch clause 280a583c55864e83e470333b7be878280b10e175a6eBill Wendling // * Exception specification 281a583c55864e83e470333b7be878280b10e175a6eBill Wendling // 282a583c55864e83e470333b7be878280b10e175a6eBill Wendling // The two record kinds have the same format, with only small differences. 283a583c55864e83e470333b7be878280b10e175a6eBill Wendling // They are distinguished by the "switch value" field: Catch clauses 284a583c55864e83e470333b7be878280b10e175a6eBill Wendling // (TypeInfos) have strictly positive switch values, and exception 285a583c55864e83e470333b7be878280b10e175a6eBill Wendling // specifications (FilterIds) have strictly negative switch values. Value 0 286a583c55864e83e470333b7be878280b10e175a6eBill Wendling // indicates a catch-all clause. 287a583c55864e83e470333b7be878280b10e175a6eBill Wendling // 2885e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling // Negative type IDs index into FilterIds. Positive type IDs index into 2895e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling // TypeInfos. The value written for a positive type ID is just the type ID 2905e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling // itself. For a negative type ID, however, the value written is the 291eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // (negative) byte offset of the corresponding FilterIds entry. The byte 2925e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling // offset is usually equal to the type ID (because the FilterIds entries are 2935e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling // written using a variable width encoding, which outputs one byte per entry 2945e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling // as long as the value written is not too large) but can differ. This kind 2955e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling // of complication does not occur for positive type IDs because type infos are 296eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // output using a fixed width encoding. FilterOffsets[i] holds the byte 297eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // offset corresponding to FilterIds[i]. 298409914b773ffd53d53d214394d5636a76f673186Bill Wendling 299409914b773ffd53d53d214394d5636a76f673186Bill Wendling const std::vector<unsigned> &FilterIds = MMI->getFilterIds(); 300eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling SmallVector<int, 16> FilterOffsets; 301eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling FilterOffsets.reserve(FilterIds.size()); 302eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling int Offset = -1; 303409914b773ffd53d53d214394d5636a76f673186Bill Wendling 304409914b773ffd53d53d214394d5636a76f673186Bill Wendling for (std::vector<unsigned>::const_iterator 305409914b773ffd53d53d214394d5636a76f673186Bill Wendling I = FilterIds.begin(), E = FilterIds.end(); I != E; ++I) { 306eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling FilterOffsets.push_back(Offset); 307af76e592c7f9deff0e55c13dbb4a34f07f1c7f64Chris Lattner Offset -= MCAsmInfo::getULEB128Size(*I); 308eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 309eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 310eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling FirstActions.reserve(LandingPads.size()); 311eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 312eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling int FirstAction = 0; 313eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned SizeActions = 0; 3145e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling const LandingPadInfo *PrevLPI = 0; 315409914b773ffd53d53d214394d5636a76f673186Bill Wendling 3165cff487665097d971067cbede1598e249f673182Bill Wendling for (SmallVectorImpl<const LandingPadInfo *>::const_iterator 3175e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling I = LandingPads.begin(), E = LandingPads.end(); I != E; ++I) { 3185e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling const LandingPadInfo *LPI = *I; 3195e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling const std::vector<int> &TypeIds = LPI->TypeIds; 3205e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling const unsigned NumShared = PrevLPI ? SharedTypeIds(LPI, PrevLPI) : 0; 321eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned SizeSiteActions = 0; 322eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 323eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (NumShared < TypeIds.size()) { 324eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned SizeAction = 0; 325eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling ActionEntry *PrevAction = 0; 326eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 327eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (NumShared) { 3285e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling const unsigned SizePrevIds = PrevLPI->TypeIds.size(); 329eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling assert(Actions.size()); 330eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling PrevAction = &Actions.back(); 331af76e592c7f9deff0e55c13dbb4a34f07f1c7f64Chris Lattner SizeAction = MCAsmInfo::getSLEB128Size(PrevAction->NextAction) + 332af76e592c7f9deff0e55c13dbb4a34f07f1c7f64Chris Lattner MCAsmInfo::getSLEB128Size(PrevAction->ValueForTypeID); 333eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 334eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling for (unsigned j = NumShared; j != SizePrevIds; ++j) { 335eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling SizeAction -= 336af76e592c7f9deff0e55c13dbb4a34f07f1c7f64Chris Lattner MCAsmInfo::getSLEB128Size(PrevAction->ValueForTypeID); 337eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling SizeAction += -PrevAction->NextAction; 338eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling PrevAction = PrevAction->Previous; 339eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 340eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 341eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 342eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Compute the actions. 3435e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling for (unsigned J = NumShared, M = TypeIds.size(); J != M; ++J) { 3445e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling int TypeID = TypeIds[J]; 3455e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling assert(-1 - TypeID < (int)FilterOffsets.size() && "Unknown filter id!"); 346eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling int ValueForTypeID = TypeID < 0 ? FilterOffsets[-1 - TypeID] : TypeID; 347af76e592c7f9deff0e55c13dbb4a34f07f1c7f64Chris Lattner unsigned SizeTypeID = MCAsmInfo::getSLEB128Size(ValueForTypeID); 348eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 349eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling int NextAction = SizeAction ? -(SizeAction + SizeTypeID) : 0; 350af76e592c7f9deff0e55c13dbb4a34f07f1c7f64Chris Lattner SizeAction = SizeTypeID + MCAsmInfo::getSLEB128Size(NextAction); 351eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling SizeSiteActions += SizeAction; 352eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 353a583c55864e83e470333b7be878280b10e175a6eBill Wendling ActionEntry Action = { ValueForTypeID, NextAction, PrevAction }; 354eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Actions.push_back(Action); 355eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling PrevAction = &Actions.back(); 356eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 357eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 358eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Record the first action of the landing pad site. 359eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling FirstAction = SizeActions + SizeSiteActions - SizeAction + 1; 360eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } // else identical - re-use previous FirstAction 361eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 362a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Information used when created the call-site table. The action record 363a583c55864e83e470333b7be878280b10e175a6eBill Wendling // field of the call site record is the offset of the first associated 364a583c55864e83e470333b7be878280b10e175a6eBill Wendling // action record, relative to the start of the actions table. This value is 365a583c55864e83e470333b7be878280b10e175a6eBill Wendling // biased by 1 (1 in dicating the start of the actions table), and 0 366a583c55864e83e470333b7be878280b10e175a6eBill Wendling // indicates that there are no actions. 367eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling FirstActions.push_back(FirstAction); 368eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 369eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Compute this sites contribution to size. 370eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling SizeActions += SizeSiteActions; 3715e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling 3725e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling PrevLPI = LPI; 373eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 374eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 3755e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling return SizeActions; 3765e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling} 3775e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling 378ade025c65c12503aba161a4fa399fd97414abaffBill Wendling/// ComputeCallSiteTable - Compute the call-site table. The entry for an invoke 379a583c55864e83e470333b7be878280b10e175a6eBill Wendling/// has a try-range containing the call, a non-zero landing pad, and an 380ade025c65c12503aba161a4fa399fd97414abaffBill Wendling/// appropriate action. The entry for an ordinary call has a try-range 381ade025c65c12503aba161a4fa399fd97414abaffBill Wendling/// containing the call and zero for the landing pad and the action. Calls 382ade025c65c12503aba161a4fa399fd97414abaffBill Wendling/// marked 'nounwind' have no entry and must not be contained in the try-range 383ade025c65c12503aba161a4fa399fd97414abaffBill Wendling/// of any entry - they form gaps in the table. Entries must be ordered by 384ade025c65c12503aba161a4fa399fd97414abaffBill Wendling/// try-range address. 385ade025c65c12503aba161a4fa399fd97414abaffBill Wendlingvoid DwarfException:: 386ade025c65c12503aba161a4fa399fd97414abaffBill WendlingComputeCallSiteTable(SmallVectorImpl<CallSiteEntry> &CallSites, 387ade025c65c12503aba161a4fa399fd97414abaffBill Wendling const RangeMapType &PadMap, 388ade025c65c12503aba161a4fa399fd97414abaffBill Wendling const SmallVectorImpl<const LandingPadInfo *> &LandingPads, 389ade025c65c12503aba161a4fa399fd97414abaffBill Wendling const SmallVectorImpl<unsigned> &FirstActions) { 390eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // The end label of the previous invoke or nounwind try-range. 391eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned LastLabel = 0; 392eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 393eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Whether there is a potentially throwing instruction (currently this means 394eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // an ordinary call) between the end of the previous try-range and now. 395eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling bool SawPotentiallyThrowing = false; 396eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 3975cff487665097d971067cbede1598e249f673182Bill Wendling // Whether the last CallSite entry was for an invoke. 398eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling bool PreviousIsInvoke = false; 399eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 400eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Visit all instructions in order of address. 401eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling for (MachineFunction::const_iterator I = MF->begin(), E = MF->end(); 402eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling I != E; ++I) { 403eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling for (MachineBasicBlock::const_iterator MI = I->begin(), E = I->end(); 404eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling MI != E; ++MI) { 405eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (!MI->isLabel()) { 406eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling SawPotentiallyThrowing |= MI->getDesc().isCall(); 407eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling continue; 408eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 409eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 410eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned BeginLabel = MI->getOperand(0).getImm(); 411eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling assert(BeginLabel && "Invalid label!"); 412eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 413eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // End of the previous try-range? 414eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (BeginLabel == LastLabel) 415eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling SawPotentiallyThrowing = false; 416eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 417eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Beginning of a new try-range? 418eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling RangeMapType::iterator L = PadMap.find(BeginLabel); 419eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (L == PadMap.end()) 420eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Nope, it was just some random label. 421eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling continue; 422eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 423a583c55864e83e470333b7be878280b10e175a6eBill Wendling const PadRange &P = L->second; 424eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling const LandingPadInfo *LandingPad = LandingPads[P.PadIndex]; 425eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling assert(BeginLabel == LandingPad->BeginLabels[P.RangeIndex] && 426eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling "Inconsistent landing pad map!"); 427eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 428a583c55864e83e470333b7be878280b10e175a6eBill Wendling // For Dwarf exception handling (SjLj handling doesn't use this). If some 429a583c55864e83e470333b7be878280b10e175a6eBill Wendling // instruction between the previous try-range and this one may throw, 430a583c55864e83e470333b7be878280b10e175a6eBill Wendling // create a call-site entry with no landing pad for the region between the 431a583c55864e83e470333b7be878280b10e175a6eBill Wendling // try-ranges. 4321b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach if (SawPotentiallyThrowing && 43333adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner MAI->getExceptionHandlingType() == ExceptionHandling::Dwarf) { 434a583c55864e83e470333b7be878280b10e175a6eBill Wendling CallSiteEntry Site = { LastLabel, BeginLabel, 0, 0 }; 435eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling CallSites.push_back(Site); 436eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling PreviousIsInvoke = false; 437eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 438eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 439eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling LastLabel = LandingPad->EndLabels[P.RangeIndex]; 440eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling assert(BeginLabel && LastLabel && "Invalid landing pad!"); 441eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 442eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (LandingPad->LandingPadLabel) { 443eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // This try-range is for an invoke. 444a583c55864e83e470333b7be878280b10e175a6eBill Wendling CallSiteEntry Site = { 445a583c55864e83e470333b7be878280b10e175a6eBill Wendling BeginLabel, 446a583c55864e83e470333b7be878280b10e175a6eBill Wendling LastLabel, 447a583c55864e83e470333b7be878280b10e175a6eBill Wendling LandingPad->LandingPadLabel, 448a583c55864e83e470333b7be878280b10e175a6eBill Wendling FirstActions[P.PadIndex] 449a583c55864e83e470333b7be878280b10e175a6eBill Wendling }; 450eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 451eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Try to merge with the previous call-site. 452eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (PreviousIsInvoke) { 453eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling CallSiteEntry &Prev = CallSites.back(); 454eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (Site.PadLabel == Prev.PadLabel && Site.Action == Prev.Action) { 455eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Extend the range of the previous entry. 456eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Prev.EndLabel = Site.EndLabel; 457eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling continue; 458eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 459eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 460eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 461eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Otherwise, create a new call-site. 462eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling CallSites.push_back(Site); 463eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling PreviousIsInvoke = true; 464eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } else { 465eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Create a gap. 466eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling PreviousIsInvoke = false; 467eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 468eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 469eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 470eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 471eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // If some instruction between the previous try-range and the end of the 472eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // function may throw, create a call-site entry with no landing pad for the 473eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // region following the try-range. 4741b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach if (SawPotentiallyThrowing && 47533adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner MAI->getExceptionHandlingType() == ExceptionHandling::Dwarf) { 476a583c55864e83e470333b7be878280b10e175a6eBill Wendling CallSiteEntry Site = { LastLabel, 0, 0, 0 }; 477eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling CallSites.push_back(Site); 478eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 479ade025c65c12503aba161a4fa399fd97414abaffBill Wendling} 480ade025c65c12503aba161a4fa399fd97414abaffBill Wendling 4810dafca90761097230f02e655fdd541f59b888315Bill Wendling/// EmitExceptionTable - Emit landing pads and actions. 4820dafca90761097230f02e655fdd541f59b888315Bill Wendling/// 4830dafca90761097230f02e655fdd541f59b888315Bill Wendling/// The general organization of the table is complex, but the basic concepts are 4840dafca90761097230f02e655fdd541f59b888315Bill Wendling/// easy. First there is a header which describes the location and organization 4850dafca90761097230f02e655fdd541f59b888315Bill Wendling/// of the three components that follow. 4860dafca90761097230f02e655fdd541f59b888315Bill Wendling/// 4870dafca90761097230f02e655fdd541f59b888315Bill Wendling/// 1. The landing pad site information describes the range of code covered by 4880dafca90761097230f02e655fdd541f59b888315Bill Wendling/// the try. In our case it's an accumulation of the ranges covered by the 4890dafca90761097230f02e655fdd541f59b888315Bill Wendling/// invokes in the try. There is also a reference to the landing pad that 4900dafca90761097230f02e655fdd541f59b888315Bill Wendling/// handles the exception once processed. Finally an index into the actions 4910dafca90761097230f02e655fdd541f59b888315Bill Wendling/// table. 492a583c55864e83e470333b7be878280b10e175a6eBill Wendling/// 2. The action table, in our case, is composed of pairs of type IDs and next 4930dafca90761097230f02e655fdd541f59b888315Bill Wendling/// action offset. Starting with the action index from the landing pad 494a583c55864e83e470333b7be878280b10e175a6eBill Wendling/// site, each type ID is checked for a match to the current exception. If 4950dafca90761097230f02e655fdd541f59b888315Bill Wendling/// it matches then the exception and type id are passed on to the landing 4960dafca90761097230f02e655fdd541f59b888315Bill Wendling/// pad. Otherwise the next action is looked up. This chain is terminated 4970dafca90761097230f02e655fdd541f59b888315Bill Wendling/// with a next action of zero. If no type id is found the the frame is 4980dafca90761097230f02e655fdd541f59b888315Bill Wendling/// unwound and handling continues. 499a583c55864e83e470333b7be878280b10e175a6eBill Wendling/// 3. Type ID table contains references to all the C++ typeinfo for all 5000dafca90761097230f02e655fdd541f59b888315Bill Wendling/// catches in the function. This tables is reversed indexed base 1. 501ade025c65c12503aba161a4fa399fd97414abaffBill Wendlingvoid DwarfException::EmitExceptionTable() { 502ade025c65c12503aba161a4fa399fd97414abaffBill Wendling const std::vector<GlobalVariable *> &TypeInfos = MMI->getTypeInfos(); 503ade025c65c12503aba161a4fa399fd97414abaffBill Wendling const std::vector<unsigned> &FilterIds = MMI->getFilterIds(); 504ade025c65c12503aba161a4fa399fd97414abaffBill Wendling const std::vector<LandingPadInfo> &PadInfos = MMI->getLandingPads(); 505ade025c65c12503aba161a4fa399fd97414abaffBill Wendling if (PadInfos.empty()) return; 506ade025c65c12503aba161a4fa399fd97414abaffBill Wendling 507ade025c65c12503aba161a4fa399fd97414abaffBill Wendling // Sort the landing pads in order of their type ids. This is used to fold 508ade025c65c12503aba161a4fa399fd97414abaffBill Wendling // duplicate actions. 509ade025c65c12503aba161a4fa399fd97414abaffBill Wendling SmallVector<const LandingPadInfo *, 64> LandingPads; 510ade025c65c12503aba161a4fa399fd97414abaffBill Wendling LandingPads.reserve(PadInfos.size()); 511ade025c65c12503aba161a4fa399fd97414abaffBill Wendling 512ade025c65c12503aba161a4fa399fd97414abaffBill Wendling for (unsigned i = 0, N = PadInfos.size(); i != N; ++i) 513ade025c65c12503aba161a4fa399fd97414abaffBill Wendling LandingPads.push_back(&PadInfos[i]); 514ade025c65c12503aba161a4fa399fd97414abaffBill Wendling 515ade025c65c12503aba161a4fa399fd97414abaffBill Wendling std::sort(LandingPads.begin(), LandingPads.end(), PadLT); 516ade025c65c12503aba161a4fa399fd97414abaffBill Wendling 517ade025c65c12503aba161a4fa399fd97414abaffBill Wendling // Compute the actions table and gather the first action index for each 518ade025c65c12503aba161a4fa399fd97414abaffBill Wendling // landing pad site. 519ade025c65c12503aba161a4fa399fd97414abaffBill Wendling SmallVector<ActionEntry, 32> Actions; 520ade025c65c12503aba161a4fa399fd97414abaffBill Wendling SmallVector<unsigned, 64> FirstActions; 521ade025c65c12503aba161a4fa399fd97414abaffBill Wendling unsigned SizeActions = ComputeActionsTable(LandingPads, Actions, FirstActions); 522ade025c65c12503aba161a4fa399fd97414abaffBill Wendling 523ade025c65c12503aba161a4fa399fd97414abaffBill Wendling // Invokes and nounwind calls have entries in PadMap (due to being bracketed 524ade025c65c12503aba161a4fa399fd97414abaffBill Wendling // by try-range labels when lowered). Ordinary calls do not, so appropriate 5251b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach // try-ranges for them need be deduced when using Dwarf exception handling. 526ade025c65c12503aba161a4fa399fd97414abaffBill Wendling RangeMapType PadMap; 527ade025c65c12503aba161a4fa399fd97414abaffBill Wendling for (unsigned i = 0, N = LandingPads.size(); i != N; ++i) { 528ade025c65c12503aba161a4fa399fd97414abaffBill Wendling const LandingPadInfo *LandingPad = LandingPads[i]; 529ade025c65c12503aba161a4fa399fd97414abaffBill Wendling for (unsigned j = 0, E = LandingPad->BeginLabels.size(); j != E; ++j) { 530ade025c65c12503aba161a4fa399fd97414abaffBill Wendling unsigned BeginLabel = LandingPad->BeginLabels[j]; 531ade025c65c12503aba161a4fa399fd97414abaffBill Wendling assert(!PadMap.count(BeginLabel) && "Duplicate landing pad labels!"); 532ade025c65c12503aba161a4fa399fd97414abaffBill Wendling PadRange P = { i, j }; 533ade025c65c12503aba161a4fa399fd97414abaffBill Wendling PadMap[BeginLabel] = P; 534ade025c65c12503aba161a4fa399fd97414abaffBill Wendling } 535ade025c65c12503aba161a4fa399fd97414abaffBill Wendling } 536ade025c65c12503aba161a4fa399fd97414abaffBill Wendling 537ade025c65c12503aba161a4fa399fd97414abaffBill Wendling // Compute the call-site table. 538ade025c65c12503aba161a4fa399fd97414abaffBill Wendling SmallVector<CallSiteEntry, 64> CallSites; 5398b818d7e98309125c6058c4ea72a7dc73b031db2Jim Grosbach ComputeCallSiteTable(CallSites, PadMap, LandingPads, FirstActions); 540eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 541eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Final tallies. 542eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 543eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Call sites. 544eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling const unsigned SiteStartSize = sizeof(int32_t); // DW_EH_PE_udata4 545eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling const unsigned SiteLengthSize = sizeof(int32_t); // DW_EH_PE_udata4 546eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling const unsigned LandingPadSize = sizeof(int32_t); // DW_EH_PE_udata4 5471b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach unsigned SizeSites; 548bff392384ddb032c732c38ec78b91d7a25dcf467Jim Grosbach 54933adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner bool HaveTTData = (MAI->getExceptionHandlingType() == ExceptionHandling::SjLj) 550bff392384ddb032c732c38ec78b91d7a25dcf467Jim Grosbach ? (!TypeInfos.empty() || !FilterIds.empty()) : true; 551bff392384ddb032c732c38ec78b91d7a25dcf467Jim Grosbach 552bff392384ddb032c732c38ec78b91d7a25dcf467Jim Grosbach 55333adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner if (MAI->getExceptionHandlingType() == ExceptionHandling::SjLj) { 5548b818d7e98309125c6058c4ea72a7dc73b031db2Jim Grosbach SizeSites = 0; 5551b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach } else 5561b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach SizeSites = CallSites.size() * 5571b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach (SiteStartSize + SiteLengthSize + LandingPadSize); 5581b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach for (unsigned i = 0, e = CallSites.size(); i < e; ++i) { 559af76e592c7f9deff0e55c13dbb4a34f07f1c7f64Chris Lattner SizeSites += MCAsmInfo::getULEB128Size(CallSites[i].Action); 56033adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner if (MAI->getExceptionHandlingType() == ExceptionHandling::SjLj) 561af76e592c7f9deff0e55c13dbb4a34f07f1c7f64Chris Lattner SizeSites += MCAsmInfo::getULEB128Size(i); 5621b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach } 563eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Type infos. 564eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling const unsigned TypeInfoSize = TD->getPointerSize(); // DW_EH_PE_absptr 565eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned SizeTypes = TypeInfos.size() * TypeInfoSize; 566eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 567eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned TypeOffset = sizeof(int8_t) + // Call site format 568af76e592c7f9deff0e55c13dbb4a34f07f1c7f64Chris Lattner MCAsmInfo::getULEB128Size(SizeSites) + // Call-site table length 569eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling SizeSites + SizeActions + SizeTypes; 570eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 571eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned TotalSize = sizeof(int8_t) + // LPStart format 572eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling sizeof(int8_t) + // TType format 573bff392384ddb032c732c38ec78b91d7a25dcf467Jim Grosbach (HaveTTData ? 574af76e592c7f9deff0e55c13dbb4a34f07f1c7f64Chris Lattner MCAsmInfo::getULEB128Size(TypeOffset) : 0) + // TType base offset 575eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling TypeOffset; 576eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 577eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned SizeAlign = (4 - TotalSize) & 3; 578eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 579eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Begin the exception table. 580d5bbb07ec806e6fa1e804afd7073987fdacc83e4Chris Lattner const MCSection *LSDASection = Asm->getObjFileLowering().getLSDASection(); 5816c2f9e14fdf14d8c1c687c6bd9918183fa7f8a7fChris Lattner Asm->OutStreamer.SwitchSection(LSDASection); 582eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitAlignment(2, 0, 0, false); 583eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling O << "GCC_except_table" << SubprogramCount << ":\n"; 584eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 585eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling for (unsigned i = 0; i != SizeAlign; ++i) { 586eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitInt8(0); 587eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("Padding"); 588c5800a809fd5e411de78ac1a4be633cd3e1d7840Bill Wendling } 589eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 590eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitLabel("exception", SubprogramCount); 59133adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner if (MAI->getExceptionHandlingType() == ExceptionHandling::SjLj) { 5921b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach std::string SjLjName = "_lsda_"; 5931b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach SjLjName += MF->getFunction()->getName().str(); 5941b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach EmitLabel(SjLjName.c_str(), 0); 5951b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach } 596eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 597eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Emit the header. 598eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitInt8(dwarf::DW_EH_PE_omit); 599a583c55864e83e470333b7be878280b10e175a6eBill Wendling Asm->EOL("@LPStart format (DW_EH_PE_omit)"); 600b0d9c3e7fdc952ae7cbe169b01ccaf1b80329403Bill Wendling 601ade025c65c12503aba161a4fa399fd97414abaffBill Wendling#if 0 60281c9a069377e9474d010f04eebe8325fd11429e3Chris Lattner if (TypeInfos.empty() && FilterIds.empty()) { 603ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // If there are no typeinfos or filters, there is nothing to emit, optimize 604ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // by specifying the "omit" encoding. 60581c9a069377e9474d010f04eebe8325fd11429e3Chris Lattner Asm->EmitInt8(dwarf::DW_EH_PE_omit); 606a583c55864e83e470333b7be878280b10e175a6eBill Wendling Asm->EOL("@TType format (DW_EH_PE_omit)"); 60781c9a069377e9474d010f04eebe8325fd11429e3Chris Lattner } else { 608ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // Okay, we have actual filters or typeinfos to emit. As such, we need to 609ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // pick a type encoding for them. We're about to emit a list of pointers to 610ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // typeinfo objects at the end of the LSDA. However, unless we're in static 611ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // mode, this reference will require a relocation by the dynamic linker. 61246b754c76bd6a720dd1dd3be248cb93a4e25d3e5Chris Lattner // 613ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // Because of this, we have a couple of options: 614ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // 1) If we are in -static mode, we can always use an absolute reference 615ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // from the LSDA, because the static linker will resolve it. 616ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // 2) Otherwise, if the LSDA section is writable, we can output the direct 617ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // reference to the typeinfo and allow the dynamic linker to relocate 618ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // it. Since it is in a writable section, the dynamic linker won't 619ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // have a problem. 620ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // 3) Finally, if we're in PIC mode and the LDSA section isn't writable, 621ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // we need to use some form of indirection. For example, on Darwin, 622ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // we can output a statically-relocatable reference to a dyld stub. The 623ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // offset to the stub is constant, but the contents are in a section 624ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // that is updated by the dynamic linker. This is easy enough, but we 625ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // need to tell the personality function of the unwinder to indirect 626ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // through the dyld stub. 627ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // 628ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // FIXME: When this is actually implemented, we'll have to emit the stubs 629ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // somewhere. This predicate should be moved to a shared location that is 630ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // in target-independent code. 631ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // 632ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner if (LSDASection->isWritable() || 633ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner Asm->TM.getRelocationModel() == Reloc::Static) { 634ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner Asm->EmitInt8(DW_EH_PE_absptr); 635ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner Asm->EOL("TType format (DW_EH_PE_absptr)"); 636ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner } else { 637ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner Asm->EmitInt8(DW_EH_PE_pcrel | DW_EH_PE_indirect | DW_EH_PE_sdata4); 638ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner Asm->EOL("TType format (DW_EH_PE_pcrel | DW_EH_PE_indirect" 639ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner " | DW_EH_PE_sdata4)"); 640ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner } 641b0d9c3e7fdc952ae7cbe169b01ccaf1b80329403Bill Wendling Asm->EmitULEB128Bytes(TypeOffset); 642b0d9c3e7fdc952ae7cbe169b01ccaf1b80329403Bill Wendling Asm->EOL("TType base offset"); 643b0d9c3e7fdc952ae7cbe169b01ccaf1b80329403Bill Wendling } 644ade025c65c12503aba161a4fa399fd97414abaffBill Wendling#else 645bff392384ddb032c732c38ec78b91d7a25dcf467Jim Grosbach // For SjLj exceptions, if there is no TypeInfo, then we just explicitly 6461b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach // say that we're omitting that bit. 6471b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach // FIXME: does this apply to Dwarf also? The above #if 0 implies yes? 648bff392384ddb032c732c38ec78b91d7a25dcf467Jim Grosbach if (!HaveTTData) { 6491b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach Asm->EmitInt8(dwarf::DW_EH_PE_omit); 650a583c55864e83e470333b7be878280b10e175a6eBill Wendling Asm->EOL("@TType format (DW_EH_PE_omit)"); 6511b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach } else { 6521b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach Asm->EmitInt8(dwarf::DW_EH_PE_absptr); 653a583c55864e83e470333b7be878280b10e175a6eBill Wendling Asm->EOL("@TType format (DW_EH_PE_absptr)"); 6541b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach Asm->EmitULEB128Bytes(TypeOffset); 655a583c55864e83e470333b7be878280b10e175a6eBill Wendling Asm->EOL("@TType base offset"); 6561b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach } 657ade025c65c12503aba161a4fa399fd97414abaffBill Wendling#endif 658b0d9c3e7fdc952ae7cbe169b01ccaf1b80329403Bill Wendling 6591b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach // SjLj Exception handilng 66033adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner if (MAI->getExceptionHandlingType() == ExceptionHandling::SjLj) { 6611b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach Asm->EmitInt8(dwarf::DW_EH_PE_udata4); 6621b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach Asm->EOL("Call site format (DW_EH_PE_udata4)"); 6631b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach Asm->EmitULEB128Bytes(SizeSites); 664a583c55864e83e470333b7be878280b10e175a6eBill Wendling Asm->EOL("Call site table length"); 6651b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach 6661b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach // Emit the landing pad site information. 6678b818d7e98309125c6058c4ea72a7dc73b031db2Jim Grosbach unsigned idx = 0; 6688b818d7e98309125c6058c4ea72a7dc73b031db2Jim Grosbach for (SmallVectorImpl<CallSiteEntry>::const_iterator 6698b818d7e98309125c6058c4ea72a7dc73b031db2Jim Grosbach I = CallSites.begin(), E = CallSites.end(); I != E; ++I, ++idx) { 6708b818d7e98309125c6058c4ea72a7dc73b031db2Jim Grosbach const CallSiteEntry &S = *I; 671a583c55864e83e470333b7be878280b10e175a6eBill Wendling 672a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Offset of the landing pad, counted in 16-byte bundles relative to the 673a583c55864e83e470333b7be878280b10e175a6eBill Wendling // @LPStart address. 6748b818d7e98309125c6058c4ea72a7dc73b031db2Jim Grosbach Asm->EmitULEB128Bytes(idx); 6751b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach Asm->EOL("Landing pad"); 676a583c55864e83e470333b7be878280b10e175a6eBill Wendling 677a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Offset of the first associated action record, relative to the start of 678a583c55864e83e470333b7be878280b10e175a6eBill Wendling // the action table. This value is biased by 1 (1 indicates the start of 679a583c55864e83e470333b7be878280b10e175a6eBill Wendling // the action table), and 0 indicates that there are no actions. 6801b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach Asm->EmitULEB128Bytes(S.Action); 6811b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach Asm->EOL("Action"); 6821b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach } 6831b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach } else { 6841b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach // DWARF Exception handling 68533adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner assert(MAI->getExceptionHandlingType() == ExceptionHandling::Dwarf); 6861b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach 687a583c55864e83e470333b7be878280b10e175a6eBill Wendling // The call-site table is a list of all call sites that may throw an 688a583c55864e83e470333b7be878280b10e175a6eBill Wendling // exception (including C++ 'throw' statements) in the procedure 689a583c55864e83e470333b7be878280b10e175a6eBill Wendling // fragment. It immediately follows the LSDA header. Each entry indicates, 690a583c55864e83e470333b7be878280b10e175a6eBill Wendling // for a given call, the first corresponding action record and corresponding 691a583c55864e83e470333b7be878280b10e175a6eBill Wendling // landing pad. 692a583c55864e83e470333b7be878280b10e175a6eBill Wendling // 693a583c55864e83e470333b7be878280b10e175a6eBill Wendling // The table begins with the number of bytes, stored as an LEB128 694a583c55864e83e470333b7be878280b10e175a6eBill Wendling // compressed, unsigned integer. The records immediately follow the record 695a583c55864e83e470333b7be878280b10e175a6eBill Wendling // count. They are sorted in increasing call-site address. Each record 696a583c55864e83e470333b7be878280b10e175a6eBill Wendling // indicates: 697a583c55864e83e470333b7be878280b10e175a6eBill Wendling // 698a583c55864e83e470333b7be878280b10e175a6eBill Wendling // * The position of the call-site. 699a583c55864e83e470333b7be878280b10e175a6eBill Wendling // * The position of the landing pad. 700a583c55864e83e470333b7be878280b10e175a6eBill Wendling // * The first action record for that call site. 701a583c55864e83e470333b7be878280b10e175a6eBill Wendling // 702a583c55864e83e470333b7be878280b10e175a6eBill Wendling // A missing entry in the call-site table indicates that a call is not 703a583c55864e83e470333b7be878280b10e175a6eBill Wendling // supposed to throw. Such calls include: 704a583c55864e83e470333b7be878280b10e175a6eBill Wendling // 705a583c55864e83e470333b7be878280b10e175a6eBill Wendling // * Calls to destructors within cleanup code. C++ semantics forbids these 706a583c55864e83e470333b7be878280b10e175a6eBill Wendling // calls to throw. 707a583c55864e83e470333b7be878280b10e175a6eBill Wendling // * Calls to intrinsic routines in the standard library which are known 708a583c55864e83e470333b7be878280b10e175a6eBill Wendling // not to throw (sin, memcpy, et al). 709a583c55864e83e470333b7be878280b10e175a6eBill Wendling // 710a583c55864e83e470333b7be878280b10e175a6eBill Wendling // If the runtime does not find the call-site entry for a given call, it 711a583c55864e83e470333b7be878280b10e175a6eBill Wendling // will call `terminate()'. 712a583c55864e83e470333b7be878280b10e175a6eBill Wendling 713a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Emit the landing pad call site table. 7141b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach Asm->EmitInt8(dwarf::DW_EH_PE_udata4); 7151b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach Asm->EOL("Call site format (DW_EH_PE_udata4)"); 7161b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach Asm->EmitULEB128Bytes(SizeSites); 717a583c55864e83e470333b7be878280b10e175a6eBill Wendling Asm->EOL("Call site table size"); 718eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 7191b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach for (SmallVectorImpl<CallSiteEntry>::const_iterator 7205cff487665097d971067cbede1598e249f673182Bill Wendling I = CallSites.begin(), E = CallSites.end(); I != E; ++I) { 7211b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach const CallSiteEntry &S = *I; 7221b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach const char *BeginTag; 7231b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach unsigned BeginNumber; 724eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 7251b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach if (!S.BeginLabel) { 7261b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach BeginTag = "eh_func_begin"; 7271b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach BeginNumber = SubprogramCount; 7281b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach } else { 7291b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach BeginTag = "label"; 7301b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach BeginNumber = S.BeginLabel; 7311b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach } 732eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 733a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Offset of the call site relative to the previous call site, counted in 734a583c55864e83e470333b7be878280b10e175a6eBill Wendling // number of 16-byte bundles. The first call site is counted relative to 735a583c55864e83e470333b7be878280b10e175a6eBill Wendling // the start of the procedure fragment. 7361b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach EmitSectionOffset(BeginTag, "eh_func_begin", BeginNumber, SubprogramCount, 7371b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach true, true); 7381b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach Asm->EOL("Region start"); 739eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 7401b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach if (!S.EndLabel) 7411b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach EmitDifference("eh_func_end", SubprogramCount, BeginTag, BeginNumber, 7421b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach true); 7431b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach else 7441b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach EmitDifference("label", S.EndLabel, BeginTag, BeginNumber, true); 745eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 7461b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach Asm->EOL("Region length"); 747eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 748a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Offset of the landing pad, counted in 16-byte bundles relative to the 749a583c55864e83e470333b7be878280b10e175a6eBill Wendling // @LPStart address. 7501b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach if (!S.PadLabel) 7511b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach Asm->EmitInt32(0); 7521b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach else 7531b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach EmitSectionOffset("label", "eh_func_begin", S.PadLabel, SubprogramCount, 7541b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach true, true); 755eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 7561b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach Asm->EOL("Landing pad"); 757eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 758a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Offset of the first associated action record, relative to the start of 759a583c55864e83e470333b7be878280b10e175a6eBill Wendling // the action table. This value is biased by 1 (1 indicates the start of 760a583c55864e83e470333b7be878280b10e175a6eBill Wendling // the action table), and 0 indicates that there are no actions. 7611b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach Asm->EmitULEB128Bytes(S.Action); 7621b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach Asm->EOL("Action"); 7631b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach } 764eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 765eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 766a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Emit the Action Table. 7675cff487665097d971067cbede1598e249f673182Bill Wendling for (SmallVectorImpl<ActionEntry>::const_iterator 7685cff487665097d971067cbede1598e249f673182Bill Wendling I = Actions.begin(), E = Actions.end(); I != E; ++I) { 7695cff487665097d971067cbede1598e249f673182Bill Wendling const ActionEntry &Action = *I; 770a583c55864e83e470333b7be878280b10e175a6eBill Wendling 771a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Type Filter 772a583c55864e83e470333b7be878280b10e175a6eBill Wendling // 773a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Used by the runtime to match the type of the thrown exception to the 774a583c55864e83e470333b7be878280b10e175a6eBill Wendling // type of the catch clauses or the types in the exception specification. 775a583c55864e83e470333b7be878280b10e175a6eBill Wendling 776eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitSLEB128Bytes(Action.ValueForTypeID); 777eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("TypeInfo index"); 778a583c55864e83e470333b7be878280b10e175a6eBill Wendling 779a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Action Record 780a583c55864e83e470333b7be878280b10e175a6eBill Wendling // 781a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Self-relative signed displacement in bytes of the next action record, 782a583c55864e83e470333b7be878280b10e175a6eBill Wendling // or 0 if there is no next action record. 783a583c55864e83e470333b7be878280b10e175a6eBill Wendling 784eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitSLEB128Bytes(Action.NextAction); 785eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("Next action"); 786eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 787eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 788a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Emit the Catch Clauses. The code for the catch clauses following the same 789a583c55864e83e470333b7be878280b10e175a6eBill Wendling // try is similar to a switch statement. The catch clause action record 790a583c55864e83e470333b7be878280b10e175a6eBill Wendling // informs the runtime about the type of a catch clause and about the 791a583c55864e83e470333b7be878280b10e175a6eBill Wendling // associated switch value. 792a583c55864e83e470333b7be878280b10e175a6eBill Wendling // 793a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Action Record Fields: 794a583c55864e83e470333b7be878280b10e175a6eBill Wendling // 795a583c55864e83e470333b7be878280b10e175a6eBill Wendling // * Filter Value 796a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Positive value, starting at 1. Index in the types table of the 797a583c55864e83e470333b7be878280b10e175a6eBill Wendling // __typeinfo for the catch-clause type. 1 is the first word preceding 798a583c55864e83e470333b7be878280b10e175a6eBill Wendling // TTBase, 2 is the second word, and so on. Used by the runtime to check 799a583c55864e83e470333b7be878280b10e175a6eBill Wendling // if the thrown exception type matches the catch-clause type. Back-end 800a583c55864e83e470333b7be878280b10e175a6eBill Wendling // generated switch statements check against this value. 801a583c55864e83e470333b7be878280b10e175a6eBill Wendling // 802a583c55864e83e470333b7be878280b10e175a6eBill Wendling // * Next 803a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Signed offset, in bytes from the start of this field, to the next 804a583c55864e83e470333b7be878280b10e175a6eBill Wendling // chained action record, or zero if none. 805a583c55864e83e470333b7be878280b10e175a6eBill Wendling // 806a583c55864e83e470333b7be878280b10e175a6eBill Wendling // The order of the action records determined by the next field is the order 807a583c55864e83e470333b7be878280b10e175a6eBill Wendling // of the catch clauses as they appear in the source code, and must be kept in 808a583c55864e83e470333b7be878280b10e175a6eBill Wendling // the same order. As a result, changing the order of the catch clause would 809a583c55864e83e470333b7be878280b10e175a6eBill Wendling // change the semantics of the program. 8105cff487665097d971067cbede1598e249f673182Bill Wendling for (std::vector<GlobalVariable *>::const_reverse_iterator 8115cff487665097d971067cbede1598e249f673182Bill Wendling I = TypeInfos.rbegin(), E = TypeInfos.rend(); I != E; ++I) { 812a583c55864e83e470333b7be878280b10e175a6eBill Wendling const GlobalVariable *GV = *I; 813eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling PrintRelDirective(); 814eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 815eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (GV) { 816eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling std::string GLN; 817eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling O << Asm->getGlobalLinkName(GV, GLN); 818eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } else { 819eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling O << "0"; 820eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 821eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 822eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("TypeInfo"); 823eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 824eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 825a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Emit the Type Table. 8265cff487665097d971067cbede1598e249f673182Bill Wendling for (std::vector<unsigned>::const_iterator 8275cff487665097d971067cbede1598e249f673182Bill Wendling I = FilterIds.begin(), E = FilterIds.end(); I < E; ++I) { 8285cff487665097d971067cbede1598e249f673182Bill Wendling unsigned TypeID = *I; 829eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitULEB128Bytes(TypeID); 830eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EOL("Filter TypeInfo index"); 831eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 832eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 833eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitAlignment(2, 0, 0, false); 834eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling} 835eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 836eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling/// EndModule - Emit all exception information that should come after the 837eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling/// content. 838eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendlingvoid DwarfException::EndModule() { 83933adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner if (MAI->getExceptionHandlingType() != ExceptionHandling::Dwarf) 8401b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach return; 841eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (TimePassesIsEnabled) 842eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling ExceptionTimer->startTimer(); 843eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 844eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (shouldEmitMovesModule || shouldEmitTableModule) { 845eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling const std::vector<Function *> Personalities = MMI->getPersonalities(); 846eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling for (unsigned i = 0; i < Personalities.size(); ++i) 847eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitCommonEHFrame(Personalities[i], i); 848eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 849eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling for (std::vector<FunctionEHFrameInfo>::iterator I = EHFrames.begin(), 850eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling E = EHFrames.end(); I != E; ++I) 851eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitEHFrame(*I); 852eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 853eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 854eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (TimePassesIsEnabled) 855eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling ExceptionTimer->stopTimer(); 856eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling} 857eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 858eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling/// BeginFunction - Gather pre-function exception information. Assumes being 859eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling/// emitted immediately after the function entry point. 860eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendlingvoid DwarfException::BeginFunction(MachineFunction *MF) { 861eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (TimePassesIsEnabled) 862eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling ExceptionTimer->startTimer(); 863eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 864eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling this->MF = MF; 865eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling shouldEmitTable = shouldEmitMoves = false; 866eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 86733adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner if (MMI && MAI->doesSupportExceptionHandling()) { 868eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Map all labels and get rid of any dead landing pads. 869eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling MMI->TidyLandingPads(); 870eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 871eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // If any landing pads survive, we need an EH table. 872eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (MMI->getLandingPads().size()) 873eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling shouldEmitTable = true; 874eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 875eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // See if we need frame move info. 876eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (!MF->getFunction()->doesNotThrow() || UnwindTablesMandatory) 877eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling shouldEmitMoves = true; 878eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 879eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (shouldEmitMoves || shouldEmitTable) 880eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Assumes in correct section after the entry point. 881eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitLabel("eh_func_begin", ++SubprogramCount); 882eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 883eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 884eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling shouldEmitTableModule |= shouldEmitTable; 885eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling shouldEmitMovesModule |= shouldEmitMoves; 886eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 887eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (TimePassesIsEnabled) 888eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling ExceptionTimer->stopTimer(); 889eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling} 890eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 891eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling/// EndFunction - Gather and emit post-function exception information. 892eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling/// 893eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendlingvoid DwarfException::EndFunction() { 894eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (TimePassesIsEnabled) 895eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling ExceptionTimer->startTimer(); 896eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 897eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (shouldEmitMoves || shouldEmitTable) { 898eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitLabel("eh_func_end", SubprogramCount); 899eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitExceptionTable(); 900eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 901eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Save EH frame information 902eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EHFrames.push_back( 903e2cf37b88c089a71727b3ecd466856f0cd638813Chris Lattner FunctionEHFrameInfo(getAsm()->getCurrentFunctionEHName(MF), 904eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling SubprogramCount, 905eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling MMI->getPersonalityIndex(), 906eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling MF->getFrameInfo()->hasCalls(), 907eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling !MMI->getLandingPads().empty(), 908eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling MMI->getFrameMoves(), 909eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling MF->getFunction())); 910eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 911eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 912eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (TimePassesIsEnabled) 913eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling ExceptionTimer->stopTimer(); 914eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling} 915