blob: 251f5effd6b4d3cb043bebc21732824c997841e9 [file] [log] [blame]
Anton Korobeynikovb5e16af2011-03-05 18:43:15 +00001//===-- CodeGen/AsmPrinter/ARMException.cpp - ARM EHABI Exception Impl ----===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file contains support for writing DWARF exception info into asm files.
11//
12//===----------------------------------------------------------------------===//
13
14#include "DwarfException.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000015#include "llvm/ADT/SmallString.h"
16#include "llvm/ADT/StringExtras.h"
17#include "llvm/ADT/Twine.h"
Anton Korobeynikovb5e16af2011-03-05 18:43:15 +000018#include "llvm/CodeGen/AsmPrinter.h"
Anton Korobeynikovb5e16af2011-03-05 18:43:15 +000019#include "llvm/CodeGen/MachineFrameInfo.h"
20#include "llvm/CodeGen/MachineFunction.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000021#include "llvm/CodeGen/MachineModuleInfo.h"
Chandler Carruth0b8c9a82013-01-02 11:36:10 +000022#include "llvm/IR/DataLayout.h"
Stephen Hines36b56882014-04-23 16:57:46 -070023#include "llvm/IR/Mangler.h"
Chandler Carruth0b8c9a82013-01-02 11:36:10 +000024#include "llvm/IR/Module.h"
Anton Korobeynikovb5e16af2011-03-05 18:43:15 +000025#include "llvm/MC/MCAsmInfo.h"
26#include "llvm/MC/MCContext.h"
27#include "llvm/MC/MCExpr.h"
28#include "llvm/MC/MCSection.h"
29#include "llvm/MC/MCStreamer.h"
30#include "llvm/MC/MCSymbol.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000031#include "llvm/Support/CommandLine.h"
32#include "llvm/Support/Dwarf.h"
33#include "llvm/Support/FormattedStream.h"
Anton Korobeynikovb5e16af2011-03-05 18:43:15 +000034#include "llvm/Target/TargetFrameLowering.h"
Anton Korobeynikovb5e16af2011-03-05 18:43:15 +000035#include "llvm/Target/TargetOptions.h"
36#include "llvm/Target/TargetRegisterInfo.h"
Anton Korobeynikovb5e16af2011-03-05 18:43:15 +000037using namespace llvm;
38
39ARMException::ARMException(AsmPrinter *A)
Stephen Hinesc6a4f5e2014-07-21 00:45:20 -070040 : EHStreamer(A), shouldEmitCFI(false) {}
Anton Korobeynikovb5e16af2011-03-05 18:43:15 +000041
42ARMException::~ARMException() {}
43
Rafael Espindola320296a2013-10-08 13:08:17 +000044ARMTargetStreamer &ARMException::getTargetStreamer() {
Stephen Hines36b56882014-04-23 16:57:46 -070045 MCTargetStreamer &TS = *Asm->OutStreamer.getTargetStreamer();
Rafael Espindola320296a2013-10-08 13:08:17 +000046 return static_cast<ARMTargetStreamer &>(TS);
47}
48
Stephen Hines36b56882014-04-23 16:57:46 -070049/// endModule - Emit all exception information that should come after the
50/// content.
51void ARMException::endModule() {
52 if (shouldEmitCFI)
53 Asm->OutStreamer.EmitCFISections(false, true);
Anton Korobeynikovb5e16af2011-03-05 18:43:15 +000054}
55
Stephen Hines36b56882014-04-23 16:57:46 -070056/// beginFunction - Gather pre-function exception information. Assumes it's
Anton Korobeynikovb5e16af2011-03-05 18:43:15 +000057/// being emitted immediately after the function entry point.
Stephen Hines36b56882014-04-23 16:57:46 -070058void ARMException::beginFunction(const MachineFunction *MF) {
Stephen Hinesdce4a402014-05-29 02:49:00 -070059 if (Asm->MAI->getExceptionHandlingType() == ExceptionHandling::ARM)
60 getTargetStreamer().emitFnStart();
61 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("eh_func_begin",
62 Asm->getFunctionNumber()));
Stephen Hines36b56882014-04-23 16:57:46 -070063 // See if we need call frame info.
64 AsmPrinter::CFIMoveType MoveType = Asm->needsCFIMoves();
65 assert(MoveType != AsmPrinter::CFI_M_EH &&
66 "non-EH CFI not yet supported in prologue with EHABI lowering");
67 if (MoveType == AsmPrinter::CFI_M_Debug) {
68 shouldEmitCFI = true;
69 Asm->OutStreamer.EmitCFIStartProc(false);
70 }
Anton Korobeynikovb5e16af2011-03-05 18:43:15 +000071}
72
Stephen Hines36b56882014-04-23 16:57:46 -070073/// endFunction - Gather and emit post-function exception information.
Anton Korobeynikovb5e16af2011-03-05 18:43:15 +000074///
Stephen Hines36b56882014-04-23 16:57:46 -070075void ARMException::endFunction(const MachineFunction *) {
76 if (shouldEmitCFI)
77 Asm->OutStreamer.EmitCFIEndProc();
78
Stephen Hinesdce4a402014-05-29 02:49:00 -070079 // Map all labels and get rid of any dead landing pads.
80 MMI->TidyLandingPads();
81
Rafael Espindola320296a2013-10-08 13:08:17 +000082 ARMTargetStreamer &ATS = getTargetStreamer();
Stephen Hinesdce4a402014-05-29 02:49:00 -070083 if (!Asm->MF->getFunction()->needsUnwindTableEntry() &&
84 MMI->getLandingPads().empty())
Rafael Espindola320296a2013-10-08 13:08:17 +000085 ATS.emitCantUnwind();
Anton Korobeynikovb5e16af2011-03-05 18:43:15 +000086 else {
87 Asm->OutStreamer.EmitLabel(Asm->GetTempSymbol("eh_func_end",
88 Asm->getFunctionNumber()));
Stephen Hines36b56882014-04-23 16:57:46 -070089 if (!MMI->getLandingPads().empty()) {
90 // Emit references to personality.
91 if (const Function * Personality =
92 MMI->getPersonalities()[MMI->getPersonalityIndex()]) {
93 MCSymbol *PerSym = Asm->getSymbol(Personality);
94 Asm->OutStreamer.EmitSymbolAttribute(PerSym, MCSA_Global);
95 ATS.emitPersonality(PerSym);
Anton Korobeynikov062a6c82012-11-14 19:13:30 +000096 }
Stephen Hines36b56882014-04-23 16:57:46 -070097
98 // Emit .handlerdata directive.
99 ATS.emitHandlerData();
100
101 // Emit actual exception table
Stephen Hinesc6a4f5e2014-07-21 00:45:20 -0700102 emitExceptionTable();
Evgeniy Stepanov53fa1ae2012-01-24 13:05:33 +0000103 }
Anton Korobeynikovb5e16af2011-03-05 18:43:15 +0000104 }
105
Stephen Hinesdce4a402014-05-29 02:49:00 -0700106 if (Asm->MAI->getExceptionHandlingType() == ExceptionHandling::ARM)
107 ATS.emitFnEnd();
Anton Korobeynikovb5e16af2011-03-05 18:43:15 +0000108}
Anton Korobeynikov2386fc82012-11-19 21:06:26 +0000109
Stephen Hinesc6a4f5e2014-07-21 00:45:20 -0700110void ARMException::emitTypeInfos(unsigned TTypeEncoding) {
Anton Korobeynikov2386fc82012-11-19 21:06:26 +0000111 const std::vector<const GlobalVariable *> &TypeInfos = MMI->getTypeInfos();
112 const std::vector<unsigned> &FilterIds = MMI->getFilterIds();
113
114 bool VerboseAsm = Asm->OutStreamer.isVerboseAsm();
115
116 int Entry = 0;
117 // Emit the Catch TypeInfos.
118 if (VerboseAsm && !TypeInfos.empty()) {
119 Asm->OutStreamer.AddComment(">> Catch TypeInfos <<");
120 Asm->OutStreamer.AddBlankLine();
121 Entry = TypeInfos.size();
122 }
123
124 for (std::vector<const GlobalVariable *>::const_reverse_iterator
125 I = TypeInfos.rbegin(), E = TypeInfos.rend(); I != E; ++I) {
126 const GlobalVariable *GV = *I;
127 if (VerboseAsm)
128 Asm->OutStreamer.AddComment("TypeInfo " + Twine(Entry--));
Anton Korobeynikov239938f2012-11-19 21:17:20 +0000129 Asm->EmitTTypeReference(GV, TTypeEncoding);
Anton Korobeynikov2386fc82012-11-19 21:06:26 +0000130 }
131
132 // Emit the Exception Specifications.
133 if (VerboseAsm && !FilterIds.empty()) {
134 Asm->OutStreamer.AddComment(">> Filter TypeInfos <<");
135 Asm->OutStreamer.AddBlankLine();
136 Entry = 0;
137 }
138 for (std::vector<unsigned>::const_iterator
139 I = FilterIds.begin(), E = FilterIds.end(); I < E; ++I) {
140 unsigned TypeID = *I;
141 if (VerboseAsm) {
142 --Entry;
143 if (TypeID != 0)
144 Asm->OutStreamer.AddComment("FilterInfo " + Twine(Entry));
145 }
146
Stephen Hinesdce4a402014-05-29 02:49:00 -0700147 Asm->EmitTTypeReference((TypeID == 0 ? nullptr : TypeInfos[TypeID - 1]),
Anton Korobeynikov239938f2012-11-19 21:17:20 +0000148 TTypeEncoding);
Anton Korobeynikov2386fc82012-11-19 21:06:26 +0000149 }
150}