Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1 | //===-- X86TargetAsmInfo.cpp - X86 asm properties ---------------*- C++ -*-===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | 081ce94 | 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. |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 7 | // |
| 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 Korobeynikov | 65c0d87 | 2008-02-27 23:33:50 +0000 | [diff] [blame] | 23 | #include "llvm/Support/Dwarf.h" |
Edwin Török | 675d562 | 2009-07-11 20:10:48 +0000 | [diff] [blame] | 24 | #include "llvm/Support/ErrorHandling.h" |
Anton Korobeynikov | 65c0d87 | 2008-02-27 23:33:50 +0000 | [diff] [blame] | 25 | |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 26 | using namespace llvm; |
Anton Korobeynikov | 65c0d87 | 2008-02-27 23:33:50 +0000 | [diff] [blame] | 27 | using namespace llvm::dwarf; |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 28 | |
Anton Korobeynikov | 3829e8a | 2008-09-25 21:00:33 +0000 | [diff] [blame] | 29 | const 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 Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 40 | |
Anton Korobeynikov | f700e68 | 2008-07-09 13:20:48 +0000 | [diff] [blame] | 41 | X86DarwinTargetAsmInfo::X86DarwinTargetAsmInfo(const X86TargetMachine &TM): |
Anton Korobeynikov | 3829e8a | 2008-09-25 21:00:33 +0000 | [diff] [blame] | 42 | X86TargetAsmInfo<DarwinTargetAsmInfo>(TM) { |
Bill Wendling | 0ddb386 | 2009-07-13 18:48:39 +0000 | [diff] [blame] | 43 | const X86Subtarget *Subtarget = &TM.getSubtarget<X86Subtarget>(); |
Anton Korobeynikov | 16876eb | 2008-08-08 18:25:52 +0000 | [diff] [blame] | 44 | bool is64Bit = Subtarget->is64Bit(); |
Anton Korobeynikov | f700e68 | 2008-07-09 13:20:48 +0000 | [diff] [blame] | 45 | |
| 46 | AlignmentIsInBytes = false; |
| 47 | TextAlignFillValue = 0x90; |
Daniel Dunbar | 1e13b97 | 2009-07-24 08:24:36 +0000 | [diff] [blame] | 48 | |
| 49 | |
Anton Korobeynikov | f700e68 | 2008-07-09 13:20:48 +0000 | [diff] [blame] | 50 | if (!is64Bit) |
| 51 | Data64bitsDirective = 0; // we can't emit a 64-bit unit |
| 52 | ZeroDirective = "\t.space\t"; // ".space N" emits N zeros. |
Anton Korobeynikov | f700e68 | 2008-07-09 13:20:48 +0000 | [diff] [blame] | 53 | ZeroFillDirective = "\t.zerofill\t"; // Uses .zerofill |
Dan Gohman | a004d7b | 2008-11-03 18:22:42 +0000 | [diff] [blame] | 54 | if (TM.getRelocationModel() != Reloc::Static) |
Anton Korobeynikov | a7463ee | 2008-07-09 21:54:26 +0000 | [diff] [blame] | 55 | ConstantPoolSection = "\t.const_data"; |
| 56 | else |
| 57 | ConstantPoolSection = "\t.const\n"; |
Anton Korobeynikov | f700e68 | 2008-07-09 13:20:48 +0000 | [diff] [blame] | 58 | LCOMMDirective = "\t.lcomm\t"; |
Bill Wendling | 0ddb386 | 2009-07-13 18:48:39 +0000 | [diff] [blame] | 59 | |
Anton Korobeynikov | 16876eb | 2008-08-08 18:25:52 +0000 | [diff] [blame] | 60 | // Leopard and above support aligned common symbols. |
| 61 | COMMDirectiveTakesAlignment = (Subtarget->getDarwinVers() >= 9); |
Anton Korobeynikov | f700e68 | 2008-07-09 13:20:48 +0000 | [diff] [blame] | 62 | HasDotTypeDotSizeDirective = false; |
Daniel Dunbar | 1e13b97 | 2009-07-24 08:24:36 +0000 | [diff] [blame] | 63 | |
Anton Korobeynikov | f700e68 | 2008-07-09 13:20:48 +0000 | [diff] [blame] | 64 | if (is64Bit) { |
| 65 | PersonalityPrefix = ""; |
| 66 | PersonalitySuffix = "+4@GOTPCREL"; |
| 67 | } else { |
| 68 | PersonalityPrefix = "L"; |
| 69 | PersonalitySuffix = "$non_lazy_ptr"; |
| 70 | } |
Bill Wendling | 0ddb386 | 2009-07-13 18:48:39 +0000 | [diff] [blame] | 71 | |
Anton Korobeynikov | f700e68 | 2008-07-09 13:20:48 +0000 | [diff] [blame] | 72 | InlineAsmStart = "## InlineAsm Start"; |
| 73 | InlineAsmEnd = "## InlineAsm End"; |
| 74 | CommentString = "##"; |
| 75 | SetDirective = "\t.set"; |
| 76 | PCSymbol = "."; |
| 77 | UsedDirective = "\t.no_dead_strip\t"; |
Anton Korobeynikov | f700e68 | 2008-07-09 13:20:48 +0000 | [diff] [blame] | 78 | ProtectedDirective = "\t.globl\t"; |
| 79 | |
Anton Korobeynikov | f700e68 | 2008-07-09 13:20:48 +0000 | [diff] [blame] | 80 | SupportsDebugInformation = true; |
Devang Patel | 88bf96e | 2009-04-13 17:02:03 +0000 | [diff] [blame] | 81 | DwarfDebugInlineSection = ".section __DWARF,__debug_inlined,regular,debug"; |
| 82 | DwarfUsesInlineInfoSection = true; |
Anton Korobeynikov | f700e68 | 2008-07-09 13:20:48 +0000 | [diff] [blame] | 83 | |
| 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 Wendling | 4e39d3e | 2009-07-13 20:27:41 +0000 | [diff] [blame] | 91 | DwarfExceptionSection = ".section __DATA,__gcc_except_tab"; |
Anton Korobeynikov | f700e68 | 2008-07-09 13:20:48 +0000 | [diff] [blame] | 92 | } |
| 93 | |
Chris Lattner | 8b0bb37 | 2009-07-31 21:39:55 +0000 | [diff] [blame^] | 94 | unsigned X86DarwinTargetAsmInfo::PreferredEHDataFormat() const { |
Bill Wendling | 1d29c1f | 2009-07-29 00:59:34 +0000 | [diff] [blame] | 95 | const X86Subtarget *Subtarget = &TM.getSubtarget<X86Subtarget>(); |
Chris Lattner | 8b0bb37 | 2009-07-31 21:39:55 +0000 | [diff] [blame^] | 96 | if (Subtarget->getDarwinVers() > 9) |
| 97 | return DW_EH_PE_pcrel | DW_EH_PE_indirect | DW_EH_PE_sdata4; |
Bill Wendling | cf4423b | 2009-07-28 21:53:17 +0000 | [diff] [blame] | 98 | |
Chris Lattner | 6463056 | 2009-07-27 06:17:14 +0000 | [diff] [blame] | 99 | return DW_EH_PE_absptr; |
Anton Korobeynikov | cd2a4e5 | 2008-07-09 13:21:08 +0000 | [diff] [blame] | 100 | } |
| 101 | |
Rafael Espindola | 1a93184 | 2008-12-19 10:55:56 +0000 | [diff] [blame] | 102 | const char * |
Chris Lattner | 6463056 | 2009-07-27 06:17:14 +0000 | [diff] [blame] | 103 | X86DarwinTargetAsmInfo::getEHGlobalPrefix() const { |
Rafael Espindola | 1a93184 | 2008-12-19 10:55:56 +0000 | [diff] [blame] | 104 | const X86Subtarget* Subtarget = &TM.getSubtarget<X86Subtarget>(); |
| 105 | if (Subtarget->getDarwinVers() > 9) |
| 106 | return PrivateGlobalPrefix; |
Chris Lattner | 6463056 | 2009-07-27 06:17:14 +0000 | [diff] [blame] | 107 | return ""; |
Rafael Espindola | 1a93184 | 2008-12-19 10:55:56 +0000 | [diff] [blame] | 108 | } |
| 109 | |
Chris Lattner | 6463056 | 2009-07-27 06:17:14 +0000 | [diff] [blame] | 110 | X86ELFTargetAsmInfo::X86ELFTargetAsmInfo(const X86TargetMachine &TM) : |
Anton Korobeynikov | 3829e8a | 2008-09-25 21:00:33 +0000 | [diff] [blame] | 111 | X86TargetAsmInfo<ELFTargetAsmInfo>(TM) { |
Anton Korobeynikov | c33a1ff | 2008-07-09 13:28:49 +0000 | [diff] [blame] | 112 | |
Anton Korobeynikov | 03db677 | 2008-07-09 13:25:26 +0000 | [diff] [blame] | 113 | CStringSection = ".rodata.str"; |
Anton Korobeynikov | f700e68 | 2008-07-09 13:20:48 +0000 | [diff] [blame] | 114 | PrivateGlobalPrefix = ".L"; |
| 115 | WeakRefDirective = "\t.weak\t"; |
| 116 | SetDirective = "\t.set\t"; |
| 117 | PCSymbol = "."; |
| 118 | |
| 119 | // Set up DWARF directives |
| 120 | HasLEB128 = true; // Target asm supports leb128 directives (little-endian) |
| 121 | |
| 122 | // Debug Information |
| 123 | AbsoluteDebugSectionOffsets = true; |
| 124 | SupportsDebugInformation = true; |
| 125 | DwarfAbbrevSection = "\t.section\t.debug_abbrev,\"\",@progbits"; |
| 126 | DwarfInfoSection = "\t.section\t.debug_info,\"\",@progbits"; |
| 127 | DwarfLineSection = "\t.section\t.debug_line,\"\",@progbits"; |
| 128 | DwarfFrameSection = "\t.section\t.debug_frame,\"\",@progbits"; |
| 129 | DwarfPubNamesSection ="\t.section\t.debug_pubnames,\"\",@progbits"; |
| 130 | DwarfPubTypesSection ="\t.section\t.debug_pubtypes,\"\",@progbits"; |
| 131 | DwarfStrSection = "\t.section\t.debug_str,\"\",@progbits"; |
| 132 | DwarfLocSection = "\t.section\t.debug_loc,\"\",@progbits"; |
| 133 | DwarfARangesSection = "\t.section\t.debug_aranges,\"\",@progbits"; |
| 134 | DwarfRangesSection = "\t.section\t.debug_ranges,\"\",@progbits"; |
Chris Lattner | ecbf73b | 2009-06-18 23:31:37 +0000 | [diff] [blame] | 135 | DwarfMacroInfoSection = "\t.section\t.debug_macinfo,\"\",@progbits"; |
Anton Korobeynikov | f700e68 | 2008-07-09 13:20:48 +0000 | [diff] [blame] | 136 | |
| 137 | // Exceptions handling |
Anton Korobeynikov | 15f3a84 | 2008-09-08 21:13:08 +0000 | [diff] [blame] | 138 | SupportsExceptionHandling = true; |
Anton Korobeynikov | f700e68 | 2008-07-09 13:20:48 +0000 | [diff] [blame] | 139 | AbsoluteEHSectionOffsets = false; |
| 140 | DwarfEHFrameSection = "\t.section\t.eh_frame,\"aw\",@progbits"; |
| 141 | DwarfExceptionSection = "\t.section\t.gcc_except_table,\"a\",@progbits"; |
| 142 | |
| 143 | // On Linux we must declare when we can use a non-executable stack. |
Dan Gohman | a004d7b | 2008-11-03 18:22:42 +0000 | [diff] [blame] | 144 | if (TM.getSubtarget<X86Subtarget>().isLinux()) |
Anton Korobeynikov | f700e68 | 2008-07-09 13:20:48 +0000 | [diff] [blame] | 145 | NonexecutableStackDirective = "\t.section\t.note.GNU-stack,\"\",@progbits"; |
| 146 | } |
| 147 | |
Anton Korobeynikov | cd2a4e5 | 2008-07-09 13:21:08 +0000 | [diff] [blame] | 148 | unsigned |
Chris Lattner | 8b0bb37 | 2009-07-31 21:39:55 +0000 | [diff] [blame^] | 149 | X86ELFTargetAsmInfo::PreferredEHDataFormat() const { |
Dan Gohman | a004d7b | 2008-11-03 18:22:42 +0000 | [diff] [blame] | 150 | CodeModel::Model CM = TM.getCodeModel(); |
| 151 | bool is64Bit = TM.getSubtarget<X86Subtarget>().is64Bit(); |
Anton Korobeynikov | cd2a4e5 | 2008-07-09 13:21:08 +0000 | [diff] [blame] | 152 | |
Dan Gohman | a004d7b | 2008-11-03 18:22:42 +0000 | [diff] [blame] | 153 | if (TM.getRelocationModel() == Reloc::PIC_) { |
Anton Korobeynikov | cd2a4e5 | 2008-07-09 13:21:08 +0000 | [diff] [blame] | 154 | unsigned Format = 0; |
| 155 | |
| 156 | if (!is64Bit) |
| 157 | // 32 bit targets always encode pointers as 4 bytes |
| 158 | Format = DW_EH_PE_sdata4; |
| 159 | else { |
| 160 | // 64 bit targets encode pointers in 4 bytes iff: |
| 161 | // - code model is small OR |
| 162 | // - code model is medium and we're emitting externally visible symbols |
| 163 | // or any code symbols |
Chris Lattner | 8b0bb37 | 2009-07-31 21:39:55 +0000 | [diff] [blame^] | 164 | if (CM == CodeModel::Small || CM == CodeModel::Medium) |
Anton Korobeynikov | cd2a4e5 | 2008-07-09 13:21:08 +0000 | [diff] [blame] | 165 | Format = DW_EH_PE_sdata4; |
| 166 | else |
| 167 | Format = DW_EH_PE_sdata8; |
| 168 | } |
| 169 | |
Chris Lattner | 8b0bb37 | 2009-07-31 21:39:55 +0000 | [diff] [blame^] | 170 | Format |= DW_EH_PE_indirect; |
Anton Korobeynikov | cd2a4e5 | 2008-07-09 13:21:08 +0000 | [diff] [blame] | 171 | return (Format | DW_EH_PE_pcrel); |
Anton Korobeynikov | cd2a4e5 | 2008-07-09 13:21:08 +0000 | [diff] [blame] | 172 | } |
Chris Lattner | 8b0bb37 | 2009-07-31 21:39:55 +0000 | [diff] [blame^] | 173 | |
| 174 | if (is64Bit && CM == CodeModel::Small) |
| 175 | return DW_EH_PE_udata4; |
| 176 | return DW_EH_PE_absptr; |
Anton Korobeynikov | cd2a4e5 | 2008-07-09 13:21:08 +0000 | [diff] [blame] | 177 | } |
| 178 | |
Anton Korobeynikov | f700e68 | 2008-07-09 13:20:48 +0000 | [diff] [blame] | 179 | |
Anton Korobeynikov | cd2a4e5 | 2008-07-09 13:21:08 +0000 | [diff] [blame] | 180 | unsigned |
Chris Lattner | 8b0bb37 | 2009-07-31 21:39:55 +0000 | [diff] [blame^] | 181 | X86COFFTargetAsmInfo::PreferredEHDataFormat() const { |
Dan Gohman | a004d7b | 2008-11-03 18:22:42 +0000 | [diff] [blame] | 182 | CodeModel::Model CM = TM.getCodeModel(); |
| 183 | bool is64Bit = TM.getSubtarget<X86Subtarget>().is64Bit(); |
Anton Korobeynikov | 65c0d87 | 2008-02-27 23:33:50 +0000 | [diff] [blame] | 184 | |
Dan Gohman | a004d7b | 2008-11-03 18:22:42 +0000 | [diff] [blame] | 185 | if (TM.getRelocationModel() == Reloc::PIC_) { |
Anton Korobeynikov | cd2a4e5 | 2008-07-09 13:21:08 +0000 | [diff] [blame] | 186 | unsigned Format = 0; |
Anton Korobeynikov | 65c0d87 | 2008-02-27 23:33:50 +0000 | [diff] [blame] | 187 | |
Anton Korobeynikov | cd2a4e5 | 2008-07-09 13:21:08 +0000 | [diff] [blame] | 188 | if (!is64Bit) |
| 189 | // 32 bit targets always encode pointers as 4 bytes |
| 190 | Format = DW_EH_PE_sdata4; |
| 191 | else { |
| 192 | // 64 bit targets encode pointers in 4 bytes iff: |
| 193 | // - code model is small OR |
| 194 | // - code model is medium and we're emitting externally visible symbols |
| 195 | // or any code symbols |
Chris Lattner | 8b0bb37 | 2009-07-31 21:39:55 +0000 | [diff] [blame^] | 196 | if (CM == CodeModel::Small || CM == CodeModel::Medium) |
Anton Korobeynikov | 65c0d87 | 2008-02-27 23:33:50 +0000 | [diff] [blame] | 197 | Format = DW_EH_PE_sdata4; |
Anton Korobeynikov | 65c0d87 | 2008-02-27 23:33:50 +0000 | [diff] [blame] | 198 | else |
Anton Korobeynikov | cd2a4e5 | 2008-07-09 13:21:08 +0000 | [diff] [blame] | 199 | Format = DW_EH_PE_sdata8; |
Anton Korobeynikov | 65c0d87 | 2008-02-27 23:33:50 +0000 | [diff] [blame] | 200 | } |
Anton Korobeynikov | 65c0d87 | 2008-02-27 23:33:50 +0000 | [diff] [blame] | 201 | |
Chris Lattner | 8b0bb37 | 2009-07-31 21:39:55 +0000 | [diff] [blame^] | 202 | Format |= DW_EH_PE_indirect; |
Anton Korobeynikov | cd2a4e5 | 2008-07-09 13:21:08 +0000 | [diff] [blame] | 203 | return (Format | DW_EH_PE_pcrel); |
Anton Korobeynikov | 65c0d87 | 2008-02-27 23:33:50 +0000 | [diff] [blame] | 204 | } |
Chris Lattner | b824558 | 2009-07-24 04:49:34 +0000 | [diff] [blame] | 205 | |
Chris Lattner | 8b0bb37 | 2009-07-31 21:39:55 +0000 | [diff] [blame^] | 206 | if (is64Bit && CM == CodeModel::Small) |
Chris Lattner | b824558 | 2009-07-24 04:49:34 +0000 | [diff] [blame] | 207 | return DW_EH_PE_udata4; |
| 208 | return DW_EH_PE_absptr; |
Anton Korobeynikov | 65c0d87 | 2008-02-27 23:33:50 +0000 | [diff] [blame] | 209 | } |
| 210 | |
Anton Korobeynikov | 3819e2d | 2008-07-09 13:19:38 +0000 | [diff] [blame] | 211 | |
Anton Korobeynikov | 49881c5 | 2008-07-09 13:21:49 +0000 | [diff] [blame] | 212 | |
Anton Korobeynikov | 49881c5 | 2008-07-09 13:21:49 +0000 | [diff] [blame] | 213 | X86WinTargetAsmInfo::X86WinTargetAsmInfo(const X86TargetMachine &TM): |
Chris Lattner | 9418a39 | 2009-07-27 16:45:59 +0000 | [diff] [blame] | 214 | X86TargetAsmInfo<TargetAsmInfo>(TM) { |
Anton Korobeynikov | 49881c5 | 2008-07-09 13:21:49 +0000 | [diff] [blame] | 215 | GlobalPrefix = "_"; |
| 216 | CommentString = ";"; |
| 217 | |
Eli Friedman | 378ea83 | 2009-06-19 04:48:38 +0000 | [diff] [blame] | 218 | InlineAsmStart = "; InlineAsm Start"; |
| 219 | InlineAsmEnd = "; InlineAsm End"; |
| 220 | |
Anton Korobeynikov | 49881c5 | 2008-07-09 13:21:49 +0000 | [diff] [blame] | 221 | PrivateGlobalPrefix = "$"; |
Eli Friedman | 378ea83 | 2009-06-19 04:48:38 +0000 | [diff] [blame] | 222 | AlignDirective = "\tALIGN\t"; |
Anton Korobeynikov | 49881c5 | 2008-07-09 13:21:49 +0000 | [diff] [blame] | 223 | ZeroDirective = "\tdb\t"; |
| 224 | ZeroDirectiveSuffix = " dup(0)"; |
| 225 | AsciiDirective = "\tdb\t"; |
| 226 | AscizDirective = 0; |
| 227 | Data8bitsDirective = "\tdb\t"; |
| 228 | Data16bitsDirective = "\tdw\t"; |
| 229 | Data32bitsDirective = "\tdd\t"; |
| 230 | Data64bitsDirective = "\tdq\t"; |
| 231 | HasDotTypeDotSizeDirective = false; |
Rafael Espindola | 5cf2e55 | 2008-12-03 11:01:37 +0000 | [diff] [blame] | 232 | HasSingleParameterDotFile = false; |
Anton Korobeynikov | 49881c5 | 2008-07-09 13:21:49 +0000 | [diff] [blame] | 233 | |
Eli Friedman | 378ea83 | 2009-06-19 04:48:38 +0000 | [diff] [blame] | 234 | AlignmentIsInBytes = true; |
| 235 | |
Anton Korobeynikov | 49881c5 | 2008-07-09 13:21:49 +0000 | [diff] [blame] | 236 | JumpTableDataSection = NULL; |
| 237 | SwitchToSectionDirective = ""; |
Eli Friedman | 378ea83 | 2009-06-19 04:48:38 +0000 | [diff] [blame] | 238 | TextSectionStartSuffix = "\tSEGMENT PARA 'CODE'"; |
| 239 | DataSectionStartSuffix = "\tSEGMENT PARA 'DATA'"; |
Anton Korobeynikov | 49881c5 | 2008-07-09 13:21:49 +0000 | [diff] [blame] | 240 | SectionEndDirectiveSuffix = "\tends\n"; |
| 241 | } |
Anton Korobeynikov | 45d1b62 | 2008-10-05 08:53:29 +0000 | [diff] [blame] | 242 | |
Anton Korobeynikov | 45d1b62 | 2008-10-05 08:53:29 +0000 | [diff] [blame] | 243 | // Instantiate default implementation. |
| 244 | TEMPLATE_INSTANTIATION(class X86TargetAsmInfo<TargetAsmInfo>); |