DwarfException.cpp revision 1869ac8b716da4fdbaaf3e5484238f36881fc14b
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// 1028275fdf02885587156da5cb20388b22d5b96557Bill 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" 208c6ed05157e9c97ff8f3ccb211dd797e53228da1Chris Lattner#include "llvm/MC/MCAsmInfo.h" 218c6ed05157e9c97ff8f3ccb211dd797e53228da1Chris Lattner#include "llvm/MC/MCContext.h" 228c6ed05157e9c97ff8f3ccb211dd797e53228da1Chris Lattner#include "llvm/MC/MCExpr.h" 2343e484fbcf6a40a70d9a5c7ea142f37416ef1e68Bill Wendling#include "llvm/MC/MCSection.h" 246c2f9e14fdf14d8c1c687c6bd9918183fa7f8a7fChris Lattner#include "llvm/MC/MCStreamer.h" 257a2ba94d03b43f41b54872dacd7b2250dde4c7bdChris Lattner#include "llvm/MC/MCSymbol.h" 2645111d160cf0910030eeb6a949c69273502e5ad5Chris Lattner#include "llvm/Target/Mangler.h" 27eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling#include "llvm/Target/TargetData.h" 28eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling#include "llvm/Target/TargetFrameInfo.h" 29d5bbb07ec806e6fa1e804afd7073987fdacc83e4Chris Lattner#include "llvm/Target/TargetLoweringObjectFile.h" 30eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling#include "llvm/Target/TargetOptions.h" 31d5bbb07ec806e6fa1e804afd7073987fdacc83e4Chris Lattner#include "llvm/Target/TargetRegisterInfo.h" 326c2f9e14fdf14d8c1c687c6bd9918183fa7f8a7fChris Lattner#include "llvm/Support/Dwarf.h" 330ad9c911f5b7737ae199d703279984138553de9dChris Lattner#include "llvm/Support/FormattedStream.h" 346c2f9e14fdf14d8c1c687c6bd9918183fa7f8a7fChris Lattner#include "llvm/Support/Timer.h" 35c40d9f9bae70c83947bf8fa5f9ee97adbf1bb0c0Jim Grosbach#include "llvm/ADT/SmallString.h" 36eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling#include "llvm/ADT/StringExtras.h" 371f8075d7d232dd0c7b0caa81ed3ce426a13f5a66Bill Wendling#include "llvm/ADT/Twine.h" 38eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendlingusing namespace llvm; 39eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 40bc0d23afae781c45f92865c1c27bed0ce51fe545Bill WendlingDwarfException::DwarfException(raw_ostream &OS, AsmPrinter *A, 41af76e592c7f9deff0e55c13dbb4a34f07f1c7f64Chris Lattner const MCAsmInfo *T) 42066c9acca354e88c19ce740a7ff0e5910362aa7bChris Lattner : DwarfPrinter(OS, A, T, "eh"), shouldEmitTable(false),shouldEmitMoves(false), 43bc0d23afae781c45f92865c1c27bed0ce51fe545Bill Wendling shouldEmitTableModule(false), shouldEmitMovesModule(false), 44bc0d23afae781c45f92865c1c27bed0ce51fe545Bill Wendling ExceptionTimer(0) { 45dbfcdb976367ad5a9d3541fef90cd9f8dde7e2b4Eric Christopher if (TimePassesIsEnabled) 460b86a6f049e4d839bd770241571628d10c980887Chris Lattner ExceptionTimer = new Timer("DWARF Exception Writer"); 47bc0d23afae781c45f92865c1c27bed0ce51fe545Bill Wendling} 48bc0d23afae781c45f92865c1c27bed0ce51fe545Bill Wendling 49bc0d23afae781c45f92865c1c27bed0ce51fe545Bill WendlingDwarfException::~DwarfException() { 50bc0d23afae781c45f92865c1c27bed0ce51fe545Bill Wendling delete ExceptionTimer; 51bc0d23afae781c45f92865c1c27bed0ce51fe545Bill Wendling} 52bc0d23afae781c45f92865c1c27bed0ce51fe545Bill Wendling 537378b1bd00033d8be64d388d60a562027cbf953aBill Wendling/// CreateLabelDiff - Emit a label and subtract it from the expression we 547378b1bd00033d8be64d388d60a562027cbf953aBill Wendling/// already have. This is equivalent to emitting "foo - .", but we have to emit 557378b1bd00033d8be64d388d60a562027cbf953aBill Wendling/// the label for "." directly. 567378b1bd00033d8be64d388d60a562027cbf953aBill Wendlingconst MCExpr *DwarfException::CreateLabelDiff(const MCExpr *ExprRef, 577378b1bd00033d8be64d388d60a562027cbf953aBill Wendling const char *LabelName, 587378b1bd00033d8be64d388d60a562027cbf953aBill Wendling unsigned Index) { 597378b1bd00033d8be64d388d60a562027cbf953aBill Wendling SmallString<64> Name; 607378b1bd00033d8be64d388d60a562027cbf953aBill Wendling raw_svector_ostream(Name) << MAI->getPrivateGlobalPrefix() 617378b1bd00033d8be64d388d60a562027cbf953aBill Wendling << LabelName << Asm->getFunctionNumber() 627378b1bd00033d8be64d388d60a562027cbf953aBill Wendling << "_" << Index; 637378b1bd00033d8be64d388d60a562027cbf953aBill Wendling MCSymbol *DotSym = Asm->OutContext.GetOrCreateSymbol(Name.str()); 647378b1bd00033d8be64d388d60a562027cbf953aBill Wendling Asm->OutStreamer.EmitLabel(DotSym); 657378b1bd00033d8be64d388d60a562027cbf953aBill Wendling 667378b1bd00033d8be64d388d60a562027cbf953aBill Wendling return MCBinaryExpr::CreateSub(ExprRef, 677378b1bd00033d8be64d388d60a562027cbf953aBill Wendling MCSymbolRefExpr::Create(DotSym, 687378b1bd00033d8be64d388d60a562027cbf953aBill Wendling Asm->OutContext), 697378b1bd00033d8be64d388d60a562027cbf953aBill Wendling Asm->OutContext); 707378b1bd00033d8be64d388d60a562027cbf953aBill Wendling} 717378b1bd00033d8be64d388d60a562027cbf953aBill Wendling 727ccda0f2aadb601ce48f05c12cc153f3fcc554e6Bill Wendling/// EmitCIE - Emit a Common Information Entry (CIE). This holds information that 737ccda0f2aadb601ce48f05c12cc153f3fcc554e6Bill Wendling/// is shared among many Frame Description Entries. There is at least one CIE 747ccda0f2aadb601ce48f05c12cc153f3fcc554e6Bill Wendling/// in every non-empty .debug_frame section. 758c6ed05157e9c97ff8f3ccb211dd797e53228da1Chris Lattnervoid DwarfException::EmitCIE(const Function *PersonalityFn, unsigned Index) { 76eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Size and sign of stack growth. 77eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling int stackGrowth = 78eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->TM.getFrameInfo()->getStackGrowthDirection() == 79eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling TargetFrameInfo::StackGrowsUp ? 80eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling TD->getPointerSize() : -TD->getPointerSize(); 81eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 828c6ed05157e9c97ff8f3ccb211dd797e53228da1Chris Lattner const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering(); 839184b25fa543a900463215c11635c2c014ddb623Anton Korobeynikov 84eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Begin eh frame section. 858c6ed05157e9c97ff8f3ccb211dd797e53228da1Chris Lattner Asm->OutStreamer.SwitchSection(TLOF.getEHFrameSection()); 86eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 8733adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner if (MAI->is_EHSymbolPrivate()) 8833adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner O << MAI->getPrivateGlobalPrefix(); 89eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling O << "EH_frame" << Index << ":\n"; 908c6ed05157e9c97ff8f3ccb211dd797e53228da1Chris Lattner 91eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitLabel("section_eh_frame", Index); 92eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 93eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Define base labels. 94eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitLabel("eh_frame_common", Index); 95eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 96eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Define the eh frame length. 97eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitDifference("eh_frame_common_end", Index, 98eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling "eh_frame_common_begin", Index, true); 99faca5497a26672669934abbcf23894ce93408c10Chris Lattner EOL("Length of Common Information Entry"); 100eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 101eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // EH frame header. 102eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitLabel("eh_frame_common_begin", Index); 103066c9acca354e88c19ce740a7ff0e5910362aa7bChris Lattner if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("CIE Identifier Tag"); 104bcb83e5b6c8e074e73986cb641801ecbedd6e4edChris Lattner Asm->OutStreamer.EmitIntValue(0, 4/*size*/, 0/*addrspace*/); 105066c9acca354e88c19ce740a7ff0e5910362aa7bChris Lattner if (Asm->VerboseAsm) Asm->OutStreamer.AddComment("DW_CIE_VERSION"); 106066c9acca354e88c19ce740a7ff0e5910362aa7bChris Lattner Asm->OutStreamer.EmitIntValue(dwarf::DW_CIE_VERSION, 1/*size*/, 0/*addr*/); 107eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 108eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // The personality presence indicates that language specific information will 1098c6ed05157e9c97ff8f3ccb211dd797e53228da1Chris Lattner // show up in the eh frame. Find out how we are supposed to lower the 1108c6ed05157e9c97ff8f3ccb211dd797e53228da1Chris Lattner // personality function reference: 1119184b25fa543a900463215c11635c2c014ddb623Anton Korobeynikov 1129184b25fa543a900463215c11635c2c014ddb623Anton Korobeynikov unsigned LSDAEncoding = TLOF.getLSDAEncoding(); 1139184b25fa543a900463215c11635c2c014ddb623Anton Korobeynikov unsigned FDEEncoding = TLOF.getFDEEncoding(); 1149184b25fa543a900463215c11635c2c014ddb623Anton Korobeynikov unsigned PerEncoding = TLOF.getPersonalityEncoding(); 11552783c63a13d384582997684384553e6545852d3Bill Wendling 1164cf202ba066a1310d8968c8d069787254934e59bChris Lattner char Augmentation[6] = { 0 }; 11752783c63a13d384582997684384553e6545852d3Bill Wendling unsigned AugmentationSize = 0; 11852783c63a13d384582997684384553e6545852d3Bill Wendling char *APtr = Augmentation + 1; 11952783c63a13d384582997684384553e6545852d3Bill Wendling 1209184b25fa543a900463215c11635c2c014ddb623Anton Korobeynikov if (PersonalityFn) { 12152783c63a13d384582997684384553e6545852d3Bill Wendling // There is a personality function. 12252783c63a13d384582997684384553e6545852d3Bill Wendling *APtr++ = 'P'; 12352783c63a13d384582997684384553e6545852d3Bill Wendling AugmentationSize += 1 + SizeOfEncodedValue(PerEncoding); 12452783c63a13d384582997684384553e6545852d3Bill Wendling } 12552783c63a13d384582997684384553e6545852d3Bill Wendling 12652783c63a13d384582997684384553e6545852d3Bill Wendling if (UsesLSDA[Index]) { 12752783c63a13d384582997684384553e6545852d3Bill Wendling // An LSDA pointer is in the FDE augmentation. 12852783c63a13d384582997684384553e6545852d3Bill Wendling *APtr++ = 'L'; 12952783c63a13d384582997684384553e6545852d3Bill Wendling ++AugmentationSize; 13052783c63a13d384582997684384553e6545852d3Bill Wendling } 13152783c63a13d384582997684384553e6545852d3Bill Wendling 13252783c63a13d384582997684384553e6545852d3Bill Wendling if (FDEEncoding != dwarf::DW_EH_PE_absptr) { 13352783c63a13d384582997684384553e6545852d3Bill Wendling // A non-default pointer encoding for the FDE. 13452783c63a13d384582997684384553e6545852d3Bill Wendling *APtr++ = 'R'; 13552783c63a13d384582997684384553e6545852d3Bill Wendling ++AugmentationSize; 13652783c63a13d384582997684384553e6545852d3Bill Wendling } 13752783c63a13d384582997684384553e6545852d3Bill Wendling 13852783c63a13d384582997684384553e6545852d3Bill Wendling if (APtr != Augmentation + 1) 13952783c63a13d384582997684384553e6545852d3Bill Wendling Augmentation[0] = 'z'; 14052783c63a13d384582997684384553e6545852d3Bill Wendling 1414cf202ba066a1310d8968c8d069787254934e59bChris Lattner Asm->OutStreamer.EmitBytes(StringRef(Augmentation, strlen(Augmentation)+1),0); 142faca5497a26672669934abbcf23894ce93408c10Chris Lattner EOL("CIE Augmentation"); 143eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 144eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Round out reader. 145894d75aa013143c92890d0205791d0d70a453114Chris Lattner EmitULEB128(1, "CIE Code Alignment Factor"); 146bb9078a6b26f38594cde6fd0dcd17eca25ef0319Chris Lattner EmitSLEB128(stackGrowth, "CIE Data Alignment Factor"); 147eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitInt8(RI->getDwarfRegNum(RI->getRARegister(), true)); 148faca5497a26672669934abbcf23894ce93408c10Chris Lattner EOL("CIE Return Address Column"); 149eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 150ac8a3d0b5b464e4dd7c45ba111e6da1aeed39bc5Anton Korobeynikov if (Augmentation[0]) { 151ac8a3d0b5b464e4dd7c45ba111e6da1aeed39bc5Anton Korobeynikov EmitULEB128(AugmentationSize, "Augmentation Size"); 152ac8a3d0b5b464e4dd7c45ba111e6da1aeed39bc5Anton Korobeynikov 153ac8a3d0b5b464e4dd7c45ba111e6da1aeed39bc5Anton Korobeynikov // If there is a personality, we need to indicate the function's location. 154ac8a3d0b5b464e4dd7c45ba111e6da1aeed39bc5Anton Korobeynikov if (PersonalityFn) { 155ac8a3d0b5b464e4dd7c45ba111e6da1aeed39bc5Anton Korobeynikov EmitEncodingByte(PerEncoding, "Personality"); 156ac8a3d0b5b464e4dd7c45ba111e6da1aeed39bc5Anton Korobeynikov EmitReference(PersonalityFn, PerEncoding); 157ac8a3d0b5b464e4dd7c45ba111e6da1aeed39bc5Anton Korobeynikov EOL("Personality"); 158ac8a3d0b5b464e4dd7c45ba111e6da1aeed39bc5Anton Korobeynikov } 1599184b25fa543a900463215c11635c2c014ddb623Anton Korobeynikov if (UsesLSDA[Index]) 1609184b25fa543a900463215c11635c2c014ddb623Anton Korobeynikov EmitEncodingByte(LSDAEncoding, "LSDA"); 1619184b25fa543a900463215c11635c2c014ddb623Anton Korobeynikov if (FDEEncoding != dwarf::DW_EH_PE_absptr) 1629184b25fa543a900463215c11635c2c014ddb623Anton Korobeynikov EmitEncodingByte(FDEEncoding, "FDE"); 163eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 164eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 165eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Indicate locations of general callee saved registers in frame. 166eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling std::vector<MachineMove> Moves; 167eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling RI->getInitialFrameState(Moves); 168eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitFrameMoves(NULL, 0, Moves, true); 169eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 170eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // On Darwin the linker honors the alignment of eh_frame, which means it must 171eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // be 8-byte on 64-bit targets to match what gcc does. Otherwise you get 172eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // holes which confuse readers of eh_frame. 1738c6ed05157e9c97ff8f3ccb211dd797e53228da1Chris Lattner Asm->EmitAlignment(TD->getPointerSize() == 4 ? 2 : 3, 0, 0, false); 174eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitLabel("eh_frame_common_end", Index); 1750ad9c911f5b7737ae199d703279984138553de9dChris Lattner Asm->O << '\n'; 176eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling} 177eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 1787ccda0f2aadb601ce48f05c12cc153f3fcc554e6Bill Wendling/// EmitFDE - Emit the Frame Description Entry (FDE) for the function. 1797ccda0f2aadb601ce48f05c12cc153f3fcc554e6Bill Wendlingvoid DwarfException::EmitFDE(const FunctionEHFrameInfo &EHFrameInfo) { 180dbfcdb976367ad5a9d3541fef90cd9f8dde7e2b4Eric Christopher assert(!EHFrameInfo.function->hasAvailableExternallyLinkage() && 181eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling "Should not emit 'available externally' functions at all"); 182eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 1833e0f60be46cb5363d4375f26a5e27d1dcd9867fbChris Lattner const Function *TheFunc = EHFrameInfo.function; 1849184b25fa543a900463215c11635c2c014ddb623Anton Korobeynikov const TargetLoweringObjectFile &TLOF = Asm->getObjFileLowering(); 185dbfcdb976367ad5a9d3541fef90cd9f8dde7e2b4Eric Christopher 1869184b25fa543a900463215c11635c2c014ddb623Anton Korobeynikov unsigned LSDAEncoding = TLOF.getLSDAEncoding(); 1879184b25fa543a900463215c11635c2c014ddb623Anton Korobeynikov unsigned FDEEncoding = TLOF.getFDEEncoding(); 1889184b25fa543a900463215c11635c2c014ddb623Anton Korobeynikov 1899184b25fa543a900463215c11635c2c014ddb623Anton Korobeynikov Asm->OutStreamer.SwitchSection(TLOF.getEHFrameSection()); 190dbfcdb976367ad5a9d3541fef90cd9f8dde7e2b4Eric Christopher 191eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Externally visible entry into the functions eh frame info. If the 192eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // corresponding function is static, this should not be externally visible. 1933e0f60be46cb5363d4375f26a5e27d1dcd9867fbChris Lattner if (!TheFunc->hasLocalLinkage()) 19410b318bcb39218d2ed525e4862c854bc8d1baf63Chris Lattner if (const char *GlobalEHDirective = MAI->getGlobalEHDirective()) 19510b318bcb39218d2ed525e4862c854bc8d1baf63Chris Lattner O << GlobalEHDirective << *EHFrameInfo.FunctionEHSym << '\n'; 196eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 197eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // If corresponding function is weak definition, this should be too. 19810b318bcb39218d2ed525e4862c854bc8d1baf63Chris Lattner if (TheFunc->isWeakForLinker() && MAI->getWeakDefDirective()) 19910b318bcb39218d2ed525e4862c854bc8d1baf63Chris Lattner O << MAI->getWeakDefDirective() << *EHFrameInfo.FunctionEHSym << '\n'; 200ee161a68240dfe7e28fdc45d5595380a3ec3b9c8Bill Wendling 201ee161a68240dfe7e28fdc45d5595380a3ec3b9c8Bill Wendling // If corresponding function is hidden, this should be too. 202ee161a68240dfe7e28fdc45d5595380a3ec3b9c8Bill Wendling if (TheFunc->hasHiddenVisibility()) 203152a29bfa6fa505182658d046bc75626e10d67c3Chris Lattner if (MCSymbolAttr HiddenAttr = MAI->getHiddenVisibilityAttr()) 204152a29bfa6fa505182658d046bc75626e10d67c3Chris Lattner Asm->OutStreamer.EmitSymbolAttribute(EHFrameInfo.FunctionEHSym, 205152a29bfa6fa505182658d046bc75626e10d67c3Chris Lattner HiddenAttr); 206eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 207eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // If there are no calls then you can't unwind. This may mean we can omit the 208eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // EH Frame, but some environments do not handle weak absolute symbols. If 209eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // UnwindTablesMandatory is set we cannot do this optimization; the unwind 210eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // info is to be available for non-EH uses. 2113e0f60be46cb5363d4375f26a5e27d1dcd9867fbChris Lattner if (!EHFrameInfo.hasCalls && !UnwindTablesMandatory && 2123e0f60be46cb5363d4375f26a5e27d1dcd9867fbChris Lattner (!TheFunc->isWeakForLinker() || 21333adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner !MAI->getWeakDefDirective() || 21433adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner MAI->getSupportsWeakOmittedEHFrame())) { 21510b318bcb39218d2ed525e4862c854bc8d1baf63Chris Lattner O << *EHFrameInfo.FunctionEHSym << " = 0\n"; 216eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // This name has no connection to the function, so it might get 217eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // dead-stripped when the function is not, erroneously. Prohibit 218eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // dead-stripping unconditionally. 2193a9be0ee36fe2143f514d28315f3dc1bda132b2eChris Lattner if (MAI->hasNoDeadStrip()) 2203a9be0ee36fe2143f514d28315f3dc1bda132b2eChris Lattner Asm->OutStreamer.EmitSymbolAttribute(EHFrameInfo.FunctionEHSym, 221a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner MCSA_NoDeadStrip); 222eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } else { 22310b318bcb39218d2ed525e4862c854bc8d1baf63Chris Lattner O << *EHFrameInfo.FunctionEHSym << ":\n"; 224eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 225eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // EH frame header. 226eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitDifference("eh_frame_end", EHFrameInfo.Number, 2279184b25fa543a900463215c11635c2c014ddb623Anton Korobeynikov "eh_frame_begin", EHFrameInfo.Number, 2289184b25fa543a900463215c11635c2c014ddb623Anton Korobeynikov true); 229faca5497a26672669934abbcf23894ce93408c10Chris Lattner EOL("Length of Frame Information Entry"); 230eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 231eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitLabel("eh_frame_begin", EHFrameInfo.Number); 232eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 233a4ff5e48fc6a4718d3a2af8654cfc06a17310aedChris Lattner EmitSectionOffset("eh_frame_begin", "eh_frame_common", 234a4ff5e48fc6a4718d3a2af8654cfc06a17310aedChris Lattner EHFrameInfo.Number, EHFrameInfo.PersonalityIndex, 235a4ff5e48fc6a4718d3a2af8654cfc06a17310aedChris Lattner true, true, false); 236eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 237faca5497a26672669934abbcf23894ce93408c10Chris Lattner EOL("FDE CIE offset"); 238eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 2399184b25fa543a900463215c11635c2c014ddb623Anton Korobeynikov EmitReference("eh_func_begin", EHFrameInfo.Number, FDEEncoding); 240faca5497a26672669934abbcf23894ce93408c10Chris Lattner EOL("FDE initial location"); 241eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitDifference("eh_func_end", EHFrameInfo.Number, 2429184b25fa543a900463215c11635c2c014ddb623Anton Korobeynikov "eh_func_begin", EHFrameInfo.Number, 2439184b25fa543a900463215c11635c2c014ddb623Anton Korobeynikov SizeOfEncodedValue(FDEEncoding) == 4); 244faca5497a26672669934abbcf23894ce93408c10Chris Lattner EOL("FDE address range"); 245eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 246eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // If there is a personality and landing pads then point to the language 247eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // specific data area in the exception table. 248d44fff7849034fc17d6a0e9f9926542865bb7881Eric Christopher if (MMI->getPersonalities()[0] != NULL) { 2499184b25fa543a900463215c11635c2c014ddb623Anton Korobeynikov unsigned Size = SizeOfEncodedValue(LSDAEncoding); 250c69d74a5d41a6c5e92f9d947f2fa181f48626ca5Duncan Sands 2519184b25fa543a900463215c11635c2c014ddb623Anton Korobeynikov EmitULEB128(Size, "Augmentation size"); 2529184b25fa543a900463215c11635c2c014ddb623Anton Korobeynikov if (EHFrameInfo.hasLandingPads) 2539184b25fa543a900463215c11635c2c014ddb623Anton Korobeynikov EmitReference("exception", EHFrameInfo.Number, LSDAEncoding); 2549184b25fa543a900463215c11635c2c014ddb623Anton Korobeynikov else 2559184b25fa543a900463215c11635c2c014ddb623Anton Korobeynikov Asm->OutStreamer.EmitIntValue(0, Size/*size*/, 0/*addrspace*/); 256d58e9cb42d7f5cf83c9b982df7e2c822b2e285e9Bill Wendling 257faca5497a26672669934abbcf23894ce93408c10Chris Lattner EOL("Language Specific Data Area"); 258eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } else { 259894d75aa013143c92890d0205791d0d70a453114Chris Lattner EmitULEB128(0, "Augmentation size"); 260eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 261eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 262eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Indicate locations of function specific callee saved registers in frame. 263dbfcdb976367ad5a9d3541fef90cd9f8dde7e2b4Eric Christopher EmitFrameMoves("eh_func_begin", EHFrameInfo.Number, EHFrameInfo.Moves, 264eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling true); 265eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 266eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // On Darwin the linker honors the alignment of eh_frame, which means it 267eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // must be 8-byte on 64-bit targets to match what gcc does. Otherwise you 268eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // get holes which confuse readers of eh_frame. 269eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitAlignment(TD->getPointerSize() == sizeof(int32_t) ? 2 : 3, 270eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 0, 0, false); 271eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling EmitLabel("eh_frame_end", EHFrameInfo.Number); 272eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 273eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // If the function is marked used, this table should be also. We cannot 274eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // make the mark unconditional in this case, since retaining the table also 275eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // retains the function in this case, and there is code around that depends 276eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // on unused functions (calling undefined externals) being dead-stripped to 277eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // link correctly. Yes, there really is. 278401e10c4fbfcdcfade5065093e2ca97f69a1d144Chris Lattner if (MMI->isUsedFunction(EHFrameInfo.function)) 2793a9be0ee36fe2143f514d28315f3dc1bda132b2eChris Lattner if (MAI->hasNoDeadStrip()) 2803a9be0ee36fe2143f514d28315f3dc1bda132b2eChris Lattner Asm->OutStreamer.EmitSymbolAttribute(EHFrameInfo.FunctionEHSym, 281a5ad93a10a5435f21090b09edb6b3a7e44967648Chris Lattner MCSA_NoDeadStrip); 282eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 2830ad9c911f5b7737ae199d703279984138553de9dChris Lattner Asm->O << '\n'; 284eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling} 285eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 286eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling/// SharedTypeIds - How many leading type ids two landing pads have in common. 287eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendlingunsigned DwarfException::SharedTypeIds(const LandingPadInfo *L, 288eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling const LandingPadInfo *R) { 289eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling const std::vector<int> &LIds = L->TypeIds, &RIds = R->TypeIds; 290eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned LSize = LIds.size(), RSize = RIds.size(); 291eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned MinSize = LSize < RSize ? LSize : RSize; 292eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned Count = 0; 293eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 294eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling for (; Count != MinSize; ++Count) 295eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (LIds[Count] != RIds[Count]) 296eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling return Count; 297eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 298eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling return Count; 299eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling} 300eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 301eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling/// PadLT - Order landing pads lexicographically by type id. 302eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendlingbool DwarfException::PadLT(const LandingPadInfo *L, const LandingPadInfo *R) { 303eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling const std::vector<int> &LIds = L->TypeIds, &RIds = R->TypeIds; 304eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned LSize = LIds.size(), RSize = RIds.size(); 305eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned MinSize = LSize < RSize ? LSize : RSize; 306eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 307eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling for (unsigned i = 0; i != MinSize; ++i) 308eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (LIds[i] != RIds[i]) 309eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling return LIds[i] < RIds[i]; 310eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 311eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling return LSize < RSize; 312eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling} 313eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 314d4609622ade8d0ebaf57fd70700c2fedf0b3d165Bill Wendling/// ComputeActionsTable - Compute the actions table and gather the first action 315d4609622ade8d0ebaf57fd70700c2fedf0b3d165Bill Wendling/// index for each landing pad site. 316ade025c65c12503aba161a4fa399fd97414abaffBill Wendlingunsigned DwarfException:: 317ade025c65c12503aba161a4fa399fd97414abaffBill WendlingComputeActionsTable(const SmallVectorImpl<const LandingPadInfo*> &LandingPads, 318ade025c65c12503aba161a4fa399fd97414abaffBill Wendling SmallVectorImpl<ActionEntry> &Actions, 319ade025c65c12503aba161a4fa399fd97414abaffBill Wendling SmallVectorImpl<unsigned> &FirstActions) { 320a583c55864e83e470333b7be878280b10e175a6eBill Wendling 321a583c55864e83e470333b7be878280b10e175a6eBill Wendling // The action table follows the call-site table in the LSDA. The individual 322a583c55864e83e470333b7be878280b10e175a6eBill Wendling // records are of two types: 323a583c55864e83e470333b7be878280b10e175a6eBill Wendling // 324a583c55864e83e470333b7be878280b10e175a6eBill Wendling // * Catch clause 325a583c55864e83e470333b7be878280b10e175a6eBill Wendling // * Exception specification 326a583c55864e83e470333b7be878280b10e175a6eBill Wendling // 327a583c55864e83e470333b7be878280b10e175a6eBill Wendling // The two record kinds have the same format, with only small differences. 328a583c55864e83e470333b7be878280b10e175a6eBill Wendling // They are distinguished by the "switch value" field: Catch clauses 329a583c55864e83e470333b7be878280b10e175a6eBill Wendling // (TypeInfos) have strictly positive switch values, and exception 330a583c55864e83e470333b7be878280b10e175a6eBill Wendling // specifications (FilterIds) have strictly negative switch values. Value 0 331a583c55864e83e470333b7be878280b10e175a6eBill Wendling // indicates a catch-all clause. 332a583c55864e83e470333b7be878280b10e175a6eBill Wendling // 3335e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling // Negative type IDs index into FilterIds. Positive type IDs index into 3345e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling // TypeInfos. The value written for a positive type ID is just the type ID 3355e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling // itself. For a negative type ID, however, the value written is the 336eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // (negative) byte offset of the corresponding FilterIds entry. The byte 3375e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling // offset is usually equal to the type ID (because the FilterIds entries are 3385e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling // written using a variable width encoding, which outputs one byte per entry 3395e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling // as long as the value written is not too large) but can differ. This kind 3405e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling // of complication does not occur for positive type IDs because type infos are 341eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // output using a fixed width encoding. FilterOffsets[i] holds the byte 342eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // offset corresponding to FilterIds[i]. 343409914b773ffd53d53d214394d5636a76f673186Bill Wendling 344409914b773ffd53d53d214394d5636a76f673186Bill Wendling const std::vector<unsigned> &FilterIds = MMI->getFilterIds(); 345eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling SmallVector<int, 16> FilterOffsets; 346eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling FilterOffsets.reserve(FilterIds.size()); 347eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling int Offset = -1; 348409914b773ffd53d53d214394d5636a76f673186Bill Wendling 349409914b773ffd53d53d214394d5636a76f673186Bill Wendling for (std::vector<unsigned>::const_iterator 350409914b773ffd53d53d214394d5636a76f673186Bill Wendling I = FilterIds.begin(), E = FilterIds.end(); I != E; ++I) { 351eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling FilterOffsets.push_back(Offset); 352af76e592c7f9deff0e55c13dbb4a34f07f1c7f64Chris Lattner Offset -= MCAsmInfo::getULEB128Size(*I); 353eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 354eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 355eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling FirstActions.reserve(LandingPads.size()); 356eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 357eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling int FirstAction = 0; 358eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned SizeActions = 0; 3595e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling const LandingPadInfo *PrevLPI = 0; 360409914b773ffd53d53d214394d5636a76f673186Bill Wendling 3615cff487665097d971067cbede1598e249f673182Bill Wendling for (SmallVectorImpl<const LandingPadInfo *>::const_iterator 3625e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling I = LandingPads.begin(), E = LandingPads.end(); I != E; ++I) { 3635e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling const LandingPadInfo *LPI = *I; 3645e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling const std::vector<int> &TypeIds = LPI->TypeIds; 3655e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling const unsigned NumShared = PrevLPI ? SharedTypeIds(LPI, PrevLPI) : 0; 366eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned SizeSiteActions = 0; 367eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 368eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (NumShared < TypeIds.size()) { 369eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned SizeAction = 0; 3700a9abcbffed2ccef44138f997c070ba9159b1443Bill Wendling unsigned PrevAction = (unsigned)-1; 371eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 372eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (NumShared) { 3735e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling const unsigned SizePrevIds = PrevLPI->TypeIds.size(); 374eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling assert(Actions.size()); 3750a9abcbffed2ccef44138f997c070ba9159b1443Bill Wendling PrevAction = Actions.size() - 1; 3760a9abcbffed2ccef44138f997c070ba9159b1443Bill Wendling SizeAction = 3770a9abcbffed2ccef44138f997c070ba9159b1443Bill Wendling MCAsmInfo::getSLEB128Size(Actions[PrevAction].NextAction) + 3780a9abcbffed2ccef44138f997c070ba9159b1443Bill Wendling MCAsmInfo::getSLEB128Size(Actions[PrevAction].ValueForTypeID); 379eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 380eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling for (unsigned j = NumShared; j != SizePrevIds; ++j) { 3810a9abcbffed2ccef44138f997c070ba9159b1443Bill Wendling assert(PrevAction != (unsigned)-1 && "PrevAction is invalid!"); 382eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling SizeAction -= 3830a9abcbffed2ccef44138f997c070ba9159b1443Bill Wendling MCAsmInfo::getSLEB128Size(Actions[PrevAction].ValueForTypeID); 3840a9abcbffed2ccef44138f997c070ba9159b1443Bill Wendling SizeAction += -Actions[PrevAction].NextAction; 3850a9abcbffed2ccef44138f997c070ba9159b1443Bill Wendling PrevAction = Actions[PrevAction].Previous; 386eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 387eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 388eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 389eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Compute the actions. 3905e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling for (unsigned J = NumShared, M = TypeIds.size(); J != M; ++J) { 3915e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling int TypeID = TypeIds[J]; 3925e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling assert(-1 - TypeID < (int)FilterOffsets.size() && "Unknown filter id!"); 393eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling int ValueForTypeID = TypeID < 0 ? FilterOffsets[-1 - TypeID] : TypeID; 394af76e592c7f9deff0e55c13dbb4a34f07f1c7f64Chris Lattner unsigned SizeTypeID = MCAsmInfo::getSLEB128Size(ValueForTypeID); 395eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 396eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling int NextAction = SizeAction ? -(SizeAction + SizeTypeID) : 0; 397af76e592c7f9deff0e55c13dbb4a34f07f1c7f64Chris Lattner SizeAction = SizeTypeID + MCAsmInfo::getSLEB128Size(NextAction); 398eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling SizeSiteActions += SizeAction; 399eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 400a583c55864e83e470333b7be878280b10e175a6eBill Wendling ActionEntry Action = { ValueForTypeID, NextAction, PrevAction }; 401eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Actions.push_back(Action); 4020a9abcbffed2ccef44138f997c070ba9159b1443Bill Wendling PrevAction = Actions.size() - 1; 403eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 404eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 405eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Record the first action of the landing pad site. 406eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling FirstAction = SizeActions + SizeSiteActions - SizeAction + 1; 407eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } // else identical - re-use previous FirstAction 408eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 409a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Information used when created the call-site table. The action record 410a583c55864e83e470333b7be878280b10e175a6eBill Wendling // field of the call site record is the offset of the first associated 411a583c55864e83e470333b7be878280b10e175a6eBill Wendling // action record, relative to the start of the actions table. This value is 4120a9abcbffed2ccef44138f997c070ba9159b1443Bill Wendling // biased by 1 (1 indicating the start of the actions table), and 0 413a583c55864e83e470333b7be878280b10e175a6eBill Wendling // indicates that there are no actions. 414eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling FirstActions.push_back(FirstAction); 415eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 416eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Compute this sites contribution to size. 417eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling SizeActions += SizeSiteActions; 4185e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling 4195e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling PrevLPI = LPI; 420eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 421eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 4225e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling return SizeActions; 4235e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling} 4245e953ddfa3abdd684c8a43f9c9c144f584ec7d6fBill Wendling 425ed060dcb5c7e9cb2fd11ff3b0b98203fb53063e7Bill Wendling/// CallToNoUnwindFunction - Return `true' if this is a call to a function 426ed060dcb5c7e9cb2fd11ff3b0b98203fb53063e7Bill Wendling/// marked `nounwind'. Return `false' otherwise. 427ed060dcb5c7e9cb2fd11ff3b0b98203fb53063e7Bill Wendlingbool DwarfException::CallToNoUnwindFunction(const MachineInstr *MI) { 428ed060dcb5c7e9cb2fd11ff3b0b98203fb53063e7Bill Wendling assert(MI->getDesc().isCall() && "This should be a call instruction!"); 429ed060dcb5c7e9cb2fd11ff3b0b98203fb53063e7Bill Wendling 430ed060dcb5c7e9cb2fd11ff3b0b98203fb53063e7Bill Wendling bool MarkedNoUnwind = false; 431ed060dcb5c7e9cb2fd11ff3b0b98203fb53063e7Bill Wendling bool SawFunc = false; 432ed060dcb5c7e9cb2fd11ff3b0b98203fb53063e7Bill Wendling 433ed060dcb5c7e9cb2fd11ff3b0b98203fb53063e7Bill Wendling for (unsigned I = 0, E = MI->getNumOperands(); I != E; ++I) { 434ed060dcb5c7e9cb2fd11ff3b0b98203fb53063e7Bill Wendling const MachineOperand &MO = MI->getOperand(I); 435ed060dcb5c7e9cb2fd11ff3b0b98203fb53063e7Bill Wendling 436ed060dcb5c7e9cb2fd11ff3b0b98203fb53063e7Bill Wendling if (MO.isGlobal()) { 437ed060dcb5c7e9cb2fd11ff3b0b98203fb53063e7Bill Wendling if (Function *F = dyn_cast<Function>(MO.getGlobal())) { 438ed060dcb5c7e9cb2fd11ff3b0b98203fb53063e7Bill Wendling if (SawFunc) { 439ed060dcb5c7e9cb2fd11ff3b0b98203fb53063e7Bill Wendling // Be conservative. If we have more than one function operand for this 440ed060dcb5c7e9cb2fd11ff3b0b98203fb53063e7Bill Wendling // call, then we can't make the assumption that it's the callee and 441ed060dcb5c7e9cb2fd11ff3b0b98203fb53063e7Bill Wendling // not a parameter to the call. 442ed060dcb5c7e9cb2fd11ff3b0b98203fb53063e7Bill Wendling // 443ed060dcb5c7e9cb2fd11ff3b0b98203fb53063e7Bill Wendling // FIXME: Determine if there's a way to say that `F' is the callee or 444ed060dcb5c7e9cb2fd11ff3b0b98203fb53063e7Bill Wendling // parameter. 445ed060dcb5c7e9cb2fd11ff3b0b98203fb53063e7Bill Wendling MarkedNoUnwind = false; 446ed060dcb5c7e9cb2fd11ff3b0b98203fb53063e7Bill Wendling break; 447ed060dcb5c7e9cb2fd11ff3b0b98203fb53063e7Bill Wendling } 448ecc260e403d09ba04ed87d2d04226ac851c68e5aBill Wendling 449ecc260e403d09ba04ed87d2d04226ac851c68e5aBill Wendling MarkedNoUnwind = F->doesNotThrow(); 450ecc260e403d09ba04ed87d2d04226ac851c68e5aBill Wendling SawFunc = true; 451ed060dcb5c7e9cb2fd11ff3b0b98203fb53063e7Bill Wendling } 452ed060dcb5c7e9cb2fd11ff3b0b98203fb53063e7Bill Wendling } 453ed060dcb5c7e9cb2fd11ff3b0b98203fb53063e7Bill Wendling } 454ed060dcb5c7e9cb2fd11ff3b0b98203fb53063e7Bill Wendling 455ed060dcb5c7e9cb2fd11ff3b0b98203fb53063e7Bill Wendling return MarkedNoUnwind; 456ed060dcb5c7e9cb2fd11ff3b0b98203fb53063e7Bill Wendling} 457ed060dcb5c7e9cb2fd11ff3b0b98203fb53063e7Bill Wendling 458ade025c65c12503aba161a4fa399fd97414abaffBill Wendling/// ComputeCallSiteTable - Compute the call-site table. The entry for an invoke 459a583c55864e83e470333b7be878280b10e175a6eBill Wendling/// has a try-range containing the call, a non-zero landing pad, and an 460ade025c65c12503aba161a4fa399fd97414abaffBill Wendling/// appropriate action. The entry for an ordinary call has a try-range 461ade025c65c12503aba161a4fa399fd97414abaffBill Wendling/// containing the call and zero for the landing pad and the action. Calls 462ade025c65c12503aba161a4fa399fd97414abaffBill Wendling/// marked 'nounwind' have no entry and must not be contained in the try-range 463ade025c65c12503aba161a4fa399fd97414abaffBill Wendling/// of any entry - they form gaps in the table. Entries must be ordered by 464ade025c65c12503aba161a4fa399fd97414abaffBill Wendling/// try-range address. 465ade025c65c12503aba161a4fa399fd97414abaffBill Wendlingvoid DwarfException:: 466ade025c65c12503aba161a4fa399fd97414abaffBill WendlingComputeCallSiteTable(SmallVectorImpl<CallSiteEntry> &CallSites, 467ade025c65c12503aba161a4fa399fd97414abaffBill Wendling const RangeMapType &PadMap, 468ade025c65c12503aba161a4fa399fd97414abaffBill Wendling const SmallVectorImpl<const LandingPadInfo *> &LandingPads, 469ade025c65c12503aba161a4fa399fd97414abaffBill Wendling const SmallVectorImpl<unsigned> &FirstActions) { 470eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // The end label of the previous invoke or nounwind try-range. 471eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned LastLabel = 0; 472eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 473eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Whether there is a potentially throwing instruction (currently this means 474eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // an ordinary call) between the end of the previous try-range and now. 475eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling bool SawPotentiallyThrowing = false; 476eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 4775cff487665097d971067cbede1598e249f673182Bill Wendling // Whether the last CallSite entry was for an invoke. 478eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling bool PreviousIsInvoke = false; 479eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 480eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Visit all instructions in order of address. 481eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling for (MachineFunction::const_iterator I = MF->begin(), E = MF->end(); 482eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling I != E; ++I) { 483eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling for (MachineBasicBlock::const_iterator MI = I->begin(), E = I->end(); 484eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling MI != E; ++MI) { 485eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (!MI->isLabel()) { 486ed060dcb5c7e9cb2fd11ff3b0b98203fb53063e7Bill Wendling if (MI->getDesc().isCall()) 487ed060dcb5c7e9cb2fd11ff3b0b98203fb53063e7Bill Wendling SawPotentiallyThrowing |= !CallToNoUnwindFunction(MI); 48873b55510585573cd37fca85864c8d7d73e6b4093Bill Wendling 489eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling continue; 490eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 491eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 492eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling unsigned BeginLabel = MI->getOperand(0).getImm(); 493eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling assert(BeginLabel && "Invalid label!"); 494eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 495eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // End of the previous try-range? 496eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (BeginLabel == LastLabel) 497eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling SawPotentiallyThrowing = false; 498eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 499eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Beginning of a new try-range? 50081cf4325698b48b02eddab921ac333c7f25005c3Jeffrey Yasskin RangeMapType::const_iterator L = PadMap.find(BeginLabel); 501eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (L == PadMap.end()) 502eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Nope, it was just some random label. 503eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling continue; 504eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 505a583c55864e83e470333b7be878280b10e175a6eBill Wendling const PadRange &P = L->second; 506eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling const LandingPadInfo *LandingPad = LandingPads[P.PadIndex]; 507eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling assert(BeginLabel == LandingPad->BeginLabels[P.RangeIndex] && 508eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling "Inconsistent landing pad map!"); 509eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 510a583c55864e83e470333b7be878280b10e175a6eBill Wendling // For Dwarf exception handling (SjLj handling doesn't use this). If some 511a583c55864e83e470333b7be878280b10e175a6eBill Wendling // instruction between the previous try-range and this one may throw, 512a583c55864e83e470333b7be878280b10e175a6eBill Wendling // create a call-site entry with no landing pad for the region between the 513a583c55864e83e470333b7be878280b10e175a6eBill Wendling // try-ranges. 5141b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach if (SawPotentiallyThrowing && 51533adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner MAI->getExceptionHandlingType() == ExceptionHandling::Dwarf) { 516a583c55864e83e470333b7be878280b10e175a6eBill Wendling CallSiteEntry Site = { LastLabel, BeginLabel, 0, 0 }; 517eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling CallSites.push_back(Site); 518eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling PreviousIsInvoke = false; 519eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 520eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 521eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling LastLabel = LandingPad->EndLabels[P.RangeIndex]; 522eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling assert(BeginLabel && LastLabel && "Invalid landing pad!"); 523eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 524eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (LandingPad->LandingPadLabel) { 525eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // This try-range is for an invoke. 526a583c55864e83e470333b7be878280b10e175a6eBill Wendling CallSiteEntry Site = { 527a583c55864e83e470333b7be878280b10e175a6eBill Wendling BeginLabel, 528a583c55864e83e470333b7be878280b10e175a6eBill Wendling LastLabel, 529a583c55864e83e470333b7be878280b10e175a6eBill Wendling LandingPad->LandingPadLabel, 530a583c55864e83e470333b7be878280b10e175a6eBill Wendling FirstActions[P.PadIndex] 531a583c55864e83e470333b7be878280b10e175a6eBill Wendling }; 532eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 53333668c0f1a7e374d4c3c53df34efbdf570e0987bJim Grosbach // Try to merge with the previous call-site. SJLJ doesn't do this 53433668c0f1a7e374d4c3c53df34efbdf570e0987bJim Grosbach if (PreviousIsInvoke && 53533668c0f1a7e374d4c3c53df34efbdf570e0987bJim Grosbach MAI->getExceptionHandlingType() == ExceptionHandling::Dwarf) { 536eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling CallSiteEntry &Prev = CallSites.back(); 537eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (Site.PadLabel == Prev.PadLabel && Site.Action == Prev.Action) { 538eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Extend the range of the previous entry. 539eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Prev.EndLabel = Site.EndLabel; 540eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling continue; 541eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 542eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 543eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 544eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Otherwise, create a new call-site. 545ca752c9020a1b1cf151142bd9e0cbca9af12d807Jim Grosbach if (MAI->getExceptionHandlingType() == ExceptionHandling::Dwarf) 546ca752c9020a1b1cf151142bd9e0cbca9af12d807Jim Grosbach CallSites.push_back(Site); 547ca752c9020a1b1cf151142bd9e0cbca9af12d807Jim Grosbach else { 548ca752c9020a1b1cf151142bd9e0cbca9af12d807Jim Grosbach // SjLj EH must maintain the call sites in the order assigned 549ca752c9020a1b1cf151142bd9e0cbca9af12d807Jim Grosbach // to them by the SjLjPrepare pass. 550ca752c9020a1b1cf151142bd9e0cbca9af12d807Jim Grosbach unsigned SiteNo = MMI->getCallSiteBeginLabel(BeginLabel); 551ca752c9020a1b1cf151142bd9e0cbca9af12d807Jim Grosbach if (CallSites.size() < SiteNo) 552ca752c9020a1b1cf151142bd9e0cbca9af12d807Jim Grosbach CallSites.resize(SiteNo); 553ca752c9020a1b1cf151142bd9e0cbca9af12d807Jim Grosbach CallSites[SiteNo - 1] = Site; 554ca752c9020a1b1cf151142bd9e0cbca9af12d807Jim Grosbach } 555eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling PreviousIsInvoke = true; 556eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } else { 557eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Create a gap. 558eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling PreviousIsInvoke = false; 559eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 560eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 561eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 562eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 563eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // If some instruction between the previous try-range and the end of the 564eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // function may throw, create a call-site entry with no landing pad for the 565eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // region following the try-range. 5661b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach if (SawPotentiallyThrowing && 56733adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner MAI->getExceptionHandlingType() == ExceptionHandling::Dwarf) { 568a583c55864e83e470333b7be878280b10e175a6eBill Wendling CallSiteEntry Site = { LastLabel, 0, 0, 0 }; 569eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling CallSites.push_back(Site); 570eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 571ade025c65c12503aba161a4fa399fd97414abaffBill Wendling} 572ade025c65c12503aba161a4fa399fd97414abaffBill Wendling 5730dafca90761097230f02e655fdd541f59b888315Bill Wendling/// EmitExceptionTable - Emit landing pads and actions. 5740dafca90761097230f02e655fdd541f59b888315Bill Wendling/// 5750dafca90761097230f02e655fdd541f59b888315Bill Wendling/// The general organization of the table is complex, but the basic concepts are 5760dafca90761097230f02e655fdd541f59b888315Bill Wendling/// easy. First there is a header which describes the location and organization 5770dafca90761097230f02e655fdd541f59b888315Bill Wendling/// of the three components that follow. 578dbfcdb976367ad5a9d3541fef90cd9f8dde7e2b4Eric Christopher/// 5790dafca90761097230f02e655fdd541f59b888315Bill Wendling/// 1. The landing pad site information describes the range of code covered by 5800dafca90761097230f02e655fdd541f59b888315Bill Wendling/// the try. In our case it's an accumulation of the ranges covered by the 5810dafca90761097230f02e655fdd541f59b888315Bill Wendling/// invokes in the try. There is also a reference to the landing pad that 5820dafca90761097230f02e655fdd541f59b888315Bill Wendling/// handles the exception once processed. Finally an index into the actions 5830dafca90761097230f02e655fdd541f59b888315Bill Wendling/// table. 584a583c55864e83e470333b7be878280b10e175a6eBill Wendling/// 2. The action table, in our case, is composed of pairs of type IDs and next 5850dafca90761097230f02e655fdd541f59b888315Bill Wendling/// action offset. Starting with the action index from the landing pad 586a583c55864e83e470333b7be878280b10e175a6eBill Wendling/// site, each type ID is checked for a match to the current exception. If 5870dafca90761097230f02e655fdd541f59b888315Bill Wendling/// it matches then the exception and type id are passed on to the landing 5880dafca90761097230f02e655fdd541f59b888315Bill Wendling/// pad. Otherwise the next action is looked up. This chain is terminated 58928275fdf02885587156da5cb20388b22d5b96557Bill Wendling/// with a next action of zero. If no type id is found then the frame is 5900dafca90761097230f02e655fdd541f59b888315Bill Wendling/// unwound and handling continues. 591a583c55864e83e470333b7be878280b10e175a6eBill Wendling/// 3. Type ID table contains references to all the C++ typeinfo for all 59228275fdf02885587156da5cb20388b22d5b96557Bill Wendling/// catches in the function. This tables is reverse indexed base 1. 593ade025c65c12503aba161a4fa399fd97414abaffBill Wendlingvoid DwarfException::EmitExceptionTable() { 594ade025c65c12503aba161a4fa399fd97414abaffBill Wendling const std::vector<GlobalVariable *> &TypeInfos = MMI->getTypeInfos(); 595ade025c65c12503aba161a4fa399fd97414abaffBill Wendling const std::vector<unsigned> &FilterIds = MMI->getFilterIds(); 596ade025c65c12503aba161a4fa399fd97414abaffBill Wendling const std::vector<LandingPadInfo> &PadInfos = MMI->getLandingPads(); 597ade025c65c12503aba161a4fa399fd97414abaffBill Wendling if (PadInfos.empty()) return; 598ade025c65c12503aba161a4fa399fd97414abaffBill Wendling 599ade025c65c12503aba161a4fa399fd97414abaffBill Wendling // Sort the landing pads in order of their type ids. This is used to fold 600ade025c65c12503aba161a4fa399fd97414abaffBill Wendling // duplicate actions. 601ade025c65c12503aba161a4fa399fd97414abaffBill Wendling SmallVector<const LandingPadInfo *, 64> LandingPads; 602ade025c65c12503aba161a4fa399fd97414abaffBill Wendling LandingPads.reserve(PadInfos.size()); 603ade025c65c12503aba161a4fa399fd97414abaffBill Wendling 604ade025c65c12503aba161a4fa399fd97414abaffBill Wendling for (unsigned i = 0, N = PadInfos.size(); i != N; ++i) 605ade025c65c12503aba161a4fa399fd97414abaffBill Wendling LandingPads.push_back(&PadInfos[i]); 606ade025c65c12503aba161a4fa399fd97414abaffBill Wendling 607ade025c65c12503aba161a4fa399fd97414abaffBill Wendling std::sort(LandingPads.begin(), LandingPads.end(), PadLT); 608ade025c65c12503aba161a4fa399fd97414abaffBill Wendling 609ade025c65c12503aba161a4fa399fd97414abaffBill Wendling // Compute the actions table and gather the first action index for each 610ade025c65c12503aba161a4fa399fd97414abaffBill Wendling // landing pad site. 611ade025c65c12503aba161a4fa399fd97414abaffBill Wendling SmallVector<ActionEntry, 32> Actions; 612ade025c65c12503aba161a4fa399fd97414abaffBill Wendling SmallVector<unsigned, 64> FirstActions; 6130a9abcbffed2ccef44138f997c070ba9159b1443Bill Wendling unsigned SizeActions=ComputeActionsTable(LandingPads, Actions, FirstActions); 614ade025c65c12503aba161a4fa399fd97414abaffBill Wendling 615ade025c65c12503aba161a4fa399fd97414abaffBill Wendling // Invokes and nounwind calls have entries in PadMap (due to being bracketed 616ade025c65c12503aba161a4fa399fd97414abaffBill Wendling // by try-range labels when lowered). Ordinary calls do not, so appropriate 61728275fdf02885587156da5cb20388b22d5b96557Bill Wendling // try-ranges for them need be deduced when using DWARF exception handling. 618ade025c65c12503aba161a4fa399fd97414abaffBill Wendling RangeMapType PadMap; 619ade025c65c12503aba161a4fa399fd97414abaffBill Wendling for (unsigned i = 0, N = LandingPads.size(); i != N; ++i) { 620ade025c65c12503aba161a4fa399fd97414abaffBill Wendling const LandingPadInfo *LandingPad = LandingPads[i]; 621ade025c65c12503aba161a4fa399fd97414abaffBill Wendling for (unsigned j = 0, E = LandingPad->BeginLabels.size(); j != E; ++j) { 622ade025c65c12503aba161a4fa399fd97414abaffBill Wendling unsigned BeginLabel = LandingPad->BeginLabels[j]; 623ade025c65c12503aba161a4fa399fd97414abaffBill Wendling assert(!PadMap.count(BeginLabel) && "Duplicate landing pad labels!"); 624ade025c65c12503aba161a4fa399fd97414abaffBill Wendling PadRange P = { i, j }; 625ade025c65c12503aba161a4fa399fd97414abaffBill Wendling PadMap[BeginLabel] = P; 626ade025c65c12503aba161a4fa399fd97414abaffBill Wendling } 627ade025c65c12503aba161a4fa399fd97414abaffBill Wendling } 628ade025c65c12503aba161a4fa399fd97414abaffBill Wendling 629ade025c65c12503aba161a4fa399fd97414abaffBill Wendling // Compute the call-site table. 630ade025c65c12503aba161a4fa399fd97414abaffBill Wendling SmallVector<CallSiteEntry, 64> CallSites; 6318b818d7e98309125c6058c4ea72a7dc73b031db2Jim Grosbach ComputeCallSiteTable(CallSites, PadMap, LandingPads, FirstActions); 632eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 633eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Final tallies. 634eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 635eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Call sites. 63640121bccbee44d387ab5d6a5194c5fc27c542e12Bill Wendling const unsigned SiteStartSize = SizeOfEncodedValue(dwarf::DW_EH_PE_udata4); 63740121bccbee44d387ab5d6a5194c5fc27c542e12Bill Wendling const unsigned SiteLengthSize = SizeOfEncodedValue(dwarf::DW_EH_PE_udata4); 63840121bccbee44d387ab5d6a5194c5fc27c542e12Bill Wendling const unsigned LandingPadSize = SizeOfEncodedValue(dwarf::DW_EH_PE_udata4); 639d1a5b37a62e829e56b6225e0934a01d9f8823387Bill Wendling bool IsSJLJ = MAI->getExceptionHandlingType() == ExceptionHandling::SjLj; 640d1a5b37a62e829e56b6225e0934a01d9f8823387Bill Wendling bool HaveTTData = IsSJLJ ? (!TypeInfos.empty() || !FilterIds.empty()) : true; 6413dc9b4872b28016b38ce31fa4356e17c96420579Bill Wendling unsigned CallSiteTableLength; 642d1a5b37a62e829e56b6225e0934a01d9f8823387Bill Wendling 643d1a5b37a62e829e56b6225e0934a01d9f8823387Bill Wendling if (IsSJLJ) 6443dc9b4872b28016b38ce31fa4356e17c96420579Bill Wendling CallSiteTableLength = 0; 645d1a5b37a62e829e56b6225e0934a01d9f8823387Bill Wendling else 6463dc9b4872b28016b38ce31fa4356e17c96420579Bill Wendling CallSiteTableLength = CallSites.size() * 6471b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach (SiteStartSize + SiteLengthSize + LandingPadSize); 648d1a5b37a62e829e56b6225e0934a01d9f8823387Bill Wendling 6491b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach for (unsigned i = 0, e = CallSites.size(); i < e; ++i) { 6503dc9b4872b28016b38ce31fa4356e17c96420579Bill Wendling CallSiteTableLength += MCAsmInfo::getULEB128Size(CallSites[i].Action); 651d1a5b37a62e829e56b6225e0934a01d9f8823387Bill Wendling if (IsSJLJ) 6523dc9b4872b28016b38ce31fa4356e17c96420579Bill Wendling CallSiteTableLength += MCAsmInfo::getULEB128Size(i); 6531b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach } 654d1a5b37a62e829e56b6225e0934a01d9f8823387Bill Wendling 655eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling // Type infos. 656d5bbb07ec806e6fa1e804afd7073987fdacc83e4Chris Lattner const MCSection *LSDASection = Asm->getObjFileLowering().getLSDASection(); 6579184b25fa543a900463215c11635c2c014ddb623Anton Korobeynikov unsigned TTypeEncoding; 658a2f6449a57fcce73beacc30158aafe39b5349947Bill Wendling unsigned TypeFormatSize; 659eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 66043e484fbcf6a40a70d9a5c7ea142f37416ef1e68Bill Wendling if (!HaveTTData) { 66128275fdf02885587156da5cb20388b22d5b96557Bill Wendling // For SjLj exceptions, if there is no TypeInfo, then we just explicitly say 66228275fdf02885587156da5cb20388b22d5b96557Bill Wendling // that we're omitting that bit. 6639184b25fa543a900463215c11635c2c014ddb623Anton Korobeynikov TTypeEncoding = dwarf::DW_EH_PE_omit; 664a2f6449a57fcce73beacc30158aafe39b5349947Bill Wendling TypeFormatSize = SizeOfEncodedValue(dwarf::DW_EH_PE_absptr); 66581c9a069377e9474d010f04eebe8325fd11429e3Chris Lattner } else { 666ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // Okay, we have actual filters or typeinfos to emit. As such, we need to 667ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // pick a type encoding for them. We're about to emit a list of pointers to 668ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // typeinfo objects at the end of the LSDA. However, unless we're in static 669ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // mode, this reference will require a relocation by the dynamic linker. 67046b754c76bd6a720dd1dd3be248cb93a4e25d3e5Chris Lattner // 671ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // Because of this, we have a couple of options: 67228275fdf02885587156da5cb20388b22d5b96557Bill Wendling // 673ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // 1) If we are in -static mode, we can always use an absolute reference 674ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // from the LSDA, because the static linker will resolve it. 67528275fdf02885587156da5cb20388b22d5b96557Bill Wendling // 676ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // 2) Otherwise, if the LSDA section is writable, we can output the direct 677ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // reference to the typeinfo and allow the dynamic linker to relocate 678ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // it. Since it is in a writable section, the dynamic linker won't 679ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // have a problem. 68028275fdf02885587156da5cb20388b22d5b96557Bill Wendling // 681ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // 3) Finally, if we're in PIC mode and the LDSA section isn't writable, 682ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // we need to use some form of indirection. For example, on Darwin, 683ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // we can output a statically-relocatable reference to a dyld stub. The 684ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // offset to the stub is constant, but the contents are in a section 685ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // that is updated by the dynamic linker. This is easy enough, but we 686ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // need to tell the personality function of the unwinder to indirect 687ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // through the dyld stub. 688ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // 68943e484fbcf6a40a70d9a5c7ea142f37416ef1e68Bill Wendling // FIXME: When (3) is actually implemented, we'll have to emit the stubs 690ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // somewhere. This predicate should be moved to a shared location that is 691ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // in target-independent code. 692ad88bc4076d088baad8a5ee9561e46ac08a1c88aChris Lattner // 6939184b25fa543a900463215c11635c2c014ddb623Anton Korobeynikov TTypeEncoding = Asm->getObjFileLowering().getTTypeEncoding(); 6949184b25fa543a900463215c11635c2c014ddb623Anton Korobeynikov TypeFormatSize = SizeOfEncodedValue(TTypeEncoding); 695fe220285b5ef1e4480ddd7f7c8bb182b88a33b16Bill Wendling } 696fe220285b5ef1e4480ddd7f7c8bb182b88a33b16Bill Wendling 697fe220285b5ef1e4480ddd7f7c8bb182b88a33b16Bill Wendling // Begin the exception table. 698fe220285b5ef1e4480ddd7f7c8bb182b88a33b16Bill Wendling Asm->OutStreamer.SwitchSection(LSDASection); 699fe220285b5ef1e4480ddd7f7c8bb182b88a33b16Bill Wendling Asm->EmitAlignment(2, 0, 0, false); 70043e484fbcf6a40a70d9a5c7ea142f37416ef1e68Bill Wendling 7013dc9b4872b28016b38ce31fa4356e17c96420579Bill Wendling // Emit the LSDA. 702fe220285b5ef1e4480ddd7f7c8bb182b88a33b16Bill Wendling O << "GCC_except_table" << SubprogramCount << ":\n"; 7033dc9b4872b28016b38ce31fa4356e17c96420579Bill Wendling EmitLabel("exception", SubprogramCount); 7043dc9b4872b28016b38ce31fa4356e17c96420579Bill Wendling 7053dc9b4872b28016b38ce31fa4356e17c96420579Bill Wendling if (IsSJLJ) { 7063dc9b4872b28016b38ce31fa4356e17c96420579Bill Wendling SmallString<16> LSDAName; 7073dc9b4872b28016b38ce31fa4356e17c96420579Bill Wendling raw_svector_ostream(LSDAName) << MAI->getPrivateGlobalPrefix() << 7083dc9b4872b28016b38ce31fa4356e17c96420579Bill Wendling "_LSDA_" << Asm->getFunctionNumber(); 7093dc9b4872b28016b38ce31fa4356e17c96420579Bill Wendling O << LSDAName.str() << ":\n"; 7103dc9b4872b28016b38ce31fa4356e17c96420579Bill Wendling } 7113dc9b4872b28016b38ce31fa4356e17c96420579Bill Wendling 7123dc9b4872b28016b38ce31fa4356e17c96420579Bill Wendling // Emit the LSDA header. 7133dc9b4872b28016b38ce31fa4356e17c96420579Bill Wendling EmitEncodingByte(dwarf::DW_EH_PE_omit, "@LPStart"); 7143dc9b4872b28016b38ce31fa4356e17c96420579Bill Wendling EmitEncodingByte(TTypeEncoding, "@TType"); 715a2f6449a57fcce73beacc30158aafe39b5349947Bill Wendling 716a2f6449a57fcce73beacc30158aafe39b5349947Bill Wendling // The type infos need to be aligned. GCC does this by inserting padding just 717a2f6449a57fcce73beacc30158aafe39b5349947Bill Wendling // before the type infos. However, this changes the size of the exception 718a2f6449a57fcce73beacc30158aafe39b5349947Bill Wendling // table, so you need to take this into account when you output the exception 719a2f6449a57fcce73beacc30158aafe39b5349947Bill Wendling // table size. However, the size is output using a variable length encoding. 720a2f6449a57fcce73beacc30158aafe39b5349947Bill Wendling // So by increasing the size by inserting padding, you may increase the number 721a2f6449a57fcce73beacc30158aafe39b5349947Bill Wendling // of bytes used for writing the size. If it increases, say by one byte, then 722a2f6449a57fcce73beacc30158aafe39b5349947Bill Wendling // you now need to output one less byte of padding to get the type infos 7233dc9b4872b28016b38ce31fa4356e17c96420579Bill Wendling // aligned. However this decreases the size of the exception table. This 724a2f6449a57fcce73beacc30158aafe39b5349947Bill Wendling // changes the value you have to output for the exception table size. Due to 725a2f6449a57fcce73beacc30158aafe39b5349947Bill Wendling // the variable length encoding, the number of bytes used for writing the 726a2f6449a57fcce73beacc30158aafe39b5349947Bill Wendling // length may decrease. If so, you then have to increase the amount of 727a2f6449a57fcce73beacc30158aafe39b5349947Bill Wendling // padding. And so on. If you look carefully at the GCC code you will see that 728a2f6449a57fcce73beacc30158aafe39b5349947Bill Wendling // it indeed does this in a loop, going on and on until the values stabilize. 729a2f6449a57fcce73beacc30158aafe39b5349947Bill Wendling // We chose another solution: don't output padding inside the table like GCC 730a2f6449a57fcce73beacc30158aafe39b5349947Bill Wendling // does, instead output it before the table. 731a2f6449a57fcce73beacc30158aafe39b5349947Bill Wendling unsigned SizeTypes = TypeInfos.size() * TypeFormatSize; 7323dc9b4872b28016b38ce31fa4356e17c96420579Bill Wendling unsigned CallSiteTableLengthSize = 7333dc9b4872b28016b38ce31fa4356e17c96420579Bill Wendling MCAsmInfo::getULEB128Size(CallSiteTableLength); 7343dc9b4872b28016b38ce31fa4356e17c96420579Bill Wendling unsigned TTypeBaseOffset = 7353dc9b4872b28016b38ce31fa4356e17c96420579Bill Wendling sizeof(int8_t) + // Call site format 7363dc9b4872b28016b38ce31fa4356e17c96420579Bill Wendling CallSiteTableLengthSize + // Call site table length size 7373dc9b4872b28016b38ce31fa4356e17c96420579Bill Wendling CallSiteTableLength + // Call site table length 7383dc9b4872b28016b38ce31fa4356e17c96420579Bill Wendling SizeActions + // Actions size 7393dc9b4872b28016b38ce31fa4356e17c96420579Bill Wendling SizeTypes; 7403dc9b4872b28016b38ce31fa4356e17c96420579Bill Wendling unsigned TTypeBaseOffsetSize = MCAsmInfo::getULEB128Size(TTypeBaseOffset); 7413dc9b4872b28016b38ce31fa4356e17c96420579Bill Wendling unsigned TotalSize = 7423dc9b4872b28016b38ce31fa4356e17c96420579Bill Wendling sizeof(int8_t) + // LPStart format 7433dc9b4872b28016b38ce31fa4356e17c96420579Bill Wendling sizeof(int8_t) + // TType format 7443dc9b4872b28016b38ce31fa4356e17c96420579Bill Wendling (HaveTTData ? TTypeBaseOffsetSize : 0) + // TType base offset size 7453dc9b4872b28016b38ce31fa4356e17c96420579Bill Wendling TTypeBaseOffset; // TType base offset 746a2f6449a57fcce73beacc30158aafe39b5349947Bill Wendling unsigned SizeAlign = (4 - TotalSize) & 3; 747a2f6449a57fcce73beacc30158aafe39b5349947Bill Wendling 74886f0d33f85c19af294916eacd175f6b0cd81142fBill Wendling if (HaveTTData) { 7496507eca124883c90cc300c1ff344f79a8b4181a5Bill Wendling // Account for any extra padding that will be added to the call site table 750f7e90ae2057adcf6fa4b023110611084f28fd6c1Bill Wendling // length. 7511869ac8b716da4fdbaaf3e5484238f36881fc14bBill Wendling EmitULEB128(TTypeBaseOffset, "@TType base offset", SizeAlign); 7521869ac8b716da4fdbaaf3e5484238f36881fc14bBill Wendling SizeAlign = 0; 75386f0d33f85c19af294916eacd175f6b0cd81142fBill Wendling } 754b0d9c3e7fdc952ae7cbe169b01ccaf1b80329403Bill Wendling 75528275fdf02885587156da5cb20388b22d5b96557Bill Wendling // SjLj Exception handling 756d1a5b37a62e829e56b6225e0934a01d9f8823387Bill Wendling if (IsSJLJ) { 757f61ed8eb32aa1cfcb440742e6fbaa7c785647131Chris Lattner EmitEncodingByte(dwarf::DW_EH_PE_udata4, "Call site"); 7581869ac8b716da4fdbaaf3e5484238f36881fc14bBill Wendling 7591869ac8b716da4fdbaaf3e5484238f36881fc14bBill Wendling // Add extra padding if it wasn't added to the TType base offset. 7603dc9b4872b28016b38ce31fa4356e17c96420579Bill Wendling EmitULEB128(CallSiteTableLength, "Call site table length", SizeAlign); 7611b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach 7621b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach // Emit the landing pad site information. 7638b818d7e98309125c6058c4ea72a7dc73b031db2Jim Grosbach unsigned idx = 0; 7648b818d7e98309125c6058c4ea72a7dc73b031db2Jim Grosbach for (SmallVectorImpl<CallSiteEntry>::const_iterator 7658b818d7e98309125c6058c4ea72a7dc73b031db2Jim Grosbach I = CallSites.begin(), E = CallSites.end(); I != E; ++I, ++idx) { 7668b818d7e98309125c6058c4ea72a7dc73b031db2Jim Grosbach const CallSiteEntry &S = *I; 767a583c55864e83e470333b7be878280b10e175a6eBill Wendling 768a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Offset of the landing pad, counted in 16-byte bundles relative to the 769a583c55864e83e470333b7be878280b10e175a6eBill Wendling // @LPStart address. 770894d75aa013143c92890d0205791d0d70a453114Chris Lattner EmitULEB128(idx, "Landing pad"); 771a583c55864e83e470333b7be878280b10e175a6eBill Wendling 772a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Offset of the first associated action record, relative to the start of 773a583c55864e83e470333b7be878280b10e175a6eBill Wendling // the action table. This value is biased by 1 (1 indicates the start of 774a583c55864e83e470333b7be878280b10e175a6eBill Wendling // the action table), and 0 indicates that there are no actions. 775894d75aa013143c92890d0205791d0d70a453114Chris Lattner EmitULEB128(S.Action, "Action"); 7761b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach } 7771b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach } else { 7781b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach // DWARF Exception handling 77933adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner assert(MAI->getExceptionHandlingType() == ExceptionHandling::Dwarf); 7801b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach 781a583c55864e83e470333b7be878280b10e175a6eBill Wendling // The call-site table is a list of all call sites that may throw an 782a583c55864e83e470333b7be878280b10e175a6eBill Wendling // exception (including C++ 'throw' statements) in the procedure 783a583c55864e83e470333b7be878280b10e175a6eBill Wendling // fragment. It immediately follows the LSDA header. Each entry indicates, 784a583c55864e83e470333b7be878280b10e175a6eBill Wendling // for a given call, the first corresponding action record and corresponding 785a583c55864e83e470333b7be878280b10e175a6eBill Wendling // landing pad. 786a583c55864e83e470333b7be878280b10e175a6eBill Wendling // 787a583c55864e83e470333b7be878280b10e175a6eBill Wendling // The table begins with the number of bytes, stored as an LEB128 788a583c55864e83e470333b7be878280b10e175a6eBill Wendling // compressed, unsigned integer. The records immediately follow the record 789a583c55864e83e470333b7be878280b10e175a6eBill Wendling // count. They are sorted in increasing call-site address. Each record 790a583c55864e83e470333b7be878280b10e175a6eBill Wendling // indicates: 791a583c55864e83e470333b7be878280b10e175a6eBill Wendling // 792a583c55864e83e470333b7be878280b10e175a6eBill Wendling // * The position of the call-site. 793a583c55864e83e470333b7be878280b10e175a6eBill Wendling // * The position of the landing pad. 794a583c55864e83e470333b7be878280b10e175a6eBill Wendling // * The first action record for that call site. 795a583c55864e83e470333b7be878280b10e175a6eBill Wendling // 796a583c55864e83e470333b7be878280b10e175a6eBill Wendling // A missing entry in the call-site table indicates that a call is not 79728275fdf02885587156da5cb20388b22d5b96557Bill Wendling // supposed to throw. 798a583c55864e83e470333b7be878280b10e175a6eBill Wendling 799a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Emit the landing pad call site table. 800f61ed8eb32aa1cfcb440742e6fbaa7c785647131Chris Lattner EmitEncodingByte(dwarf::DW_EH_PE_udata4, "Call site"); 8011869ac8b716da4fdbaaf3e5484238f36881fc14bBill Wendling 8021869ac8b716da4fdbaaf3e5484238f36881fc14bBill Wendling // Add extra padding if it wasn't added to the TType base offset. 8033dc9b4872b28016b38ce31fa4356e17c96420579Bill Wendling EmitULEB128(CallSiteTableLength, "Call site table length", SizeAlign); 804eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 8051b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach for (SmallVectorImpl<CallSiteEntry>::const_iterator 8065cff487665097d971067cbede1598e249f673182Bill Wendling I = CallSites.begin(), E = CallSites.end(); I != E; ++I) { 8071b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach const CallSiteEntry &S = *I; 8081b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach const char *BeginTag; 8091b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach unsigned BeginNumber; 810eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 8111b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach if (!S.BeginLabel) { 8121b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach BeginTag = "eh_func_begin"; 8131b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach BeginNumber = SubprogramCount; 8141b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach } else { 8151b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach BeginTag = "label"; 8161b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach BeginNumber = S.BeginLabel; 8171b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach } 818eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 819a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Offset of the call site relative to the previous call site, counted in 820a583c55864e83e470333b7be878280b10e175a6eBill Wendling // number of 16-byte bundles. The first call site is counted relative to 821a583c55864e83e470333b7be878280b10e175a6eBill Wendling // the start of the procedure fragment. 8221b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach EmitSectionOffset(BeginTag, "eh_func_begin", BeginNumber, SubprogramCount, 8231b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach true, true); 824faca5497a26672669934abbcf23894ce93408c10Chris Lattner EOL("Region start"); 825eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 8261b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach if (!S.EndLabel) 8271b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach EmitDifference("eh_func_end", SubprogramCount, BeginTag, BeginNumber, 8281b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach true); 8291b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach else 8301b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach EmitDifference("label", S.EndLabel, BeginTag, BeginNumber, true); 831eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 832faca5497a26672669934abbcf23894ce93408c10Chris Lattner EOL("Region length"); 833eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 834a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Offset of the landing pad, counted in 16-byte bundles relative to the 835a583c55864e83e470333b7be878280b10e175a6eBill Wendling // @LPStart address. 8361f8075d7d232dd0c7b0caa81ed3ce426a13f5a66Bill Wendling if (!S.PadLabel) { 8371f8075d7d232dd0c7b0caa81ed3ce426a13f5a66Bill Wendling Asm->OutStreamer.AddComment("Landing pad"); 838bcb83e5b6c8e074e73986cb641801ecbedd6e4edChris Lattner Asm->OutStreamer.EmitIntValue(0, 4/*size*/, 0/*addrspace*/); 8391f8075d7d232dd0c7b0caa81ed3ce426a13f5a66Bill Wendling } else { 8401b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach EmitSectionOffset("label", "eh_func_begin", S.PadLabel, SubprogramCount, 8411b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach true, true); 8421f8075d7d232dd0c7b0caa81ed3ce426a13f5a66Bill Wendling EOL("Landing pad"); 8431f8075d7d232dd0c7b0caa81ed3ce426a13f5a66Bill Wendling } 844eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 845a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Offset of the first associated action record, relative to the start of 846a583c55864e83e470333b7be878280b10e175a6eBill Wendling // the action table. This value is biased by 1 (1 indicates the start of 847a583c55864e83e470333b7be878280b10e175a6eBill Wendling // the action table), and 0 indicates that there are no actions. 848894d75aa013143c92890d0205791d0d70a453114Chris Lattner EmitULEB128(S.Action, "Action"); 8491b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach } 850eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 851eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 852a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Emit the Action Table. 85335c187bcfda326edcddf0c71ab593786cf88f577Bill Wendling if (Actions.size() != 0) EOL("-- Action Record Table --"); 8545cff487665097d971067cbede1598e249f673182Bill Wendling for (SmallVectorImpl<ActionEntry>::const_iterator 8555cff487665097d971067cbede1598e249f673182Bill Wendling I = Actions.begin(), E = Actions.end(); I != E; ++I) { 8565cff487665097d971067cbede1598e249f673182Bill Wendling const ActionEntry &Action = *I; 85735c187bcfda326edcddf0c71ab593786cf88f577Bill Wendling EOL("Action Record:"); 858a583c55864e83e470333b7be878280b10e175a6eBill Wendling 859a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Type Filter 860a583c55864e83e470333b7be878280b10e175a6eBill Wendling // 861a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Used by the runtime to match the type of the thrown exception to the 862a583c55864e83e470333b7be878280b10e175a6eBill Wendling // type of the catch clauses or the types in the exception specification. 8631f8075d7d232dd0c7b0caa81ed3ce426a13f5a66Bill Wendling EmitSLEB128(Action.ValueForTypeID, " TypeInfo index"); 864a583c55864e83e470333b7be878280b10e175a6eBill Wendling 865a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Action Record 866a583c55864e83e470333b7be878280b10e175a6eBill Wendling // 867a583c55864e83e470333b7be878280b10e175a6eBill Wendling // Self-relative signed displacement in bytes of the next action record, 868a583c55864e83e470333b7be878280b10e175a6eBill Wendling // or 0 if there is no next action record. 8691f8075d7d232dd0c7b0caa81ed3ce426a13f5a66Bill Wendling EmitSLEB128(Action.NextAction, " Next action"); 870eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 871eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 87248dc29ef911a223a52b099604d0ccb499ecbf703Bill Wendling // Emit the Catch TypeInfos. 873e9d10a6c398246fac376804143e868d6c20b6947Bill Wendling if (!TypeInfos.empty()) EOL("-- Catch TypeInfos --"); 8745cff487665097d971067cbede1598e249f673182Bill Wendling for (std::vector<GlobalVariable *>::const_reverse_iterator 87501c69374b508bad0ee71cd3c49414a325238e29aBill Wendling I = TypeInfos.rbegin(), E = TypeInfos.rend(); I != E; ++I) { 876fb7634f1c7a804829fc55e3711ba62c8ade818d0Bill Wendling const GlobalVariable *GV = *I; 877fb7634f1c7a804829fc55e3711ba62c8ade818d0Bill Wendling 8781f8075d7d232dd0c7b0caa81ed3ce426a13f5a66Bill Wendling if (GV) { 8799184b25fa543a900463215c11635c2c014ddb623Anton Korobeynikov EmitReference(GV, TTypeEncoding); 880d3a47a3ef3ea429f82b05cce9ecd7bc6d28badf0Bill Wendling EOL("TypeInfo"); 8811f8075d7d232dd0c7b0caa81ed3ce426a13f5a66Bill Wendling } else { 8820b2173069688cae0321b05714f16a8886834cfe6Anton Korobeynikov PrintRelDirective(TTypeEncoding); 883049e98d641f90e90e8312d76cbf4c68908fb9d1dBill Wendling O << "0x0"; 8841f8075d7d232dd0c7b0caa81ed3ce426a13f5a66Bill Wendling EOL(""); 8851f8075d7d232dd0c7b0caa81ed3ce426a13f5a66Bill Wendling } 886eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 887eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 88848dc29ef911a223a52b099604d0ccb499ecbf703Bill Wendling // Emit the Exception Specifications. 889e9d10a6c398246fac376804143e868d6c20b6947Bill Wendling if (!FilterIds.empty()) EOL("-- Filter IDs --"); 8905cff487665097d971067cbede1598e249f673182Bill Wendling for (std::vector<unsigned>::const_iterator 8915cff487665097d971067cbede1598e249f673182Bill Wendling I = FilterIds.begin(), E = FilterIds.end(); I < E; ++I) { 8925cff487665097d971067cbede1598e249f673182Bill Wendling unsigned TypeID = *I; 893894d75aa013143c92890d0205791d0d70a453114Chris Lattner EmitULEB128(TypeID, TypeID != 0 ? "Exception specification" : 0); 894eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling } 895eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 896eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling Asm->EmitAlignment(2, 0, 0, false); 897eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling} 898eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 899eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling/// EndModule - Emit all exception information that should come after the 900eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling/// content. 901eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendlingvoid DwarfException::EndModule() { 90233adcfb4d217f5f23d9bde8ba02b8e48f9605fc5Chris Lattner if (MAI->getExceptionHandlingType() != ExceptionHandling::Dwarf) 9031b747ad8a0694b86e8d98a8b9a05ddfe74ec0cd3Jim Grosbach return; 904b4049fe8cbb38416522f7b214f028ef0b7693d21Bill Wendling 90552783c63a13d384582997684384553e6545852d3Bill Wendling if (!shouldEmitMovesModule && !shouldEmitTableModule) 90652783c63a13d384582997684384553e6545852d3Bill Wendling return; 90752783c63a13d384582997684384553e6545852d3Bill Wendling 908eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (TimePassesIsEnabled) 909eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling ExceptionTimer->startTimer(); 910eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 91152783c63a13d384582997684384553e6545852d3Bill Wendling const std::vector<Function *> Personalities = MMI->getPersonalities(); 912b4049fe8cbb38416522f7b214f028ef0b7693d21Bill Wendling 91328275fdf02885587156da5cb20388b22d5b96557Bill Wendling for (unsigned I = 0, E = Personalities.size(); I < E; ++I) 91428275fdf02885587156da5cb20388b22d5b96557Bill Wendling EmitCIE(Personalities[I], I); 915eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 91652783c63a13d384582997684384553e6545852d3Bill Wendling for (std::vector<FunctionEHFrameInfo>::iterator 91752783c63a13d384582997684384553e6545852d3Bill Wendling I = EHFrames.begin(), E = EHFrames.end(); I != E; ++I) 91852783c63a13d384582997684384553e6545852d3Bill Wendling EmitFDE(*I); 919eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 920eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (TimePassesIsEnabled) 921eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling ExceptionTimer->stopTimer(); 922eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling} 923eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 92428275fdf02885587156da5cb20388b22d5b96557Bill Wendling/// BeginFunction - Gather pre-function exception information. Assumes it's 92528275fdf02885587156da5cb20388b22d5b96557Bill Wendling/// being emitted immediately after the function entry point. 926eec791afb127ed634ed5d1cdd2e6c47b3b70174cChris Lattnervoid DwarfException::BeginFunction(const MachineFunction *MF) { 92773c5a6172508e957d0b1a46170cb070dce6cac4fBill Wendling if (!MMI || !MAI->doesSupportExceptionHandling()) return; 92873c5a6172508e957d0b1a46170cb070dce6cac4fBill Wendling 929eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (TimePassesIsEnabled) 930eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling ExceptionTimer->startTimer(); 931eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 932eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling this->MF = MF; 933eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling shouldEmitTable = shouldEmitMoves = false; 934eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 93573c5a6172508e957d0b1a46170cb070dce6cac4fBill Wendling // Map all labels and get rid of any dead landing pads. 93673c5a6172508e957d0b1a46170cb070dce6cac4fBill Wendling MMI->TidyLandingPads(); 937eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 93873c5a6172508e957d0b1a46170cb070dce6cac4fBill Wendling // If any landing pads survive, we need an EH table. 93973c5a6172508e957d0b1a46170cb070dce6cac4fBill Wendling if (!MMI->getLandingPads().empty()) 94073c5a6172508e957d0b1a46170cb070dce6cac4fBill Wendling shouldEmitTable = true; 941eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 94273c5a6172508e957d0b1a46170cb070dce6cac4fBill Wendling // See if we need frame move info. 94373c5a6172508e957d0b1a46170cb070dce6cac4fBill Wendling if (!MF->getFunction()->doesNotThrow() || UnwindTablesMandatory) 94473c5a6172508e957d0b1a46170cb070dce6cac4fBill Wendling shouldEmitMoves = true; 945eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 94673c5a6172508e957d0b1a46170cb070dce6cac4fBill Wendling if (shouldEmitMoves || shouldEmitTable) 94773c5a6172508e957d0b1a46170cb070dce6cac4fBill Wendling // Assumes in correct section after the entry point. 94873c5a6172508e957d0b1a46170cb070dce6cac4fBill Wendling EmitLabel("eh_func_begin", ++SubprogramCount); 949eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 950eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling shouldEmitTableModule |= shouldEmitTable; 951eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling shouldEmitMovesModule |= shouldEmitMoves; 952eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 953eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling if (TimePassesIsEnabled) 954eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling ExceptionTimer->stopTimer(); 955eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling} 956eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 957eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling/// EndFunction - Gather and emit post-function exception information. 958eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling/// 959eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendlingvoid DwarfException::EndFunction() { 9607b09a6c62215e5ed30443b0d2b2a5ae18b89b94fBill Wendling if (!shouldEmitMoves && !shouldEmitTable) return; 9617b09a6c62215e5ed30443b0d2b2a5ae18b89b94fBill Wendling 962dbfcdb976367ad5a9d3541fef90cd9f8dde7e2b4Eric Christopher if (TimePassesIsEnabled) 963eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling ExceptionTimer->startTimer(); 964eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 9657b09a6c62215e5ed30443b0d2b2a5ae18b89b94fBill Wendling EmitLabel("eh_func_end", SubprogramCount); 9667b09a6c62215e5ed30443b0d2b2a5ae18b89b94fBill Wendling EmitExceptionTable(); 9677b09a6c62215e5ed30443b0d2b2a5ae18b89b94fBill Wendling 9683a9be0ee36fe2143f514d28315f3dc1bda132b2eChris Lattner MCSymbol *FunctionEHSym = 9697a2ba94d03b43f41b54872dacd7b2250dde4c7bdChris Lattner Asm->GetSymbolWithGlobalValueBase(MF->getFunction(), ".eh", 9707a2ba94d03b43f41b54872dacd7b2250dde4c7bdChris Lattner Asm->MAI->is_EHSymbolPrivate()); 97125d812bd7d1f58f2ba1b598b1425a2e146e27381Chris Lattner 9727b09a6c62215e5ed30443b0d2b2a5ae18b89b94fBill Wendling // Save EH frame information 9737a2ba94d03b43f41b54872dacd7b2250dde4c7bdChris Lattner EHFrames.push_back(FunctionEHFrameInfo(FunctionEHSym, SubprogramCount, 9747b09a6c62215e5ed30443b0d2b2a5ae18b89b94fBill Wendling MMI->getPersonalityIndex(), 9757b09a6c62215e5ed30443b0d2b2a5ae18b89b94fBill Wendling MF->getFrameInfo()->hasCalls(), 9767b09a6c62215e5ed30443b0d2b2a5ae18b89b94fBill Wendling !MMI->getLandingPads().empty(), 9777b09a6c62215e5ed30443b0d2b2a5ae18b89b94fBill Wendling MMI->getFrameMoves(), 9787b09a6c62215e5ed30443b0d2b2a5ae18b89b94fBill Wendling MF->getFunction())); 979eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling 98052783c63a13d384582997684384553e6545852d3Bill Wendling // Record if this personality index uses a landing pad. 98152783c63a13d384582997684384553e6545852d3Bill Wendling UsesLSDA[MMI->getPersonalityIndex()] |= !MMI->getLandingPads().empty(); 98252783c63a13d384582997684384553e6545852d3Bill Wendling 983dbfcdb976367ad5a9d3541fef90cd9f8dde7e2b4Eric Christopher if (TimePassesIsEnabled) 984eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling ExceptionTimer->stopTimer(); 985eb9072195ca7d777a71194dcaaaa369d82f24f53Bill Wendling} 986