blob: 0bad7954b98091073b3f456861771cd91943e808 [file] [log] [blame]
Anton Korobeynikova7ec2dc2011-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 Carruthed0881b2012-12-03 16:50:05 +000015#include "llvm/ADT/SmallString.h"
16#include "llvm/ADT/StringExtras.h"
17#include "llvm/ADT/Twine.h"
Anton Korobeynikova7ec2dc2011-03-05 18:43:15 +000018#include "llvm/CodeGen/AsmPrinter.h"
Anton Korobeynikova7ec2dc2011-03-05 18:43:15 +000019#include "llvm/CodeGen/MachineFrameInfo.h"
20#include "llvm/CodeGen/MachineFunction.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000021#include "llvm/CodeGen/MachineModuleInfo.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000022#include "llvm/IR/DataLayout.h"
Rafael Espindola894843c2014-01-07 21:19:40 +000023#include "llvm/IR/Mangler.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000024#include "llvm/IR/Module.h"
Anton Korobeynikova7ec2dc2011-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 Carruthed0881b2012-12-03 16:50:05 +000031#include "llvm/Support/CommandLine.h"
32#include "llvm/Support/Dwarf.h"
33#include "llvm/Support/FormattedStream.h"
Anton Korobeynikova7ec2dc2011-03-05 18:43:15 +000034#include "llvm/Target/TargetFrameLowering.h"
Anton Korobeynikova7ec2dc2011-03-05 18:43:15 +000035#include "llvm/Target/TargetOptions.h"
36#include "llvm/Target/TargetRegisterInfo.h"
Anton Korobeynikova7ec2dc2011-03-05 18:43:15 +000037using namespace llvm;
38
Rafael Espindolaa6001792015-03-09 18:29:12 +000039ARMException::ARMException(AsmPrinter *A) : DwarfCFIExceptionBase(A) {}
Anton Korobeynikova7ec2dc2011-03-05 18:43:15 +000040
41ARMException::~ARMException() {}
42
Rafael Espindolaa17151a2013-10-08 13:08:17 +000043ARMTargetStreamer &ARMException::getTargetStreamer() {
Lang Hames9ff69c82015-04-24 19:11:51 +000044 MCTargetStreamer &TS = *Asm->OutStreamer->getTargetStreamer();
Rafael Espindolaa17151a2013-10-08 13:08:17 +000045 return static_cast<ARMTargetStreamer &>(TS);
46}
47
Artyom Skrobovf6830f42014-02-14 17:19:07 +000048/// endModule - Emit all exception information that should come after the
49/// content.
Timur Iskhodzhanov119f3072013-11-26 13:34:55 +000050void ARMException::endModule() {
Artyom Skrobovf6830f42014-02-14 17:19:07 +000051 if (shouldEmitCFI)
Lang Hames9ff69c82015-04-24 19:11:51 +000052 Asm->OutStreamer->EmitCFISections(false, true);
Anton Korobeynikova7ec2dc2011-03-05 18:43:15 +000053}
54
Timur Iskhodzhanov119f3072013-11-26 13:34:55 +000055void ARMException::beginFunction(const MachineFunction *MF) {
Joerg Sonnenberger3c108172014-04-30 22:43:13 +000056 if (Asm->MAI->getExceptionHandlingType() == ExceptionHandling::ARM)
57 getTargetStreamer().emitFnStart();
Artyom Skrobovf6830f42014-02-14 17:19:07 +000058 // See if we need call frame info.
59 AsmPrinter::CFIMoveType MoveType = Asm->needsCFIMoves();
60 assert(MoveType != AsmPrinter::CFI_M_EH &&
61 "non-EH CFI not yet supported in prologue with EHABI lowering");
62 if (MoveType == AsmPrinter::CFI_M_Debug) {
63 shouldEmitCFI = true;
Lang Hames9ff69c82015-04-24 19:11:51 +000064 Asm->OutStreamer->EmitCFIStartProc(false);
Artyom Skrobovf6830f42014-02-14 17:19:07 +000065 }
Anton Korobeynikova7ec2dc2011-03-05 18:43:15 +000066}
67
Timur Iskhodzhanov119f3072013-11-26 13:34:55 +000068/// endFunction - Gather and emit post-function exception information.
Anton Korobeynikova7ec2dc2011-03-05 18:43:15 +000069///
Rafael Espindolaa6001792015-03-09 18:29:12 +000070void ARMException::endFunction(const MachineFunction *MF) {
Rafael Espindolaa17151a2013-10-08 13:08:17 +000071 ARMTargetStreamer &ATS = getTargetStreamer();
Keno Fischeraff703a2015-07-14 19:22:51 +000072 const Function *F = MF->getFunction();
73 const Function *Per = nullptr;
74 if (F->hasPersonalityFn())
75 Per = dyn_cast<Function>(F->getPersonalityFn()->stripPointerCasts());
76 assert(!MMI->getPersonality() || Per == MMI->getPersonality());
77 bool forceEmitPersonality =
78 F->hasPersonalityFn() && !isNoOpWithoutInvoke(classifyEHPersonality(Per)) &&
79 F->needsUnwindTableEntry();
80 bool shouldEmitPersonality = forceEmitPersonality ||
81 !MMI->getLandingPads().empty();
Logan Chien95188b92014-05-14 16:38:30 +000082 if (!Asm->MF->getFunction()->needsUnwindTableEntry() &&
Keno Fischeraff703a2015-07-14 19:22:51 +000083 !shouldEmitPersonality)
Rafael Espindolaa17151a2013-10-08 13:08:17 +000084 ATS.emitCantUnwind();
Keno Fischeraff703a2015-07-14 19:22:51 +000085 else if (shouldEmitPersonality) {
86 // Emit references to personality.
87 if (Per) {
88 MCSymbol *PerSym = Asm->getSymbol(Per);
89 Asm->OutStreamer->EmitSymbolAttribute(PerSym, MCSA_Global);
90 ATS.emitPersonality(PerSym);
Evgeniy Stepanov33a7e2f2012-01-24 13:05:33 +000091 }
Keno Fischeraff703a2015-07-14 19:22:51 +000092
93 // Emit .handlerdata directive.
94 ATS.emitHandlerData();
95
96 // Emit actual exception table
97 emitExceptionTable();
Anton Korobeynikova7ec2dc2011-03-05 18:43:15 +000098 }
99
Joerg Sonnenberger3c108172014-04-30 22:43:13 +0000100 if (Asm->MAI->getExceptionHandlingType() == ExceptionHandling::ARM)
101 ATS.emitFnEnd();
Anton Korobeynikova7ec2dc2011-03-05 18:43:15 +0000102}
Anton Korobeynikovf65a6382012-11-19 21:06:26 +0000103
Saleem Abdulrasool8076cab2014-06-11 01:19:03 +0000104void ARMException::emitTypeInfos(unsigned TTypeEncoding) {
Reid Kleckner283bc2e2014-11-14 00:35:50 +0000105 const std::vector<const GlobalValue *> &TypeInfos = MMI->getTypeInfos();
Anton Korobeynikovf65a6382012-11-19 21:06:26 +0000106 const std::vector<unsigned> &FilterIds = MMI->getFilterIds();
107
Lang Hames9ff69c82015-04-24 19:11:51 +0000108 bool VerboseAsm = Asm->OutStreamer->isVerboseAsm();
Anton Korobeynikovf65a6382012-11-19 21:06:26 +0000109
110 int Entry = 0;
111 // Emit the Catch TypeInfos.
112 if (VerboseAsm && !TypeInfos.empty()) {
Lang Hames9ff69c82015-04-24 19:11:51 +0000113 Asm->OutStreamer->AddComment(">> Catch TypeInfos <<");
114 Asm->OutStreamer->AddBlankLine();
Anton Korobeynikovf65a6382012-11-19 21:06:26 +0000115 Entry = TypeInfos.size();
116 }
117
Reid Kleckner283bc2e2014-11-14 00:35:50 +0000118 for (std::vector<const GlobalValue *>::const_reverse_iterator
Anton Korobeynikovf65a6382012-11-19 21:06:26 +0000119 I = TypeInfos.rbegin(), E = TypeInfos.rend(); I != E; ++I) {
Reid Kleckner283bc2e2014-11-14 00:35:50 +0000120 const GlobalValue *GV = *I;
Anton Korobeynikovf65a6382012-11-19 21:06:26 +0000121 if (VerboseAsm)
Lang Hames9ff69c82015-04-24 19:11:51 +0000122 Asm->OutStreamer->AddComment("TypeInfo " + Twine(Entry--));
Anton Korobeynikov097b0e92012-11-19 21:17:20 +0000123 Asm->EmitTTypeReference(GV, TTypeEncoding);
Anton Korobeynikovf65a6382012-11-19 21:06:26 +0000124 }
125
126 // Emit the Exception Specifications.
127 if (VerboseAsm && !FilterIds.empty()) {
Lang Hames9ff69c82015-04-24 19:11:51 +0000128 Asm->OutStreamer->AddComment(">> Filter TypeInfos <<");
129 Asm->OutStreamer->AddBlankLine();
Anton Korobeynikovf65a6382012-11-19 21:06:26 +0000130 Entry = 0;
131 }
132 for (std::vector<unsigned>::const_iterator
133 I = FilterIds.begin(), E = FilterIds.end(); I < E; ++I) {
134 unsigned TypeID = *I;
135 if (VerboseAsm) {
136 --Entry;
137 if (TypeID != 0)
Lang Hames9ff69c82015-04-24 19:11:51 +0000138 Asm->OutStreamer->AddComment("FilterInfo " + Twine(Entry));
Anton Korobeynikovf65a6382012-11-19 21:06:26 +0000139 }
140
Craig Topper353eda42014-04-24 06:44:33 +0000141 Asm->EmitTTypeReference((TypeID == 0 ? nullptr : TypeInfos[TypeID - 1]),
Anton Korobeynikov097b0e92012-11-19 21:17:20 +0000142 TTypeEncoding);
Anton Korobeynikovf65a6382012-11-19 21:06:26 +0000143 }
144}