asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 1 | //===-- ELFTargetAsmInfo.cpp - ELF asm properties ---------------*- C++ -*-===// |
| 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 defines target asm properties related what form asm statements |
| 11 | // should take in general on ELF-based targets |
| 12 | // |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
| 15 | #include "llvm/Constants.h" |
| 16 | #include "llvm/DerivedTypes.h" |
| 17 | #include "llvm/Function.h" |
| 18 | #include "llvm/GlobalVariable.h" |
| 19 | #include "llvm/ADT/StringExtras.h" |
Anton Korobeynikov | fc54db1 | 2008-08-07 09:50:34 +0000 | [diff] [blame] | 20 | #include "llvm/CodeGen/MachineConstantPool.h" |
Edwin Török | 675d562 | 2009-07-11 20:10:48 +0000 | [diff] [blame] | 21 | #include "llvm/Support/ErrorHandling.h" |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 22 | #include "llvm/Target/ELFTargetAsmInfo.h" |
| 23 | #include "llvm/Target/TargetMachine.h" |
| 24 | #include "llvm/Target/TargetData.h" |
| 25 | |
| 26 | using namespace llvm; |
| 27 | |
Dan Gohman | a004d7b | 2008-11-03 18:22:42 +0000 | [diff] [blame] | 28 | ELFTargetAsmInfo::ELFTargetAsmInfo(const TargetMachine &TM) |
| 29 | : TargetAsmInfo(TM) { |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 30 | |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 31 | BSSSection_ = getUnnamedSection("\t.bss", |
Chris Lattner | 4c530ee | 2009-07-25 18:57:34 +0000 | [diff] [blame] | 32 | SectionFlags::Writable | SectionFlags::BSS); |
Anton Korobeynikov | 4d43322 | 2008-09-24 22:20:27 +0000 | [diff] [blame] | 33 | ReadOnlySection = getNamedSection("\t.rodata", SectionFlags::None); |
Anton Korobeynikov | 9a213e4 | 2008-09-24 22:17:06 +0000 | [diff] [blame] | 34 | TLSDataSection = getNamedSection("\t.tdata", |
Chris Lattner | 4c530ee | 2009-07-25 18:57:34 +0000 | [diff] [blame] | 35 | SectionFlags::Writable | SectionFlags::TLS); |
Anton Korobeynikov | 9a213e4 | 2008-09-24 22:17:06 +0000 | [diff] [blame] | 36 | TLSBSSSection = getNamedSection("\t.tbss", |
Chris Lattner | 4c530ee | 2009-07-25 18:57:34 +0000 | [diff] [blame] | 37 | SectionFlags::Writable | SectionFlags::TLS | SectionFlags::BSS); |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 38 | |
Chris Lattner | 4c530ee | 2009-07-25 18:57:34 +0000 | [diff] [blame] | 39 | DataRelSection = getNamedSection("\t.data.rel", SectionFlags::Writable); |
Anton Korobeynikov | 8a4fbe4 | 2009-03-30 15:27:03 +0000 | [diff] [blame] | 40 | DataRelLocalSection = getNamedSection("\t.data.rel.local", |
Chris Lattner | 4c530ee | 2009-07-25 18:57:34 +0000 | [diff] [blame] | 41 | SectionFlags::Writable); |
Anton Korobeynikov | 8a4fbe4 | 2009-03-30 15:27:03 +0000 | [diff] [blame] | 42 | DataRelROSection = getNamedSection("\t.data.rel.ro", |
Chris Lattner | 4c530ee | 2009-07-25 18:57:34 +0000 | [diff] [blame] | 43 | SectionFlags::Writable); |
Anton Korobeynikov | 8a4fbe4 | 2009-03-30 15:27:03 +0000 | [diff] [blame] | 44 | DataRelROLocalSection = getNamedSection("\t.data.rel.ro.local", |
Chris Lattner | 4c530ee | 2009-07-25 18:57:34 +0000 | [diff] [blame] | 45 | SectionFlags::Writable); |
Chris Lattner | 5295484 | 2009-07-26 06:16:11 +0000 | [diff] [blame] | 46 | |
| 47 | MergableConst4Section = getNamedSection(".rodata.cst4", |
| 48 | SectionFlags::setEntitySize(SectionFlags::Mergeable, 4)); |
| 49 | MergableConst8Section = getNamedSection(".rodata.cst8", |
| 50 | SectionFlags::setEntitySize(SectionFlags::Mergeable, 8)); |
| 51 | MergableConst16Section = getNamedSection(".rodata.cst16", |
| 52 | SectionFlags::setEntitySize(SectionFlags::Mergeable, 16)); |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 53 | } |
| 54 | |
Anton Korobeynikov | b3882b6 | 2009-03-30 15:27:43 +0000 | [diff] [blame] | 55 | |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 56 | const Section* |
Chris Lattner | bb0c9bf | 2009-07-24 18:42:53 +0000 | [diff] [blame] | 57 | ELFTargetAsmInfo::SelectSectionForGlobal(const GlobalValue *GV, |
Chris Lattner | cc19521 | 2009-07-25 23:21:55 +0000 | [diff] [blame] | 58 | SectionKind Kind) const { |
Chris Lattner | dc9d8cf | 2009-07-26 05:44:20 +0000 | [diff] [blame] | 59 | if (Kind.isText()) return TextSection; |
| 60 | if (Kind.isMergableCString()) |
Chris Lattner | 3a2a55a | 2009-07-26 03:06:11 +0000 | [diff] [blame] | 61 | return MergeableStringSection(cast<GlobalVariable>(GV)); |
Chris Lattner | 2a7dd7d | 2009-07-26 06:11:33 +0000 | [diff] [blame] | 62 | |
Chris Lattner | dc9d8cf | 2009-07-26 05:44:20 +0000 | [diff] [blame] | 63 | if (Kind.isMergableConst()) { |
Chris Lattner | 5295484 | 2009-07-26 06:16:11 +0000 | [diff] [blame] | 64 | if (Kind.isMergableConst4()) |
| 65 | return MergableConst4Section; |
| 66 | if (Kind.isMergableConst8()) |
| 67 | return MergableConst8Section; |
| 68 | if (Kind.isMergableConst16()) |
| 69 | return MergableConst16Section; |
| 70 | return ReadOnlySection; // .const |
Chris Lattner | a06e19b | 2009-07-24 05:01:55 +0000 | [diff] [blame] | 71 | } |
Chris Lattner | 5295484 | 2009-07-26 06:16:11 +0000 | [diff] [blame] | 72 | |
Chris Lattner | dc9d8cf | 2009-07-26 05:44:20 +0000 | [diff] [blame] | 73 | if (Kind.isReadOnly()) return getReadOnlySection(); |
| 74 | |
| 75 | |
| 76 | if (Kind.isThreadData()) return TLSDataSection; |
| 77 | if (Kind.isThreadBSS()) return TLSBSSSection; |
| 78 | |
| 79 | if (Kind.isBSS()) return getBSSSection_(); |
| 80 | |
| 81 | |
| 82 | if (Kind.isDataNoRel()) return DataSection; |
| 83 | if (Kind.isDataRelLocal()) return DataRelLocalSection; |
| 84 | if (Kind.isDataRel()) return DataRelSection; |
| 85 | if (Kind.isReadOnlyWithRelLocal()) return DataRelROLocalSection; |
| 86 | |
| 87 | assert(Kind.isReadOnlyWithRel() && "Unknown section kind"); |
| 88 | return DataRelROSection; |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 89 | } |
| 90 | |
Chris Lattner | 680c6f6 | 2009-07-22 00:28:43 +0000 | [diff] [blame] | 91 | /// getSectionForMergableConstant - Given a mergable constant with the |
| 92 | /// specified size and relocation information, return a section that it |
| 93 | /// should be placed in. |
| 94 | const Section * |
Chris Lattner | fc60ba1 | 2009-07-26 06:26:55 +0000 | [diff] [blame] | 95 | ELFTargetAsmInfo::getSectionForMergableConstant(SectionKind Kind) const { |
| 96 | return SelectSectionForGlobal(0, Kind); |
Anton Korobeynikov | fc54db1 | 2008-08-07 09:50:34 +0000 | [diff] [blame] | 97 | } |
| 98 | |
Chris Lattner | dfd1598 | 2009-07-24 17:02:17 +0000 | [diff] [blame] | 99 | /// getFlagsForNamedSection - If this target wants to be able to infer |
| 100 | /// section flags based on the name of the section specified for a global |
| 101 | /// variable, it can implement this. |
| 102 | unsigned ELFTargetAsmInfo::getFlagsForNamedSection(const char *Name) const { |
| 103 | unsigned Flags = 0; |
| 104 | if (Name[0] != '.') return 0; |
| 105 | |
| 106 | // Some lame default implementation based on some magic section names. |
| 107 | if (strncmp(Name, ".gnu.linkonce.b.", 16) == 0 || |
| 108 | strncmp(Name, ".llvm.linkonce.b.", 17) == 0 || |
| 109 | strncmp(Name, ".gnu.linkonce.sb.", 17) == 0 || |
| 110 | strncmp(Name, ".llvm.linkonce.sb.", 18) == 0) |
| 111 | Flags |= SectionFlags::BSS; |
| 112 | else if (strcmp(Name, ".tdata") == 0 || |
| 113 | strncmp(Name, ".tdata.", 7) == 0 || |
| 114 | strncmp(Name, ".gnu.linkonce.td.", 17) == 0 || |
| 115 | strncmp(Name, ".llvm.linkonce.td.", 18) == 0) |
| 116 | Flags |= SectionFlags::TLS; |
| 117 | else if (strcmp(Name, ".tbss") == 0 || |
| 118 | strncmp(Name, ".tbss.", 6) == 0 || |
| 119 | strncmp(Name, ".gnu.linkonce.tb.", 17) == 0 || |
| 120 | strncmp(Name, ".llvm.linkonce.tb.", 18) == 0) |
| 121 | Flags |= SectionFlags::BSS | SectionFlags::TLS; |
| 122 | |
| 123 | return Flags; |
| 124 | } |
| 125 | |
Chris Lattner | 4c530ee | 2009-07-25 18:57:34 +0000 | [diff] [blame] | 126 | const char * |
Chris Lattner | cc19521 | 2009-07-25 23:21:55 +0000 | [diff] [blame] | 127 | ELFTargetAsmInfo::getSectionPrefixForUniqueGlobal(SectionKind Kind) const{ |
Chris Lattner | dc9d8cf | 2009-07-26 05:44:20 +0000 | [diff] [blame] | 128 | if (Kind.isText()) return ".gnu.linkonce.t."; |
| 129 | if (Kind.isReadOnly()) return ".gnu.linkonce.r."; |
| 130 | |
| 131 | if (Kind.isThreadData()) return ".gnu.linkonce.td."; |
| 132 | if (Kind.isThreadBSS()) return ".gnu.linkonce.tb."; |
| 133 | |
| 134 | if (Kind.isBSS()) return ".gnu.linkonce.b."; |
| 135 | if (Kind.isDataNoRel()) return ".gnu.linkonce.d."; |
| 136 | if (Kind.isDataRelLocal()) return ".gnu.linkonce.d.rel.local."; |
| 137 | if (Kind.isDataRel()) return ".gnu.linkonce.d.rel."; |
| 138 | if (Kind.isReadOnlyWithRelLocal()) return ".gnu.linkonce.d.rel.ro.local."; |
| 139 | |
| 140 | assert(Kind.isReadOnlyWithRel() && "Unknown section kind"); |
| 141 | return ".gnu.linkonce.d.rel.ro."; |
Chris Lattner | 4c530ee | 2009-07-25 18:57:34 +0000 | [diff] [blame] | 142 | } |
| 143 | |
| 144 | |
| 145 | |
Anton Korobeynikov | fc54db1 | 2008-08-07 09:50:34 +0000 | [diff] [blame] | 146 | const Section* |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 147 | ELFTargetAsmInfo::MergeableStringSection(const GlobalVariable *GV) const { |
Dan Gohman | a004d7b | 2008-11-03 18:22:42 +0000 | [diff] [blame] | 148 | const TargetData *TD = TM.getTargetData(); |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 149 | Constant *C = cast<GlobalVariable>(GV)->getInitializer(); |
asl | 4eeee01 | 2009-01-27 22:29:24 +0000 | [diff] [blame] | 150 | const Type *Ty = cast<ArrayType>(C->getType())->getElementType(); |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 151 | |
Duncan Sands | ec4f97d | 2009-05-09 07:06:46 +0000 | [diff] [blame] | 152 | unsigned Size = TD->getTypeAllocSize(Ty); |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 153 | if (Size <= 16) { |
Anton Korobeynikov | fb4bf86 | 2008-08-07 09:54:40 +0000 | [diff] [blame] | 154 | assert(getCStringSection() && "Should have string section prefix"); |
| 155 | |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 156 | // We also need alignment here |
Anton Korobeynikov | 6fbf6d5 | 2008-07-21 18:29:23 +0000 | [diff] [blame] | 157 | unsigned Align = TD->getPrefTypeAlignment(Ty); |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 158 | if (Align < Size) |
| 159 | Align = Size; |
| 160 | |
| 161 | std::string Name = getCStringSection() + utostr(Size) + '.' + utostr(Align); |
| 162 | unsigned Flags = SectionFlags::setEntitySize(SectionFlags::Mergeable | |
| 163 | SectionFlags::Strings, |
| 164 | Size); |
| 165 | return getNamedSection(Name.c_str(), Flags); |
| 166 | } |
| 167 | |
Anton Korobeynikov | 4d43322 | 2008-09-24 22:20:27 +0000 | [diff] [blame] | 168 | return getReadOnlySection(); |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 169 | } |
| 170 | |
asl | 27ffd26 | 2008-08-16 12:57:07 +0000 | [diff] [blame] | 171 | std::string ELFTargetAsmInfo::printSectionFlags(unsigned flags) const { |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 172 | std::string Flags = ",\""; |
| 173 | |
| 174 | if (!(flags & SectionFlags::Debug)) |
| 175 | Flags += 'a'; |
| 176 | if (flags & SectionFlags::Code) |
| 177 | Flags += 'x'; |
Chris Lattner | 4c530ee | 2009-07-25 18:57:34 +0000 | [diff] [blame] | 178 | if (flags & SectionFlags::Writable) |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 179 | Flags += 'w'; |
| 180 | if (flags & SectionFlags::Mergeable) |
| 181 | Flags += 'M'; |
| 182 | if (flags & SectionFlags::Strings) |
| 183 | Flags += 'S'; |
| 184 | if (flags & SectionFlags::TLS) |
| 185 | Flags += 'T'; |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 186 | |
Anton Korobeynikov | 4183e11 | 2008-08-07 09:55:06 +0000 | [diff] [blame] | 187 | Flags += "\","; |
| 188 | |
| 189 | // If comment string is '@', e.g. as on ARM - use '%' instead |
| 190 | if (strcmp(CommentString, "@") == 0) |
| 191 | Flags += '%'; |
| 192 | else |
| 193 | Flags += '@'; |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 194 | |
| 195 | // FIXME: There can be exceptions here |
| 196 | if (flags & SectionFlags::BSS) |
Anton Korobeynikov | 4183e11 | 2008-08-07 09:55:06 +0000 | [diff] [blame] | 197 | Flags += "nobits"; |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 198 | else |
Anton Korobeynikov | 4183e11 | 2008-08-07 09:55:06 +0000 | [diff] [blame] | 199 | Flags += "progbits"; |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 200 | |
| 201 | if (unsigned entitySize = SectionFlags::getEntitySize(flags)) |
| 202 | Flags += "," + utostr(entitySize); |
| 203 | |
| 204 | return Flags; |
| 205 | } |