blob: fff3f003478960e7db39d5f1407a5be859ad00d2 [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/StringExtras.h"
16#include "llvm/ADT/Twine.h"
Anton Korobeynikova7ec2dc2011-03-05 18:43:15 +000017#include "llvm/CodeGen/AsmPrinter.h"
Anton Korobeynikova7ec2dc2011-03-05 18:43:15 +000018#include "llvm/CodeGen/MachineFrameInfo.h"
19#include "llvm/CodeGen/MachineFunction.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000020#include "llvm/CodeGen/MachineModuleInfo.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000021#include "llvm/IR/DataLayout.h"
Rafael Espindola894843c2014-01-07 21:19:40 +000022#include "llvm/IR/Mangler.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000023#include "llvm/IR/Module.h"
Anton Korobeynikova7ec2dc2011-03-05 18:43:15 +000024#include "llvm/MC/MCAsmInfo.h"
25#include "llvm/MC/MCContext.h"
26#include "llvm/MC/MCExpr.h"
27#include "llvm/MC/MCSection.h"
28#include "llvm/MC/MCStreamer.h"
29#include "llvm/MC/MCSymbol.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000030#include "llvm/Support/Dwarf.h"
31#include "llvm/Support/FormattedStream.h"
Anton Korobeynikova7ec2dc2011-03-05 18:43:15 +000032#include "llvm/Target/TargetFrameLowering.h"
Anton Korobeynikova7ec2dc2011-03-05 18:43:15 +000033#include "llvm/Target/TargetOptions.h"
34#include "llvm/Target/TargetRegisterInfo.h"
Anton Korobeynikova7ec2dc2011-03-05 18:43:15 +000035using namespace llvm;
36
Rafael Espindolaa6001792015-03-09 18:29:12 +000037ARMException::ARMException(AsmPrinter *A) : DwarfCFIExceptionBase(A) {}
Anton Korobeynikova7ec2dc2011-03-05 18:43:15 +000038
39ARMException::~ARMException() {}
40
Rafael Espindolaa17151a2013-10-08 13:08:17 +000041ARMTargetStreamer &ARMException::getTargetStreamer() {
Lang Hames9ff69c82015-04-24 19:11:51 +000042 MCTargetStreamer &TS = *Asm->OutStreamer->getTargetStreamer();
Rafael Espindolaa17151a2013-10-08 13:08:17 +000043 return static_cast<ARMTargetStreamer &>(TS);
44}
45
Artyom Skrobovf6830f42014-02-14 17:19:07 +000046/// endModule - Emit all exception information that should come after the
47/// content.
Timur Iskhodzhanov119f3072013-11-26 13:34:55 +000048void ARMException::endModule() {
Artyom Skrobovf6830f42014-02-14 17:19:07 +000049 if (shouldEmitCFI)
Lang Hames9ff69c82015-04-24 19:11:51 +000050 Asm->OutStreamer->EmitCFISections(false, true);
Anton Korobeynikova7ec2dc2011-03-05 18:43:15 +000051}
52
Timur Iskhodzhanov119f3072013-11-26 13:34:55 +000053void ARMException::beginFunction(const MachineFunction *MF) {
Joerg Sonnenberger3c108172014-04-30 22:43:13 +000054 if (Asm->MAI->getExceptionHandlingType() == ExceptionHandling::ARM)
55 getTargetStreamer().emitFnStart();
Artyom Skrobovf6830f42014-02-14 17:19:07 +000056 // See if we need call frame info.
57 AsmPrinter::CFIMoveType MoveType = Asm->needsCFIMoves();
58 assert(MoveType != AsmPrinter::CFI_M_EH &&
59 "non-EH CFI not yet supported in prologue with EHABI lowering");
60 if (MoveType == AsmPrinter::CFI_M_Debug) {
61 shouldEmitCFI = true;
Lang Hames9ff69c82015-04-24 19:11:51 +000062 Asm->OutStreamer->EmitCFIStartProc(false);
Artyom Skrobovf6830f42014-02-14 17:19:07 +000063 }
Anton Korobeynikova7ec2dc2011-03-05 18:43:15 +000064}
65
Timur Iskhodzhanov119f3072013-11-26 13:34:55 +000066/// endFunction - Gather and emit post-function exception information.
Anton Korobeynikova7ec2dc2011-03-05 18:43:15 +000067///
Rafael Espindolaa6001792015-03-09 18:29:12 +000068void ARMException::endFunction(const MachineFunction *MF) {
Rafael Espindolaa17151a2013-10-08 13:08:17 +000069 ARMTargetStreamer &ATS = getTargetStreamer();
Keno Fischeraff703a2015-07-14 19:22:51 +000070 const Function *F = MF->getFunction();
71 const Function *Per = nullptr;
72 if (F->hasPersonalityFn())
73 Per = dyn_cast<Function>(F->getPersonalityFn()->stripPointerCasts());
Keno Fischeraff703a2015-07-14 19:22:51 +000074 bool forceEmitPersonality =
75 F->hasPersonalityFn() && !isNoOpWithoutInvoke(classifyEHPersonality(Per)) &&
76 F->needsUnwindTableEntry();
77 bool shouldEmitPersonality = forceEmitPersonality ||
Matthias Braund0ee66c2016-12-01 19:32:15 +000078 !MF->getLandingPads().empty();
Logan Chien95188b92014-05-14 16:38:30 +000079 if (!Asm->MF->getFunction()->needsUnwindTableEntry() &&
Keno Fischeraff703a2015-07-14 19:22:51 +000080 !shouldEmitPersonality)
Rafael Espindolaa17151a2013-10-08 13:08:17 +000081 ATS.emitCantUnwind();
Keno Fischeraff703a2015-07-14 19:22:51 +000082 else if (shouldEmitPersonality) {
83 // Emit references to personality.
84 if (Per) {
85 MCSymbol *PerSym = Asm->getSymbol(Per);
86 Asm->OutStreamer->EmitSymbolAttribute(PerSym, MCSA_Global);
87 ATS.emitPersonality(PerSym);
Evgeniy Stepanov33a7e2f2012-01-24 13:05:33 +000088 }
Keno Fischeraff703a2015-07-14 19:22:51 +000089
90 // Emit .handlerdata directive.
91 ATS.emitHandlerData();
92
93 // Emit actual exception table
94 emitExceptionTable();
Anton Korobeynikova7ec2dc2011-03-05 18:43:15 +000095 }
96
Joerg Sonnenberger3c108172014-04-30 22:43:13 +000097 if (Asm->MAI->getExceptionHandlingType() == ExceptionHandling::ARM)
98 ATS.emitFnEnd();
Anton Korobeynikova7ec2dc2011-03-05 18:43:15 +000099}
Anton Korobeynikovf65a6382012-11-19 21:06:26 +0000100
Saleem Abdulrasool8076cab2014-06-11 01:19:03 +0000101void ARMException::emitTypeInfos(unsigned TTypeEncoding) {
Matthias Braund0ee66c2016-12-01 19:32:15 +0000102 const MachineFunction *MF = Asm->MF;
103 const std::vector<const GlobalValue *> &TypeInfos = MF->getTypeInfos();
104 const std::vector<unsigned> &FilterIds = MF->getFilterIds();
Anton Korobeynikovf65a6382012-11-19 21:06:26 +0000105
Lang Hames9ff69c82015-04-24 19:11:51 +0000106 bool VerboseAsm = Asm->OutStreamer->isVerboseAsm();
Anton Korobeynikovf65a6382012-11-19 21:06:26 +0000107
108 int Entry = 0;
109 // Emit the Catch TypeInfos.
110 if (VerboseAsm && !TypeInfos.empty()) {
Lang Hames9ff69c82015-04-24 19:11:51 +0000111 Asm->OutStreamer->AddComment(">> Catch TypeInfos <<");
112 Asm->OutStreamer->AddBlankLine();
Anton Korobeynikovf65a6382012-11-19 21:06:26 +0000113 Entry = TypeInfos.size();
114 }
115
Pete Cooperf3159f32015-07-29 22:19:09 +0000116 for (const GlobalValue *GV : reverse(TypeInfos)) {
Anton Korobeynikovf65a6382012-11-19 21:06:26 +0000117 if (VerboseAsm)
Lang Hames9ff69c82015-04-24 19:11:51 +0000118 Asm->OutStreamer->AddComment("TypeInfo " + Twine(Entry--));
Anton Korobeynikov097b0e92012-11-19 21:17:20 +0000119 Asm->EmitTTypeReference(GV, TTypeEncoding);
Anton Korobeynikovf65a6382012-11-19 21:06:26 +0000120 }
121
122 // Emit the Exception Specifications.
123 if (VerboseAsm && !FilterIds.empty()) {
Lang Hames9ff69c82015-04-24 19:11:51 +0000124 Asm->OutStreamer->AddComment(">> Filter TypeInfos <<");
125 Asm->OutStreamer->AddBlankLine();
Anton Korobeynikovf65a6382012-11-19 21:06:26 +0000126 Entry = 0;
127 }
128 for (std::vector<unsigned>::const_iterator
129 I = FilterIds.begin(), E = FilterIds.end(); I < E; ++I) {
130 unsigned TypeID = *I;
131 if (VerboseAsm) {
132 --Entry;
133 if (TypeID != 0)
Lang Hames9ff69c82015-04-24 19:11:51 +0000134 Asm->OutStreamer->AddComment("FilterInfo " + Twine(Entry));
Anton Korobeynikovf65a6382012-11-19 21:06:26 +0000135 }
136
Craig Topper353eda42014-04-24 06:44:33 +0000137 Asm->EmitTTypeReference((TypeID == 0 ? nullptr : TypeInfos[TypeID - 1]),
Anton Korobeynikov097b0e92012-11-19 21:17:20 +0000138 TTypeEncoding);
Anton Korobeynikovf65a6382012-11-19 21:06:26 +0000139 }
140}