Anton Korobeynikov | debe34b | 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 | 93cacf1 | 2008-08-07 09:50:34 +0000 | [diff] [blame] | 20 | #include "llvm/CodeGen/MachineConstantPool.h" |
Anton Korobeynikov | debe34b | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 21 | #include "llvm/Target/ELFTargetAsmInfo.h" |
| 22 | #include "llvm/Target/TargetMachine.h" |
| 23 | #include "llvm/Target/TargetData.h" |
| 24 | |
| 25 | using namespace llvm; |
| 26 | |
| 27 | ELFTargetAsmInfo::ELFTargetAsmInfo(const TargetMachine &TM) { |
| 28 | ETM = &TM; |
| 29 | |
Anton Korobeynikov | debe34b | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 30 | BSSSection_ = getUnnamedSection("\t.bss", |
| 31 | SectionFlags::Writeable | SectionFlags::BSS); |
| 32 | ReadOnlySection_ = getNamedSection("\t.rodata", SectionFlags::None); |
Anton Korobeynikov | 36133dd | 2008-09-24 22:17:06 +0000 | [diff] [blame] | 33 | TLSDataSection = getNamedSection("\t.tdata", |
| 34 | SectionFlags::Writeable | SectionFlags::TLS); |
| 35 | TLSBSSSection = getNamedSection("\t.tbss", |
Anton Korobeynikov | debe34b | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 36 | SectionFlags::Writeable | SectionFlags::TLS | SectionFlags::BSS); |
| 37 | |
| 38 | } |
| 39 | |
| 40 | const Section* |
Evan Cheng | 42ccc21 | 2008-08-08 17:56:50 +0000 | [diff] [blame] | 41 | ELFTargetAsmInfo::SelectSectionForGlobal(const GlobalValue *GV) const { |
Anton Korobeynikov | debe34b | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 42 | SectionKind::Kind Kind = SectionKindForGlobal(GV); |
| 43 | |
| 44 | if (const Function *F = dyn_cast<Function>(GV)) { |
| 45 | switch (F->getLinkage()) { |
| 46 | default: assert(0 && "Unknown linkage type!"); |
| 47 | case Function::InternalLinkage: |
| 48 | case Function::DLLExportLinkage: |
| 49 | case Function::ExternalLinkage: |
Anton Korobeynikov | 0b501d1 | 2008-09-24 22:16:33 +0000 | [diff] [blame] | 50 | return TextSection; |
Anton Korobeynikov | debe34b | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 51 | case Function::WeakLinkage: |
| 52 | case Function::LinkOnceLinkage: |
| 53 | std::string Name = UniqueSectionForGlobal(GV, Kind); |
| 54 | unsigned Flags = SectionFlagsForGlobal(GV, Name.c_str()); |
| 55 | return getNamedSection(Name.c_str(), Flags); |
| 56 | } |
| 57 | } else if (const GlobalVariable *GVar = dyn_cast<GlobalVariable>(GV)) { |
| 58 | if (GVar->isWeakForLinker()) { |
| 59 | std::string Name = UniqueSectionForGlobal(GVar, Kind); |
| 60 | unsigned Flags = SectionFlagsForGlobal(GVar, Name.c_str()); |
| 61 | return getNamedSection(Name.c_str(), Flags); |
| 62 | } else { |
| 63 | switch (Kind) { |
| 64 | case SectionKind::Data: |
Anton Korobeynikov | 0980980 | 2008-07-22 17:09:41 +0000 | [diff] [blame] | 65 | case SectionKind::SmallData: |
Anton Korobeynikov | 0b501d1 | 2008-09-24 22:16:33 +0000 | [diff] [blame] | 66 | return DataSection; |
Anton Korobeynikov | debe34b | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 67 | case SectionKind::BSS: |
Anton Korobeynikov | 0980980 | 2008-07-22 17:09:41 +0000 | [diff] [blame] | 68 | case SectionKind::SmallBSS: |
Anton Korobeynikov | debe34b | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 69 | // ELF targets usually have BSS sections |
| 70 | return getBSSSection_(); |
| 71 | case SectionKind::ROData: |
Anton Korobeynikov | 0980980 | 2008-07-22 17:09:41 +0000 | [diff] [blame] | 72 | case SectionKind::SmallROData: |
Anton Korobeynikov | debe34b | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 73 | return getReadOnlySection_(); |
| 74 | case SectionKind::RODataMergeStr: |
| 75 | return MergeableStringSection(GVar); |
| 76 | case SectionKind::RODataMergeConst: |
| 77 | return MergeableConstSection(GVar); |
| 78 | case SectionKind::ThreadData: |
| 79 | // ELF targets usually support TLS stuff |
Anton Korobeynikov | 36133dd | 2008-09-24 22:17:06 +0000 | [diff] [blame] | 80 | return TLSDataSection; |
Anton Korobeynikov | debe34b | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 81 | case SectionKind::ThreadBSS: |
Anton Korobeynikov | 36133dd | 2008-09-24 22:17:06 +0000 | [diff] [blame] | 82 | return TLSBSSSection; |
Anton Korobeynikov | debe34b | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 83 | default: |
| 84 | assert(0 && "Unsuported section kind for global"); |
| 85 | } |
| 86 | } |
| 87 | } else |
| 88 | assert(0 && "Unsupported global"); |
| 89 | } |
| 90 | |
| 91 | const Section* |
Anton Korobeynikov | 93cacf1 | 2008-08-07 09:50:34 +0000 | [diff] [blame] | 92 | ELFTargetAsmInfo::SelectSectionForMachineConst(const Type *Ty) const { |
| 93 | // FIXME: Support data.rel stuff someday |
| 94 | return MergeableConstSection(Ty); |
| 95 | } |
| 96 | |
| 97 | const Section* |
Anton Korobeynikov | debe34b | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 98 | ELFTargetAsmInfo::MergeableConstSection(const GlobalVariable *GV) const { |
Anton Korobeynikov | dbab2d2 | 2008-09-24 22:17:27 +0000 | [diff] [blame^] | 99 | Constant *C = GV->getInitializer(); |
Anton Korobeynikov | 84e160e | 2008-08-07 09:51:02 +0000 | [diff] [blame] | 100 | return MergeableConstSection(C->getType()); |
Anton Korobeynikov | 93cacf1 | 2008-08-07 09:50:34 +0000 | [diff] [blame] | 101 | } |
| 102 | |
| 103 | inline const Section* |
| 104 | ELFTargetAsmInfo::MergeableConstSection(const Type *Ty) const { |
| 105 | const TargetData *TD = ETM->getTargetData(); |
Anton Korobeynikov | debe34b | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 106 | |
| 107 | // FIXME: string here is temporary, until stuff will fully land in. |
| 108 | // We cannot use {Four,Eight,Sixteen}ByteConstantSection here, since it's |
| 109 | // currently directly used by asmprinter. |
Anton Korobeynikov | 93cacf1 | 2008-08-07 09:50:34 +0000 | [diff] [blame] | 110 | unsigned Size = TD->getABITypeSize(Ty); |
Anton Korobeynikov | debe34b | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 111 | if (Size == 4 || Size == 8 || Size == 16) { |
| 112 | std::string Name = ".rodata.cst" + utostr(Size); |
| 113 | |
| 114 | return getNamedSection(Name.c_str(), |
| 115 | SectionFlags::setEntitySize(SectionFlags::Mergeable, |
| 116 | Size)); |
| 117 | } |
| 118 | |
| 119 | return getReadOnlySection_(); |
| 120 | } |
| 121 | |
| 122 | const Section* |
| 123 | ELFTargetAsmInfo::MergeableStringSection(const GlobalVariable *GV) const { |
| 124 | const TargetData *TD = ETM->getTargetData(); |
| 125 | Constant *C = cast<GlobalVariable>(GV)->getInitializer(); |
| 126 | const ConstantArray *CVA = cast<ConstantArray>(C); |
Anton Korobeynikov | 9685506 | 2008-07-21 18:29:23 +0000 | [diff] [blame] | 127 | const Type *Ty = CVA->getType()->getElementType(); |
Anton Korobeynikov | debe34b | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 128 | |
Anton Korobeynikov | 9685506 | 2008-07-21 18:29:23 +0000 | [diff] [blame] | 129 | unsigned Size = TD->getABITypeSize(Ty); |
Anton Korobeynikov | debe34b | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 130 | if (Size <= 16) { |
Anton Korobeynikov | 1e27da3 | 2008-08-07 09:54:40 +0000 | [diff] [blame] | 131 | assert(getCStringSection() && "Should have string section prefix"); |
| 132 | |
Anton Korobeynikov | debe34b | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 133 | // We also need alignment here |
| 134 | const TargetData *TD = ETM->getTargetData(); |
Anton Korobeynikov | 9685506 | 2008-07-21 18:29:23 +0000 | [diff] [blame] | 135 | unsigned Align = TD->getPrefTypeAlignment(Ty); |
Anton Korobeynikov | debe34b | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 136 | if (Align < Size) |
| 137 | Align = Size; |
| 138 | |
| 139 | std::string Name = getCStringSection() + utostr(Size) + '.' + utostr(Align); |
| 140 | unsigned Flags = SectionFlags::setEntitySize(SectionFlags::Mergeable | |
| 141 | SectionFlags::Strings, |
| 142 | Size); |
| 143 | return getNamedSection(Name.c_str(), Flags); |
| 144 | } |
| 145 | |
| 146 | return getReadOnlySection_(); |
| 147 | } |
| 148 | |
Anton Korobeynikov | d0c1e29 | 2008-08-16 12:57:07 +0000 | [diff] [blame] | 149 | std::string ELFTargetAsmInfo::printSectionFlags(unsigned flags) const { |
Anton Korobeynikov | debe34b | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 150 | std::string Flags = ",\""; |
| 151 | |
| 152 | if (!(flags & SectionFlags::Debug)) |
| 153 | Flags += 'a'; |
| 154 | if (flags & SectionFlags::Code) |
| 155 | Flags += 'x'; |
| 156 | if (flags & SectionFlags::Writeable) |
| 157 | Flags += 'w'; |
| 158 | if (flags & SectionFlags::Mergeable) |
| 159 | Flags += 'M'; |
| 160 | if (flags & SectionFlags::Strings) |
| 161 | Flags += 'S'; |
| 162 | if (flags & SectionFlags::TLS) |
| 163 | Flags += 'T'; |
Anton Korobeynikov | 0980980 | 2008-07-22 17:09:41 +0000 | [diff] [blame] | 164 | if (flags & SectionFlags::Small) |
| 165 | Flags += 's'; |
Anton Korobeynikov | debe34b | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 166 | |
Anton Korobeynikov | feac94b | 2008-08-07 09:55:06 +0000 | [diff] [blame] | 167 | Flags += "\","; |
| 168 | |
| 169 | // If comment string is '@', e.g. as on ARM - use '%' instead |
| 170 | if (strcmp(CommentString, "@") == 0) |
| 171 | Flags += '%'; |
| 172 | else |
| 173 | Flags += '@'; |
Anton Korobeynikov | debe34b | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 174 | |
| 175 | // FIXME: There can be exceptions here |
| 176 | if (flags & SectionFlags::BSS) |
Anton Korobeynikov | feac94b | 2008-08-07 09:55:06 +0000 | [diff] [blame] | 177 | Flags += "nobits"; |
Anton Korobeynikov | debe34b | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 178 | else |
Anton Korobeynikov | feac94b | 2008-08-07 09:55:06 +0000 | [diff] [blame] | 179 | Flags += "progbits"; |
Anton Korobeynikov | debe34b | 2008-07-19 13:14:11 +0000 | [diff] [blame] | 180 | |
| 181 | if (unsigned entitySize = SectionFlags::getEntitySize(flags)) |
| 182 | Flags += "," + utostr(entitySize); |
| 183 | |
| 184 | return Flags; |
| 185 | } |
| 186 | |