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