blob: b4f503b255ca11eb1d8a8e4af4d031c221af27d9 [file] [log] [blame]
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001//===-- X86TargetAsmInfo.cpp - X86 asm properties ---------------*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner081ce942007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Dan Gohmanf17a25c2007-07-18 16:29:46 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file contains the declarations of the X86TargetAsmInfo properties.
11//
12//===----------------------------------------------------------------------===//
13
14#include "X86TargetAsmInfo.h"
15#include "X86TargetMachine.h"
16#include "X86Subtarget.h"
17#include "llvm/DerivedTypes.h"
18#include "llvm/InlineAsm.h"
19#include "llvm/Instructions.h"
20#include "llvm/Intrinsics.h"
21#include "llvm/Module.h"
22#include "llvm/ADT/StringExtras.h"
Anton Korobeynikov65c0d872008-02-27 23:33:50 +000023#include "llvm/Support/Dwarf.h"
Edwin Török675d5622009-07-11 20:10:48 +000024#include "llvm/Support/ErrorHandling.h"
Anton Korobeynikov65c0d872008-02-27 23:33:50 +000025
Dan Gohmanf17a25c2007-07-18 16:29:46 +000026using namespace llvm;
Anton Korobeynikov65c0d872008-02-27 23:33:50 +000027using namespace llvm::dwarf;
Dan Gohmanf17a25c2007-07-18 16:29:46 +000028
Anton Korobeynikov3829e8a2008-09-25 21:00:33 +000029const char *const llvm::x86_asm_table[] = {
30 "{si}", "S",
31 "{di}", "D",
32 "{ax}", "a",
33 "{cx}", "c",
34 "{memory}", "memory",
35 "{flags}", "",
36 "{dirflag}", "",
37 "{fpsr}", "",
38 "{cc}", "cc",
39 0,0};
Dan Gohmanf17a25c2007-07-18 16:29:46 +000040
Anton Korobeynikovf700e682008-07-09 13:20:48 +000041X86DarwinTargetAsmInfo::X86DarwinTargetAsmInfo(const X86TargetMachine &TM):
Anton Korobeynikov3829e8a2008-09-25 21:00:33 +000042 X86TargetAsmInfo<DarwinTargetAsmInfo>(TM) {
Bill Wendling0ddb3862009-07-13 18:48:39 +000043 const X86Subtarget *Subtarget = &TM.getSubtarget<X86Subtarget>();
Anton Korobeynikov16876eb2008-08-08 18:25:52 +000044 bool is64Bit = Subtarget->is64Bit();
Anton Korobeynikovf700e682008-07-09 13:20:48 +000045
46 AlignmentIsInBytes = false;
47 TextAlignFillValue = 0x90;
Daniel Dunbar1e13b972009-07-24 08:24:36 +000048
49
Anton Korobeynikovf700e682008-07-09 13:20:48 +000050 if (!is64Bit)
51 Data64bitsDirective = 0; // we can't emit a 64-bit unit
52 ZeroDirective = "\t.space\t"; // ".space N" emits N zeros.
Anton Korobeynikovf700e682008-07-09 13:20:48 +000053 ZeroFillDirective = "\t.zerofill\t"; // Uses .zerofill
Dan Gohmana004d7b2008-11-03 18:22:42 +000054 if (TM.getRelocationModel() != Reloc::Static)
Anton Korobeynikova7463ee2008-07-09 21:54:26 +000055 ConstantPoolSection = "\t.const_data";
56 else
57 ConstantPoolSection = "\t.const\n";
Anton Korobeynikovf700e682008-07-09 13:20:48 +000058 LCOMMDirective = "\t.lcomm\t";
Bill Wendling0ddb3862009-07-13 18:48:39 +000059
Anton Korobeynikov16876eb2008-08-08 18:25:52 +000060 // Leopard and above support aligned common symbols.
61 COMMDirectiveTakesAlignment = (Subtarget->getDarwinVers() >= 9);
Anton Korobeynikovf700e682008-07-09 13:20:48 +000062 HasDotTypeDotSizeDirective = false;
Daniel Dunbar1e13b972009-07-24 08:24:36 +000063
Anton Korobeynikovf700e682008-07-09 13:20:48 +000064 if (is64Bit) {
65 PersonalityPrefix = "";
66 PersonalitySuffix = "+4@GOTPCREL";
67 } else {
68 PersonalityPrefix = "L";
69 PersonalitySuffix = "$non_lazy_ptr";
70 }
Bill Wendling0ddb3862009-07-13 18:48:39 +000071
Anton Korobeynikovf700e682008-07-09 13:20:48 +000072 InlineAsmStart = "## InlineAsm Start";
73 InlineAsmEnd = "## InlineAsm End";
74 CommentString = "##";
75 SetDirective = "\t.set";
76 PCSymbol = ".";
77 UsedDirective = "\t.no_dead_strip\t";
Anton Korobeynikovf700e682008-07-09 13:20:48 +000078 ProtectedDirective = "\t.globl\t";
79
Anton Korobeynikovf700e682008-07-09 13:20:48 +000080 SupportsDebugInformation = true;
Devang Patel88bf96e2009-04-13 17:02:03 +000081 DwarfDebugInlineSection = ".section __DWARF,__debug_inlined,regular,debug";
82 DwarfUsesInlineInfoSection = true;
Anton Korobeynikovf700e682008-07-09 13:20:48 +000083
84 // Exceptions handling
85 SupportsExceptionHandling = true;
86 GlobalEHDirective = "\t.globl\t";
87 SupportsWeakOmittedEHFrame = false;
88 AbsoluteEHSectionOffsets = false;
89 DwarfEHFrameSection =
90 ".section __TEXT,__eh_frame,coalesced,no_toc+strip_static_syms+live_support";
Bill Wendling4e39d3e2009-07-13 20:27:41 +000091 DwarfExceptionSection = ".section __DATA,__gcc_except_tab";
Anton Korobeynikovf700e682008-07-09 13:20:48 +000092}
93
Anton Korobeynikovcd2a4e52008-07-09 13:21:08 +000094unsigned
95X86DarwinTargetAsmInfo::PreferredEHDataFormat(DwarfEncoding::Target Reason,
96 bool Global) const {
97 if (Reason == DwarfEncoding::Functions && Global)
98 return (DW_EH_PE_pcrel | DW_EH_PE_indirect | DW_EH_PE_sdata4);
Chris Lattner64630562009-07-27 06:17:14 +000099 if (Reason == DwarfEncoding::CodeLabels || !Global)
Anton Korobeynikovcd2a4e52008-07-09 13:21:08 +0000100 return DW_EH_PE_pcrel;
Chris Lattner64630562009-07-27 06:17:14 +0000101 return DW_EH_PE_absptr;
Anton Korobeynikovcd2a4e52008-07-09 13:21:08 +0000102}
103
Rafael Espindola1a931842008-12-19 10:55:56 +0000104const char *
Chris Lattner64630562009-07-27 06:17:14 +0000105X86DarwinTargetAsmInfo::getEHGlobalPrefix() const {
Rafael Espindola1a931842008-12-19 10:55:56 +0000106 const X86Subtarget* Subtarget = &TM.getSubtarget<X86Subtarget>();
107 if (Subtarget->getDarwinVers() > 9)
108 return PrivateGlobalPrefix;
Chris Lattner64630562009-07-27 06:17:14 +0000109 return "";
Rafael Espindola1a931842008-12-19 10:55:56 +0000110}
111
Chris Lattner64630562009-07-27 06:17:14 +0000112X86ELFTargetAsmInfo::X86ELFTargetAsmInfo(const X86TargetMachine &TM) :
Anton Korobeynikov3829e8a2008-09-25 21:00:33 +0000113 X86TargetAsmInfo<ELFTargetAsmInfo>(TM) {
Anton Korobeynikovc33a1ff2008-07-09 13:28:49 +0000114
Anton Korobeynikov03db6772008-07-09 13:25:26 +0000115 CStringSection = ".rodata.str";
Anton Korobeynikovf700e682008-07-09 13:20:48 +0000116 PrivateGlobalPrefix = ".L";
117 WeakRefDirective = "\t.weak\t";
118 SetDirective = "\t.set\t";
119 PCSymbol = ".";
120
121 // Set up DWARF directives
122 HasLEB128 = true; // Target asm supports leb128 directives (little-endian)
123
124 // Debug Information
125 AbsoluteDebugSectionOffsets = true;
126 SupportsDebugInformation = true;
127 DwarfAbbrevSection = "\t.section\t.debug_abbrev,\"\",@progbits";
128 DwarfInfoSection = "\t.section\t.debug_info,\"\",@progbits";
129 DwarfLineSection = "\t.section\t.debug_line,\"\",@progbits";
130 DwarfFrameSection = "\t.section\t.debug_frame,\"\",@progbits";
131 DwarfPubNamesSection ="\t.section\t.debug_pubnames,\"\",@progbits";
132 DwarfPubTypesSection ="\t.section\t.debug_pubtypes,\"\",@progbits";
133 DwarfStrSection = "\t.section\t.debug_str,\"\",@progbits";
134 DwarfLocSection = "\t.section\t.debug_loc,\"\",@progbits";
135 DwarfARangesSection = "\t.section\t.debug_aranges,\"\",@progbits";
136 DwarfRangesSection = "\t.section\t.debug_ranges,\"\",@progbits";
Chris Lattnerecbf73b2009-06-18 23:31:37 +0000137 DwarfMacroInfoSection = "\t.section\t.debug_macinfo,\"\",@progbits";
Anton Korobeynikovf700e682008-07-09 13:20:48 +0000138
139 // Exceptions handling
Anton Korobeynikov15f3a842008-09-08 21:13:08 +0000140 SupportsExceptionHandling = true;
Anton Korobeynikovf700e682008-07-09 13:20:48 +0000141 AbsoluteEHSectionOffsets = false;
142 DwarfEHFrameSection = "\t.section\t.eh_frame,\"aw\",@progbits";
143 DwarfExceptionSection = "\t.section\t.gcc_except_table,\"a\",@progbits";
144
145 // On Linux we must declare when we can use a non-executable stack.
Dan Gohmana004d7b2008-11-03 18:22:42 +0000146 if (TM.getSubtarget<X86Subtarget>().isLinux())
Anton Korobeynikovf700e682008-07-09 13:20:48 +0000147 NonexecutableStackDirective = "\t.section\t.note.GNU-stack,\"\",@progbits";
148}
149
Anton Korobeynikovcd2a4e52008-07-09 13:21:08 +0000150unsigned
151X86ELFTargetAsmInfo::PreferredEHDataFormat(DwarfEncoding::Target Reason,
152 bool Global) const {
Dan Gohmana004d7b2008-11-03 18:22:42 +0000153 CodeModel::Model CM = TM.getCodeModel();
154 bool is64Bit = TM.getSubtarget<X86Subtarget>().is64Bit();
Anton Korobeynikovcd2a4e52008-07-09 13:21:08 +0000155
Dan Gohmana004d7b2008-11-03 18:22:42 +0000156 if (TM.getRelocationModel() == Reloc::PIC_) {
Anton Korobeynikovcd2a4e52008-07-09 13:21:08 +0000157 unsigned Format = 0;
158
159 if (!is64Bit)
160 // 32 bit targets always encode pointers as 4 bytes
161 Format = DW_EH_PE_sdata4;
162 else {
163 // 64 bit targets encode pointers in 4 bytes iff:
164 // - code model is small OR
165 // - code model is medium and we're emitting externally visible symbols
166 // or any code symbols
167 if (CM == CodeModel::Small ||
168 (CM == CodeModel::Medium && (Global ||
169 Reason != DwarfEncoding::Data)))
170 Format = DW_EH_PE_sdata4;
171 else
172 Format = DW_EH_PE_sdata8;
173 }
174
175 if (Global)
176 Format |= DW_EH_PE_indirect;
177
178 return (Format | DW_EH_PE_pcrel);
179 } else {
180 if (is64Bit &&
181 (CM == CodeModel::Small ||
182 (CM == CodeModel::Medium && Reason != DwarfEncoding::Data)))
183 return DW_EH_PE_udata4;
184 else
185 return DW_EH_PE_absptr;
186 }
187}
188
Anton Korobeynikovf700e682008-07-09 13:20:48 +0000189
Anton Korobeynikovcd2a4e52008-07-09 13:21:08 +0000190unsigned
191X86COFFTargetAsmInfo::PreferredEHDataFormat(DwarfEncoding::Target Reason,
192 bool Global) const {
Dan Gohmana004d7b2008-11-03 18:22:42 +0000193 CodeModel::Model CM = TM.getCodeModel();
194 bool is64Bit = TM.getSubtarget<X86Subtarget>().is64Bit();
Anton Korobeynikov65c0d872008-02-27 23:33:50 +0000195
Dan Gohmana004d7b2008-11-03 18:22:42 +0000196 if (TM.getRelocationModel() == Reloc::PIC_) {
Anton Korobeynikovcd2a4e52008-07-09 13:21:08 +0000197 unsigned Format = 0;
Anton Korobeynikov65c0d872008-02-27 23:33:50 +0000198
Anton Korobeynikovcd2a4e52008-07-09 13:21:08 +0000199 if (!is64Bit)
200 // 32 bit targets always encode pointers as 4 bytes
201 Format = DW_EH_PE_sdata4;
202 else {
203 // 64 bit targets encode pointers in 4 bytes iff:
204 // - code model is small OR
205 // - code model is medium and we're emitting externally visible symbols
206 // or any code symbols
207 if (CM == CodeModel::Small ||
208 (CM == CodeModel::Medium && (Global ||
209 Reason != DwarfEncoding::Data)))
Anton Korobeynikov65c0d872008-02-27 23:33:50 +0000210 Format = DW_EH_PE_sdata4;
Anton Korobeynikov65c0d872008-02-27 23:33:50 +0000211 else
Anton Korobeynikovcd2a4e52008-07-09 13:21:08 +0000212 Format = DW_EH_PE_sdata8;
Anton Korobeynikov65c0d872008-02-27 23:33:50 +0000213 }
Anton Korobeynikov65c0d872008-02-27 23:33:50 +0000214
Anton Korobeynikovcd2a4e52008-07-09 13:21:08 +0000215 if (Global)
216 Format |= DW_EH_PE_indirect;
217
218 return (Format | DW_EH_PE_pcrel);
Anton Korobeynikov65c0d872008-02-27 23:33:50 +0000219 }
Chris Lattnerb8245582009-07-24 04:49:34 +0000220
221 if (is64Bit &&
222 (CM == CodeModel::Small ||
223 (CM == CodeModel::Medium && Reason != DwarfEncoding::Data)))
224 return DW_EH_PE_udata4;
225 return DW_EH_PE_absptr;
Anton Korobeynikov65c0d872008-02-27 23:33:50 +0000226}
227
Anton Korobeynikov3819e2d2008-07-09 13:19:38 +0000228
Anton Korobeynikov49881c52008-07-09 13:21:49 +0000229
Anton Korobeynikov49881c52008-07-09 13:21:49 +0000230X86WinTargetAsmInfo::X86WinTargetAsmInfo(const X86TargetMachine &TM):
Chris Lattner9418a392009-07-27 16:45:59 +0000231 X86TargetAsmInfo<TargetAsmInfo>(TM) {
Anton Korobeynikov49881c52008-07-09 13:21:49 +0000232 GlobalPrefix = "_";
233 CommentString = ";";
234
Eli Friedman378ea832009-06-19 04:48:38 +0000235 InlineAsmStart = "; InlineAsm Start";
236 InlineAsmEnd = "; InlineAsm End";
237
Anton Korobeynikov49881c52008-07-09 13:21:49 +0000238 PrivateGlobalPrefix = "$";
Eli Friedman378ea832009-06-19 04:48:38 +0000239 AlignDirective = "\tALIGN\t";
Anton Korobeynikov49881c52008-07-09 13:21:49 +0000240 ZeroDirective = "\tdb\t";
241 ZeroDirectiveSuffix = " dup(0)";
242 AsciiDirective = "\tdb\t";
243 AscizDirective = 0;
244 Data8bitsDirective = "\tdb\t";
245 Data16bitsDirective = "\tdw\t";
246 Data32bitsDirective = "\tdd\t";
247 Data64bitsDirective = "\tdq\t";
248 HasDotTypeDotSizeDirective = false;
Rafael Espindola5cf2e552008-12-03 11:01:37 +0000249 HasSingleParameterDotFile = false;
Anton Korobeynikov49881c52008-07-09 13:21:49 +0000250
Eli Friedman378ea832009-06-19 04:48:38 +0000251 AlignmentIsInBytes = true;
252
Anton Korobeynikov49881c52008-07-09 13:21:49 +0000253 JumpTableDataSection = NULL;
254 SwitchToSectionDirective = "";
Eli Friedman378ea832009-06-19 04:48:38 +0000255 TextSectionStartSuffix = "\tSEGMENT PARA 'CODE'";
256 DataSectionStartSuffix = "\tSEGMENT PARA 'DATA'";
Anton Korobeynikov49881c52008-07-09 13:21:49 +0000257 SectionEndDirectiveSuffix = "\tends\n";
258}
Anton Korobeynikov45d1b622008-10-05 08:53:29 +0000259
Anton Korobeynikov45d1b622008-10-05 08:53:29 +0000260// Instantiate default implementation.
261TEMPLATE_INSTANTIATION(class X86TargetAsmInfo<TargetAsmInfo>);