blob: d17fdb95dbdf499baa176ea3475945a4e6f361d2 [file] [log] [blame]
Tim Northover5cc3dc82012-12-07 16:50:23 +00001//===- lib/MC/ARMELFStreamer.cpp - ELF Object Output for ARM --------------===//
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 assembles .s files and emits ARM ELF .o object files. Different
11// from generic ELF streamer in emitting mapping symbols ($a, $t and $d) to
12// delimit regions of data and code.
13//
14//===----------------------------------------------------------------------===//
15
Logan Chiend8bb4b72013-04-16 12:02:21 +000016#include "ARMRegisterInfo.h"
Logan Chiend8bb4b72013-04-16 12:02:21 +000017#include "ARMUnwindOpAsm.h"
Saleem Abdulrasoolc0da2cb2013-12-19 05:17:58 +000018#include "llvm/ADT/StringExtras.h"
Benjamin Kramerf242d8c2012-12-08 10:45:24 +000019#include "llvm/ADT/Twine.h"
20#include "llvm/MC/MCAsmBackend.h"
Saleem Abdulrasoolc0da2cb2013-12-19 05:17:58 +000021#include "llvm/MC/MCAsmInfo.h"
Tim Northover5cc3dc82012-12-07 16:50:23 +000022#include "llvm/MC/MCAssembler.h"
23#include "llvm/MC/MCCodeEmitter.h"
24#include "llvm/MC/MCContext.h"
Tim Northover5cc3dc82012-12-07 16:50:23 +000025#include "llvm/MC/MCELFStreamer.h"
Tim Northover5cc3dc82012-12-07 16:50:23 +000026#include "llvm/MC/MCExpr.h"
27#include "llvm/MC/MCInst.h"
Rafael Espindolaa17151a2013-10-08 13:08:17 +000028#include "llvm/MC/MCInstPrinter.h"
Rafael Espindola4c6f6132014-04-27 17:10:46 +000029#include "llvm/MC/MCObjectFileInfo.h"
Tim Northover5cc3dc82012-12-07 16:50:23 +000030#include "llvm/MC/MCObjectStreamer.h"
Logan Chiend8bb4b72013-04-16 12:02:21 +000031#include "llvm/MC/MCRegisterInfo.h"
Tim Northover5cc3dc82012-12-07 16:50:23 +000032#include "llvm/MC/MCSection.h"
Benjamin Kramerf242d8c2012-12-08 10:45:24 +000033#include "llvm/MC/MCSectionELF.h"
34#include "llvm/MC/MCStreamer.h"
Rafael Espindola95fb9b92015-06-02 20:38:46 +000035#include "llvm/MC/MCSymbolELF.h"
Tim Northover5cc3dc82012-12-07 16:50:23 +000036#include "llvm/MC/MCValue.h"
Saleem Abdulrasool278a9f42014-01-19 08:25:27 +000037#include "llvm/Support/ARMBuildAttributes.h"
Saleem Abdulrasoolb961c992014-01-06 00:15:00 +000038#include "llvm/Support/ARMEHABI.h"
Renato Golinf5f373f2015-05-08 21:04:27 +000039#include "llvm/Support/TargetParser.h"
Tim Northover5cc3dc82012-12-07 16:50:23 +000040#include "llvm/Support/Debug.h"
41#include "llvm/Support/ELF.h"
Rafael Espindolaa17151a2013-10-08 13:08:17 +000042#include "llvm/Support/FormattedStream.h"
Logan Chien5b776b72014-02-22 14:00:39 +000043#include "llvm/Support/LEB128.h"
Tim Northover5cc3dc82012-12-07 16:50:23 +000044#include "llvm/Support/raw_ostream.h"
Logan Chien8cbb80d2013-10-28 17:51:12 +000045#include <algorithm>
Tim Northover5cc3dc82012-12-07 16:50:23 +000046
47using namespace llvm;
48
Logan Chiend8bb4b72013-04-16 12:02:21 +000049static std::string GetAEABIUnwindPersonalityName(unsigned Index) {
Saleem Abdulrasoolb961c992014-01-06 00:15:00 +000050 assert(Index < ARM::EHABI::NUM_PERSONALITY_INDEX &&
51 "Invalid personality index");
Logan Chiend8bb4b72013-04-16 12:02:21 +000052 return (Twine("__aeabi_unwind_cpp_pr") + Twine(Index)).str();
53}
54
Tim Northover5cc3dc82012-12-07 16:50:23 +000055namespace {
56
Rafael Espindolaa17151a2013-10-08 13:08:17 +000057class ARMELFStreamer;
58
59class ARMTargetAsmStreamer : public ARMTargetStreamer {
60 formatted_raw_ostream &OS;
61 MCInstPrinter &InstPrinter;
Saleem Abdulrasoolf16e68a2014-01-07 02:28:50 +000062 bool IsVerboseAsm;
Rafael Espindolaa17151a2013-10-08 13:08:17 +000063
Craig Topperca7e3e52014-03-10 03:19:03 +000064 void emitFnStart() override;
65 void emitFnEnd() override;
66 void emitCantUnwind() override;
67 void emitPersonality(const MCSymbol *Personality) override;
68 void emitPersonalityIndex(unsigned Index) override;
69 void emitHandlerData() override;
70 void emitSetFP(unsigned FpReg, unsigned SpReg, int64_t Offset = 0) override;
71 void emitMovSP(unsigned Reg, int64_t Offset = 0) override;
72 void emitPad(int64_t Offset) override;
73 void emitRegSave(const SmallVectorImpl<unsigned> &RegList,
74 bool isVector) override;
75 void emitUnwindRaw(int64_t Offset,
76 const SmallVectorImpl<uint8_t> &Opcodes) override;
Rafael Espindolaa17151a2013-10-08 13:08:17 +000077
Craig Topperca7e3e52014-03-10 03:19:03 +000078 void switchVendor(StringRef Vendor) override;
79 void emitAttribute(unsigned Attribute, unsigned Value) override;
80 void emitTextAttribute(unsigned Attribute, StringRef String) override;
81 void emitIntTextAttribute(unsigned Attribute, unsigned IntValue,
82 StringRef StrinValue) override;
83 void emitArch(unsigned Arch) override;
Sumanth Gundapanenia9049ea2015-02-26 18:07:35 +000084 void emitArchExtension(unsigned ArchExt) override;
Craig Topperca7e3e52014-03-10 03:19:03 +000085 void emitObjectArch(unsigned Arch) override;
86 void emitFPU(unsigned FPU) override;
87 void emitInst(uint32_t Inst, char Suffix = '\0') override;
88 void finishAttributeSection() override;
Logan Chien8cbb80d2013-10-28 17:51:12 +000089
Craig Topperca7e3e52014-03-10 03:19:03 +000090 void AnnotateTLSDescriptorSequence(const MCSymbolRefExpr *SRE) override;
Rafael Espindola466d6632014-04-27 20:23:58 +000091 void emitThumbSet(MCSymbol *Symbol, const MCExpr *Value) override;
Saleem Abdulrasool56e06e82014-01-30 04:02:47 +000092
Rafael Espindolaa17151a2013-10-08 13:08:17 +000093public:
Rafael Espindola24ea09e2014-01-26 06:06:37 +000094 ARMTargetAsmStreamer(MCStreamer &S, formatted_raw_ostream &OS,
95 MCInstPrinter &InstPrinter, bool VerboseAsm);
Rafael Espindolaa17151a2013-10-08 13:08:17 +000096};
97
Rafael Espindola24ea09e2014-01-26 06:06:37 +000098ARMTargetAsmStreamer::ARMTargetAsmStreamer(MCStreamer &S,
99 formatted_raw_ostream &OS,
Saleem Abdulrasoolf16e68a2014-01-07 02:28:50 +0000100 MCInstPrinter &InstPrinter,
101 bool VerboseAsm)
Rafael Espindola24ea09e2014-01-26 06:06:37 +0000102 : ARMTargetStreamer(S), OS(OS), InstPrinter(InstPrinter),
103 IsVerboseAsm(VerboseAsm) {}
Rafael Espindolaa17151a2013-10-08 13:08:17 +0000104void ARMTargetAsmStreamer::emitFnStart() { OS << "\t.fnstart\n"; }
105void ARMTargetAsmStreamer::emitFnEnd() { OS << "\t.fnend\n"; }
106void ARMTargetAsmStreamer::emitCantUnwind() { OS << "\t.cantunwind\n"; }
107void ARMTargetAsmStreamer::emitPersonality(const MCSymbol *Personality) {
108 OS << "\t.personality " << Personality->getName() << '\n';
109}
Saleem Abdulrasool662f5c12014-01-21 02:33:02 +0000110void ARMTargetAsmStreamer::emitPersonalityIndex(unsigned Index) {
111 OS << "\t.personalityindex " << Index << '\n';
112}
Rafael Espindolaa17151a2013-10-08 13:08:17 +0000113void ARMTargetAsmStreamer::emitHandlerData() { OS << "\t.handlerdata\n"; }
114void ARMTargetAsmStreamer::emitSetFP(unsigned FpReg, unsigned SpReg,
115 int64_t Offset) {
116 OS << "\t.setfp\t";
117 InstPrinter.printRegName(OS, FpReg);
118 OS << ", ";
119 InstPrinter.printRegName(OS, SpReg);
120 if (Offset)
121 OS << ", #" << Offset;
122 OS << '\n';
123}
Saleem Abdulrasool5d962d32014-01-30 04:46:24 +0000124void ARMTargetAsmStreamer::emitMovSP(unsigned Reg, int64_t Offset) {
125 assert((Reg != ARM::SP && Reg != ARM::PC) &&
126 "the operand of .movsp cannot be either sp or pc");
127
128 OS << "\t.movsp\t";
129 InstPrinter.printRegName(OS, Reg);
130 if (Offset)
131 OS << ", #" << Offset;
132 OS << '\n';
133}
Rafael Espindolaa17151a2013-10-08 13:08:17 +0000134void ARMTargetAsmStreamer::emitPad(int64_t Offset) {
135 OS << "\t.pad\t#" << Offset << '\n';
136}
137void ARMTargetAsmStreamer::emitRegSave(const SmallVectorImpl<unsigned> &RegList,
138 bool isVector) {
139 assert(RegList.size() && "RegList should not be empty");
140 if (isVector)
141 OS << "\t.vsave\t{";
142 else
143 OS << "\t.save\t{";
144
145 InstPrinter.printRegName(OS, RegList[0]);
146
147 for (unsigned i = 1, e = RegList.size(); i != e; ++i) {
148 OS << ", ";
149 InstPrinter.printRegName(OS, RegList[i]);
150 }
151
152 OS << "}\n";
153}
Logan Chien8cbb80d2013-10-28 17:51:12 +0000154void ARMTargetAsmStreamer::switchVendor(StringRef Vendor) {
155}
156void ARMTargetAsmStreamer::emitAttribute(unsigned Attribute, unsigned Value) {
Saleem Abdulrasoolf16e68a2014-01-07 02:28:50 +0000157 OS << "\t.eabi_attribute\t" << Attribute << ", " << Twine(Value);
158 if (IsVerboseAsm) {
159 StringRef Name = ARMBuildAttrs::AttrTypeAsString(Attribute);
160 if (!Name.empty())
161 OS << "\t@ " << Name;
162 }
163 OS << "\n";
Logan Chien8cbb80d2013-10-28 17:51:12 +0000164}
165void ARMTargetAsmStreamer::emitTextAttribute(unsigned Attribute,
166 StringRef String) {
167 switch (Attribute) {
Logan Chien8cbb80d2013-10-28 17:51:12 +0000168 case ARMBuildAttrs::CPU_name:
Saleem Abdulrasool87ccd362014-01-07 02:28:42 +0000169 OS << "\t.cpu\t" << String.lower();
170 break;
171 default:
172 OS << "\t.eabi_attribute\t" << Attribute << ", \"" << String << "\"";
Saleem Abdulrasoolf16e68a2014-01-07 02:28:50 +0000173 if (IsVerboseAsm) {
174 StringRef Name = ARMBuildAttrs::AttrTypeAsString(Attribute);
175 if (!Name.empty())
176 OS << "\t@ " << Name;
177 }
Logan Chien8cbb80d2013-10-28 17:51:12 +0000178 break;
179 }
Saleem Abdulrasool87ccd362014-01-07 02:28:42 +0000180 OS << "\n";
181}
182void ARMTargetAsmStreamer::emitIntTextAttribute(unsigned Attribute,
183 unsigned IntValue,
184 StringRef StringValue) {
185 switch (Attribute) {
186 default: llvm_unreachable("unsupported multi-value attribute in asm mode");
187 case ARMBuildAttrs::compatibility:
188 OS << "\t.eabi_attribute\t" << Attribute << ", " << IntValue;
189 if (!StringValue.empty())
190 OS << ", \"" << StringValue << "\"";
Saleem Abdulrasoolf16e68a2014-01-07 02:28:50 +0000191 if (IsVerboseAsm)
192 OS << "\t@ " << ARMBuildAttrs::AttrTypeAsString(Attribute);
Saleem Abdulrasool87ccd362014-01-07 02:28:42 +0000193 break;
194 }
195 OS << "\n";
Logan Chien8cbb80d2013-10-28 17:51:12 +0000196}
Logan Chien439e8f92013-12-11 17:16:25 +0000197void ARMTargetAsmStreamer::emitArch(unsigned Arch) {
Renato Golinf5f373f2015-05-08 21:04:27 +0000198 OS << "\t.arch\t" << ARMTargetParser::getArchName(Arch) << "\n";
Logan Chien439e8f92013-12-11 17:16:25 +0000199}
Sumanth Gundapanenia9049ea2015-02-26 18:07:35 +0000200void ARMTargetAsmStreamer::emitArchExtension(unsigned ArchExt) {
Renato Golinf5f373f2015-05-08 21:04:27 +0000201 OS << "\t.arch_extension\t" << ARMTargetParser::getArchExtName(ArchExt) << "\n";
Sumanth Gundapanenia9049ea2015-02-26 18:07:35 +0000202}
Saleem Abdulrasool4c4789b2014-01-30 04:46:41 +0000203void ARMTargetAsmStreamer::emitObjectArch(unsigned Arch) {
Renato Golinf5f373f2015-05-08 21:04:27 +0000204 OS << "\t.object_arch\t" << ARMTargetParser::getArchName(Arch) << '\n';
Saleem Abdulrasool4c4789b2014-01-30 04:46:41 +0000205}
Logan Chien8cbb80d2013-10-28 17:51:12 +0000206void ARMTargetAsmStreamer::emitFPU(unsigned FPU) {
Renato Golinf5f373f2015-05-08 21:04:27 +0000207 OS << "\t.fpu\t" << ARMTargetParser::getFPUName(FPU) << "\n";
Logan Chien8cbb80d2013-10-28 17:51:12 +0000208}
209void ARMTargetAsmStreamer::finishAttributeSection() {
210}
Saleem Abdulrasool56e06e82014-01-30 04:02:47 +0000211void
212ARMTargetAsmStreamer::AnnotateTLSDescriptorSequence(const MCSymbolRefExpr *S) {
213 OS << "\t.tlsdescseq\t" << S->getSymbol().getName();
214}
Rafael Espindolaa17151a2013-10-08 13:08:17 +0000215
Rafael Espindola466d6632014-04-27 20:23:58 +0000216void ARMTargetAsmStreamer::emitThumbSet(MCSymbol *Symbol, const MCExpr *Value) {
Matt Arsenault8b643552015-06-09 00:31:39 +0000217 const MCAsmInfo *MAI = Streamer.getContext().getAsmInfo();
218
219 OS << "\t.thumb_set\t";
220 Symbol->print(OS, MAI);
221 OS << ", ";
222 Value->print(OS, MAI);
223 OS << '\n';
Rafael Espindola466d6632014-04-27 20:23:58 +0000224}
225
Saleem Abdulrasoolc0da2cb2013-12-19 05:17:58 +0000226void ARMTargetAsmStreamer::emitInst(uint32_t Inst, char Suffix) {
227 OS << "\t.inst";
228 if (Suffix)
229 OS << "." << Suffix;
Benjamin Kramerbe48c402015-05-23 16:39:10 +0000230 OS << "\t0x" << Twine::utohexstr(Inst) << "\n";
Saleem Abdulrasoolc0da2cb2013-12-19 05:17:58 +0000231}
232
Saleem Abdulrasoold9f08602014-01-21 02:33:10 +0000233void ARMTargetAsmStreamer::emitUnwindRaw(int64_t Offset,
234 const SmallVectorImpl<uint8_t> &Opcodes) {
235 OS << "\t.unwind_raw " << Offset;
236 for (SmallVectorImpl<uint8_t>::const_iterator OCI = Opcodes.begin(),
237 OCE = Opcodes.end();
238 OCI != OCE; ++OCI)
Benjamin Kramerbe48c402015-05-23 16:39:10 +0000239 OS << ", 0x" << Twine::utohexstr(*OCI);
Saleem Abdulrasoold9f08602014-01-21 02:33:10 +0000240 OS << '\n';
241}
242
Rafael Espindolaa17151a2013-10-08 13:08:17 +0000243class ARMTargetELFStreamer : public ARMTargetStreamer {
Logan Chien8cbb80d2013-10-28 17:51:12 +0000244private:
245 // This structure holds all attributes, accounting for
246 // their string/numeric value, so we can later emmit them
247 // in declaration order, keeping all in the same vector
248 struct AttributeItem {
249 enum {
250 HiddenAttribute = 0,
251 NumericAttribute,
Saleem Abdulrasool87ccd362014-01-07 02:28:42 +0000252 TextAttribute,
253 NumericAndTextAttributes
Logan Chien8cbb80d2013-10-28 17:51:12 +0000254 } Type;
255 unsigned Tag;
256 unsigned IntValue;
257 StringRef StringValue;
258
259 static bool LessTag(const AttributeItem &LHS, const AttributeItem &RHS) {
Charlie Turner8b2caa42015-01-05 13:12:17 +0000260 // The conformance tag must be emitted first when serialised
261 // into an object file. Specifically, the addenda to the ARM ABI
262 // states that (2.3.7.4):
263 //
264 // "To simplify recognition by consumers in the common case of
265 // claiming conformity for the whole file, this tag should be
266 // emitted first in a file-scope sub-subsection of the first
267 // public subsection of the attributes section."
268 //
269 // So it is special-cased in this comparison predicate when the
270 // attributes are sorted in finishAttributeSection().
271 return (RHS.Tag != ARMBuildAttrs::conformance) &&
272 ((LHS.Tag == ARMBuildAttrs::conformance) || (LHS.Tag < RHS.Tag));
Logan Chien8cbb80d2013-10-28 17:51:12 +0000273 }
274 };
275
276 StringRef CurrentVendor;
277 unsigned FPU;
Logan Chien439e8f92013-12-11 17:16:25 +0000278 unsigned Arch;
Saleem Abdulrasool4c4789b2014-01-30 04:46:41 +0000279 unsigned EmittedArch;
Logan Chien8cbb80d2013-10-28 17:51:12 +0000280 SmallVector<AttributeItem, 64> Contents;
281
Rafael Espindola0709a7b2015-05-21 19:20:38 +0000282 MCSection *AttributeSection;
Logan Chien8cbb80d2013-10-28 17:51:12 +0000283
Logan Chien8cbb80d2013-10-28 17:51:12 +0000284 AttributeItem *getAttributeItem(unsigned Attribute) {
285 for (size_t i = 0; i < Contents.size(); ++i)
286 if (Contents[i].Tag == Attribute)
287 return &Contents[i];
Craig Topper062a2ba2014-04-25 05:30:21 +0000288 return nullptr;
Logan Chien8cbb80d2013-10-28 17:51:12 +0000289 }
290
291 void setAttributeItem(unsigned Attribute, unsigned Value,
292 bool OverwriteExisting) {
293 // Look for existing attribute item
294 if (AttributeItem *Item = getAttributeItem(Attribute)) {
295 if (!OverwriteExisting)
296 return;
Saleem Abdulrasool93900052014-01-19 08:25:41 +0000297 Item->Type = AttributeItem::NumericAttribute;
Logan Chien8cbb80d2013-10-28 17:51:12 +0000298 Item->IntValue = Value;
299 return;
300 }
301
302 // Create new attribute item
303 AttributeItem Item = {
304 AttributeItem::NumericAttribute,
305 Attribute,
306 Value,
307 StringRef("")
308 };
309 Contents.push_back(Item);
310 }
311
312 void setAttributeItem(unsigned Attribute, StringRef Value,
313 bool OverwriteExisting) {
314 // Look for existing attribute item
315 if (AttributeItem *Item = getAttributeItem(Attribute)) {
316 if (!OverwriteExisting)
317 return;
Saleem Abdulrasool93900052014-01-19 08:25:41 +0000318 Item->Type = AttributeItem::TextAttribute;
Logan Chien8cbb80d2013-10-28 17:51:12 +0000319 Item->StringValue = Value;
320 return;
321 }
322
323 // Create new attribute item
324 AttributeItem Item = {
325 AttributeItem::TextAttribute,
326 Attribute,
327 0,
328 Value
329 };
330 Contents.push_back(Item);
331 }
332
Saleem Abdulrasool87ccd362014-01-07 02:28:42 +0000333 void setAttributeItems(unsigned Attribute, unsigned IntValue,
334 StringRef StringValue, bool OverwriteExisting) {
335 // Look for existing attribute item
336 if (AttributeItem *Item = getAttributeItem(Attribute)) {
337 if (!OverwriteExisting)
338 return;
Saleem Abdulrasool93900052014-01-19 08:25:41 +0000339 Item->Type = AttributeItem::NumericAndTextAttributes;
Saleem Abdulrasool87ccd362014-01-07 02:28:42 +0000340 Item->IntValue = IntValue;
341 Item->StringValue = StringValue;
342 return;
343 }
344
345 // Create new attribute item
346 AttributeItem Item = {
347 AttributeItem::NumericAndTextAttributes,
348 Attribute,
349 IntValue,
350 StringValue
351 };
352 Contents.push_back(Item);
353 }
354
Logan Chien439e8f92013-12-11 17:16:25 +0000355 void emitArchDefaultAttributes();
Logan Chien8cbb80d2013-10-28 17:51:12 +0000356 void emitFPUDefaultAttributes();
357
Rafael Espindolaa17151a2013-10-08 13:08:17 +0000358 ARMELFStreamer &getStreamer();
Logan Chien8cbb80d2013-10-28 17:51:12 +0000359
Craig Topperca7e3e52014-03-10 03:19:03 +0000360 void emitFnStart() override;
361 void emitFnEnd() override;
362 void emitCantUnwind() override;
363 void emitPersonality(const MCSymbol *Personality) override;
364 void emitPersonalityIndex(unsigned Index) override;
365 void emitHandlerData() override;
366 void emitSetFP(unsigned FpReg, unsigned SpReg, int64_t Offset = 0) override;
367 void emitMovSP(unsigned Reg, int64_t Offset = 0) override;
368 void emitPad(int64_t Offset) override;
369 void emitRegSave(const SmallVectorImpl<unsigned> &RegList,
370 bool isVector) override;
371 void emitUnwindRaw(int64_t Offset,
372 const SmallVectorImpl<uint8_t> &Opcodes) override;
Logan Chien8cbb80d2013-10-28 17:51:12 +0000373
Craig Topperca7e3e52014-03-10 03:19:03 +0000374 void switchVendor(StringRef Vendor) override;
375 void emitAttribute(unsigned Attribute, unsigned Value) override;
376 void emitTextAttribute(unsigned Attribute, StringRef String) override;
377 void emitIntTextAttribute(unsigned Attribute, unsigned IntValue,
378 StringRef StringValue) override;
379 void emitArch(unsigned Arch) override;
380 void emitObjectArch(unsigned Arch) override;
381 void emitFPU(unsigned FPU) override;
382 void emitInst(uint32_t Inst, char Suffix = '\0') override;
383 void finishAttributeSection() override;
Rafael Espindola4c6f6132014-04-27 17:10:46 +0000384 void emitLabel(MCSymbol *Symbol) override;
Logan Chien8cbb80d2013-10-28 17:51:12 +0000385
Craig Topperca7e3e52014-03-10 03:19:03 +0000386 void AnnotateTLSDescriptorSequence(const MCSymbolRefExpr *SRE) override;
Rafael Espindola466d6632014-04-27 20:23:58 +0000387 void emitThumbSet(MCSymbol *Symbol, const MCExpr *Value) override;
Saleem Abdulrasool56e06e82014-01-30 04:02:47 +0000388
Logan Chien8cbb80d2013-10-28 17:51:12 +0000389 size_t calculateContentSize() const;
390
391public:
Rafael Espindola24ea09e2014-01-26 06:06:37 +0000392 ARMTargetELFStreamer(MCStreamer &S)
Renato Golin35de35d2015-05-12 10:33:58 +0000393 : ARMTargetStreamer(S), CurrentVendor("aeabi"), FPU(ARM::FK_INVALID),
394 Arch(ARM::AK_INVALID), EmittedArch(ARM::AK_INVALID),
Craig Topper062a2ba2014-04-25 05:30:21 +0000395 AttributeSection(nullptr) {}
Rafael Espindolaa17151a2013-10-08 13:08:17 +0000396};
397
Tim Northover5cc3dc82012-12-07 16:50:23 +0000398/// Extend the generic ELFStreamer class so that it can emit mapping symbols at
399/// the appropriate points in the object files. These symbols are defined in the
400/// ARM ELF ABI: infocenter.arm.com/help/topic/com.arm.../IHI0044D_aaelf.pdf.
401///
402/// In brief: $a, $t or $d should be emitted at the start of each contiguous
403/// region of ARM code, Thumb code or data in a section. In practice, this
404/// emission does not rely on explicit assembler directives but on inherent
405/// properties of the directives doing the emission (e.g. ".byte" is data, "add
406/// r0, r0, r0" an instruction).
407///
408/// As a result this system is orthogonal to the DataRegion infrastructure used
409/// by MachO. Beware!
410class ARMELFStreamer : public MCELFStreamer {
411public:
Rafael Espindolaa17151a2013-10-08 13:08:17 +0000412 friend class ARMTargetELFStreamer;
413
Rafael Espindola5560a4c2015-04-14 22:14:34 +0000414 ARMELFStreamer(MCContext &Context, MCAsmBackend &TAB, raw_pwrite_stream &OS,
Rafael Espindola24ea09e2014-01-26 06:06:37 +0000415 MCCodeEmitter *Emitter, bool IsThumb)
416 : MCELFStreamer(Context, TAB, OS, Emitter), IsThumb(IsThumb),
417 MappingSymbolCounter(0), LastEMS(EMS_None) {
Logan Chiend8bb4b72013-04-16 12:02:21 +0000418 Reset();
419 }
Tim Northover5cc3dc82012-12-07 16:50:23 +0000420
421 ~ARMELFStreamer() {}
422
Craig Topperca7e3e52014-03-10 03:19:03 +0000423 void FinishImpl() override;
Logan Chien8cbb80d2013-10-28 17:51:12 +0000424
Logan Chien2bcc42c2013-01-30 15:39:04 +0000425 // ARM exception handling directives
Rafael Espindolaa17151a2013-10-08 13:08:17 +0000426 void emitFnStart();
427 void emitFnEnd();
428 void emitCantUnwind();
429 void emitPersonality(const MCSymbol *Per);
Saleem Abdulrasool662f5c12014-01-21 02:33:02 +0000430 void emitPersonalityIndex(unsigned index);
Rafael Espindolaa17151a2013-10-08 13:08:17 +0000431 void emitHandlerData();
432 void emitSetFP(unsigned NewFpReg, unsigned NewSpReg, int64_t Offset = 0);
Saleem Abdulrasool5d962d32014-01-30 04:46:24 +0000433 void emitMovSP(unsigned Reg, int64_t Offset = 0);
Rafael Espindolaa17151a2013-10-08 13:08:17 +0000434 void emitPad(int64_t Offset);
435 void emitRegSave(const SmallVectorImpl<unsigned> &RegList, bool isVector);
Saleem Abdulrasoold9f08602014-01-21 02:33:10 +0000436 void emitUnwindRaw(int64_t Offset, const SmallVectorImpl<uint8_t> &Opcodes);
Logan Chien2bcc42c2013-01-30 15:39:04 +0000437
Rafael Espindola0709a7b2015-05-21 19:20:38 +0000438 void ChangeSection(MCSection *Section, const MCExpr *Subsection) override {
Tim Northover5cc3dc82012-12-07 16:50:23 +0000439 // We have to keep track of the mapping symbol state of any sections we
440 // use. Each one should start off as EMS_None, which is provided as the
441 // default constructor by DenseMap::lookup.
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000442 LastMappingSymbols[getPreviousSection().first] = LastEMS;
Tim Northover5cc3dc82012-12-07 16:50:23 +0000443 LastEMS = LastMappingSymbols.lookup(Section);
444
Peter Collingbourne2f495b92013-04-17 21:18:16 +0000445 MCELFStreamer::ChangeSection(Section, Subsection);
Tim Northover5cc3dc82012-12-07 16:50:23 +0000446 }
447
448 /// This function is the one used to emit instruction data into the ELF
449 /// streamer. We override it to add the appropriate mapping symbol if
450 /// necessary.
Craig Topperca7e3e52014-03-10 03:19:03 +0000451 void EmitInstruction(const MCInst& Inst,
452 const MCSubtargetInfo &STI) override {
Tim Northover5cc3dc82012-12-07 16:50:23 +0000453 if (IsThumb)
454 EmitThumbMappingSymbol();
455 else
456 EmitARMMappingSymbol();
457
David Woodhousee6c13e42014-01-28 23:12:42 +0000458 MCELFStreamer::EmitInstruction(Inst, STI);
Tim Northover5cc3dc82012-12-07 16:50:23 +0000459 }
460
Craig Topperd25ff6f2014-03-10 03:22:59 +0000461 void emitInst(uint32_t Inst, char Suffix) {
Saleem Abdulrasoolc0da2cb2013-12-19 05:17:58 +0000462 unsigned Size;
463 char Buffer[4];
464 const bool LittleEndian = getContext().getAsmInfo()->isLittleEndian();
465
466 switch (Suffix) {
467 case '\0':
468 Size = 4;
469
470 assert(!IsThumb);
471 EmitARMMappingSymbol();
472 for (unsigned II = 0, IE = Size; II != IE; II++) {
473 const unsigned I = LittleEndian ? (Size - II - 1) : II;
474 Buffer[Size - II - 1] = uint8_t(Inst >> I * CHAR_BIT);
475 }
476
477 break;
478 case 'n':
479 case 'w':
480 Size = (Suffix == 'n' ? 2 : 4);
481
482 assert(IsThumb);
483 EmitThumbMappingSymbol();
484 for (unsigned II = 0, IE = Size; II != IE; II = II + 2) {
485 const unsigned I0 = LittleEndian ? II + 0 : (Size - II - 1);
486 const unsigned I1 = LittleEndian ? II + 1 : (Size - II - 2);
487 Buffer[Size - II - 2] = uint8_t(Inst >> I0 * CHAR_BIT);
488 Buffer[Size - II - 1] = uint8_t(Inst >> I1 * CHAR_BIT);
489 }
490
491 break;
492 default:
493 llvm_unreachable("Invalid Suffix");
494 }
495
496 MCELFStreamer::EmitBytes(StringRef(Buffer, Size));
497 }
498
Tim Northover5cc3dc82012-12-07 16:50:23 +0000499 /// This is one of the functions used to emit data into an ELF section, so the
500 /// ARM streamer overrides it to add the appropriate mapping symbol ($d) if
501 /// necessary.
Craig Topperca7e3e52014-03-10 03:19:03 +0000502 void EmitBytes(StringRef Data) override {
Tim Northover5cc3dc82012-12-07 16:50:23 +0000503 EmitDataMappingSymbol();
Rafael Espindola64e1af82013-07-02 15:49:13 +0000504 MCELFStreamer::EmitBytes(Data);
Tim Northover5cc3dc82012-12-07 16:50:23 +0000505 }
506
507 /// This is one of the functions used to emit data into an ELF section, so the
508 /// ARM streamer overrides it to add the appropriate mapping symbol ($d) if
509 /// necessary.
Kevin Enderby96918bc2014-04-22 17:27:29 +0000510 void EmitValueImpl(const MCExpr *Value, unsigned Size,
511 const SMLoc &Loc) override {
Saleem Abdulrasoolfe781972015-01-11 04:39:18 +0000512 if (const MCSymbolRefExpr *SRE = dyn_cast_or_null<MCSymbolRefExpr>(Value))
513 if (SRE->getKind() == MCSymbolRefExpr::VK_ARM_SBREL && !(Size == 4))
Jim Grosbach6f482002015-05-18 18:43:14 +0000514 getContext().reportFatalError(Loc, "relocated expression must be 32-bit");
Saleem Abdulrasoolfe781972015-01-11 04:39:18 +0000515
Tim Northover5cc3dc82012-12-07 16:50:23 +0000516 EmitDataMappingSymbol();
Rafael Espindola64e1af82013-07-02 15:49:13 +0000517 MCELFStreamer::EmitValueImpl(Value, Size);
Tim Northover5cc3dc82012-12-07 16:50:23 +0000518 }
519
Craig Topperca7e3e52014-03-10 03:19:03 +0000520 void EmitAssemblerFlag(MCAssemblerFlag Flag) override {
Tim Northover5cc3dc82012-12-07 16:50:23 +0000521 MCELFStreamer::EmitAssemblerFlag(Flag);
522
523 switch (Flag) {
524 case MCAF_SyntaxUnified:
525 return; // no-op here.
526 case MCAF_Code16:
527 IsThumb = true;
528 return; // Change to Thumb mode
529 case MCAF_Code32:
530 IsThumb = false;
531 return; // Change to ARM mode
532 case MCAF_Code64:
533 return;
534 case MCAF_SubsectionsViaSymbols:
535 return;
536 }
537 }
538
539private:
540 enum ElfMappingSymbol {
541 EMS_None,
542 EMS_ARM,
543 EMS_Thumb,
544 EMS_Data
545 };
546
547 void EmitDataMappingSymbol() {
548 if (LastEMS == EMS_Data) return;
549 EmitMappingSymbol("$d");
550 LastEMS = EMS_Data;
551 }
552
553 void EmitThumbMappingSymbol() {
554 if (LastEMS == EMS_Thumb) return;
555 EmitMappingSymbol("$t");
556 LastEMS = EMS_Thumb;
557 }
558
559 void EmitARMMappingSymbol() {
560 if (LastEMS == EMS_ARM) return;
561 EmitMappingSymbol("$a");
562 LastEMS = EMS_ARM;
563 }
564
565 void EmitMappingSymbol(StringRef Name) {
Rafael Espindola95fb9b92015-06-02 20:38:46 +0000566 auto *Symbol = cast<MCSymbolELF>(getContext().getOrCreateSymbol(
567 Name + "." + Twine(MappingSymbolCounter++)));
Rafael Espindolac5fb5082015-06-26 11:31:13 +0000568 EmitLabel(Symbol);
Tim Northover5cc3dc82012-12-07 16:50:23 +0000569
Rafael Espindola95fb9b92015-06-02 20:38:46 +0000570 Symbol->setType(ELF::STT_NOTYPE);
571 Symbol->setBinding(ELF::STB_LOCAL);
Rafael Espindola4d37b2a2015-05-29 21:45:01 +0000572 Symbol->setExternal(false);
Tim Northover5cc3dc82012-12-07 16:50:23 +0000573 }
574
Craig Topperca7e3e52014-03-10 03:19:03 +0000575 void EmitThumbFunc(MCSymbol *Func) override {
Tim Northover5cc3dc82012-12-07 16:50:23 +0000576 getAssembler().setIsThumbFunc(Func);
Rafael Espindolab60c8292014-04-29 12:46:50 +0000577 EmitSymbolAttribute(Func, MCSA_ELF_TypeFunction);
Tim Northover5cc3dc82012-12-07 16:50:23 +0000578 }
579
Logan Chien2bcc42c2013-01-30 15:39:04 +0000580 // Helper functions for ARM exception handling directives
581 void Reset();
582
583 void EmitPersonalityFixup(StringRef Name);
Logan Chien325823a2013-06-09 12:22:30 +0000584 void FlushPendingOffset();
Logan Chienc931fce2013-07-02 12:43:27 +0000585 void FlushUnwindOpcodes(bool NoHandlerData);
Logan Chien2bcc42c2013-01-30 15:39:04 +0000586
587 void SwitchToEHSection(const char *Prefix, unsigned Type, unsigned Flags,
588 SectionKind Kind, const MCSymbol &Fn);
589 void SwitchToExTabSection(const MCSymbol &FnStart);
590 void SwitchToExIdxSection(const MCSymbol &FnStart);
Tim Northover5cc3dc82012-12-07 16:50:23 +0000591
Saleem Abdulrasool56e06e82014-01-30 04:02:47 +0000592 void EmitFixup(const MCExpr *Expr, MCFixupKind Kind);
593
Tim Northover5cc3dc82012-12-07 16:50:23 +0000594 bool IsThumb;
595 int64_t MappingSymbolCounter;
596
597 DenseMap<const MCSection *, ElfMappingSymbol> LastMappingSymbols;
598 ElfMappingSymbol LastEMS;
599
Logan Chien2bcc42c2013-01-30 15:39:04 +0000600 // ARM Exception Handling Frame Information
601 MCSymbol *ExTab;
602 MCSymbol *FnStart;
603 const MCSymbol *Personality;
Logan Chien325823a2013-06-09 12:22:30 +0000604 unsigned PersonalityIndex;
605 unsigned FPReg; // Frame pointer register
606 int64_t FPOffset; // Offset: (final frame pointer) - (initial $sp)
607 int64_t SPOffset; // Offset: (final $sp) - (initial $sp)
608 int64_t PendingOffset; // Offset: (final $sp) - (emitted $sp)
Logan Chiend8bb4b72013-04-16 12:02:21 +0000609 bool UsedFP;
Logan Chien2bcc42c2013-01-30 15:39:04 +0000610 bool CantUnwind;
Logan Chien325823a2013-06-09 12:22:30 +0000611 SmallVector<uint8_t, 64> Opcodes;
Logan Chiend8bb4b72013-04-16 12:02:21 +0000612 UnwindOpcodeAssembler UnwindOpAsm;
Tim Northover5cc3dc82012-12-07 16:50:23 +0000613};
Logan Chiend8bb4b72013-04-16 12:02:21 +0000614} // end anonymous namespace
Tim Northover5cc3dc82012-12-07 16:50:23 +0000615
Rafael Espindolaa17151a2013-10-08 13:08:17 +0000616ARMELFStreamer &ARMTargetELFStreamer::getStreamer() {
Rafael Espindola24ea09e2014-01-26 06:06:37 +0000617 return static_cast<ARMELFStreamer &>(Streamer);
Rafael Espindolaa17151a2013-10-08 13:08:17 +0000618}
619
620void ARMTargetELFStreamer::emitFnStart() { getStreamer().emitFnStart(); }
621void ARMTargetELFStreamer::emitFnEnd() { getStreamer().emitFnEnd(); }
622void ARMTargetELFStreamer::emitCantUnwind() { getStreamer().emitCantUnwind(); }
623void ARMTargetELFStreamer::emitPersonality(const MCSymbol *Personality) {
624 getStreamer().emitPersonality(Personality);
625}
Saleem Abdulrasool662f5c12014-01-21 02:33:02 +0000626void ARMTargetELFStreamer::emitPersonalityIndex(unsigned Index) {
627 getStreamer().emitPersonalityIndex(Index);
628}
Rafael Espindolaa17151a2013-10-08 13:08:17 +0000629void ARMTargetELFStreamer::emitHandlerData() {
630 getStreamer().emitHandlerData();
631}
632void ARMTargetELFStreamer::emitSetFP(unsigned FpReg, unsigned SpReg,
633 int64_t Offset) {
634 getStreamer().emitSetFP(FpReg, SpReg, Offset);
635}
Saleem Abdulrasool5d962d32014-01-30 04:46:24 +0000636void ARMTargetELFStreamer::emitMovSP(unsigned Reg, int64_t Offset) {
637 getStreamer().emitMovSP(Reg, Offset);
638}
Rafael Espindolaa17151a2013-10-08 13:08:17 +0000639void ARMTargetELFStreamer::emitPad(int64_t Offset) {
640 getStreamer().emitPad(Offset);
641}
642void ARMTargetELFStreamer::emitRegSave(const SmallVectorImpl<unsigned> &RegList,
643 bool isVector) {
644 getStreamer().emitRegSave(RegList, isVector);
645}
Saleem Abdulrasoold9f08602014-01-21 02:33:10 +0000646void ARMTargetELFStreamer::emitUnwindRaw(int64_t Offset,
647 const SmallVectorImpl<uint8_t> &Opcodes) {
648 getStreamer().emitUnwindRaw(Offset, Opcodes);
649}
Logan Chien8cbb80d2013-10-28 17:51:12 +0000650void ARMTargetELFStreamer::switchVendor(StringRef Vendor) {
651 assert(!Vendor.empty() && "Vendor cannot be empty.");
652
653 if (CurrentVendor == Vendor)
654 return;
655
656 if (!CurrentVendor.empty())
657 finishAttributeSection();
658
659 assert(Contents.empty() &&
660 ".ARM.attributes should be flushed before changing vendor");
661 CurrentVendor = Vendor;
662
663}
664void ARMTargetELFStreamer::emitAttribute(unsigned Attribute, unsigned Value) {
665 setAttributeItem(Attribute, Value, /* OverwriteExisting= */ true);
666}
667void ARMTargetELFStreamer::emitTextAttribute(unsigned Attribute,
668 StringRef Value) {
669 setAttributeItem(Attribute, Value, /* OverwriteExisting= */ true);
670}
Saleem Abdulrasool87ccd362014-01-07 02:28:42 +0000671void ARMTargetELFStreamer::emitIntTextAttribute(unsigned Attribute,
672 unsigned IntValue,
673 StringRef StringValue) {
674 setAttributeItems(Attribute, IntValue, StringValue,
675 /* OverwriteExisting= */ true);
676}
Logan Chien439e8f92013-12-11 17:16:25 +0000677void ARMTargetELFStreamer::emitArch(unsigned Value) {
678 Arch = Value;
679}
Saleem Abdulrasool4c4789b2014-01-30 04:46:41 +0000680void ARMTargetELFStreamer::emitObjectArch(unsigned Value) {
681 EmittedArch = Value;
682}
Logan Chien439e8f92013-12-11 17:16:25 +0000683void ARMTargetELFStreamer::emitArchDefaultAttributes() {
684 using namespace ARMBuildAttrs;
Saleem Abdulrasool4c4789b2014-01-30 04:46:41 +0000685
Renato Golinf5f373f2015-05-08 21:04:27 +0000686 setAttributeItem(CPU_name,
Renato Golinf7c0d5f2015-05-27 18:15:37 +0000687 ARMTargetParser::getCPUAttr(Arch),
Renato Golinf5f373f2015-05-08 21:04:27 +0000688 false);
689
Renato Golin35de35d2015-05-12 10:33:58 +0000690 if (EmittedArch == ARM::AK_INVALID)
Renato Golinf5f373f2015-05-08 21:04:27 +0000691 setAttributeItem(CPU_arch,
Renato Golinf7c0d5f2015-05-27 18:15:37 +0000692 ARMTargetParser::getArchAttr(Arch),
Renato Golinf5f373f2015-05-08 21:04:27 +0000693 false);
Saleem Abdulrasool4c4789b2014-01-30 04:46:41 +0000694 else
Renato Golinf5f373f2015-05-08 21:04:27 +0000695 setAttributeItem(CPU_arch,
Renato Golinf7c0d5f2015-05-27 18:15:37 +0000696 ARMTargetParser::getArchAttr(EmittedArch),
Renato Golinf5f373f2015-05-08 21:04:27 +0000697 false);
Logan Chien439e8f92013-12-11 17:16:25 +0000698
699 switch (Arch) {
Renato Golin35de35d2015-05-12 10:33:58 +0000700 case ARM::AK_ARMV2:
701 case ARM::AK_ARMV2A:
702 case ARM::AK_ARMV3:
703 case ARM::AK_ARMV3M:
704 case ARM::AK_ARMV4:
705 case ARM::AK_ARMV5:
Logan Chien439e8f92013-12-11 17:16:25 +0000706 setAttributeItem(ARM_ISA_use, Allowed, false);
707 break;
708
Renato Golin35de35d2015-05-12 10:33:58 +0000709 case ARM::AK_ARMV4T:
710 case ARM::AK_ARMV5T:
711 case ARM::AK_ARMV5TE:
712 case ARM::AK_ARMV6:
713 case ARM::AK_ARMV6J:
Logan Chien439e8f92013-12-11 17:16:25 +0000714 setAttributeItem(ARM_ISA_use, Allowed, false);
715 setAttributeItem(THUMB_ISA_use, Allowed, false);
716 break;
717
Renato Golin35de35d2015-05-12 10:33:58 +0000718 case ARM::AK_ARMV6T2:
Logan Chien439e8f92013-12-11 17:16:25 +0000719 setAttributeItem(ARM_ISA_use, Allowed, false);
720 setAttributeItem(THUMB_ISA_use, AllowThumb32, false);
721 break;
722
Renato Golin35de35d2015-05-12 10:33:58 +0000723 case ARM::AK_ARMV6K:
724 case ARM::AK_ARMV6Z:
725 case ARM::AK_ARMV6ZK:
Logan Chien439e8f92013-12-11 17:16:25 +0000726 setAttributeItem(ARM_ISA_use, Allowed, false);
727 setAttributeItem(THUMB_ISA_use, Allowed, false);
728 setAttributeItem(Virtualization_use, AllowTZ, false);
729 break;
730
Renato Golin35de35d2015-05-12 10:33:58 +0000731 case ARM::AK_ARMV6M:
Logan Chien439e8f92013-12-11 17:16:25 +0000732 setAttributeItem(THUMB_ISA_use, Allowed, false);
733 break;
734
Renato Golin35de35d2015-05-12 10:33:58 +0000735 case ARM::AK_ARMV7:
Logan Chien439e8f92013-12-11 17:16:25 +0000736 setAttributeItem(THUMB_ISA_use, AllowThumb32, false);
737 break;
738
Renato Golin35de35d2015-05-12 10:33:58 +0000739 case ARM::AK_ARMV7A:
Logan Chien439e8f92013-12-11 17:16:25 +0000740 setAttributeItem(CPU_arch_profile, ApplicationProfile, false);
741 setAttributeItem(ARM_ISA_use, Allowed, false);
742 setAttributeItem(THUMB_ISA_use, AllowThumb32, false);
743 break;
744
Renato Golin35de35d2015-05-12 10:33:58 +0000745 case ARM::AK_ARMV7R:
Logan Chien439e8f92013-12-11 17:16:25 +0000746 setAttributeItem(CPU_arch_profile, RealTimeProfile, false);
747 setAttributeItem(ARM_ISA_use, Allowed, false);
748 setAttributeItem(THUMB_ISA_use, AllowThumb32, false);
749 break;
750
Renato Golin35de35d2015-05-12 10:33:58 +0000751 case ARM::AK_ARMV7M:
Logan Chien439e8f92013-12-11 17:16:25 +0000752 setAttributeItem(CPU_arch_profile, MicroControllerProfile, false);
753 setAttributeItem(THUMB_ISA_use, AllowThumb32, false);
754 break;
755
Renato Golin35de35d2015-05-12 10:33:58 +0000756 case ARM::AK_ARMV8A:
757 case ARM::AK_ARMV8_1A:
Logan Chien439e8f92013-12-11 17:16:25 +0000758 setAttributeItem(CPU_arch_profile, ApplicationProfile, false);
759 setAttributeItem(ARM_ISA_use, Allowed, false);
760 setAttributeItem(THUMB_ISA_use, AllowThumb32, false);
761 setAttributeItem(MPextension_use, Allowed, false);
762 setAttributeItem(Virtualization_use, AllowTZVirtualization, false);
763 break;
764
Renato Golin35de35d2015-05-12 10:33:58 +0000765 case ARM::AK_IWMMXT:
Logan Chien439e8f92013-12-11 17:16:25 +0000766 setAttributeItem(ARM_ISA_use, Allowed, false);
767 setAttributeItem(THUMB_ISA_use, Allowed, false);
768 setAttributeItem(WMMX_arch, AllowWMMXv1, false);
769 break;
770
Renato Golin35de35d2015-05-12 10:33:58 +0000771 case ARM::AK_IWMMXT2:
Logan Chien439e8f92013-12-11 17:16:25 +0000772 setAttributeItem(ARM_ISA_use, Allowed, false);
773 setAttributeItem(THUMB_ISA_use, Allowed, false);
774 setAttributeItem(WMMX_arch, AllowWMMXv2, false);
775 break;
776
777 default:
778 report_fatal_error("Unknown Arch: " + Twine(Arch));
779 break;
780 }
781}
Logan Chien8cbb80d2013-10-28 17:51:12 +0000782void ARMTargetELFStreamer::emitFPU(unsigned Value) {
783 FPU = Value;
784}
785void ARMTargetELFStreamer::emitFPUDefaultAttributes() {
786 switch (FPU) {
Renato Golin35de35d2015-05-12 10:33:58 +0000787 case ARM::FK_VFP:
788 case ARM::FK_VFPV2:
Logan Chiena39510a2013-12-18 17:23:15 +0000789 setAttributeItem(ARMBuildAttrs::FP_arch,
Logan Chien8cbb80d2013-10-28 17:51:12 +0000790 ARMBuildAttrs::AllowFPv2,
791 /* OverwriteExisting= */ false);
792 break;
793
Renato Golin35de35d2015-05-12 10:33:58 +0000794 case ARM::FK_VFPV3:
Logan Chiena39510a2013-12-18 17:23:15 +0000795 setAttributeItem(ARMBuildAttrs::FP_arch,
Logan Chien8cbb80d2013-10-28 17:51:12 +0000796 ARMBuildAttrs::AllowFPv3A,
797 /* OverwriteExisting= */ false);
798 break;
799
Javed Absard5526302015-06-29 09:32:29 +0000800 case ARM::FK_VFPV3_FP16:
801 setAttributeItem(ARMBuildAttrs::FP_arch,
802 ARMBuildAttrs::AllowFPv3A,
803 /* OverwriteExisting= */ false);
804 setAttributeItem(ARMBuildAttrs::FP_HP_extension,
805 ARMBuildAttrs::AllowHPFP,
806 /* OverwriteExisting= */ false);
807 break;
808
Renato Golin35de35d2015-05-12 10:33:58 +0000809 case ARM::FK_VFPV3_D16:
Logan Chiena39510a2013-12-18 17:23:15 +0000810 setAttributeItem(ARMBuildAttrs::FP_arch,
Logan Chien8cbb80d2013-10-28 17:51:12 +0000811 ARMBuildAttrs::AllowFPv3B,
812 /* OverwriteExisting= */ false);
813 break;
814
Javed Absard5526302015-06-29 09:32:29 +0000815 case ARM::FK_VFPV3_D16_FP16:
816 setAttributeItem(ARMBuildAttrs::FP_arch,
817 ARMBuildAttrs::AllowFPv3B,
818 /* OverwriteExisting= */ false);
819 setAttributeItem(ARMBuildAttrs::FP_HP_extension,
820 ARMBuildAttrs::AllowHPFP,
821 /* OverwriteExisting= */ false);
822 break;
823
824 case ARM::FK_VFPV3XD:
825 setAttributeItem(ARMBuildAttrs::FP_arch,
826 ARMBuildAttrs::AllowFPv3B,
827 /* OverwriteExisting= */ false);
828 break;
829 case ARM::FK_VFPV3XD_FP16:
830 setAttributeItem(ARMBuildAttrs::FP_arch,
831 ARMBuildAttrs::AllowFPv3B,
832 /* OverwriteExisting= */ false);
833 setAttributeItem(ARMBuildAttrs::FP_HP_extension,
834 ARMBuildAttrs::AllowHPFP,
835 /* OverwriteExisting= */ false);
836 break;
837
Renato Golin35de35d2015-05-12 10:33:58 +0000838 case ARM::FK_VFPV4:
Logan Chiena39510a2013-12-18 17:23:15 +0000839 setAttributeItem(ARMBuildAttrs::FP_arch,
Logan Chien8cbb80d2013-10-28 17:51:12 +0000840 ARMBuildAttrs::AllowFPv4A,
841 /* OverwriteExisting= */ false);
842 break;
843
John Brawn985c04e2015-06-05 13:31:19 +0000844 // ABI_HardFP_use is handled in ARMAsmPrinter, so _SP_D16 is treated the same
845 // as _D16 here.
846 case ARM::FK_FPV4_SP_D16:
Renato Golin35de35d2015-05-12 10:33:58 +0000847 case ARM::FK_VFPV4_D16:
Logan Chiena39510a2013-12-18 17:23:15 +0000848 setAttributeItem(ARMBuildAttrs::FP_arch,
Logan Chien8cbb80d2013-10-28 17:51:12 +0000849 ARMBuildAttrs::AllowFPv4B,
850 /* OverwriteExisting= */ false);
851 break;
852
Renato Golin35de35d2015-05-12 10:33:58 +0000853 case ARM::FK_FP_ARMV8:
Logan Chiena39510a2013-12-18 17:23:15 +0000854 setAttributeItem(ARMBuildAttrs::FP_arch,
Logan Chien8cbb80d2013-10-28 17:51:12 +0000855 ARMBuildAttrs::AllowFPARMv8A,
856 /* OverwriteExisting= */ false);
857 break;
858
Oliver Stannard37e4daa2014-10-01 09:02:17 +0000859 // FPV5_D16 is identical to FP_ARMV8 except for the number of D registers, so
860 // uses the FP_ARMV8_D16 build attribute.
John Brawn985c04e2015-06-05 13:31:19 +0000861 case ARM::FK_FPV5_SP_D16:
Renato Golin35de35d2015-05-12 10:33:58 +0000862 case ARM::FK_FPV5_D16:
Oliver Stannard37e4daa2014-10-01 09:02:17 +0000863 setAttributeItem(ARMBuildAttrs::FP_arch,
864 ARMBuildAttrs::AllowFPARMv8B,
865 /* OverwriteExisting= */ false);
866 break;
867
Renato Golin35de35d2015-05-12 10:33:58 +0000868 case ARM::FK_NEON:
Logan Chiena39510a2013-12-18 17:23:15 +0000869 setAttributeItem(ARMBuildAttrs::FP_arch,
Logan Chien8cbb80d2013-10-28 17:51:12 +0000870 ARMBuildAttrs::AllowFPv3A,
871 /* OverwriteExisting= */ false);
872 setAttributeItem(ARMBuildAttrs::Advanced_SIMD_arch,
873 ARMBuildAttrs::AllowNeon,
874 /* OverwriteExisting= */ false);
875 break;
876
Javed Absard5526302015-06-29 09:32:29 +0000877 case ARM::FK_NEON_FP16:
878 setAttributeItem(ARMBuildAttrs::FP_arch,
879 ARMBuildAttrs::AllowFPv3A,
880 /* OverwriteExisting= */ false);
881 setAttributeItem(ARMBuildAttrs::Advanced_SIMD_arch,
882 ARMBuildAttrs::AllowNeon,
883 /* OverwriteExisting= */ false);
884 setAttributeItem(ARMBuildAttrs::FP_HP_extension,
885 ARMBuildAttrs::AllowHPFP,
886 /* OverwriteExisting= */ false);
887 break;
888
Renato Golin35de35d2015-05-12 10:33:58 +0000889 case ARM::FK_NEON_VFPV4:
Logan Chiena39510a2013-12-18 17:23:15 +0000890 setAttributeItem(ARMBuildAttrs::FP_arch,
Logan Chien8cbb80d2013-10-28 17:51:12 +0000891 ARMBuildAttrs::AllowFPv4A,
892 /* OverwriteExisting= */ false);
893 setAttributeItem(ARMBuildAttrs::Advanced_SIMD_arch,
894 ARMBuildAttrs::AllowNeon2,
895 /* OverwriteExisting= */ false);
896 break;
897
Renato Golin35de35d2015-05-12 10:33:58 +0000898 case ARM::FK_NEON_FP_ARMV8:
899 case ARM::FK_CRYPTO_NEON_FP_ARMV8:
Logan Chiena39510a2013-12-18 17:23:15 +0000900 setAttributeItem(ARMBuildAttrs::FP_arch,
Logan Chien8cbb80d2013-10-28 17:51:12 +0000901 ARMBuildAttrs::AllowFPARMv8A,
902 /* OverwriteExisting= */ false);
Vladimir Sukharevc632cda2015-03-26 17:05:54 +0000903 // 'Advanced_SIMD_arch' must be emitted not here, but within
904 // ARMAsmPrinter::emitAttributes(), depending on hasV8Ops() and hasV8_1a()
Logan Chien8cbb80d2013-10-28 17:51:12 +0000905 break;
906
Renato Golin35de35d2015-05-12 10:33:58 +0000907 case ARM::FK_SOFTVFP:
John Brawn985c04e2015-06-05 13:31:19 +0000908 case ARM::FK_NONE:
Logan Chien05ae7442014-01-02 15:50:02 +0000909 break;
910
Logan Chien8cbb80d2013-10-28 17:51:12 +0000911 default:
912 report_fatal_error("Unknown FPU: " + Twine(FPU));
913 break;
914 }
915}
916size_t ARMTargetELFStreamer::calculateContentSize() const {
917 size_t Result = 0;
918 for (size_t i = 0; i < Contents.size(); ++i) {
919 AttributeItem item = Contents[i];
920 switch (item.Type) {
921 case AttributeItem::HiddenAttribute:
922 break;
923 case AttributeItem::NumericAttribute:
Logan Chien5b776b72014-02-22 14:00:39 +0000924 Result += getULEB128Size(item.Tag);
925 Result += getULEB128Size(item.IntValue);
Logan Chien8cbb80d2013-10-28 17:51:12 +0000926 break;
927 case AttributeItem::TextAttribute:
Logan Chien5b776b72014-02-22 14:00:39 +0000928 Result += getULEB128Size(item.Tag);
Logan Chien8cbb80d2013-10-28 17:51:12 +0000929 Result += item.StringValue.size() + 1; // string + '\0'
930 break;
Saleem Abdulrasool87ccd362014-01-07 02:28:42 +0000931 case AttributeItem::NumericAndTextAttributes:
Logan Chien5b776b72014-02-22 14:00:39 +0000932 Result += getULEB128Size(item.Tag);
933 Result += getULEB128Size(item.IntValue);
Saleem Abdulrasool87ccd362014-01-07 02:28:42 +0000934 Result += item.StringValue.size() + 1; // string + '\0';
935 break;
Logan Chien8cbb80d2013-10-28 17:51:12 +0000936 }
937 }
938 return Result;
939}
940void ARMTargetELFStreamer::finishAttributeSection() {
941 // <format-version>
942 // [ <section-length> "vendor-name"
943 // [ <file-tag> <size> <attribute>*
944 // | <section-tag> <size> <section-number>* 0 <attribute>*
945 // | <symbol-tag> <size> <symbol-number>* 0 <attribute>*
946 // ]+
947 // ]*
948
Renato Golin35de35d2015-05-12 10:33:58 +0000949 if (FPU != ARM::FK_INVALID)
Logan Chien8cbb80d2013-10-28 17:51:12 +0000950 emitFPUDefaultAttributes();
951
Renato Golin35de35d2015-05-12 10:33:58 +0000952 if (Arch != ARM::AK_INVALID)
Logan Chien439e8f92013-12-11 17:16:25 +0000953 emitArchDefaultAttributes();
954
Logan Chien8cbb80d2013-10-28 17:51:12 +0000955 if (Contents.empty())
956 return;
957
958 std::sort(Contents.begin(), Contents.end(), AttributeItem::LessTag);
959
960 ARMELFStreamer &Streamer = getStreamer();
961
962 // Switch to .ARM.attributes section
963 if (AttributeSection) {
964 Streamer.SwitchSection(AttributeSection);
965 } else {
Rafael Espindolaba31e272015-01-29 17:33:21 +0000966 AttributeSection = Streamer.getContext().getELFSection(
967 ".ARM.attributes", ELF::SHT_ARM_ATTRIBUTES, 0);
Logan Chien8cbb80d2013-10-28 17:51:12 +0000968 Streamer.SwitchSection(AttributeSection);
969
970 // Format version
971 Streamer.EmitIntValue(0x41, 1);
972 }
973
974 // Vendor size + Vendor name + '\0'
975 const size_t VendorHeaderSize = 4 + CurrentVendor.size() + 1;
976
977 // Tag + Tag Size
978 const size_t TagHeaderSize = 1 + 4;
979
980 const size_t ContentsSize = calculateContentSize();
981
982 Streamer.EmitIntValue(VendorHeaderSize + TagHeaderSize + ContentsSize, 4);
983 Streamer.EmitBytes(CurrentVendor);
984 Streamer.EmitIntValue(0, 1); // '\0'
985
986 Streamer.EmitIntValue(ARMBuildAttrs::File, 1);
987 Streamer.EmitIntValue(TagHeaderSize + ContentsSize, 4);
988
989 // Size should have been accounted for already, now
990 // emit each field as its type (ULEB or String)
991 for (size_t i = 0; i < Contents.size(); ++i) {
992 AttributeItem item = Contents[i];
993 Streamer.EmitULEB128IntValue(item.Tag);
994 switch (item.Type) {
995 default: llvm_unreachable("Invalid attribute type");
996 case AttributeItem::NumericAttribute:
997 Streamer.EmitULEB128IntValue(item.IntValue);
998 break;
999 case AttributeItem::TextAttribute:
Charlie Turner8d433692014-11-27 12:13:56 +00001000 Streamer.EmitBytes(item.StringValue);
Logan Chien8cbb80d2013-10-28 17:51:12 +00001001 Streamer.EmitIntValue(0, 1); // '\0'
1002 break;
Saleem Abdulrasool87ccd362014-01-07 02:28:42 +00001003 case AttributeItem::NumericAndTextAttributes:
1004 Streamer.EmitULEB128IntValue(item.IntValue);
Charlie Turner8d433692014-11-27 12:13:56 +00001005 Streamer.EmitBytes(item.StringValue);
Saleem Abdulrasool87ccd362014-01-07 02:28:42 +00001006 Streamer.EmitIntValue(0, 1); // '\0'
1007 break;
Logan Chien8cbb80d2013-10-28 17:51:12 +00001008 }
1009 }
1010
1011 Contents.clear();
Renato Golin35de35d2015-05-12 10:33:58 +00001012 FPU = ARM::FK_INVALID;
Logan Chien8cbb80d2013-10-28 17:51:12 +00001013}
Rafael Espindola4c6f6132014-04-27 17:10:46 +00001014
1015void ARMTargetELFStreamer::emitLabel(MCSymbol *Symbol) {
1016 ARMELFStreamer &Streamer = getStreamer();
1017 if (!Streamer.IsThumb)
1018 return;
1019
Rafael Espindolac73aed12015-06-03 19:03:11 +00001020 Streamer.getAssembler().registerSymbol(*Symbol);
Rafael Espindola95fb9b92015-06-02 20:38:46 +00001021 unsigned Type = cast<MCSymbolELF>(Symbol)->getType();
Rafael Espindolaf8794ff2015-06-04 00:47:43 +00001022 if (Type == ELF::STT_FUNC || Type == ELF::STT_GNU_IFUNC)
Rafael Espindola4c6f6132014-04-27 17:10:46 +00001023 Streamer.EmitThumbFunc(Symbol);
1024}
1025
Saleem Abdulrasool56e06e82014-01-30 04:02:47 +00001026void
1027ARMTargetELFStreamer::AnnotateTLSDescriptorSequence(const MCSymbolRefExpr *S) {
1028 getStreamer().EmitFixup(S, FK_Data_4);
1029}
Rafael Espindola466d6632014-04-27 20:23:58 +00001030
1031void ARMTargetELFStreamer::emitThumbSet(MCSymbol *Symbol, const MCExpr *Value) {
1032 if (const MCSymbolRefExpr *SRE = dyn_cast<MCSymbolRefExpr>(Value)) {
Rafael Espindola4a042942014-05-01 12:45:43 +00001033 const MCSymbol &Sym = SRE->getSymbol();
1034 if (!Sym.isDefined()) {
Rafael Espindola466d6632014-04-27 20:23:58 +00001035 getStreamer().EmitAssignment(Symbol, Value);
1036 return;
1037 }
1038 }
1039
1040 getStreamer().EmitThumbFunc(Symbol);
1041 getStreamer().EmitAssignment(Symbol, Value);
1042}
1043
Saleem Abdulrasoolc0da2cb2013-12-19 05:17:58 +00001044void ARMTargetELFStreamer::emitInst(uint32_t Inst, char Suffix) {
1045 getStreamer().emitInst(Inst, Suffix);
1046}
Logan Chien8cbb80d2013-10-28 17:51:12 +00001047
1048void ARMELFStreamer::FinishImpl() {
Rafael Espindola4a1a3602014-01-14 01:21:46 +00001049 MCTargetStreamer &TS = *getTargetStreamer();
Logan Chien8cbb80d2013-10-28 17:51:12 +00001050 ARMTargetStreamer &ATS = static_cast<ARMTargetStreamer &>(TS);
1051 ATS.finishAttributeSection();
1052
1053 MCELFStreamer::FinishImpl();
1054}
Rafael Espindolaa17151a2013-10-08 13:08:17 +00001055
Logan Chien2bcc42c2013-01-30 15:39:04 +00001056inline void ARMELFStreamer::SwitchToEHSection(const char *Prefix,
1057 unsigned Type,
1058 unsigned Flags,
1059 SectionKind Kind,
1060 const MCSymbol &Fn) {
1061 const MCSectionELF &FnSection =
1062 static_cast<const MCSectionELF &>(Fn.getSection());
1063
1064 // Create the name for new section
1065 StringRef FnSecName(FnSection.getSectionName());
1066 SmallString<128> EHSecName(Prefix);
1067 if (FnSecName != ".text") {
1068 EHSecName += FnSecName;
1069 }
1070
1071 // Get .ARM.extab or .ARM.exidx section
Rafael Espindola0ccf9b72015-06-02 21:30:13 +00001072 const MCSymbolELF *Group = FnSection.getGroup();
Rafael Espindola61e8ce32015-04-06 04:25:18 +00001073 if (Group)
1074 Flags |= ELF::SHF_GROUP;
Rafael Espindola0709a7b2015-05-21 19:20:38 +00001075 MCSectionELF *EHSection =
Rafael Espindola61e8ce32015-04-06 04:25:18 +00001076 getContext().getELFSection(EHSecName, Type, Flags, 0, Group,
1077 FnSection.getUniqueID(), nullptr, &FnSection);
1078
Logan Chiend8bb4b72013-04-16 12:02:21 +00001079 assert(EHSection && "Failed to get the required EH section");
Logan Chien2bcc42c2013-01-30 15:39:04 +00001080
1081 // Switch to .ARM.extab or .ARM.exidx section
1082 SwitchSection(EHSection);
Rafael Espindola7b514962014-02-04 18:34:04 +00001083 EmitCodeAlignment(4);
Logan Chien2bcc42c2013-01-30 15:39:04 +00001084}
1085
1086inline void ARMELFStreamer::SwitchToExTabSection(const MCSymbol &FnStart) {
1087 SwitchToEHSection(".ARM.extab",
1088 ELF::SHT_PROGBITS,
1089 ELF::SHF_ALLOC,
1090 SectionKind::getDataRel(),
1091 FnStart);
1092}
1093
1094inline void ARMELFStreamer::SwitchToExIdxSection(const MCSymbol &FnStart) {
1095 SwitchToEHSection(".ARM.exidx",
1096 ELF::SHT_ARM_EXIDX,
1097 ELF::SHF_ALLOC | ELF::SHF_LINK_ORDER,
1098 SectionKind::getDataRel(),
1099 FnStart);
1100}
Saleem Abdulrasool56e06e82014-01-30 04:02:47 +00001101void ARMELFStreamer::EmitFixup(const MCExpr *Expr, MCFixupKind Kind) {
1102 MCDataFragment *Frag = getOrCreateDataFragment();
Jim Grosbach63661f82015-05-15 19:13:05 +00001103 Frag->getFixups().push_back(MCFixup::create(Frag->getContents().size(), Expr,
Saleem Abdulrasool56e06e82014-01-30 04:02:47 +00001104 Kind));
1105}
Logan Chien2bcc42c2013-01-30 15:39:04 +00001106
1107void ARMELFStreamer::Reset() {
Craig Topper062a2ba2014-04-25 05:30:21 +00001108 ExTab = nullptr;
1109 FnStart = nullptr;
1110 Personality = nullptr;
Saleem Abdulrasoolb961c992014-01-06 00:15:00 +00001111 PersonalityIndex = ARM::EHABI::NUM_PERSONALITY_INDEX;
Logan Chien325823a2013-06-09 12:22:30 +00001112 FPReg = ARM::SP;
Logan Chiend8bb4b72013-04-16 12:02:21 +00001113 FPOffset = 0;
1114 SPOffset = 0;
Logan Chien325823a2013-06-09 12:22:30 +00001115 PendingOffset = 0;
Logan Chiend8bb4b72013-04-16 12:02:21 +00001116 UsedFP = false;
Logan Chien2bcc42c2013-01-30 15:39:04 +00001117 CantUnwind = false;
Logan Chiend8bb4b72013-04-16 12:02:21 +00001118
Logan Chien325823a2013-06-09 12:22:30 +00001119 Opcodes.clear();
Logan Chiend8bb4b72013-04-16 12:02:21 +00001120 UnwindOpAsm.Reset();
Logan Chien2bcc42c2013-01-30 15:39:04 +00001121}
1122
Rafael Espindolaa17151a2013-10-08 13:08:17 +00001123void ARMELFStreamer::emitFnStart() {
Craig Toppere73658d2014-04-28 04:05:08 +00001124 assert(FnStart == nullptr);
Jim Grosbach6f482002015-05-18 18:43:14 +00001125 FnStart = getContext().createTempSymbol();
Logan Chien2bcc42c2013-01-30 15:39:04 +00001126 EmitLabel(FnStart);
1127}
1128
Rafael Espindolaa17151a2013-10-08 13:08:17 +00001129void ARMELFStreamer::emitFnEnd() {
Alp Tokercb402912014-01-24 17:20:08 +00001130 assert(FnStart && ".fnstart must precedes .fnend");
Logan Chien2bcc42c2013-01-30 15:39:04 +00001131
1132 // Emit unwind opcodes if there is no .handlerdata directive
Logan Chien4ea23b52013-05-10 16:17:24 +00001133 if (!ExTab && !CantUnwind)
1134 FlushUnwindOpcodes(true);
Logan Chien2bcc42c2013-01-30 15:39:04 +00001135
1136 // Emit the exception index table entry
1137 SwitchToExIdxSection(*FnStart);
1138
Saleem Abdulrasoolb961c992014-01-06 00:15:00 +00001139 if (PersonalityIndex < ARM::EHABI::NUM_PERSONALITY_INDEX)
Logan Chiend8bb4b72013-04-16 12:02:21 +00001140 EmitPersonalityFixup(GetAEABIUnwindPersonalityName(PersonalityIndex));
Logan Chien2bcc42c2013-01-30 15:39:04 +00001141
1142 const MCSymbolRefExpr *FnStartRef =
Jim Grosbach13760bd2015-05-30 01:25:56 +00001143 MCSymbolRefExpr::create(FnStart,
Logan Chien2bcc42c2013-01-30 15:39:04 +00001144 MCSymbolRefExpr::VK_ARM_PREL31,
1145 getContext());
1146
Rafael Espindola64e1af82013-07-02 15:49:13 +00001147 EmitValue(FnStartRef, 4);
Logan Chien2bcc42c2013-01-30 15:39:04 +00001148
1149 if (CantUnwind) {
Saleem Abdulrasoolb961c992014-01-06 00:15:00 +00001150 EmitIntValue(ARM::EHABI::EXIDX_CANTUNWIND, 4);
Logan Chiend8bb4b72013-04-16 12:02:21 +00001151 } else if (ExTab) {
1152 // Emit a reference to the unwind opcodes in the ".ARM.extab" section.
Logan Chien2bcc42c2013-01-30 15:39:04 +00001153 const MCSymbolRefExpr *ExTabEntryRef =
Jim Grosbach13760bd2015-05-30 01:25:56 +00001154 MCSymbolRefExpr::create(ExTab,
Logan Chien2bcc42c2013-01-30 15:39:04 +00001155 MCSymbolRefExpr::VK_ARM_PREL31,
1156 getContext());
Rafael Espindola64e1af82013-07-02 15:49:13 +00001157 EmitValue(ExTabEntryRef, 4);
Logan Chiend8bb4b72013-04-16 12:02:21 +00001158 } else {
1159 // For the __aeabi_unwind_cpp_pr0, we have to emit the unwind opcodes in
1160 // the second word of exception index table entry. The size of the unwind
1161 // opcodes should always be 4 bytes.
Saleem Abdulrasoolb961c992014-01-06 00:15:00 +00001162 assert(PersonalityIndex == ARM::EHABI::AEABI_UNWIND_CPP_PR0 &&
Jonathan Roelofs4971b402014-05-15 02:24:50 +00001163 "Compact model must use __aeabi_unwind_cpp_pr0 as personality");
Logan Chien325823a2013-06-09 12:22:30 +00001164 assert(Opcodes.size() == 4u &&
Jonathan Roelofs4971b402014-05-15 02:24:50 +00001165 "Unwind opcode size for __aeabi_unwind_cpp_pr0 must be equal to 4");
Christian Pirker39db7ec2014-05-13 16:44:30 +00001166 uint64_t Intval = Opcodes[0] |
1167 Opcodes[1] << 8 |
1168 Opcodes[2] << 16 |
1169 Opcodes[3] << 24;
1170 EmitIntValue(Intval, Opcodes.size());
Logan Chien2bcc42c2013-01-30 15:39:04 +00001171 }
1172
Logan Chien4ea23b52013-05-10 16:17:24 +00001173 // Switch to the section containing FnStart
1174 SwitchSection(&FnStart->getSection());
1175
Logan Chien2bcc42c2013-01-30 15:39:04 +00001176 // Clean exception handling frame information
1177 Reset();
1178}
1179
Rafael Espindolaa17151a2013-10-08 13:08:17 +00001180void ARMELFStreamer::emitCantUnwind() { CantUnwind = true; }
1181
1182// Add the R_ARM_NONE fixup at the same position
1183void ARMELFStreamer::EmitPersonalityFixup(StringRef Name) {
Jim Grosbach6f482002015-05-18 18:43:14 +00001184 const MCSymbol *PersonalitySym = getContext().getOrCreateSymbol(Name);
Rafael Espindolaa17151a2013-10-08 13:08:17 +00001185
Jim Grosbach13760bd2015-05-30 01:25:56 +00001186 const MCSymbolRefExpr *PersonalityRef = MCSymbolRefExpr::create(
Rafael Espindolaa17151a2013-10-08 13:08:17 +00001187 PersonalitySym, MCSymbolRefExpr::VK_ARM_NONE, getContext());
1188
Rafael Espindola2be12812014-06-25 15:29:54 +00001189 visitUsedExpr(*PersonalityRef);
Rafael Espindolaa17151a2013-10-08 13:08:17 +00001190 MCDataFragment *DF = getOrCreateDataFragment();
Jim Grosbach63661f82015-05-15 19:13:05 +00001191 DF->getFixups().push_back(MCFixup::create(DF->getContents().size(),
Rafael Espindolaa17151a2013-10-08 13:08:17 +00001192 PersonalityRef,
1193 MCFixup::getKindForSize(4, false)));
Logan Chien2bcc42c2013-01-30 15:39:04 +00001194}
1195
Logan Chien325823a2013-06-09 12:22:30 +00001196void ARMELFStreamer::FlushPendingOffset() {
1197 if (PendingOffset != 0) {
1198 UnwindOpAsm.EmitSPOffset(-PendingOffset);
1199 PendingOffset = 0;
1200 }
1201}
1202
Logan Chienc931fce2013-07-02 12:43:27 +00001203void ARMELFStreamer::FlushUnwindOpcodes(bool NoHandlerData) {
Logan Chien325823a2013-06-09 12:22:30 +00001204 // Emit the unwind opcode to restore $sp.
1205 if (UsedFP) {
Bill Wendlingbc07a892013-06-18 07:20:20 +00001206 const MCRegisterInfo *MRI = getContext().getRegisterInfo();
Logan Chien325823a2013-06-09 12:22:30 +00001207 int64_t LastRegSaveSPOffset = SPOffset - PendingOffset;
1208 UnwindOpAsm.EmitSPOffset(LastRegSaveSPOffset - FPOffset);
Bill Wendlingbc07a892013-06-18 07:20:20 +00001209 UnwindOpAsm.EmitSetSP(MRI->getEncodingValue(FPReg));
Logan Chien325823a2013-06-09 12:22:30 +00001210 } else {
1211 FlushPendingOffset();
1212 }
1213
1214 // Finalize the unwind opcode sequence
1215 UnwindOpAsm.Finalize(PersonalityIndex, Opcodes);
Logan Chien4ea23b52013-05-10 16:17:24 +00001216
1217 // For compact model 0, we have to emit the unwind opcodes in the .ARM.exidx
1218 // section. Thus, we don't have to create an entry in the .ARM.extab
1219 // section.
Saleem Abdulrasoolb961c992014-01-06 00:15:00 +00001220 if (NoHandlerData && PersonalityIndex == ARM::EHABI::AEABI_UNWIND_CPP_PR0)
Logan Chien4ea23b52013-05-10 16:17:24 +00001221 return;
1222
1223 // Switch to .ARM.extab section.
Logan Chien2bcc42c2013-01-30 15:39:04 +00001224 SwitchToExTabSection(*FnStart);
1225
1226 // Create .ARM.extab label for offset in .ARM.exidx
1227 assert(!ExTab);
Jim Grosbach6f482002015-05-18 18:43:14 +00001228 ExTab = getContext().createTempSymbol();
Logan Chien2bcc42c2013-01-30 15:39:04 +00001229 EmitLabel(ExTab);
1230
Logan Chien4ea23b52013-05-10 16:17:24 +00001231 // Emit personality
1232 if (Personality) {
1233 const MCSymbolRefExpr *PersonalityRef =
Jim Grosbach13760bd2015-05-30 01:25:56 +00001234 MCSymbolRefExpr::create(Personality,
Logan Chien4ea23b52013-05-10 16:17:24 +00001235 MCSymbolRefExpr::VK_ARM_PREL31,
1236 getContext());
Logan Chien2bcc42c2013-01-30 15:39:04 +00001237
Rafael Espindola64e1af82013-07-02 15:49:13 +00001238 EmitValue(PersonalityRef, 4);
Logan Chien4ea23b52013-05-10 16:17:24 +00001239 }
Logan Chien2bcc42c2013-01-30 15:39:04 +00001240
1241 // Emit unwind opcodes
Christian Pirker39db7ec2014-05-13 16:44:30 +00001242 assert((Opcodes.size() % 4) == 0 &&
1243 "Unwind opcode size for __aeabi_cpp_unwind_pr0 must be multiple of 4");
1244 for (unsigned I = 0; I != Opcodes.size(); I += 4) {
1245 uint64_t Intval = Opcodes[I] |
1246 Opcodes[I + 1] << 8 |
1247 Opcodes[I + 2] << 16 |
1248 Opcodes[I + 3] << 24;
1249 EmitIntValue(Intval, 4);
1250 }
Logan Chienc931fce2013-07-02 12:43:27 +00001251
1252 // According to ARM EHABI section 9.2, if the __aeabi_unwind_cpp_pr1() or
1253 // __aeabi_unwind_cpp_pr2() is used, then the handler data must be emitted
1254 // after the unwind opcodes. The handler data consists of several 32-bit
1255 // words, and should be terminated by zero.
1256 //
1257 // In case that the .handlerdata directive is not specified by the
1258 // programmer, we should emit zero to terminate the handler data.
1259 if (NoHandlerData && !Personality)
1260 EmitIntValue(0, 4);
Logan Chien2bcc42c2013-01-30 15:39:04 +00001261}
1262
Rafael Espindolaa17151a2013-10-08 13:08:17 +00001263void ARMELFStreamer::emitHandlerData() { FlushUnwindOpcodes(false); }
Logan Chien4ea23b52013-05-10 16:17:24 +00001264
Rafael Espindolaa17151a2013-10-08 13:08:17 +00001265void ARMELFStreamer::emitPersonality(const MCSymbol *Per) {
Logan Chien2bcc42c2013-01-30 15:39:04 +00001266 Personality = Per;
Logan Chiend8bb4b72013-04-16 12:02:21 +00001267 UnwindOpAsm.setPersonality(Per);
Logan Chien2bcc42c2013-01-30 15:39:04 +00001268}
1269
Saleem Abdulrasool662f5c12014-01-21 02:33:02 +00001270void ARMELFStreamer::emitPersonalityIndex(unsigned Index) {
1271 assert(Index < ARM::EHABI::NUM_PERSONALITY_INDEX && "invalid index");
1272 PersonalityIndex = Index;
1273}
1274
Rafael Espindolaa17151a2013-10-08 13:08:17 +00001275void ARMELFStreamer::emitSetFP(unsigned NewFPReg, unsigned NewSPReg,
Logan Chien2bcc42c2013-01-30 15:39:04 +00001276 int64_t Offset) {
Logan Chien325823a2013-06-09 12:22:30 +00001277 assert((NewSPReg == ARM::SP || NewSPReg == FPReg) &&
Logan Chiend8bb4b72013-04-16 12:02:21 +00001278 "the operand of .setfp directive should be either $sp or $fp");
1279
1280 UsedFP = true;
Logan Chien325823a2013-06-09 12:22:30 +00001281 FPReg = NewFPReg;
1282
1283 if (NewSPReg == ARM::SP)
1284 FPOffset = SPOffset + Offset;
1285 else
1286 FPOffset += Offset;
Logan Chien2bcc42c2013-01-30 15:39:04 +00001287}
1288
Saleem Abdulrasool5d962d32014-01-30 04:46:24 +00001289void ARMELFStreamer::emitMovSP(unsigned Reg, int64_t Offset) {
1290 assert((Reg != ARM::SP && Reg != ARM::PC) &&
1291 "the operand of .movsp cannot be either sp or pc");
1292 assert(FPReg == ARM::SP && "current FP must be SP");
1293
1294 FlushPendingOffset();
1295
1296 FPReg = Reg;
1297 FPOffset = SPOffset + Offset;
1298
1299 const MCRegisterInfo *MRI = getContext().getRegisterInfo();
1300 UnwindOpAsm.EmitSetSP(MRI->getEncodingValue(FPReg));
1301}
1302
Rafael Espindolaa17151a2013-10-08 13:08:17 +00001303void ARMELFStreamer::emitPad(int64_t Offset) {
Logan Chien325823a2013-06-09 12:22:30 +00001304 // Track the change of the $sp offset
1305 SPOffset -= Offset;
1306
1307 // To squash multiple .pad directives, we should delay the unwind opcode
1308 // until the .save, .vsave, .handlerdata, or .fnend directives.
1309 PendingOffset -= Offset;
Logan Chien2bcc42c2013-01-30 15:39:04 +00001310}
1311
Rafael Espindolaa17151a2013-10-08 13:08:17 +00001312void ARMELFStreamer::emitRegSave(const SmallVectorImpl<unsigned> &RegList,
Logan Chien2bcc42c2013-01-30 15:39:04 +00001313 bool IsVector) {
Logan Chien325823a2013-06-09 12:22:30 +00001314 // Collect the registers in the register list
1315 unsigned Count = 0;
1316 uint32_t Mask = 0;
Bill Wendlingbc07a892013-06-18 07:20:20 +00001317 const MCRegisterInfo *MRI = getContext().getRegisterInfo();
Logan Chiend8bb4b72013-04-16 12:02:21 +00001318 for (size_t i = 0; i < RegList.size(); ++i) {
Bill Wendlingbc07a892013-06-18 07:20:20 +00001319 unsigned Reg = MRI->getEncodingValue(RegList[i]);
Aaron Ballmanab1d27e2013-06-10 16:45:40 +00001320 assert(Reg < (IsVector ? 32U : 16U) && "Register out of range");
Logan Chien325823a2013-06-09 12:22:30 +00001321 unsigned Bit = (1u << Reg);
1322 if ((Mask & Bit) == 0) {
1323 Mask |= Bit;
1324 ++Count;
1325 }
Logan Chiend8bb4b72013-04-16 12:02:21 +00001326 }
Logan Chien325823a2013-06-09 12:22:30 +00001327
1328 // Track the change the $sp offset: For the .save directive, the
1329 // corresponding push instruction will decrease the $sp by (4 * Count).
1330 // For the .vsave directive, the corresponding vpush instruction will
1331 // decrease $sp by (8 * Count).
1332 SPOffset -= Count * (IsVector ? 8 : 4);
1333
1334 // Emit the opcode
1335 FlushPendingOffset();
1336 if (IsVector)
1337 UnwindOpAsm.EmitVFPRegSave(Mask);
1338 else
1339 UnwindOpAsm.EmitRegSave(Mask);
Logan Chien2bcc42c2013-01-30 15:39:04 +00001340}
1341
Saleem Abdulrasoold9f08602014-01-21 02:33:10 +00001342void ARMELFStreamer::emitUnwindRaw(int64_t Offset,
1343 const SmallVectorImpl<uint8_t> &Opcodes) {
1344 FlushPendingOffset();
1345 SPOffset = SPOffset - Offset;
1346 UnwindOpAsm.EmitRaw(Opcodes);
1347}
1348
Tim Northover5cc3dc82012-12-07 16:50:23 +00001349namespace llvm {
Rafael Espindolaa17151a2013-10-08 13:08:17 +00001350
Rafael Espindola73870dd2015-03-16 21:43:42 +00001351MCTargetStreamer *createARMTargetAsmStreamer(MCStreamer &S,
1352 formatted_raw_ostream &OS,
1353 MCInstPrinter *InstPrint,
1354 bool isVerboseAsm) {
1355 return new ARMTargetAsmStreamer(S, OS, *InstPrint, isVerboseAsm);
Rafael Espindolaa17151a2013-10-08 13:08:17 +00001356}
1357
Peter Collingbourne20c72592015-02-19 00:45:02 +00001358MCTargetStreamer *createARMNullTargetStreamer(MCStreamer &S) {
1359 return new ARMTargetStreamer(S);
1360}
1361
Rafael Espindolacd584a82015-03-19 01:50:16 +00001362MCTargetStreamer *createARMObjectTargetStreamer(MCStreamer &S,
1363 const MCSubtargetInfo &STI) {
Daniel Sandersc81f4502015-06-16 15:44:21 +00001364 const Triple &TT = STI.getTargetTriple();
Daniel Sandersfbdab432015-07-06 16:33:18 +00001365 if (TT.isOSBinFormatELF())
Rafael Espindolacd584a82015-03-19 01:50:16 +00001366 return new ARMTargetELFStreamer(S);
1367 return new ARMTargetStreamer(S);
1368}
1369
Rafael Espindola7b61ddf2014-10-15 16:12:52 +00001370MCELFStreamer *createARMELFStreamer(MCContext &Context, MCAsmBackend &TAB,
Rafael Espindola5560a4c2015-04-14 22:14:34 +00001371 raw_pwrite_stream &OS,
1372 MCCodeEmitter *Emitter, bool RelaxAll,
1373 bool IsThumb) {
Rafael Espindola24ea09e2014-01-26 06:06:37 +00001374 ARMELFStreamer *S = new ARMELFStreamer(Context, TAB, OS, Emitter, IsThumb);
Rafael Espindolaac4ad252013-10-05 16:42:21 +00001375 // FIXME: This should eventually end up somewhere else where more
1376 // intelligent flag decisions can be made. For now we are just maintaining
1377 // the status quo for ARM and setting EF_ARM_EABI_VER5 as the default.
1378 S->getAssembler().setELFHeaderEFlags(ELF::EF_ARM_EABI_VER5);
1379
Tim Northover5cc3dc82012-12-07 16:50:23 +00001380 if (RelaxAll)
1381 S->getAssembler().setRelaxAll(true);
Tim Northover5cc3dc82012-12-07 16:50:23 +00001382 return S;
1383 }
1384
Alexander Kornienkof00654e2015-06-23 09:49:53 +00001385}
Tim Northover5cc3dc82012-12-07 16:50:23 +00001386
1387