blob: b4f503b255ca11eb1d8a8e4af4d031c221af27d9 [file] [log] [blame]
Jim Laskey8e8de8f2006-09-07 22:05:02 +00001//===-- X86TargetAsmInfo.cpp - X86 asm properties ---------------*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Jim Laskey8e8de8f2006-09-07 22:05:02 +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"
Reid Spencer7aa8a452007-01-12 23:22:14 +000017#include "llvm/DerivedTypes.h"
Chris Lattner625bd052006-11-29 01:14:06 +000018#include "llvm/InlineAsm.h"
19#include "llvm/Instructions.h"
Chris Lattner3e9f1d02007-04-01 20:49:36 +000020#include "llvm/Intrinsics.h"
Chris Lattner625bd052006-11-29 01:14:06 +000021#include "llvm/Module.h"
22#include "llvm/ADT/StringExtras.h"
Anton Korobeynikovcee750f2008-02-27 23:33:50 +000023#include "llvm/Support/Dwarf.h"
Torok Edwinc25e7582009-07-11 20:10:48 +000024#include "llvm/Support/ErrorHandling.h"
Anton Korobeynikovcee750f2008-02-27 23:33:50 +000025
Jim Laskey8e8de8f2006-09-07 22:05:02 +000026using namespace llvm;
Anton Korobeynikovcee750f2008-02-27 23:33:50 +000027using namespace llvm::dwarf;
Jim Laskey8e8de8f2006-09-07 22:05:02 +000028
Anton Korobeynikov32b952a2008-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};
Andrew Lenharth6c0695f2006-11-28 19:52:49 +000040
Anton Korobeynikov4468b7a2008-07-09 13:20:48 +000041X86DarwinTargetAsmInfo::X86DarwinTargetAsmInfo(const X86TargetMachine &TM):
Anton Korobeynikov32b952a2008-09-25 21:00:33 +000042 X86TargetAsmInfo<DarwinTargetAsmInfo>(TM) {
Bill Wendlingb6be1392009-07-13 18:48:39 +000043 const X86Subtarget *Subtarget = &TM.getSubtarget<X86Subtarget>();
Anton Korobeynikov16b7f512008-08-08 18:25:52 +000044 bool is64Bit = Subtarget->is64Bit();
Anton Korobeynikov4468b7a2008-07-09 13:20:48 +000045
46 AlignmentIsInBytes = false;
47 TextAlignFillValue = 0x90;
Daniel Dunbarf6ccee52009-07-24 08:24:36 +000048
49
Anton Korobeynikov4468b7a2008-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 Korobeynikov4468b7a2008-07-09 13:20:48 +000053 ZeroFillDirective = "\t.zerofill\t"; // Uses .zerofill
Dan Gohman8f092252008-11-03 18:22:42 +000054 if (TM.getRelocationModel() != Reloc::Static)
Anton Korobeynikov7705ea32008-07-09 21:54:26 +000055 ConstantPoolSection = "\t.const_data";
56 else
57 ConstantPoolSection = "\t.const\n";
Anton Korobeynikov4468b7a2008-07-09 13:20:48 +000058 LCOMMDirective = "\t.lcomm\t";
Bill Wendlingb6be1392009-07-13 18:48:39 +000059
Anton Korobeynikov16b7f512008-08-08 18:25:52 +000060 // Leopard and above support aligned common symbols.
61 COMMDirectiveTakesAlignment = (Subtarget->getDarwinVers() >= 9);
Anton Korobeynikov4468b7a2008-07-09 13:20:48 +000062 HasDotTypeDotSizeDirective = false;
Daniel Dunbarf6ccee52009-07-24 08:24:36 +000063
Anton Korobeynikov4468b7a2008-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 Wendlingb6be1392009-07-13 18:48:39 +000071
Anton Korobeynikov4468b7a2008-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 Korobeynikov4468b7a2008-07-09 13:20:48 +000078 ProtectedDirective = "\t.globl\t";
79
Anton Korobeynikov4468b7a2008-07-09 13:20:48 +000080 SupportsDebugInformation = true;
Devang Patel0f7fef32009-04-13 17:02:03 +000081 DwarfDebugInlineSection = ".section __DWARF,__debug_inlined,regular,debug";
82 DwarfUsesInlineInfoSection = true;
Anton Korobeynikov4468b7a2008-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 Wendlingdb425492009-07-13 20:27:41 +000091 DwarfExceptionSection = ".section __DATA,__gcc_except_tab";
Anton Korobeynikov4468b7a2008-07-09 13:20:48 +000092}
93
Anton Korobeynikovb9e58ef2008-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 Lattnere3466942009-07-27 06:17:14 +000099 if (Reason == DwarfEncoding::CodeLabels || !Global)
Anton Korobeynikovb9e58ef2008-07-09 13:21:08 +0000100 return DW_EH_PE_pcrel;
Chris Lattnere3466942009-07-27 06:17:14 +0000101 return DW_EH_PE_absptr;
Anton Korobeynikovb9e58ef2008-07-09 13:21:08 +0000102}
103
Rafael Espindola2f6fea92008-12-19 10:55:56 +0000104const char *
Chris Lattnere3466942009-07-27 06:17:14 +0000105X86DarwinTargetAsmInfo::getEHGlobalPrefix() const {
Rafael Espindola2f6fea92008-12-19 10:55:56 +0000106 const X86Subtarget* Subtarget = &TM.getSubtarget<X86Subtarget>();
107 if (Subtarget->getDarwinVers() > 9)
108 return PrivateGlobalPrefix;
Chris Lattnere3466942009-07-27 06:17:14 +0000109 return "";
Rafael Espindola2f6fea92008-12-19 10:55:56 +0000110}
111
Chris Lattnere3466942009-07-27 06:17:14 +0000112X86ELFTargetAsmInfo::X86ELFTargetAsmInfo(const X86TargetMachine &TM) :
Anton Korobeynikov32b952a2008-09-25 21:00:33 +0000113 X86TargetAsmInfo<ELFTargetAsmInfo>(TM) {
Anton Korobeynikov0d44ba82008-07-09 13:28:49 +0000114
Anton Korobeynikovb20015b2008-07-09 13:25:26 +0000115 CStringSection = ".rodata.str";
Anton Korobeynikov4468b7a2008-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 Lattnerb839c3f2009-06-18 23:31:37 +0000137 DwarfMacroInfoSection = "\t.section\t.debug_macinfo,\"\",@progbits";
Anton Korobeynikov4468b7a2008-07-09 13:20:48 +0000138
139 // Exceptions handling
Anton Korobeynikovc4da15a2008-09-08 21:13:08 +0000140 SupportsExceptionHandling = true;
Anton Korobeynikov4468b7a2008-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 Gohman8f092252008-11-03 18:22:42 +0000146 if (TM.getSubtarget<X86Subtarget>().isLinux())
Anton Korobeynikov4468b7a2008-07-09 13:20:48 +0000147 NonexecutableStackDirective = "\t.section\t.note.GNU-stack,\"\",@progbits";
148}
149
Anton Korobeynikovb9e58ef2008-07-09 13:21:08 +0000150unsigned
151X86ELFTargetAsmInfo::PreferredEHDataFormat(DwarfEncoding::Target Reason,
152 bool Global) const {
Dan Gohman8f092252008-11-03 18:22:42 +0000153 CodeModel::Model CM = TM.getCodeModel();
154 bool is64Bit = TM.getSubtarget<X86Subtarget>().is64Bit();
Anton Korobeynikovb9e58ef2008-07-09 13:21:08 +0000155
Dan Gohman8f092252008-11-03 18:22:42 +0000156 if (TM.getRelocationModel() == Reloc::PIC_) {
Anton Korobeynikovb9e58ef2008-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 Korobeynikov4468b7a2008-07-09 13:20:48 +0000189
Anton Korobeynikovb9e58ef2008-07-09 13:21:08 +0000190unsigned
191X86COFFTargetAsmInfo::PreferredEHDataFormat(DwarfEncoding::Target Reason,
192 bool Global) const {
Dan Gohman8f092252008-11-03 18:22:42 +0000193 CodeModel::Model CM = TM.getCodeModel();
194 bool is64Bit = TM.getSubtarget<X86Subtarget>().is64Bit();
Anton Korobeynikovcee750f2008-02-27 23:33:50 +0000195
Dan Gohman8f092252008-11-03 18:22:42 +0000196 if (TM.getRelocationModel() == Reloc::PIC_) {
Anton Korobeynikovb9e58ef2008-07-09 13:21:08 +0000197 unsigned Format = 0;
Anton Korobeynikovcee750f2008-02-27 23:33:50 +0000198
Anton Korobeynikovb9e58ef2008-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 Korobeynikovcee750f2008-02-27 23:33:50 +0000210 Format = DW_EH_PE_sdata4;
Anton Korobeynikovcee750f2008-02-27 23:33:50 +0000211 else
Anton Korobeynikovb9e58ef2008-07-09 13:21:08 +0000212 Format = DW_EH_PE_sdata8;
Anton Korobeynikovcee750f2008-02-27 23:33:50 +0000213 }
Anton Korobeynikovcee750f2008-02-27 23:33:50 +0000214
Anton Korobeynikovb9e58ef2008-07-09 13:21:08 +0000215 if (Global)
216 Format |= DW_EH_PE_indirect;
217
218 return (Format | DW_EH_PE_pcrel);
Anton Korobeynikovcee750f2008-02-27 23:33:50 +0000219 }
Chris Lattner55acc682009-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 Korobeynikovcee750f2008-02-27 23:33:50 +0000226}
227
Anton Korobeynikov29b03f72008-07-09 13:19:38 +0000228
Anton Korobeynikovf447e3d2008-07-09 13:21:49 +0000229
Anton Korobeynikovf447e3d2008-07-09 13:21:49 +0000230X86WinTargetAsmInfo::X86WinTargetAsmInfo(const X86TargetMachine &TM):
Chris Lattner40412e72009-07-27 16:45:59 +0000231 X86TargetAsmInfo<TargetAsmInfo>(TM) {
Anton Korobeynikovf447e3d2008-07-09 13:21:49 +0000232 GlobalPrefix = "_";
233 CommentString = ";";
234
Eli Friedmanaace4b12009-06-19 04:48:38 +0000235 InlineAsmStart = "; InlineAsm Start";
236 InlineAsmEnd = "; InlineAsm End";
237
Anton Korobeynikovf447e3d2008-07-09 13:21:49 +0000238 PrivateGlobalPrefix = "$";
Eli Friedmanaace4b12009-06-19 04:48:38 +0000239 AlignDirective = "\tALIGN\t";
Anton Korobeynikovf447e3d2008-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 Espindola952b8392008-12-03 11:01:37 +0000249 HasSingleParameterDotFile = false;
Anton Korobeynikovf447e3d2008-07-09 13:21:49 +0000250
Eli Friedmanaace4b12009-06-19 04:48:38 +0000251 AlignmentIsInBytes = true;
252
Anton Korobeynikovf447e3d2008-07-09 13:21:49 +0000253 JumpTableDataSection = NULL;
254 SwitchToSectionDirective = "";
Eli Friedmanaace4b12009-06-19 04:48:38 +0000255 TextSectionStartSuffix = "\tSEGMENT PARA 'CODE'";
256 DataSectionStartSuffix = "\tSEGMENT PARA 'DATA'";
Anton Korobeynikovf447e3d2008-07-09 13:21:49 +0000257 SectionEndDirectiveSuffix = "\tends\n";
258}
Anton Korobeynikov6381a132008-10-05 08:53:29 +0000259
Anton Korobeynikov6381a132008-10-05 08:53:29 +0000260// Instantiate default implementation.
261TEMPLATE_INSTANTIATION(class X86TargetAsmInfo<TargetAsmInfo>);