Chris Lattner | 7b26fce | 2009-08-22 20:48:53 +0000 | [diff] [blame] | 1 | //===-- MCAsmInfo.cpp - Asm Info -------------------------------------------==// |
Jim Laskey | 681ecbb | 2006-09-06 18:35:33 +0000 | [diff] [blame] | 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | f3ebc3f | 2007-12-29 20:36:04 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Jim Laskey | 681ecbb | 2006-09-06 18:35:33 +0000 | [diff] [blame] | 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file defines target asm properties related what form asm statements |
| 11 | // should take. |
| 12 | // |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
Chris Lattner | 7b26fce | 2009-08-22 20:48:53 +0000 | [diff] [blame] | 15 | #include "llvm/MC/MCAsmInfo.h" |
Rafael Espindola | fd05785 | 2011-05-01 03:50:49 +0000 | [diff] [blame] | 16 | #include "llvm/MC/MCContext.h" |
Rafael Espindola | c5dac4d | 2011-04-28 16:09:09 +0000 | [diff] [blame] | 17 | #include "llvm/MC/MCExpr.h" |
| 18 | #include "llvm/MC/MCStreamer.h" |
Michael J. Spencer | 447762d | 2010-11-29 18:16:10 +0000 | [diff] [blame] | 19 | #include "llvm/Support/DataTypes.h" |
Rafael Espindola | fd05785 | 2011-05-01 03:50:49 +0000 | [diff] [blame] | 20 | #include "llvm/Support/Dwarf.h" |
Dale Johannesen | 0a1069d | 2007-04-23 20:00:17 +0000 | [diff] [blame] | 21 | #include <cctype> |
| 22 | #include <cstring> |
Jim Laskey | 681ecbb | 2006-09-06 18:35:33 +0000 | [diff] [blame] | 23 | using namespace llvm; |
| 24 | |
Chris Lattner | 2b4364f | 2010-01-20 06:34:14 +0000 | [diff] [blame] | 25 | MCAsmInfo::MCAsmInfo() { |
Evan Cheng | a83b37a | 2011-07-15 02:09:41 +0000 | [diff] [blame] | 26 | PointerSize = 4; |
Eli Bendersky | 32aab22 | 2013-01-23 16:22:04 +0000 | [diff] [blame] | 27 | CalleeSaveStackSlotSize = 4; |
Eli Bendersky | 0893e10 | 2013-01-22 18:02:49 +0000 | [diff] [blame] | 28 | |
Evan Cheng | a83b37a | 2011-07-15 02:09:41 +0000 | [diff] [blame] | 29 | IsLittleEndian = true; |
| 30 | StackGrowsUp = false; |
Chris Lattner | 76bdea3 | 2010-01-23 07:21:06 +0000 | [diff] [blame] | 31 | HasSubsectionsViaSymbols = false; |
Chris Lattner | 1d37188 | 2010-01-19 02:09:44 +0000 | [diff] [blame] | 32 | HasMachoZeroFillDirective = false; |
Eric Christopher | 27e7ffc | 2010-05-20 00:49:07 +0000 | [diff] [blame] | 33 | HasMachoTBSSDirective = false; |
Chris Lattner | e9d28b1 | 2010-01-19 04:34:02 +0000 | [diff] [blame] | 34 | HasStaticCtorDtorReferenceInStaticMode = false; |
Anton Korobeynikov | 87001fd | 2008-09-25 21:00:33 +0000 | [diff] [blame] | 35 | MaxInstLength = 4; |
Ulrich Weigand | 32d725b | 2013-06-12 14:46:54 +0000 | [diff] [blame] | 36 | MinInstAlignment = 1; |
David Majnemer | 0c58bc6 | 2013-09-25 10:47:21 +0000 | [diff] [blame] | 37 | DollarIsPC = false; |
Jim Grosbach | a3df87f | 2011-03-24 18:46:34 +0000 | [diff] [blame] | 38 | SeparatorString = ";"; |
Anton Korobeynikov | 87001fd | 2008-09-25 21:00:33 +0000 | [diff] [blame] | 39 | CommentString = "#"; |
Chris Lattner | 7bce059 | 2010-09-22 22:19:53 +0000 | [diff] [blame] | 40 | LabelSuffix = ":"; |
Rafael Espindola | f491704 | 2014-06-24 22:45:16 +0000 | [diff] [blame] | 41 | UseAssignmentForEHBegin = false; |
Rafael Espindola | 86bd6a1 | 2015-03-05 18:55:50 +0000 | [diff] [blame] | 42 | NeedsLocalForSize = false; |
Rafael Espindola | 5113d16 | 2013-12-02 23:39:26 +0000 | [diff] [blame] | 43 | PrivateGlobalPrefix = "L"; |
Matt Arsenault | 4e27343 | 2014-12-04 00:06:57 +0000 | [diff] [blame] | 44 | PrivateLabelPrefix = PrivateGlobalPrefix; |
Tim Northover | c3988b4 | 2014-03-29 07:05:06 +0000 | [diff] [blame] | 45 | LinkerPrivateGlobalPrefix = ""; |
Chris Lattner | abdcbc7 | 2009-08-11 22:39:40 +0000 | [diff] [blame] | 46 | InlineAsmStart = "APP"; |
| 47 | InlineAsmEnd = "NO_APP"; |
Evan Cheng | 481ebb0 | 2011-07-27 00:38:12 +0000 | [diff] [blame] | 48 | Code16Directive = ".code16"; |
| 49 | Code32Directive = ".code32"; |
| 50 | Code64Directive = ".code64"; |
Anton Korobeynikov | 87001fd | 2008-09-25 21:00:33 +0000 | [diff] [blame] | 51 | AssemblerDialect = 0; |
Hans Wennborg | ce69d77 | 2013-10-18 20:46:28 +0000 | [diff] [blame] | 52 | AllowAtInName = false; |
Matt Arsenault | 8b64355 | 2015-06-09 00:31:39 +0000 | [diff] [blame] | 53 | SupportsQuotedNames = true; |
Jim Grosbach | 4b63d2a | 2012-05-18 19:12:01 +0000 | [diff] [blame] | 54 | UseDataRegionDirectives = false; |
Anton Korobeynikov | 87001fd | 2008-09-25 21:00:33 +0000 | [diff] [blame] | 55 | ZeroDirective = "\t.zero\t"; |
Anton Korobeynikov | 87001fd | 2008-09-25 21:00:33 +0000 | [diff] [blame] | 56 | AsciiDirective = "\t.ascii\t"; |
| 57 | AscizDirective = "\t.asciz\t"; |
| 58 | Data8bitsDirective = "\t.byte\t"; |
| 59 | Data16bitsDirective = "\t.short\t"; |
| 60 | Data32bitsDirective = "\t.long\t"; |
| 61 | Data64bitsDirective = "\t.quad\t"; |
Chris Lattner | c9ea8fd | 2009-08-08 20:43:12 +0000 | [diff] [blame] | 62 | SunStyleELFSectionSwitchSyntax = false; |
Bruno Cardoso Lopes | 62e6a8b | 2009-08-13 23:30:21 +0000 | [diff] [blame] | 63 | UsesELFSectionDirectiveForBSS = false; |
Anton Korobeynikov | 87001fd | 2008-09-25 21:00:33 +0000 | [diff] [blame] | 64 | AlignmentIsInBytes = true; |
| 65 | TextAlignFillValue = 0; |
Craig Topper | bb694de | 2014-04-13 04:57:38 +0000 | [diff] [blame] | 66 | GPRel64Directive = nullptr; |
| 67 | GPRel32Directive = nullptr; |
Anton Korobeynikov | 87001fd | 2008-09-25 21:00:33 +0000 | [diff] [blame] | 68 | GlobalDirective = "\t.globl\t"; |
Rafael Espindola | c606bfe | 2014-10-21 01:17:30 +0000 | [diff] [blame] | 69 | SetDirectiveSuppressesReloc = false; |
Rafael Espindola | a6cd2d8 | 2010-12-22 21:51:29 +0000 | [diff] [blame] | 70 | HasAggressiveSymbolFolding = true; |
Rafael Espindola | dcb03f0 | 2010-01-26 20:21:43 +0000 | [diff] [blame] | 71 | COMMDirectiveAlignmentIsInBytes = true; |
Benjamin Kramer | 68b9f05 | 2012-09-07 21:08:01 +0000 | [diff] [blame] | 72 | LCOMMDirectiveAlignmentType = LCOMM::NoAlignment; |
Jingyue Wu | e8290f2 | 2015-03-12 01:50:30 +0000 | [diff] [blame] | 73 | HasFunctionAlignment = true; |
Anton Korobeynikov | 87001fd | 2008-09-25 21:00:33 +0000 | [diff] [blame] | 74 | HasDotTypeDotSizeDirective = true; |
Rafael Espindola | cda011b | 2008-12-03 11:01:37 +0000 | [diff] [blame] | 75 | HasSingleParameterDotFile = true; |
Rafael Espindola | 5645bad | 2013-10-16 01:05:45 +0000 | [diff] [blame] | 76 | HasIdentDirective = false; |
Chris Lattner | 1deb09c | 2010-01-23 05:51:36 +0000 | [diff] [blame] | 77 | HasNoDeadStrip = false; |
Lang Hames | 1b640e0 | 2016-03-15 01:43:05 +0000 | [diff] [blame] | 78 | HasAltEntry = false; |
Jingyue Wu | 5b62eb9 | 2014-12-01 21:16:17 +0000 | [diff] [blame] | 79 | WeakDirective = "\t.weak\t"; |
Craig Topper | bb694de | 2014-04-13 04:57:38 +0000 | [diff] [blame] | 80 | WeakRefDirective = nullptr; |
Rafael Espindola | 04867ce | 2013-12-02 23:04:51 +0000 | [diff] [blame] | 81 | HasWeakDefDirective = false; |
David Fang | 1b01849 | 2013-12-10 21:37:41 +0000 | [diff] [blame] | 82 | HasWeakDefCanBeHiddenDirective = false; |
Rafael Espindola | 04867ce | 2013-12-02 23:04:51 +0000 | [diff] [blame] | 83 | HasLinkOnceDirective = false; |
Chris Lattner | 0bfd279 | 2010-01-23 06:53:23 +0000 | [diff] [blame] | 84 | HiddenVisibilityAttr = MCSA_Hidden; |
Stuart Hastings | bf83659 | 2011-02-23 02:27:05 +0000 | [diff] [blame] | 85 | HiddenDeclarationVisibilityAttr = MCSA_Hidden; |
Chris Lattner | 0bfd279 | 2010-01-23 06:53:23 +0000 | [diff] [blame] | 86 | ProtectedVisibilityAttr = MCSA_Protected; |
Anton Korobeynikov | 87001fd | 2008-09-25 21:00:33 +0000 | [diff] [blame] | 87 | SupportsDebugInformation = false; |
Jim Grosbach | 693e36a | 2009-08-11 00:09:57 +0000 | [diff] [blame] | 88 | ExceptionsType = ExceptionHandling::None; |
Saleem Abdulrasool | d458091 | 2014-09-01 23:48:29 +0000 | [diff] [blame] | 89 | WinEHEncodingType = WinEH::EncodingType::Invalid; |
Nick Lewycky | 33da336 | 2012-06-22 01:25:12 +0000 | [diff] [blame] | 90 | DwarfUsesRelocationsAcrossSections = true; |
Iain Sandoe | 618def6 | 2014-01-08 10:22:54 +0000 | [diff] [blame] | 91 | DwarfFDESymbolsUseAbsDiff = false; |
Akira Hatanaka | 2f2d9cb | 2011-07-07 20:30:33 +0000 | [diff] [blame] | 92 | DwarfRegNumForCFI = false; |
Matt Arsenault | 034ca0f | 2013-04-22 22:49:11 +0000 | [diff] [blame] | 93 | NeedsDwarfSectionOffsetDirective = false; |
David Peixotto | 8ad70b3 | 2013-12-04 22:43:20 +0000 | [diff] [blame] | 94 | UseParensForSymbolVariant = false; |
Ahmed Bougacha | 1905287 | 2015-04-28 01:37:11 +0000 | [diff] [blame] | 95 | UseLogicalShr = true; |
Daniel Sanders | 753e176 | 2014-02-13 14:44:26 +0000 | [diff] [blame] | 96 | |
| 97 | // FIXME: Clang's logic should be synced with the logic used to initialize |
| 98 | // this member and the two implementations should be merged. |
| 99 | // For reference: |
| 100 | // - Solaris always enables the integrated assembler by default |
| 101 | // - SparcELFMCAsmInfo and X86ELFMCAsmInfo are handling this case |
| 102 | // - Windows always enables the integrated assembler by default |
| 103 | // - MCAsmInfoCOFF is handling this case, should it be MCAsmInfoMicrosoft? |
| 104 | // - MachO targets always enables the integrated assembler by default |
| 105 | // - MCAsmInfoDarwin is handling this case |
| 106 | // - Generic_GCC toolchains enable the integrated assembler on a per |
| 107 | // architecture basis. |
Saleem Abdulrasool | faa29bd | 2014-06-11 04:19:25 +0000 | [diff] [blame] | 108 | // - The target subclasses for AArch64, ARM, and X86 handle these cases |
Daniel Sanders | 753e176 | 2014-02-13 14:44:26 +0000 | [diff] [blame] | 109 | UseIntegratedAssembler = false; |
Nirav Dave | 53a72f4 | 2016-07-11 12:42:14 +0000 | [diff] [blame^] | 110 | PreserveAsmComments = true; |
David Blaikie | 7400a97 | 2014-03-27 20:45:58 +0000 | [diff] [blame] | 111 | |
George Rimar | c91e38c | 2016-05-27 12:27:32 +0000 | [diff] [blame] | 112 | CompressDebugSections = DebugCompressionType::DCT_None; |
Chris Lattner | 95129a7 | 2006-10-13 17:50:07 +0000 | [diff] [blame] | 113 | } |
Chris Lattner | afe6d7a | 2006-10-05 00:35:16 +0000 | [diff] [blame] | 114 | |
Chris Lattner | 7b26fce | 2009-08-22 20:48:53 +0000 | [diff] [blame] | 115 | MCAsmInfo::~MCAsmInfo() { |
Chris Lattner | afe6d7a | 2006-10-05 00:35:16 +0000 | [diff] [blame] | 116 | } |
Chris Lattner | 95129a7 | 2006-10-13 17:50:07 +0000 | [diff] [blame] | 117 | |
Lang Hames | 1e923ec | 2015-01-09 18:55:42 +0000 | [diff] [blame] | 118 | bool MCAsmInfo::isSectionAtomizableBySymbols(const MCSection &Section) const { |
| 119 | return false; |
| 120 | } |
| 121 | |
Rafael Espindola | c5dac4d | 2011-04-28 16:09:09 +0000 | [diff] [blame] | 122 | const MCExpr * |
| 123 | MCAsmInfo::getExprForPersonalitySymbol(const MCSymbol *Sym, |
Rafael Espindola | fd05785 | 2011-05-01 03:50:49 +0000 | [diff] [blame] | 124 | unsigned Encoding, |
Rafael Espindola | c5dac4d | 2011-04-28 16:09:09 +0000 | [diff] [blame] | 125 | MCStreamer &Streamer) const { |
Rafael Espindola | fd05785 | 2011-05-01 03:50:49 +0000 | [diff] [blame] | 126 | return getExprForFDESymbol(Sym, Encoding, Streamer); |
Rafael Espindola | 6bd6a70 | 2011-04-28 21:04:39 +0000 | [diff] [blame] | 127 | } |
| 128 | |
| 129 | const MCExpr * |
| 130 | MCAsmInfo::getExprForFDESymbol(const MCSymbol *Sym, |
Rafael Espindola | fd05785 | 2011-05-01 03:50:49 +0000 | [diff] [blame] | 131 | unsigned Encoding, |
Rafael Espindola | 6bd6a70 | 2011-04-28 21:04:39 +0000 | [diff] [blame] | 132 | MCStreamer &Streamer) const { |
Rafael Espindola | fd05785 | 2011-05-01 03:50:49 +0000 | [diff] [blame] | 133 | if (!(Encoding & dwarf::DW_EH_PE_pcrel)) |
Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 134 | return MCSymbolRefExpr::create(Sym, Streamer.getContext()); |
Rafael Espindola | fd05785 | 2011-05-01 03:50:49 +0000 | [diff] [blame] | 135 | |
| 136 | MCContext &Context = Streamer.getContext(); |
Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 137 | const MCExpr *Res = MCSymbolRefExpr::create(Sym, Context); |
Jim Grosbach | 6f48200 | 2015-05-18 18:43:14 +0000 | [diff] [blame] | 138 | MCSymbol *PCSym = Context.createTempSymbol(); |
Rafael Espindola | fd05785 | 2011-05-01 03:50:49 +0000 | [diff] [blame] | 139 | Streamer.EmitLabel(PCSym); |
Jim Grosbach | 13760bd | 2015-05-30 01:25:56 +0000 | [diff] [blame] | 140 | const MCExpr *PC = MCSymbolRefExpr::create(PCSym, Context); |
| 141 | return MCBinaryExpr::createSub(Res, PC, Context); |
Rafael Espindola | c5dac4d | 2011-04-28 16:09:09 +0000 | [diff] [blame] | 142 | } |
Matt Arsenault | 8b64355 | 2015-06-09 00:31:39 +0000 | [diff] [blame] | 143 | |
| 144 | static bool isAcceptableChar(char C) { |
| 145 | return (C >= 'a' && C <= 'z') || (C >= 'A' && C <= 'Z') || |
| 146 | (C >= '0' && C <= '9') || C == '_' || C == '$' || C == '.' || C == '@'; |
| 147 | } |
| 148 | |
| 149 | bool MCAsmInfo::isValidUnquotedName(StringRef Name) const { |
| 150 | if (Name.empty()) |
| 151 | return false; |
| 152 | |
| 153 | // If any of the characters in the string is an unacceptable character, force |
| 154 | // quotes. |
| 155 | for (char C : Name) { |
| 156 | if (!isAcceptableChar(C)) |
| 157 | return false; |
| 158 | } |
| 159 | |
| 160 | return true; |
| 161 | } |
Tom Stellard | 8e02576 | 2015-09-25 21:41:14 +0000 | [diff] [blame] | 162 | |
| 163 | bool MCAsmInfo::shouldOmitSectionDirective(StringRef SectionName) const { |
| 164 | // FIXME: Does .section .bss/.data/.text work everywhere?? |
| 165 | return SectionName == ".text" || SectionName == ".data" || |
| 166 | (SectionName == ".bss" && !usesELFSectionDirectiveForBSS()); |
| 167 | } |