blob: 9011f025f5958c8c54e991e7283d1a72504510ba [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/Twine.h"
Anton Korobeynikova7ec2dc2011-03-05 18:43:15 +000016#include "llvm/CodeGen/AsmPrinter.h"
Anton Korobeynikova7ec2dc2011-03-05 18:43:15 +000017#include "llvm/CodeGen/MachineFunction.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000018#include "llvm/IR/DataLayout.h"
Rafael Espindola894843c2014-01-07 21:19:40 +000019#include "llvm/IR/Mangler.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000020#include "llvm/IR/Module.h"
Anton Korobeynikova7ec2dc2011-03-05 18:43:15 +000021#include "llvm/MC/MCAsmInfo.h"
Anton Korobeynikova7ec2dc2011-03-05 18:43:15 +000022#include "llvm/MC/MCExpr.h"
23#include "llvm/MC/MCSection.h"
24#include "llvm/MC/MCStreamer.h"
25#include "llvm/MC/MCSymbol.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000026#include "llvm/Support/FormattedStream.h"
Anton Korobeynikova7ec2dc2011-03-05 18:43:15 +000027#include "llvm/Target/TargetOptions.h"
Anton Korobeynikova7ec2dc2011-03-05 18:43:15 +000028using namespace llvm;
29
Rafael Espindolaa6001792015-03-09 18:29:12 +000030ARMException::ARMException(AsmPrinter *A) : DwarfCFIExceptionBase(A) {}
Anton Korobeynikova7ec2dc2011-03-05 18:43:15 +000031
32ARMException::~ARMException() {}
33
Rafael Espindolaa17151a2013-10-08 13:08:17 +000034ARMTargetStreamer &ARMException::getTargetStreamer() {
Lang Hames9ff69c82015-04-24 19:11:51 +000035 MCTargetStreamer &TS = *Asm->OutStreamer->getTargetStreamer();
Rafael Espindolaa17151a2013-10-08 13:08:17 +000036 return static_cast<ARMTargetStreamer &>(TS);
37}
38
Timur Iskhodzhanov119f3072013-11-26 13:34:55 +000039void ARMException::beginFunction(const MachineFunction *MF) {
Joerg Sonnenberger3c108172014-04-30 22:43:13 +000040 if (Asm->MAI->getExceptionHandlingType() == ExceptionHandling::ARM)
41 getTargetStreamer().emitFnStart();
Artyom Skrobovf6830f42014-02-14 17:19:07 +000042 // See if we need call frame info.
43 AsmPrinter::CFIMoveType MoveType = Asm->needsCFIMoves();
44 assert(MoveType != AsmPrinter::CFI_M_EH &&
45 "non-EH CFI not yet supported in prologue with EHABI lowering");
Joerg Sonnenberger7b837322017-01-02 18:05:27 +000046
Artyom Skrobovf6830f42014-02-14 17:19:07 +000047 if (MoveType == AsmPrinter::CFI_M_Debug) {
Joerg Sonnenberger7b837322017-01-02 18:05:27 +000048 if (!hasEmittedCFISections) {
Joerg Sonnenberger83963992017-01-05 20:55:28 +000049 if (Asm->needsOnlyDebugCFIMoves())
50 Asm->OutStreamer->EmitCFISections(false, true);
Joerg Sonnenberger7b837322017-01-02 18:05:27 +000051 hasEmittedCFISections = true;
52 }
53
Artyom Skrobovf6830f42014-02-14 17:19:07 +000054 shouldEmitCFI = true;
Lang Hames9ff69c82015-04-24 19:11:51 +000055 Asm->OutStreamer->EmitCFIStartProc(false);
Artyom Skrobovf6830f42014-02-14 17:19:07 +000056 }
Anton Korobeynikova7ec2dc2011-03-05 18:43:15 +000057}
58
Timur Iskhodzhanov119f3072013-11-26 13:34:55 +000059/// endFunction - Gather and emit post-function exception information.
Anton Korobeynikova7ec2dc2011-03-05 18:43:15 +000060///
Rafael Espindolaa6001792015-03-09 18:29:12 +000061void ARMException::endFunction(const MachineFunction *MF) {
Rafael Espindolaa17151a2013-10-08 13:08:17 +000062 ARMTargetStreamer &ATS = getTargetStreamer();
Matthias Braunf1caa282017-12-15 22:22:58 +000063 const Function &F = MF->getFunction();
Keno Fischeraff703a2015-07-14 19:22:51 +000064 const Function *Per = nullptr;
Matthias Braunf1caa282017-12-15 22:22:58 +000065 if (F.hasPersonalityFn())
66 Per = dyn_cast<Function>(F.getPersonalityFn()->stripPointerCasts());
Keno Fischeraff703a2015-07-14 19:22:51 +000067 bool forceEmitPersonality =
Matthias Braunf1caa282017-12-15 22:22:58 +000068 F.hasPersonalityFn() && !isNoOpWithoutInvoke(classifyEHPersonality(Per)) &&
69 F.needsUnwindTableEntry();
Keno Fischeraff703a2015-07-14 19:22:51 +000070 bool shouldEmitPersonality = forceEmitPersonality ||
Matthias Braund0ee66c2016-12-01 19:32:15 +000071 !MF->getLandingPads().empty();
Matthias Braunf1caa282017-12-15 22:22:58 +000072 if (!Asm->MF->getFunction().needsUnwindTableEntry() &&
Keno Fischeraff703a2015-07-14 19:22:51 +000073 !shouldEmitPersonality)
Rafael Espindolaa17151a2013-10-08 13:08:17 +000074 ATS.emitCantUnwind();
Keno Fischeraff703a2015-07-14 19:22:51 +000075 else if (shouldEmitPersonality) {
76 // Emit references to personality.
77 if (Per) {
78 MCSymbol *PerSym = Asm->getSymbol(Per);
79 Asm->OutStreamer->EmitSymbolAttribute(PerSym, MCSA_Global);
80 ATS.emitPersonality(PerSym);
Evgeniy Stepanov33a7e2f2012-01-24 13:05:33 +000081 }
Keno Fischeraff703a2015-07-14 19:22:51 +000082
83 // Emit .handlerdata directive.
84 ATS.emitHandlerData();
85
86 // Emit actual exception table
87 emitExceptionTable();
Anton Korobeynikova7ec2dc2011-03-05 18:43:15 +000088 }
89
Joerg Sonnenberger3c108172014-04-30 22:43:13 +000090 if (Asm->MAI->getExceptionHandlingType() == ExceptionHandling::ARM)
91 ATS.emitFnEnd();
Anton Korobeynikova7ec2dc2011-03-05 18:43:15 +000092}
Anton Korobeynikovf65a6382012-11-19 21:06:26 +000093
Rafael Espindolad09b4162018-02-09 17:00:25 +000094void ARMException::emitTypeInfos(unsigned TTypeEncoding,
95 MCSymbol *TTBaseLabel) {
Matthias Braund0ee66c2016-12-01 19:32:15 +000096 const MachineFunction *MF = Asm->MF;
97 const std::vector<const GlobalValue *> &TypeInfos = MF->getTypeInfos();
98 const std::vector<unsigned> &FilterIds = MF->getFilterIds();
Anton Korobeynikovf65a6382012-11-19 21:06:26 +000099
Lang Hames9ff69c82015-04-24 19:11:51 +0000100 bool VerboseAsm = Asm->OutStreamer->isVerboseAsm();
Anton Korobeynikovf65a6382012-11-19 21:06:26 +0000101
102 int Entry = 0;
103 // Emit the Catch TypeInfos.
104 if (VerboseAsm && !TypeInfos.empty()) {
Lang Hames9ff69c82015-04-24 19:11:51 +0000105 Asm->OutStreamer->AddComment(">> Catch TypeInfos <<");
106 Asm->OutStreamer->AddBlankLine();
Anton Korobeynikovf65a6382012-11-19 21:06:26 +0000107 Entry = TypeInfos.size();
108 }
109
Pete Cooperf3159f32015-07-29 22:19:09 +0000110 for (const GlobalValue *GV : reverse(TypeInfos)) {
Anton Korobeynikovf65a6382012-11-19 21:06:26 +0000111 if (VerboseAsm)
Lang Hames9ff69c82015-04-24 19:11:51 +0000112 Asm->OutStreamer->AddComment("TypeInfo " + Twine(Entry--));
Anton Korobeynikov097b0e92012-11-19 21:17:20 +0000113 Asm->EmitTTypeReference(GV, TTypeEncoding);
Anton Korobeynikovf65a6382012-11-19 21:06:26 +0000114 }
115
Rafael Espindolad09b4162018-02-09 17:00:25 +0000116 Asm->OutStreamer->EmitLabel(TTBaseLabel);
117
Anton Korobeynikovf65a6382012-11-19 21:06:26 +0000118 // Emit the Exception Specifications.
119 if (VerboseAsm && !FilterIds.empty()) {
Lang Hames9ff69c82015-04-24 19:11:51 +0000120 Asm->OutStreamer->AddComment(">> Filter TypeInfos <<");
121 Asm->OutStreamer->AddBlankLine();
Anton Korobeynikovf65a6382012-11-19 21:06:26 +0000122 Entry = 0;
123 }
124 for (std::vector<unsigned>::const_iterator
125 I = FilterIds.begin(), E = FilterIds.end(); I < E; ++I) {
126 unsigned TypeID = *I;
127 if (VerboseAsm) {
128 --Entry;
129 if (TypeID != 0)
Lang Hames9ff69c82015-04-24 19:11:51 +0000130 Asm->OutStreamer->AddComment("FilterInfo " + Twine(Entry));
Anton Korobeynikovf65a6382012-11-19 21:06:26 +0000131 }
132
Craig Topper353eda42014-04-24 06:44:33 +0000133 Asm->EmitTTypeReference((TypeID == 0 ? nullptr : TypeInfos[TypeID - 1]),
Anton Korobeynikov097b0e92012-11-19 21:17:20 +0000134 TTypeEncoding);
Anton Korobeynikovf65a6382012-11-19 21:06:26 +0000135 }
136}