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", |
| 32 | SectionFlags::Writeable | 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", |
| 35 | SectionFlags::Writeable | SectionFlags::TLS); |
| 36 | TLSBSSSection = getNamedSection("\t.tbss", |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 37 | SectionFlags::Writeable | SectionFlags::TLS | SectionFlags::BSS); |
| 38 | |
Anton Korobeynikov | 8a4fbe4 | 2009-03-30 15:27:03 +0000 | [diff] [blame] | 39 | DataRelSection = getNamedSection("\t.data.rel", SectionFlags::Writeable); |
| 40 | DataRelLocalSection = getNamedSection("\t.data.rel.local", |
| 41 | SectionFlags::Writeable); |
| 42 | DataRelROSection = getNamedSection("\t.data.rel.ro", |
| 43 | SectionFlags::Writeable); |
| 44 | DataRelROLocalSection = getNamedSection("\t.data.rel.ro.local", |
| 45 | SectionFlags::Writeable); |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 46 | } |
| 47 | |
Anton Korobeynikov | b3882b6 | 2009-03-30 15:27:43 +0000 | [diff] [blame] | 48 | SectionKind::Kind |
| 49 | ELFTargetAsmInfo::SectionKindForGlobal(const GlobalValue *GV) const { |
| 50 | SectionKind::Kind Kind = TargetAsmInfo::SectionKindForGlobal(GV); |
| 51 | |
| 52 | if (Kind != SectionKind::Data) |
| 53 | return Kind; |
| 54 | |
| 55 | // Decide, whether we need data.rel stuff |
| 56 | const GlobalVariable* GVar = dyn_cast<GlobalVariable>(GV); |
Chris Lattner | bdb23b3 | 2009-07-22 00:05:44 +0000 | [diff] [blame] | 57 | if (GVar->hasInitializer() && TM.getRelocationModel() != Reloc::Static) { |
Anton Korobeynikov | b3882b6 | 2009-03-30 15:27:43 +0000 | [diff] [blame] | 58 | Constant *C = GVar->getInitializer(); |
| 59 | bool isConstant = GVar->isConstant(); |
Chris Lattner | 06a55c3 | 2009-07-21 23:47:11 +0000 | [diff] [blame] | 60 | |
Chris Lattner | 06a55c3 | 2009-07-21 23:47:11 +0000 | [diff] [blame] | 61 | // By default - all relocations in PIC mode would force symbol to be |
| 62 | // placed in r/w section. |
Chris Lattner | bdb23b3 | 2009-07-22 00:05:44 +0000 | [diff] [blame] | 63 | switch (C->getRelocationInfo()) { |
| 64 | default: break; |
| 65 | case 1: |
| 66 | return isConstant ? SectionKind::DataRelROLocal : |
| 67 | SectionKind::DataRelLocal; |
| 68 | case 2: |
| 69 | return isConstant ? SectionKind::DataRelRO : SectionKind::DataRel; |
| 70 | } |
Anton Korobeynikov | b3882b6 | 2009-03-30 15:27:43 +0000 | [diff] [blame] | 71 | } |
| 72 | |
| 73 | return Kind; |
| 74 | } |
| 75 | |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 76 | const Section* |
Evan Cheng | eb774e1 | 2008-08-08 17:56:50 +0000 | [diff] [blame] | 77 | ELFTargetAsmInfo::SelectSectionForGlobal(const GlobalValue *GV) const { |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 78 | SectionKind::Kind Kind = SectionKindForGlobal(GV); |
| 79 | |
| 80 | if (const Function *F = dyn_cast<Function>(GV)) { |
| 81 | switch (F->getLinkage()) { |
Edwin Török | bd448e3 | 2009-07-14 16:55:14 +0000 | [diff] [blame] | 82 | default: llvm_unreachable("Unknown linkage type!"); |
Rafael Espindola | a168fc9 | 2009-01-15 20:18:42 +0000 | [diff] [blame] | 83 | case Function::PrivateLinkage: |
Bill Wendling | 41a0785 | 2009-07-20 01:03:30 +0000 | [diff] [blame] | 84 | case Function::LinkerPrivateLinkage: |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 85 | case Function::InternalLinkage: |
| 86 | case Function::DLLExportLinkage: |
| 87 | case Function::ExternalLinkage: |
Anton Korobeynikov | f760ffb | 2008-09-24 22:16:33 +0000 | [diff] [blame] | 88 | return TextSection; |
Duncan Sands | 19d161f | 2009-03-07 15:45:40 +0000 | [diff] [blame] | 89 | case Function::WeakAnyLinkage: |
| 90 | case Function::WeakODRLinkage: |
| 91 | case Function::LinkOnceAnyLinkage: |
| 92 | case Function::LinkOnceODRLinkage: |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 93 | std::string Name = UniqueSectionForGlobal(GV, Kind); |
| 94 | unsigned Flags = SectionFlagsForGlobal(GV, Name.c_str()); |
| 95 | return getNamedSection(Name.c_str(), Flags); |
| 96 | } |
| 97 | } else if (const GlobalVariable *GVar = dyn_cast<GlobalVariable>(GV)) { |
Duncan Sands | 19d161f | 2009-03-07 15:45:40 +0000 | [diff] [blame] | 98 | if (GVar->isWeakForLinker()) { |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 99 | std::string Name = UniqueSectionForGlobal(GVar, Kind); |
| 100 | unsigned Flags = SectionFlagsForGlobal(GVar, Name.c_str()); |
| 101 | return getNamedSection(Name.c_str(), Flags); |
| 102 | } else { |
| 103 | switch (Kind) { |
Chris Lattner | d49a075 | 2009-07-21 21:29:08 +0000 | [diff] [blame] | 104 | case SectionKind::Data: |
| 105 | case SectionKind::SmallData: |
Anton Korobeynikov | f760ffb | 2008-09-24 22:16:33 +0000 | [diff] [blame] | 106 | return DataSection; |
Chris Lattner | d49a075 | 2009-07-21 21:29:08 +0000 | [diff] [blame] | 107 | case SectionKind::DataRel: |
Anton Korobeynikov | 8a4fbe4 | 2009-03-30 15:27:03 +0000 | [diff] [blame] | 108 | return DataRelSection; |
Chris Lattner | d49a075 | 2009-07-21 21:29:08 +0000 | [diff] [blame] | 109 | case SectionKind::DataRelLocal: |
Anton Korobeynikov | 8a4fbe4 | 2009-03-30 15:27:03 +0000 | [diff] [blame] | 110 | return DataRelLocalSection; |
Chris Lattner | d49a075 | 2009-07-21 21:29:08 +0000 | [diff] [blame] | 111 | case SectionKind::DataRelRO: |
Anton Korobeynikov | 8a4fbe4 | 2009-03-30 15:27:03 +0000 | [diff] [blame] | 112 | return DataRelROSection; |
Chris Lattner | d49a075 | 2009-07-21 21:29:08 +0000 | [diff] [blame] | 113 | case SectionKind::DataRelROLocal: |
Anton Korobeynikov | 8a4fbe4 | 2009-03-30 15:27:03 +0000 | [diff] [blame] | 114 | return DataRelROLocalSection; |
Chris Lattner | d49a075 | 2009-07-21 21:29:08 +0000 | [diff] [blame] | 115 | case SectionKind::BSS: |
| 116 | case SectionKind::SmallBSS: |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 117 | // ELF targets usually have BSS sections |
| 118 | return getBSSSection_(); |
Chris Lattner | d49a075 | 2009-07-21 21:29:08 +0000 | [diff] [blame] | 119 | case SectionKind::ROData: |
| 120 | case SectionKind::SmallROData: |
Anton Korobeynikov | 4d43322 | 2008-09-24 22:20:27 +0000 | [diff] [blame] | 121 | return getReadOnlySection(); |
Chris Lattner | d49a075 | 2009-07-21 21:29:08 +0000 | [diff] [blame] | 122 | case SectionKind::RODataMergeStr: |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 123 | return MergeableStringSection(GVar); |
Chris Lattner | d49a075 | 2009-07-21 21:29:08 +0000 | [diff] [blame] | 124 | case SectionKind::RODataMergeConst: |
| 125 | return MergeableConstSection(GVar->getInitializer()->getType()); |
| 126 | case SectionKind::ThreadData: |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 127 | // ELF targets usually support TLS stuff |
Anton Korobeynikov | 9a213e4 | 2008-09-24 22:17:06 +0000 | [diff] [blame] | 128 | return TLSDataSection; |
Chris Lattner | d49a075 | 2009-07-21 21:29:08 +0000 | [diff] [blame] | 129 | case SectionKind::ThreadBSS: |
Anton Korobeynikov | 9a213e4 | 2008-09-24 22:17:06 +0000 | [diff] [blame] | 130 | return TLSBSSSection; |
Chris Lattner | d49a075 | 2009-07-21 21:29:08 +0000 | [diff] [blame] | 131 | default: |
Edwin Török | bd448e3 | 2009-07-14 16:55:14 +0000 | [diff] [blame] | 132 | llvm_unreachable("Unsuported section kind for global"); |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 133 | } |
| 134 | } |
| 135 | } else |
Edwin Török | bd448e3 | 2009-07-14 16:55:14 +0000 | [diff] [blame] | 136 | llvm_unreachable("Unsupported global"); |
Devang Patel | f3707e8 | 2009-01-05 17:31:22 +0000 | [diff] [blame] | 137 | |
| 138 | return NULL; |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 139 | } |
| 140 | |
| 141 | const Section* |
Anton Korobeynikov | fc54db1 | 2008-08-07 09:50:34 +0000 | [diff] [blame] | 142 | ELFTargetAsmInfo::SelectSectionForMachineConst(const Type *Ty) const { |
| 143 | // FIXME: Support data.rel stuff someday |
| 144 | return MergeableConstSection(Ty); |
| 145 | } |
| 146 | |
| 147 | const Section* |
Anton Korobeynikov | fc54db1 | 2008-08-07 09:50:34 +0000 | [diff] [blame] | 148 | ELFTargetAsmInfo::MergeableConstSection(const Type *Ty) const { |
Dan Gohman | a004d7b | 2008-11-03 18:22:42 +0000 | [diff] [blame] | 149 | const TargetData *TD = TM.getTargetData(); |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 150 | |
| 151 | // FIXME: string here is temporary, until stuff will fully land in. |
| 152 | // We cannot use {Four,Eight,Sixteen}ByteConstantSection here, since it's |
| 153 | // currently directly used by asmprinter. |
Duncan Sands | ec4f97d | 2009-05-09 07:06:46 +0000 | [diff] [blame] | 154 | unsigned Size = TD->getTypeAllocSize(Ty); |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 155 | if (Size == 4 || Size == 8 || Size == 16) { |
| 156 | std::string Name = ".rodata.cst" + utostr(Size); |
| 157 | |
| 158 | return getNamedSection(Name.c_str(), |
| 159 | SectionFlags::setEntitySize(SectionFlags::Mergeable, |
| 160 | Size)); |
| 161 | } |
| 162 | |
Anton Korobeynikov | 4d43322 | 2008-09-24 22:20:27 +0000 | [diff] [blame] | 163 | return getReadOnlySection(); |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 164 | } |
| 165 | |
| 166 | const Section* |
| 167 | ELFTargetAsmInfo::MergeableStringSection(const GlobalVariable *GV) const { |
Dan Gohman | a004d7b | 2008-11-03 18:22:42 +0000 | [diff] [blame] | 168 | const TargetData *TD = TM.getTargetData(); |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 169 | Constant *C = cast<GlobalVariable>(GV)->getInitializer(); |
asl | 4eeee01 | 2009-01-27 22:29:24 +0000 | [diff] [blame] | 170 | const Type *Ty = cast<ArrayType>(C->getType())->getElementType(); |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 171 | |
Duncan Sands | ec4f97d | 2009-05-09 07:06:46 +0000 | [diff] [blame] | 172 | unsigned Size = TD->getTypeAllocSize(Ty); |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 173 | if (Size <= 16) { |
Anton Korobeynikov | fb4bf86 | 2008-08-07 09:54:40 +0000 | [diff] [blame] | 174 | assert(getCStringSection() && "Should have string section prefix"); |
| 175 | |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 176 | // We also need alignment here |
Anton Korobeynikov | 6fbf6d5 | 2008-07-21 18:29:23 +0000 | [diff] [blame] | 177 | unsigned Align = TD->getPrefTypeAlignment(Ty); |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 178 | if (Align < Size) |
| 179 | Align = Size; |
| 180 | |
| 181 | std::string Name = getCStringSection() + utostr(Size) + '.' + utostr(Align); |
| 182 | unsigned Flags = SectionFlags::setEntitySize(SectionFlags::Mergeable | |
| 183 | SectionFlags::Strings, |
| 184 | Size); |
| 185 | return getNamedSection(Name.c_str(), Flags); |
| 186 | } |
| 187 | |
Anton Korobeynikov | 4d43322 | 2008-09-24 22:20:27 +0000 | [diff] [blame] | 188 | return getReadOnlySection(); |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 189 | } |
| 190 | |
asl | 27ffd26 | 2008-08-16 12:57:07 +0000 | [diff] [blame] | 191 | std::string ELFTargetAsmInfo::printSectionFlags(unsigned flags) const { |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 192 | std::string Flags = ",\""; |
| 193 | |
| 194 | if (!(flags & SectionFlags::Debug)) |
| 195 | Flags += 'a'; |
| 196 | if (flags & SectionFlags::Code) |
| 197 | Flags += 'x'; |
| 198 | if (flags & SectionFlags::Writeable) |
| 199 | Flags += 'w'; |
| 200 | if (flags & SectionFlags::Mergeable) |
| 201 | Flags += 'M'; |
| 202 | if (flags & SectionFlags::Strings) |
| 203 | Flags += 'S'; |
| 204 | if (flags & SectionFlags::TLS) |
| 205 | Flags += 'T'; |
Anton Korobeynikov | 96e01f1 | 2008-07-22 17:09:41 +0000 | [diff] [blame] | 206 | if (flags & SectionFlags::Small) |
| 207 | Flags += 's'; |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 208 | |
Anton Korobeynikov | 4183e11 | 2008-08-07 09:55:06 +0000 | [diff] [blame] | 209 | Flags += "\","; |
| 210 | |
| 211 | // If comment string is '@', e.g. as on ARM - use '%' instead |
| 212 | if (strcmp(CommentString, "@") == 0) |
| 213 | Flags += '%'; |
| 214 | else |
| 215 | Flags += '@'; |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 216 | |
| 217 | // FIXME: There can be exceptions here |
| 218 | if (flags & SectionFlags::BSS) |
Anton Korobeynikov | 4183e11 | 2008-08-07 09:55:06 +0000 | [diff] [blame] | 219 | Flags += "nobits"; |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 220 | else |
Anton Korobeynikov | 4183e11 | 2008-08-07 09:55:06 +0000 | [diff] [blame] | 221 | Flags += "progbits"; |
asl | e0d0f48 | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 222 | |
| 223 | if (unsigned entitySize = SectionFlags::getEntitySize(flags)) |
| 224 | Flags += "," + utostr(entitySize); |
| 225 | |
| 226 | return Flags; |
| 227 | } |