2010-02-16 06:37:53 +08:00
|
|
|
//===-- llvm/CodeGen/TargetLoweringObjectFileImpl.cpp - Object File Info --===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This file implements classes used to handle lowerings specific to common
|
|
|
|
// object file formats.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#include "llvm/CodeGen/TargetLoweringObjectFileImpl.h"
|
2012-12-04 00:50:05 +08:00
|
|
|
#include "llvm/ADT/SmallString.h"
|
|
|
|
#include "llvm/ADT/StringExtras.h"
|
|
|
|
#include "llvm/ADT/Triple.h"
|
|
|
|
#include "llvm/CodeGen/MachineModuleInfoImpls.h"
|
2013-01-02 19:36:10 +08:00
|
|
|
#include "llvm/IR/Constants.h"
|
|
|
|
#include "llvm/IR/DataLayout.h"
|
|
|
|
#include "llvm/IR/DerivedTypes.h"
|
|
|
|
#include "llvm/IR/Function.h"
|
|
|
|
#include "llvm/IR/GlobalVariable.h"
|
2014-01-08 05:19:40 +08:00
|
|
|
#include "llvm/IR/Mangler.h"
|
2013-01-02 19:36:10 +08:00
|
|
|
#include "llvm/IR/Module.h"
|
2010-02-16 06:37:53 +08:00
|
|
|
#include "llvm/MC/MCContext.h"
|
|
|
|
#include "llvm/MC/MCExpr.h"
|
2010-05-08 01:17:41 +08:00
|
|
|
#include "llvm/MC/MCSectionCOFF.h"
|
2012-12-04 00:50:05 +08:00
|
|
|
#include "llvm/MC/MCSectionELF.h"
|
|
|
|
#include "llvm/MC/MCSectionMachO.h"
|
2011-04-16 11:51:21 +08:00
|
|
|
#include "llvm/MC/MCStreamer.h"
|
2010-02-16 06:37:53 +08:00
|
|
|
#include "llvm/MC/MCSymbol.h"
|
|
|
|
#include "llvm/Support/Dwarf.h"
|
2011-01-23 12:28:49 +08:00
|
|
|
#include "llvm/Support/ELF.h"
|
2010-02-16 06:37:53 +08:00
|
|
|
#include "llvm/Support/ErrorHandling.h"
|
|
|
|
#include "llvm/Support/raw_ostream.h"
|
2014-02-20 01:23:20 +08:00
|
|
|
#include "llvm/Target/TargetLowering.h"
|
2014-03-04 18:07:28 +08:00
|
|
|
#include "llvm/Target/TargetMachine.h"
|
2014-08-05 05:25:23 +08:00
|
|
|
#include "llvm/Target/TargetSubtargetInfo.h"
|
2010-02-16 06:37:53 +08:00
|
|
|
using namespace llvm;
|
2010-02-22 04:28:15 +08:00
|
|
|
using namespace dwarf;
|
2010-02-16 06:37:53 +08:00
|
|
|
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// ELF
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2014-02-20 01:23:20 +08:00
|
|
|
MCSymbol *TargetLoweringObjectFileELF::getCFIPersonalitySymbol(
|
|
|
|
const GlobalValue *GV, Mangler &Mang, const TargetMachine &TM,
|
|
|
|
MachineModuleInfo *MMI) const {
|
2011-04-28 07:17:57 +08:00
|
|
|
unsigned Encoding = getPersonalityEncoding();
|
2014-05-31 00:48:56 +08:00
|
|
|
if ((Encoding & 0x80) == dwarf::DW_EH_PE_indirect)
|
2011-06-13 11:09:13 +08:00
|
|
|
return getContext().GetOrCreateSymbol(StringRef("DW.ref.") +
|
2014-02-20 04:30:41 +08:00
|
|
|
TM.getSymbol(GV, Mang)->getName());
|
2014-05-31 00:48:56 +08:00
|
|
|
if ((Encoding & 0x70) == dwarf::DW_EH_PE_absptr)
|
|
|
|
return TM.getSymbol(GV, Mang);
|
|
|
|
report_fatal_error("We do not support this DWARF encoding yet!");
|
2011-04-16 11:51:21 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
void TargetLoweringObjectFileELF::emitPersonalityValue(MCStreamer &Streamer,
|
|
|
|
const TargetMachine &TM,
|
2011-04-28 07:08:15 +08:00
|
|
|
const MCSymbol *Sym) const {
|
2011-06-13 11:09:13 +08:00
|
|
|
SmallString<64> NameData("DW.ref.");
|
|
|
|
NameData += Sym->getName();
|
|
|
|
MCSymbol *Label = getContext().GetOrCreateSymbol(NameData);
|
2011-04-28 05:29:52 +08:00
|
|
|
Streamer.EmitSymbolAttribute(Label, MCSA_Hidden);
|
|
|
|
Streamer.EmitSymbolAttribute(Label, MCSA_Weak);
|
2011-06-13 11:09:13 +08:00
|
|
|
StringRef Prefix = ".data.";
|
|
|
|
NameData.insert(NameData.begin(), Prefix.begin(), Prefix.end());
|
2011-04-28 05:29:52 +08:00
|
|
|
unsigned Flags = ELF::SHF_ALLOC | ELF::SHF_WRITE | ELF::SHF_GROUP;
|
|
|
|
const MCSection *Sec = getContext().getELFSection(NameData,
|
|
|
|
ELF::SHT_PROGBITS,
|
|
|
|
Flags,
|
|
|
|
0, Label->getName());
|
2015-01-27 03:03:15 +08:00
|
|
|
unsigned Size = TM.getDataLayout()->getPointerSize();
|
2011-04-28 05:29:52 +08:00
|
|
|
Streamer.SwitchSection(Sec);
|
2015-01-27 03:03:15 +08:00
|
|
|
Streamer.EmitValueToAlignment(TM.getDataLayout()->getPointerABIAlignment());
|
2011-04-28 05:29:52 +08:00
|
|
|
Streamer.EmitSymbolAttribute(Label, MCSA_ELF_TypeObject);
|
2012-02-18 00:05:50 +08:00
|
|
|
const MCExpr *E = MCConstantExpr::Create(Size, getContext());
|
2011-04-28 05:29:52 +08:00
|
|
|
Streamer.EmitELFSize(Label, E);
|
|
|
|
Streamer.EmitLabel(Label);
|
|
|
|
|
|
|
|
Streamer.EmitSymbolValue(Sym, Size);
|
2011-04-16 11:51:21 +08:00
|
|
|
}
|
|
|
|
|
2014-02-09 22:50:44 +08:00
|
|
|
const MCExpr *TargetLoweringObjectFileELF::getTTypeGlobalReference(
|
|
|
|
const GlobalValue *GV, unsigned Encoding, Mangler &Mang,
|
2014-02-20 01:23:20 +08:00
|
|
|
const TargetMachine &TM, MachineModuleInfo *MMI,
|
|
|
|
MCStreamer &Streamer) const {
|
2012-11-14 09:47:00 +08:00
|
|
|
|
|
|
|
if (Encoding & dwarf::DW_EH_PE_indirect) {
|
|
|
|
MachineModuleInfoELF &ELFMMI = MMI->getObjFileInfo<MachineModuleInfoELF>();
|
|
|
|
|
2014-02-20 01:23:20 +08:00
|
|
|
MCSymbol *SSym = getSymbolWithGlobalValueBase(GV, ".DW.stub", Mang, TM);
|
2012-11-14 09:47:00 +08:00
|
|
|
|
|
|
|
// Add information about the stub reference to ELFMMI so that the stub
|
|
|
|
// gets emitted by the asmprinter.
|
|
|
|
MachineModuleInfoImpl::StubValueTy &StubSym = ELFMMI.getGVStubEntry(SSym);
|
2014-04-14 08:51:57 +08:00
|
|
|
if (!StubSym.getPointer()) {
|
2014-02-20 04:30:41 +08:00
|
|
|
MCSymbol *Sym = TM.getSymbol(GV, Mang);
|
2012-11-14 09:47:00 +08:00
|
|
|
StubSym = MachineModuleInfoImpl::StubValueTy(Sym, !GV->hasLocalLinkage());
|
|
|
|
}
|
|
|
|
|
|
|
|
return TargetLoweringObjectFile::
|
|
|
|
getTTypeReference(MCSymbolRefExpr::Create(SSym, getContext()),
|
|
|
|
Encoding & ~dwarf::DW_EH_PE_indirect, Streamer);
|
|
|
|
}
|
|
|
|
|
2014-02-20 01:23:20 +08:00
|
|
|
return TargetLoweringObjectFile::
|
|
|
|
getTTypeGlobalReference(GV, Encoding, Mang, TM, MMI, Streamer);
|
2012-11-14 09:47:00 +08:00
|
|
|
}
|
|
|
|
|
2010-02-16 06:37:53 +08:00
|
|
|
static SectionKind
|
|
|
|
getELFKindForNamedSection(StringRef Name, SectionKind K) {
|
2011-05-24 11:10:31 +08:00
|
|
|
// N.B.: The defaults used in here are no the same ones used in MC.
|
|
|
|
// We follow gcc, MC follows gas. For example, given ".section .eh_frame",
|
|
|
|
// both gas and MC will produce a section with no flags. Given
|
2012-07-19 08:04:14 +08:00
|
|
|
// section(".eh_frame") gcc will produce:
|
|
|
|
//
|
|
|
|
// .section .eh_frame,"a",@progbits
|
2010-02-16 06:37:53 +08:00
|
|
|
if (Name.empty() || Name[0] != '.') return K;
|
|
|
|
|
|
|
|
// Some lame default implementation based on some magic section names.
|
|
|
|
if (Name == ".bss" ||
|
|
|
|
Name.startswith(".bss.") ||
|
|
|
|
Name.startswith(".gnu.linkonce.b.") ||
|
|
|
|
Name.startswith(".llvm.linkonce.b.") ||
|
|
|
|
Name == ".sbss" ||
|
|
|
|
Name.startswith(".sbss.") ||
|
|
|
|
Name.startswith(".gnu.linkonce.sb.") ||
|
|
|
|
Name.startswith(".llvm.linkonce.sb."))
|
|
|
|
return SectionKind::getBSS();
|
|
|
|
|
|
|
|
if (Name == ".tdata" ||
|
|
|
|
Name.startswith(".tdata.") ||
|
|
|
|
Name.startswith(".gnu.linkonce.td.") ||
|
|
|
|
Name.startswith(".llvm.linkonce.td."))
|
|
|
|
return SectionKind::getThreadData();
|
|
|
|
|
|
|
|
if (Name == ".tbss" ||
|
|
|
|
Name.startswith(".tbss.") ||
|
|
|
|
Name.startswith(".gnu.linkonce.tb.") ||
|
|
|
|
Name.startswith(".llvm.linkonce.tb."))
|
|
|
|
return SectionKind::getThreadBSS();
|
|
|
|
|
|
|
|
return K;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
static unsigned getELFSectionType(StringRef Name, SectionKind K) {
|
|
|
|
|
|
|
|
if (Name == ".init_array")
|
2011-01-23 12:28:49 +08:00
|
|
|
return ELF::SHT_INIT_ARRAY;
|
2010-02-16 06:37:53 +08:00
|
|
|
|
|
|
|
if (Name == ".fini_array")
|
2011-01-23 12:28:49 +08:00
|
|
|
return ELF::SHT_FINI_ARRAY;
|
2010-02-16 06:37:53 +08:00
|
|
|
|
|
|
|
if (Name == ".preinit_array")
|
2011-01-23 12:28:49 +08:00
|
|
|
return ELF::SHT_PREINIT_ARRAY;
|
2010-02-16 06:37:53 +08:00
|
|
|
|
|
|
|
if (K.isBSS() || K.isThreadBSS())
|
2011-01-23 12:28:49 +08:00
|
|
|
return ELF::SHT_NOBITS;
|
2010-02-16 06:37:53 +08:00
|
|
|
|
2011-01-23 12:28:49 +08:00
|
|
|
return ELF::SHT_PROGBITS;
|
2010-02-16 06:37:53 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
static unsigned
|
2015-02-05 05:27:24 +08:00
|
|
|
getELFSectionFlags(SectionKind K, bool InCOMDAT) {
|
2010-02-16 06:37:53 +08:00
|
|
|
unsigned Flags = 0;
|
|
|
|
|
|
|
|
if (!K.isMetadata())
|
2011-01-23 12:43:11 +08:00
|
|
|
Flags |= ELF::SHF_ALLOC;
|
2010-02-16 06:37:53 +08:00
|
|
|
|
|
|
|
if (K.isText())
|
2011-01-23 12:43:11 +08:00
|
|
|
Flags |= ELF::SHF_EXECINSTR;
|
2010-02-16 06:37:53 +08:00
|
|
|
|
2011-06-08 07:26:45 +08:00
|
|
|
if (K.isWriteable())
|
2011-01-23 12:43:11 +08:00
|
|
|
Flags |= ELF::SHF_WRITE;
|
2010-02-16 06:37:53 +08:00
|
|
|
|
|
|
|
if (K.isThreadLocal())
|
2011-01-23 12:43:11 +08:00
|
|
|
Flags |= ELF::SHF_TLS;
|
2010-02-16 06:37:53 +08:00
|
|
|
|
2015-02-05 22:57:47 +08:00
|
|
|
// FIXME: There is nothing in ELF preventing an SHF_MERGE from being
|
|
|
|
// in a comdat. We just avoid it for now because we don't print
|
|
|
|
// those .sections correctly.
|
2015-02-05 05:27:24 +08:00
|
|
|
if (!InCOMDAT && (K.isMergeableCString() || K.isMergeableConst()))
|
2011-01-23 12:43:11 +08:00
|
|
|
Flags |= ELF::SHF_MERGE;
|
2010-02-16 06:37:53 +08:00
|
|
|
|
|
|
|
if (K.isMergeableCString())
|
2011-01-23 12:43:11 +08:00
|
|
|
Flags |= ELF::SHF_STRINGS;
|
2010-02-16 06:37:53 +08:00
|
|
|
|
|
|
|
return Flags;
|
|
|
|
}
|
|
|
|
|
2014-06-28 02:19:56 +08:00
|
|
|
static const Comdat *getELFComdat(const GlobalValue *GV) {
|
|
|
|
const Comdat *C = GV->getComdat();
|
|
|
|
if (!C)
|
|
|
|
return nullptr;
|
|
|
|
|
|
|
|
if (C->getSelectionKind() != Comdat::Any)
|
|
|
|
report_fatal_error("ELF COMDATs only support SelectionKind::Any, '" +
|
|
|
|
C->getName() + "' cannot be lowered.");
|
|
|
|
|
|
|
|
return C;
|
|
|
|
}
|
|
|
|
|
2014-02-20 01:23:20 +08:00
|
|
|
const MCSection *TargetLoweringObjectFileELF::getExplicitSectionGlobal(
|
|
|
|
const GlobalValue *GV, SectionKind Kind, Mangler &Mang,
|
|
|
|
const TargetMachine &TM) const {
|
2010-02-16 06:37:53 +08:00
|
|
|
StringRef SectionName = GV->getSection();
|
|
|
|
|
|
|
|
// Infer section flags from the section name if we can.
|
|
|
|
Kind = getELFKindForNamedSection(SectionName, Kind);
|
|
|
|
|
2014-06-28 02:19:56 +08:00
|
|
|
StringRef Group = "";
|
2015-02-05 05:27:24 +08:00
|
|
|
unsigned Flags = getELFSectionFlags(Kind, GV->hasComdat());
|
2014-06-28 02:19:56 +08:00
|
|
|
if (const Comdat *C = getELFComdat(GV)) {
|
|
|
|
Group = C->getName();
|
|
|
|
Flags |= ELF::SHF_GROUP;
|
|
|
|
}
|
2010-04-09 05:34:17 +08:00
|
|
|
return getContext().getELFSection(SectionName,
|
2014-06-28 02:19:56 +08:00
|
|
|
getELFSectionType(SectionName, Kind), Flags,
|
2015-01-30 01:33:21 +08:00
|
|
|
/*EntrySize=*/0, Group);
|
2010-02-16 06:37:53 +08:00
|
|
|
}
|
|
|
|
|
2015-02-11 22:44:17 +08:00
|
|
|
/// Return the section prefix name used by options FunctionsSections and
|
|
|
|
/// DataSections.
|
2014-06-25 00:01:53 +08:00
|
|
|
static StringRef getSectionPrefixForGlobal(SectionKind Kind) {
|
2015-02-11 22:44:17 +08:00
|
|
|
if (Kind.isText())
|
2015-02-13 15:52:39 +08:00
|
|
|
return ".text.";
|
2015-02-11 22:44:17 +08:00
|
|
|
if (Kind.isReadOnly())
|
2015-02-13 15:52:39 +08:00
|
|
|
return ".rodata.";
|
2015-02-11 22:44:17 +08:00
|
|
|
if (Kind.isBSS())
|
2015-02-13 15:52:39 +08:00
|
|
|
return ".bss.";
|
2015-02-11 22:44:17 +08:00
|
|
|
if (Kind.isThreadData())
|
2015-02-13 15:52:39 +08:00
|
|
|
return ".tdata.";
|
2015-02-11 22:44:17 +08:00
|
|
|
if (Kind.isThreadBSS())
|
2015-02-13 15:52:39 +08:00
|
|
|
return ".tbss.";
|
2015-02-11 22:44:17 +08:00
|
|
|
if (Kind.isDataNoRel())
|
2015-02-13 15:52:39 +08:00
|
|
|
return ".data.";
|
2015-02-11 22:44:17 +08:00
|
|
|
if (Kind.isDataRelLocal())
|
2015-02-13 15:52:39 +08:00
|
|
|
return ".data.rel.local.";
|
2015-02-11 22:44:17 +08:00
|
|
|
if (Kind.isDataRel())
|
2015-02-13 15:52:39 +08:00
|
|
|
return ".data.rel.";
|
2015-02-11 22:44:17 +08:00
|
|
|
if (Kind.isReadOnlyWithRelLocal())
|
2015-02-13 15:52:39 +08:00
|
|
|
return ".data.rel.ro.local.";
|
2010-04-13 08:36:43 +08:00
|
|
|
assert(Kind.isReadOnlyWithRel() && "Unknown section kind");
|
2015-02-13 15:52:39 +08:00
|
|
|
return ".data.rel.ro.";
|
2010-04-13 08:36:43 +08:00
|
|
|
}
|
|
|
|
|
2010-02-16 06:37:53 +08:00
|
|
|
const MCSection *TargetLoweringObjectFileELF::
|
|
|
|
SelectSectionForGlobal(const GlobalValue *GV, SectionKind Kind,
|
2014-02-08 22:53:28 +08:00
|
|
|
Mangler &Mang, const TargetMachine &TM) const {
|
2015-02-05 05:27:24 +08:00
|
|
|
unsigned Flags = getELFSectionFlags(Kind, GV->hasComdat());
|
Don't create multiple mergeable sections with -fdata-sections.
ELF has support for sections that can be split into fixed size or
null terminated entities.
Since these sections can be split by the linker, it is not necessary
to split them in codegen.
This reduces the combined .o size in a llvm+clang build from
202,394,570 to 173,819,098 bytes.
The time for linking clang with gold (on a VM, on a laptop) goes
from 2.250089985 to 1.383001792 seconds.
The flip side is the size of rodata in clang goes from 10,926,785
to 10,929,345 bytes.
The increase seems to be because of http://sourceware.org/bugzilla/show_bug.cgi?id=17902.
llvm-svn: 227431
2015-01-29 20:43:28 +08:00
|
|
|
|
2010-04-13 08:36:43 +08:00
|
|
|
// If we have -ffunction-section or -fdata-section then we should emit the
|
|
|
|
// global value to a uniqued section specifically for it.
|
Don't create multiple mergeable sections with -fdata-sections.
ELF has support for sections that can be split into fixed size or
null terminated entities.
Since these sections can be split by the linker, it is not necessary
to split them in codegen.
This reduces the combined .o size in a llvm+clang build from
202,394,570 to 173,819,098 bytes.
The time for linking clang with gold (on a VM, on a laptop) goes
from 2.250089985 to 1.383001792 seconds.
The flip side is the size of rodata in clang goes from 10,926,785
to 10,929,345 bytes.
The increase seems to be because of http://sourceware.org/bugzilla/show_bug.cgi?id=17902.
llvm-svn: 227431
2015-01-29 20:43:28 +08:00
|
|
|
bool EmitUniquedSection = false;
|
|
|
|
if (!(Flags & ELF::SHF_MERGE) && !Kind.isCommon()) {
|
|
|
|
if (Kind.isText())
|
|
|
|
EmitUniquedSection = TM.getFunctionSections();
|
|
|
|
else
|
|
|
|
EmitUniquedSection = TM.getDataSections();
|
|
|
|
}
|
|
|
|
|
|
|
|
if (EmitUniquedSection || GV->hasComdat()) {
|
2014-06-25 00:01:53 +08:00
|
|
|
StringRef Prefix = getSectionPrefixForGlobal(Kind);
|
2010-04-13 08:36:43 +08:00
|
|
|
|
2014-06-25 00:01:53 +08:00
|
|
|
SmallString<128> Name(Prefix);
|
2015-02-13 15:52:39 +08:00
|
|
|
TM.getNameWithPrefix(Name, GV, Mang, true);
|
|
|
|
|
2011-02-15 06:23:49 +08:00
|
|
|
StringRef Group = "";
|
2015-01-19 23:16:06 +08:00
|
|
|
if (const Comdat *C = getELFComdat(GV)) {
|
2011-02-15 06:23:49 +08:00
|
|
|
Flags |= ELF::SHF_GROUP;
|
2015-01-19 23:16:06 +08:00
|
|
|
Group = C->getName();
|
2011-02-15 06:23:49 +08:00
|
|
|
}
|
|
|
|
|
2015-02-13 15:52:39 +08:00
|
|
|
return getContext().getELFSection(
|
|
|
|
Name.str(), getELFSectionType(Name.str(), Kind), Flags, 0, Group);
|
2010-02-16 06:37:53 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
if (Kind.isText()) return TextSection;
|
|
|
|
|
2015-01-29 01:54:19 +08:00
|
|
|
if (Kind.isMergeableCString()) {
|
2010-02-16 06:37:53 +08:00
|
|
|
|
|
|
|
// We also need alignment here.
|
|
|
|
// FIXME: this is getting the alignment of the character, not the
|
|
|
|
// alignment of the global!
|
|
|
|
unsigned Align =
|
2015-01-27 03:03:15 +08:00
|
|
|
TM.getDataLayout()->getPreferredAlignment(cast<GlobalVariable>(GV));
|
2010-02-16 06:37:53 +08:00
|
|
|
|
2015-01-30 01:33:21 +08:00
|
|
|
unsigned EntrySize = 1;
|
2010-02-16 06:37:53 +08:00
|
|
|
if (Kind.isMergeable2ByteCString())
|
2015-01-30 01:33:21 +08:00
|
|
|
EntrySize = 2;
|
2010-02-16 06:37:53 +08:00
|
|
|
else if (Kind.isMergeable4ByteCString())
|
2015-01-30 01:33:21 +08:00
|
|
|
EntrySize = 4;
|
2010-02-16 06:37:53 +08:00
|
|
|
else
|
|
|
|
assert(Kind.isMergeable1ByteCString() && "unknown string width");
|
|
|
|
|
2015-01-30 01:33:21 +08:00
|
|
|
std::string SizeSpec = ".rodata.str" + utostr(EntrySize) + ".";
|
2010-02-16 06:37:53 +08:00
|
|
|
std::string Name = SizeSpec + utostr(Align);
|
2015-01-30 01:33:21 +08:00
|
|
|
return getContext().getELFSection(
|
|
|
|
Name, ELF::SHT_PROGBITS,
|
|
|
|
ELF::SHF_ALLOC | ELF::SHF_MERGE | ELF::SHF_STRINGS, EntrySize, "");
|
2010-02-16 06:37:53 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
if (Kind.isMergeableConst()) {
|
|
|
|
if (Kind.isMergeableConst4() && MergeableConst4Section)
|
|
|
|
return MergeableConst4Section;
|
|
|
|
if (Kind.isMergeableConst8() && MergeableConst8Section)
|
|
|
|
return MergeableConst8Section;
|
|
|
|
if (Kind.isMergeableConst16() && MergeableConst16Section)
|
|
|
|
return MergeableConst16Section;
|
|
|
|
return ReadOnlySection; // .const
|
|
|
|
}
|
|
|
|
|
|
|
|
if (Kind.isReadOnly()) return ReadOnlySection;
|
|
|
|
|
|
|
|
if (Kind.isThreadData()) return TLSDataSection;
|
|
|
|
if (Kind.isThreadBSS()) return TLSBSSSection;
|
|
|
|
|
|
|
|
// Note: we claim that common symbols are put in BSSSection, but they are
|
|
|
|
// really emitted with the magic .comm directive, which creates a symbol table
|
|
|
|
// entry but not a section.
|
|
|
|
if (Kind.isBSS() || Kind.isCommon()) return BSSSection;
|
|
|
|
|
|
|
|
if (Kind.isDataNoRel()) return DataSection;
|
|
|
|
if (Kind.isDataRelLocal()) return DataRelLocalSection;
|
|
|
|
if (Kind.isDataRel()) return DataRelSection;
|
|
|
|
if (Kind.isReadOnlyWithRelLocal()) return DataRelROLocalSection;
|
|
|
|
|
|
|
|
assert(Kind.isReadOnlyWithRel() && "Unknown section kind");
|
|
|
|
return DataRelROSection;
|
|
|
|
}
|
|
|
|
|
2015-02-13 01:16:46 +08:00
|
|
|
const MCSection *TargetLoweringObjectFileELF::getSectionForJumpTable(
|
|
|
|
const Function &F, Mangler &Mang, const TargetMachine &TM) const {
|
|
|
|
// If the function can be removed, produce a unique section so that
|
|
|
|
// the table doesn't prevent the removal.
|
|
|
|
const Comdat *C = F.getComdat();
|
|
|
|
bool EmitUniqueSection = TM.getFunctionSections() || C;
|
|
|
|
if (!EmitUniqueSection)
|
|
|
|
return ReadOnlySection;
|
|
|
|
|
|
|
|
SmallString<128> Name(".rodata.");
|
|
|
|
TM.getNameWithPrefix(Name, &F, Mang, true);
|
|
|
|
|
|
|
|
unsigned Flags = ELF::SHF_ALLOC;
|
|
|
|
StringRef Group = "";
|
|
|
|
if (C) {
|
|
|
|
Flags |= ELF::SHF_GROUP;
|
|
|
|
Group = C->getName();
|
|
|
|
}
|
|
|
|
|
|
|
|
return getContext().getELFSection(Name, ELF::SHT_PROGBITS, Flags, 0, Group);
|
|
|
|
}
|
|
|
|
|
2010-02-16 06:37:53 +08:00
|
|
|
/// getSectionForConstant - Given a mergeable constant with the
|
|
|
|
/// specified size and relocation information, return a section that it
|
|
|
|
/// should be placed in.
|
2014-07-15 06:57:27 +08:00
|
|
|
const MCSection *
|
|
|
|
TargetLoweringObjectFileELF::getSectionForConstant(SectionKind Kind,
|
|
|
|
const Constant *C) const {
|
2010-02-16 06:37:53 +08:00
|
|
|
if (Kind.isMergeableConst4() && MergeableConst4Section)
|
|
|
|
return MergeableConst4Section;
|
|
|
|
if (Kind.isMergeableConst8() && MergeableConst8Section)
|
|
|
|
return MergeableConst8Section;
|
|
|
|
if (Kind.isMergeableConst16() && MergeableConst16Section)
|
|
|
|
return MergeableConst16Section;
|
|
|
|
if (Kind.isReadOnly())
|
|
|
|
return ReadOnlySection;
|
|
|
|
|
|
|
|
if (Kind.isReadOnlyWithRelLocal()) return DataRelROLocalSection;
|
|
|
|
assert(Kind.isReadOnlyWithRel() && "Unknown section kind");
|
|
|
|
return DataRelROSection;
|
|
|
|
}
|
|
|
|
|
2014-09-05 08:02:50 +08:00
|
|
|
static const MCSectionELF *getStaticStructorSection(MCContext &Ctx,
|
|
|
|
bool UseInitArray,
|
|
|
|
bool IsCtor,
|
|
|
|
unsigned Priority,
|
|
|
|
const MCSymbol *KeySym) {
|
2014-09-05 07:03:58 +08:00
|
|
|
std::string Name;
|
|
|
|
unsigned Type;
|
|
|
|
unsigned Flags = ELF::SHF_ALLOC | ELF::SHF_WRITE;
|
|
|
|
StringRef COMDAT = KeySym ? KeySym->getName() : "";
|
|
|
|
|
|
|
|
if (KeySym)
|
|
|
|
Flags |= ELF::SHF_GROUP;
|
2012-01-26 06:24:19 +08:00
|
|
|
|
2012-06-19 08:48:28 +08:00
|
|
|
if (UseInitArray) {
|
2014-09-05 08:02:50 +08:00
|
|
|
if (IsCtor) {
|
|
|
|
Type = ELF::SHT_INIT_ARRAY;
|
|
|
|
Name = ".init_array";
|
|
|
|
} else {
|
|
|
|
Type = ELF::SHT_FINI_ARRAY;
|
|
|
|
Name = ".fini_array";
|
|
|
|
}
|
2014-09-05 07:03:58 +08:00
|
|
|
if (Priority != 65535) {
|
|
|
|
Name += '.';
|
|
|
|
Name += utostr(Priority);
|
|
|
|
}
|
2012-06-19 08:48:28 +08:00
|
|
|
} else {
|
2014-09-05 07:03:58 +08:00
|
|
|
// The default scheme is .ctor / .dtor, so we have to invert the priority
|
|
|
|
// numbering.
|
2014-09-05 08:02:50 +08:00
|
|
|
if (IsCtor)
|
|
|
|
Name = ".ctors";
|
|
|
|
else
|
|
|
|
Name = ".dtors";
|
2014-09-05 07:03:58 +08:00
|
|
|
if (Priority != 65535) {
|
|
|
|
Name += '.';
|
|
|
|
Name += utostr(65535 - Priority);
|
|
|
|
}
|
|
|
|
Type = ELF::SHT_PROGBITS;
|
2012-06-19 08:48:28 +08:00
|
|
|
}
|
2014-09-05 07:03:58 +08:00
|
|
|
|
2015-01-30 01:33:21 +08:00
|
|
|
return Ctx.getELFSection(Name, Type, Flags, 0, COMDAT);
|
2012-01-26 06:24:19 +08:00
|
|
|
}
|
|
|
|
|
2014-09-05 08:02:50 +08:00
|
|
|
const MCSection *TargetLoweringObjectFileELF::getStaticCtorSection(
|
2014-06-07 03:26:12 +08:00
|
|
|
unsigned Priority, const MCSymbol *KeySym) const {
|
2014-09-05 08:02:50 +08:00
|
|
|
return getStaticStructorSection(getContext(), UseInitArray, true, Priority,
|
|
|
|
KeySym);
|
|
|
|
}
|
2014-09-05 07:03:58 +08:00
|
|
|
|
2014-09-05 08:02:50 +08:00
|
|
|
const MCSection *TargetLoweringObjectFileELF::getStaticDtorSection(
|
|
|
|
unsigned Priority, const MCSymbol *KeySym) const {
|
|
|
|
return getStaticStructorSection(getContext(), UseInitArray, false, Priority,
|
|
|
|
KeySym);
|
2012-06-19 08:48:28 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
TargetLoweringObjectFileELF::InitializeELF(bool UseInitArray_) {
|
|
|
|
UseInitArray = UseInitArray_;
|
|
|
|
if (!UseInitArray)
|
|
|
|
return;
|
|
|
|
|
2015-01-30 01:33:21 +08:00
|
|
|
StaticCtorSection = getContext().getELFSection(
|
|
|
|
".init_array", ELF::SHT_INIT_ARRAY, ELF::SHF_WRITE | ELF::SHF_ALLOC);
|
|
|
|
StaticDtorSection = getContext().getELFSection(
|
|
|
|
".fini_array", ELF::SHT_FINI_ARRAY, ELF::SHF_WRITE | ELF::SHF_ALLOC);
|
2012-01-26 06:24:19 +08:00
|
|
|
}
|
|
|
|
|
2010-02-16 06:37:53 +08:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// MachO
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2014-01-22 02:31:27 +08:00
|
|
|
/// getDepLibFromLinkerOpt - Extract the dependent library name from a linker
|
|
|
|
/// option string. Returns StringRef() if the option does not specify a library.
|
|
|
|
StringRef TargetLoweringObjectFileMachO::
|
|
|
|
getDepLibFromLinkerOpt(StringRef LinkerOption) const {
|
|
|
|
const char *LibCmd = "-l";
|
|
|
|
if (LinkerOption.startswith(LibCmd))
|
|
|
|
return LinkerOption.substr(strlen(LibCmd));
|
|
|
|
return StringRef();
|
|
|
|
}
|
|
|
|
|
2013-01-19 03:37:00 +08:00
|
|
|
/// emitModuleFlags - Perform code emission for module flags.
|
2012-02-15 05:28:13 +08:00
|
|
|
void TargetLoweringObjectFileMachO::
|
2012-02-16 06:36:15 +08:00
|
|
|
emitModuleFlags(MCStreamer &Streamer,
|
|
|
|
ArrayRef<Module::ModuleFlagEntry> ModuleFlags,
|
2014-02-08 22:53:28 +08:00
|
|
|
Mangler &Mang, const TargetMachine &TM) const {
|
2012-02-15 05:28:13 +08:00
|
|
|
unsigned VersionVal = 0;
|
2012-04-24 19:03:50 +08:00
|
|
|
unsigned ImageInfoFlags = 0;
|
2014-04-14 08:51:57 +08:00
|
|
|
MDNode *LinkerOptions = nullptr;
|
2012-02-16 06:36:15 +08:00
|
|
|
StringRef SectionVal;
|
2012-02-15 05:28:13 +08:00
|
|
|
|
2012-02-16 06:36:15 +08:00
|
|
|
for (ArrayRef<Module::ModuleFlagEntry>::iterator
|
|
|
|
i = ModuleFlags.begin(), e = ModuleFlags.end(); i != e; ++i) {
|
|
|
|
const Module::ModuleFlagEntry &MFE = *i;
|
2012-02-15 05:28:13 +08:00
|
|
|
|
|
|
|
// Ignore flags with 'Require' behavior.
|
2012-02-16 06:36:15 +08:00
|
|
|
if (MFE.Behavior == Module::Require)
|
2012-02-15 05:28:13 +08:00
|
|
|
continue;
|
|
|
|
|
2012-02-16 06:36:15 +08:00
|
|
|
StringRef Key = MFE.Key->getString();
|
IR: Split Metadata from Value
Split `Metadata` away from the `Value` class hierarchy, as part of
PR21532. Assembly and bitcode changes are in the wings, but this is the
bulk of the change for the IR C++ API.
I have a follow-up patch prepared for `clang`. If this breaks other
sub-projects, I apologize in advance :(. Help me compile it on Darwin
I'll try to fix it. FWIW, the errors should be easy to fix, so it may
be simpler to just fix it yourself.
This breaks the build for all metadata-related code that's out-of-tree.
Rest assured the transition is mechanical and the compiler should catch
almost all of the problems.
Here's a quick guide for updating your code:
- `Metadata` is the root of a class hierarchy with three main classes:
`MDNode`, `MDString`, and `ValueAsMetadata`. It is distinct from
the `Value` class hierarchy. It is typeless -- i.e., instances do
*not* have a `Type`.
- `MDNode`'s operands are all `Metadata *` (instead of `Value *`).
- `TrackingVH<MDNode>` and `WeakVH` referring to metadata can be
replaced with `TrackingMDNodeRef` and `TrackingMDRef`, respectively.
If you're referring solely to resolved `MDNode`s -- post graph
construction -- just use `MDNode*`.
- `MDNode` (and the rest of `Metadata`) have only limited support for
`replaceAllUsesWith()`.
As long as an `MDNode` is pointing at a forward declaration -- the
result of `MDNode::getTemporary()` -- it maintains a side map of its
uses and can RAUW itself. Once the forward declarations are fully
resolved RAUW support is dropped on the ground. This means that
uniquing collisions on changing operands cause nodes to become
"distinct". (This already happened fairly commonly, whenever an
operand went to null.)
If you're constructing complex (non self-reference) `MDNode` cycles,
you need to call `MDNode::resolveCycles()` on each node (or on a
top-level node that somehow references all of the nodes). Also,
don't do that. Metadata cycles (and the RAUW machinery needed to
construct them) are expensive.
- An `MDNode` can only refer to a `Constant` through a bridge called
`ConstantAsMetadata` (one of the subclasses of `ValueAsMetadata`).
As a side effect, accessing an operand of an `MDNode` that is known
to be, e.g., `ConstantInt`, takes three steps: first, cast from
`Metadata` to `ConstantAsMetadata`; second, extract the `Constant`;
third, cast down to `ConstantInt`.
The eventual goal is to introduce `MDInt`/`MDFloat`/etc. and have
metadata schema owners transition away from using `Constant`s when
the type isn't important (and they don't care about referring to
`GlobalValue`s).
In the meantime, I've added transitional API to the `mdconst`
namespace that matches semantics with the old code, in order to
avoid adding the error-prone three-step equivalent to every call
site. If your old code was:
MDNode *N = foo();
bar(isa <ConstantInt>(N->getOperand(0)));
baz(cast <ConstantInt>(N->getOperand(1)));
bak(cast_or_null <ConstantInt>(N->getOperand(2)));
bat(dyn_cast <ConstantInt>(N->getOperand(3)));
bay(dyn_cast_or_null<ConstantInt>(N->getOperand(4)));
you can trivially match its semantics with:
MDNode *N = foo();
bar(mdconst::hasa <ConstantInt>(N->getOperand(0)));
baz(mdconst::extract <ConstantInt>(N->getOperand(1)));
bak(mdconst::extract_or_null <ConstantInt>(N->getOperand(2)));
bat(mdconst::dyn_extract <ConstantInt>(N->getOperand(3)));
bay(mdconst::dyn_extract_or_null<ConstantInt>(N->getOperand(4)));
and when you transition your metadata schema to `MDInt`:
MDNode *N = foo();
bar(isa <MDInt>(N->getOperand(0)));
baz(cast <MDInt>(N->getOperand(1)));
bak(cast_or_null <MDInt>(N->getOperand(2)));
bat(dyn_cast <MDInt>(N->getOperand(3)));
bay(dyn_cast_or_null<MDInt>(N->getOperand(4)));
- A `CallInst` -- specifically, intrinsic instructions -- can refer to
metadata through a bridge called `MetadataAsValue`. This is a
subclass of `Value` where `getType()->isMetadataTy()`.
`MetadataAsValue` is the *only* class that can legally refer to a
`LocalAsMetadata`, which is a bridged form of non-`Constant` values
like `Argument` and `Instruction`. It can also refer to any other
`Metadata` subclass.
(I'll break all your testcases in a follow-up commit, when I propagate
this change to assembly.)
llvm-svn: 223802
2014-12-10 02:38:53 +08:00
|
|
|
Metadata *Val = MFE.Val;
|
2012-02-15 05:28:13 +08:00
|
|
|
|
2013-01-19 03:37:00 +08:00
|
|
|
if (Key == "Objective-C Image Info Version") {
|
IR: Split Metadata from Value
Split `Metadata` away from the `Value` class hierarchy, as part of
PR21532. Assembly and bitcode changes are in the wings, but this is the
bulk of the change for the IR C++ API.
I have a follow-up patch prepared for `clang`. If this breaks other
sub-projects, I apologize in advance :(. Help me compile it on Darwin
I'll try to fix it. FWIW, the errors should be easy to fix, so it may
be simpler to just fix it yourself.
This breaks the build for all metadata-related code that's out-of-tree.
Rest assured the transition is mechanical and the compiler should catch
almost all of the problems.
Here's a quick guide for updating your code:
- `Metadata` is the root of a class hierarchy with three main classes:
`MDNode`, `MDString`, and `ValueAsMetadata`. It is distinct from
the `Value` class hierarchy. It is typeless -- i.e., instances do
*not* have a `Type`.
- `MDNode`'s operands are all `Metadata *` (instead of `Value *`).
- `TrackingVH<MDNode>` and `WeakVH` referring to metadata can be
replaced with `TrackingMDNodeRef` and `TrackingMDRef`, respectively.
If you're referring solely to resolved `MDNode`s -- post graph
construction -- just use `MDNode*`.
- `MDNode` (and the rest of `Metadata`) have only limited support for
`replaceAllUsesWith()`.
As long as an `MDNode` is pointing at a forward declaration -- the
result of `MDNode::getTemporary()` -- it maintains a side map of its
uses and can RAUW itself. Once the forward declarations are fully
resolved RAUW support is dropped on the ground. This means that
uniquing collisions on changing operands cause nodes to become
"distinct". (This already happened fairly commonly, whenever an
operand went to null.)
If you're constructing complex (non self-reference) `MDNode` cycles,
you need to call `MDNode::resolveCycles()` on each node (or on a
top-level node that somehow references all of the nodes). Also,
don't do that. Metadata cycles (and the RAUW machinery needed to
construct them) are expensive.
- An `MDNode` can only refer to a `Constant` through a bridge called
`ConstantAsMetadata` (one of the subclasses of `ValueAsMetadata`).
As a side effect, accessing an operand of an `MDNode` that is known
to be, e.g., `ConstantInt`, takes three steps: first, cast from
`Metadata` to `ConstantAsMetadata`; second, extract the `Constant`;
third, cast down to `ConstantInt`.
The eventual goal is to introduce `MDInt`/`MDFloat`/etc. and have
metadata schema owners transition away from using `Constant`s when
the type isn't important (and they don't care about referring to
`GlobalValue`s).
In the meantime, I've added transitional API to the `mdconst`
namespace that matches semantics with the old code, in order to
avoid adding the error-prone three-step equivalent to every call
site. If your old code was:
MDNode *N = foo();
bar(isa <ConstantInt>(N->getOperand(0)));
baz(cast <ConstantInt>(N->getOperand(1)));
bak(cast_or_null <ConstantInt>(N->getOperand(2)));
bat(dyn_cast <ConstantInt>(N->getOperand(3)));
bay(dyn_cast_or_null<ConstantInt>(N->getOperand(4)));
you can trivially match its semantics with:
MDNode *N = foo();
bar(mdconst::hasa <ConstantInt>(N->getOperand(0)));
baz(mdconst::extract <ConstantInt>(N->getOperand(1)));
bak(mdconst::extract_or_null <ConstantInt>(N->getOperand(2)));
bat(mdconst::dyn_extract <ConstantInt>(N->getOperand(3)));
bay(mdconst::dyn_extract_or_null<ConstantInt>(N->getOperand(4)));
and when you transition your metadata schema to `MDInt`:
MDNode *N = foo();
bar(isa <MDInt>(N->getOperand(0)));
baz(cast <MDInt>(N->getOperand(1)));
bak(cast_or_null <MDInt>(N->getOperand(2)));
bat(dyn_cast <MDInt>(N->getOperand(3)));
bay(dyn_cast_or_null<MDInt>(N->getOperand(4)));
- A `CallInst` -- specifically, intrinsic instructions -- can refer to
metadata through a bridge called `MetadataAsValue`. This is a
subclass of `Value` where `getType()->isMetadataTy()`.
`MetadataAsValue` is the *only* class that can legally refer to a
`LocalAsMetadata`, which is a bridged form of non-`Constant` values
like `Argument` and `Instruction`. It can also refer to any other
`Metadata` subclass.
(I'll break all your testcases in a follow-up commit, when I propagate
this change to assembly.)
llvm-svn: 223802
2014-12-10 02:38:53 +08:00
|
|
|
VersionVal = mdconst::extract<ConstantInt>(Val)->getZExtValue();
|
2013-01-19 03:37:00 +08:00
|
|
|
} else if (Key == "Objective-C Garbage Collection" ||
|
|
|
|
Key == "Objective-C GC Only" ||
|
2014-11-22 03:24:55 +08:00
|
|
|
Key == "Objective-C Is Simulated" ||
|
|
|
|
Key == "Objective-C Image Swift Version") {
|
IR: Split Metadata from Value
Split `Metadata` away from the `Value` class hierarchy, as part of
PR21532. Assembly and bitcode changes are in the wings, but this is the
bulk of the change for the IR C++ API.
I have a follow-up patch prepared for `clang`. If this breaks other
sub-projects, I apologize in advance :(. Help me compile it on Darwin
I'll try to fix it. FWIW, the errors should be easy to fix, so it may
be simpler to just fix it yourself.
This breaks the build for all metadata-related code that's out-of-tree.
Rest assured the transition is mechanical and the compiler should catch
almost all of the problems.
Here's a quick guide for updating your code:
- `Metadata` is the root of a class hierarchy with three main classes:
`MDNode`, `MDString`, and `ValueAsMetadata`. It is distinct from
the `Value` class hierarchy. It is typeless -- i.e., instances do
*not* have a `Type`.
- `MDNode`'s operands are all `Metadata *` (instead of `Value *`).
- `TrackingVH<MDNode>` and `WeakVH` referring to metadata can be
replaced with `TrackingMDNodeRef` and `TrackingMDRef`, respectively.
If you're referring solely to resolved `MDNode`s -- post graph
construction -- just use `MDNode*`.
- `MDNode` (and the rest of `Metadata`) have only limited support for
`replaceAllUsesWith()`.
As long as an `MDNode` is pointing at a forward declaration -- the
result of `MDNode::getTemporary()` -- it maintains a side map of its
uses and can RAUW itself. Once the forward declarations are fully
resolved RAUW support is dropped on the ground. This means that
uniquing collisions on changing operands cause nodes to become
"distinct". (This already happened fairly commonly, whenever an
operand went to null.)
If you're constructing complex (non self-reference) `MDNode` cycles,
you need to call `MDNode::resolveCycles()` on each node (or on a
top-level node that somehow references all of the nodes). Also,
don't do that. Metadata cycles (and the RAUW machinery needed to
construct them) are expensive.
- An `MDNode` can only refer to a `Constant` through a bridge called
`ConstantAsMetadata` (one of the subclasses of `ValueAsMetadata`).
As a side effect, accessing an operand of an `MDNode` that is known
to be, e.g., `ConstantInt`, takes three steps: first, cast from
`Metadata` to `ConstantAsMetadata`; second, extract the `Constant`;
third, cast down to `ConstantInt`.
The eventual goal is to introduce `MDInt`/`MDFloat`/etc. and have
metadata schema owners transition away from using `Constant`s when
the type isn't important (and they don't care about referring to
`GlobalValue`s).
In the meantime, I've added transitional API to the `mdconst`
namespace that matches semantics with the old code, in order to
avoid adding the error-prone three-step equivalent to every call
site. If your old code was:
MDNode *N = foo();
bar(isa <ConstantInt>(N->getOperand(0)));
baz(cast <ConstantInt>(N->getOperand(1)));
bak(cast_or_null <ConstantInt>(N->getOperand(2)));
bat(dyn_cast <ConstantInt>(N->getOperand(3)));
bay(dyn_cast_or_null<ConstantInt>(N->getOperand(4)));
you can trivially match its semantics with:
MDNode *N = foo();
bar(mdconst::hasa <ConstantInt>(N->getOperand(0)));
baz(mdconst::extract <ConstantInt>(N->getOperand(1)));
bak(mdconst::extract_or_null <ConstantInt>(N->getOperand(2)));
bat(mdconst::dyn_extract <ConstantInt>(N->getOperand(3)));
bay(mdconst::dyn_extract_or_null<ConstantInt>(N->getOperand(4)));
and when you transition your metadata schema to `MDInt`:
MDNode *N = foo();
bar(isa <MDInt>(N->getOperand(0)));
baz(cast <MDInt>(N->getOperand(1)));
bak(cast_or_null <MDInt>(N->getOperand(2)));
bat(dyn_cast <MDInt>(N->getOperand(3)));
bay(dyn_cast_or_null<MDInt>(N->getOperand(4)));
- A `CallInst` -- specifically, intrinsic instructions -- can refer to
metadata through a bridge called `MetadataAsValue`. This is a
subclass of `Value` where `getType()->isMetadataTy()`.
`MetadataAsValue` is the *only* class that can legally refer to a
`LocalAsMetadata`, which is a bridged form of non-`Constant` values
like `Argument` and `Instruction`. It can also refer to any other
`Metadata` subclass.
(I'll break all your testcases in a follow-up commit, when I propagate
this change to assembly.)
llvm-svn: 223802
2014-12-10 02:38:53 +08:00
|
|
|
ImageInfoFlags |= mdconst::extract<ConstantInt>(Val)->getZExtValue();
|
2013-01-19 03:37:00 +08:00
|
|
|
} else if (Key == "Objective-C Image Info Section") {
|
2012-02-16 06:36:15 +08:00
|
|
|
SectionVal = cast<MDString>(Val)->getString();
|
2013-01-19 03:37:00 +08:00
|
|
|
} else if (Key == "Linker Options") {
|
|
|
|
LinkerOptions = cast<MDNode>(Val);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// Emit the linker options if present.
|
|
|
|
if (LinkerOptions) {
|
|
|
|
for (unsigned i = 0, e = LinkerOptions->getNumOperands(); i != e; ++i) {
|
|
|
|
MDNode *MDOptions = cast<MDNode>(LinkerOptions->getOperand(i));
|
|
|
|
SmallVector<std::string, 4> StrOptions;
|
|
|
|
|
|
|
|
// Convert to strings.
|
|
|
|
for (unsigned ii = 0, ie = MDOptions->getNumOperands(); ii != ie; ++ii) {
|
|
|
|
MDString *MDOption = cast<MDString>(MDOptions->getOperand(ii));
|
|
|
|
StrOptions.push_back(MDOption->getString());
|
|
|
|
}
|
|
|
|
|
|
|
|
Streamer.EmitLinkerOptions(StrOptions);
|
|
|
|
}
|
2012-02-15 05:28:13 +08:00
|
|
|
}
|
|
|
|
|
2012-02-16 06:36:15 +08:00
|
|
|
// The section is mandatory. If we don't have it, then we don't have GC info.
|
|
|
|
if (SectionVal.empty()) return;
|
|
|
|
|
|
|
|
StringRef Segment, Section;
|
|
|
|
unsigned TAA = 0, StubSize = 0;
|
|
|
|
bool TAAParsed;
|
|
|
|
std::string ErrorCode =
|
|
|
|
MCSectionMachO::ParseSectionSpecifier(SectionVal, Segment, Section,
|
|
|
|
TAA, TAAParsed, StubSize);
|
2012-02-16 06:47:53 +08:00
|
|
|
if (!ErrorCode.empty())
|
2012-02-16 06:36:15 +08:00
|
|
|
// If invalid, report the error with report_fatal_error.
|
2012-02-16 06:47:53 +08:00
|
|
|
report_fatal_error("Invalid section specifier '" + Section + "': " +
|
|
|
|
ErrorCode + ".");
|
2012-02-15 05:28:13 +08:00
|
|
|
|
2012-02-16 06:36:15 +08:00
|
|
|
// Get the section.
|
|
|
|
const MCSectionMachO *S =
|
|
|
|
getContext().getMachOSection(Segment, Section, TAA, StubSize,
|
2012-02-16 06:47:53 +08:00
|
|
|
SectionKind::getDataNoRel());
|
2012-02-16 06:36:15 +08:00
|
|
|
Streamer.SwitchSection(S);
|
|
|
|
Streamer.EmitLabel(getContext().
|
|
|
|
GetOrCreateSymbol(StringRef("L_OBJC_IMAGE_INFO")));
|
2012-02-15 05:28:13 +08:00
|
|
|
Streamer.EmitIntValue(VersionVal, 4);
|
2012-04-24 19:03:50 +08:00
|
|
|
Streamer.EmitIntValue(ImageInfoFlags, 4);
|
2012-02-15 05:28:13 +08:00
|
|
|
Streamer.AddBlankLine();
|
|
|
|
}
|
|
|
|
|
2014-06-28 02:19:56 +08:00
|
|
|
static void checkMachOComdat(const GlobalValue *GV) {
|
|
|
|
const Comdat *C = GV->getComdat();
|
|
|
|
if (!C)
|
|
|
|
return;
|
|
|
|
|
|
|
|
report_fatal_error("MachO doesn't support COMDATs, '" + C->getName() +
|
|
|
|
"' cannot be lowered.");
|
|
|
|
}
|
|
|
|
|
2014-02-20 01:23:20 +08:00
|
|
|
const MCSection *TargetLoweringObjectFileMachO::getExplicitSectionGlobal(
|
|
|
|
const GlobalValue *GV, SectionKind Kind, Mangler &Mang,
|
|
|
|
const TargetMachine &TM) const {
|
2010-02-16 06:37:53 +08:00
|
|
|
// Parse the section specifier and create it if valid.
|
|
|
|
StringRef Segment, Section;
|
2011-03-19 10:42:31 +08:00
|
|
|
unsigned TAA = 0, StubSize = 0;
|
|
|
|
bool TAAParsed;
|
2014-06-28 02:19:56 +08:00
|
|
|
|
|
|
|
checkMachOComdat(GV);
|
|
|
|
|
2010-02-16 06:37:53 +08:00
|
|
|
std::string ErrorCode =
|
|
|
|
MCSectionMachO::ParseSectionSpecifier(GV->getSection(), Segment, Section,
|
2011-03-19 10:42:31 +08:00
|
|
|
TAA, TAAParsed, StubSize);
|
2010-02-16 06:37:53 +08:00
|
|
|
if (!ErrorCode.empty()) {
|
2010-04-08 06:58:41 +08:00
|
|
|
// If invalid, report the error with report_fatal_error.
|
2011-11-16 00:27:03 +08:00
|
|
|
report_fatal_error("Global variable '" + GV->getName() +
|
|
|
|
"' has an invalid section specifier '" +
|
|
|
|
GV->getSection() + "': " + ErrorCode + ".");
|
2010-02-16 06:37:53 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
// Get the section.
|
|
|
|
const MCSectionMachO *S =
|
2010-04-09 04:40:11 +08:00
|
|
|
getContext().getMachOSection(Segment, Section, TAA, StubSize, Kind);
|
2010-02-16 06:37:53 +08:00
|
|
|
|
2011-02-22 01:27:17 +08:00
|
|
|
// If TAA wasn't set by ParseSectionSpecifier() above,
|
|
|
|
// use the value returned by getMachOSection() as a default.
|
2011-03-19 10:42:31 +08:00
|
|
|
if (!TAAParsed)
|
2011-02-22 01:27:17 +08:00
|
|
|
TAA = S->getTypeAndAttributes();
|
|
|
|
|
2010-02-16 06:37:53 +08:00
|
|
|
// Okay, now that we got the section, verify that the TAA & StubSize agree.
|
|
|
|
// If the user declared multiple globals with different section flags, we need
|
|
|
|
// to reject it here.
|
|
|
|
if (S->getTypeAndAttributes() != TAA || S->getStubSize() != StubSize) {
|
2010-04-08 06:58:41 +08:00
|
|
|
// If invalid, report the error with report_fatal_error.
|
2011-11-16 00:27:03 +08:00
|
|
|
report_fatal_error("Global variable '" + GV->getName() +
|
|
|
|
"' section type or attributes does not match previous"
|
|
|
|
" section specifier");
|
2010-02-16 06:37:53 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
return S;
|
|
|
|
}
|
|
|
|
|
|
|
|
const MCSection *TargetLoweringObjectFileMachO::
|
|
|
|
SelectSectionForGlobal(const GlobalValue *GV, SectionKind Kind,
|
2014-02-08 22:53:28 +08:00
|
|
|
Mangler &Mang, const TargetMachine &TM) const {
|
2014-06-28 02:19:56 +08:00
|
|
|
checkMachOComdat(GV);
|
2013-11-17 18:53:13 +08:00
|
|
|
|
|
|
|
// Handle thread local data.
|
|
|
|
if (Kind.isThreadBSS()) return TLSBSSSection;
|
|
|
|
if (Kind.isThreadData()) return TLSDataSection;
|
|
|
|
|
2010-02-16 06:37:53 +08:00
|
|
|
if (Kind.isText())
|
2013-08-09 05:04:16 +08:00
|
|
|
return GV->isWeakForLinker() ? TextCoalSection : TextSection;
|
|
|
|
|
|
|
|
// If this is weak/linkonce, put this in a coalescable section, either in text
|
|
|
|
// or data depending on if it is writable.
|
2010-02-16 06:37:53 +08:00
|
|
|
if (GV->isWeakForLinker()) {
|
|
|
|
if (Kind.isReadOnly())
|
2013-08-09 05:04:16 +08:00
|
|
|
return ConstTextCoalSection;
|
|
|
|
return DataCoalSection;
|
2010-02-16 06:37:53 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
// FIXME: Alignment check should be handled by section classifier.
|
2010-03-07 12:28:09 +08:00
|
|
|
if (Kind.isMergeable1ByteCString() &&
|
2015-01-27 03:03:15 +08:00
|
|
|
TM.getDataLayout()->getPreferredAlignment(cast<GlobalVariable>(GV)) < 32)
|
2010-03-07 12:28:09 +08:00
|
|
|
return CStringSection;
|
2010-10-28 02:52:20 +08:00
|
|
|
|
2010-03-07 12:28:09 +08:00
|
|
|
// Do not put 16-bit arrays in the UString section if they have an
|
|
|
|
// externally visible label, this runs into issues with certain linker
|
|
|
|
// versions.
|
|
|
|
if (Kind.isMergeable2ByteCString() && !GV->hasExternalLinkage() &&
|
2015-01-27 03:03:15 +08:00
|
|
|
TM.getDataLayout()->getPreferredAlignment(cast<GlobalVariable>(GV)) < 32)
|
2010-03-07 12:28:09 +08:00
|
|
|
return UStringSection;
|
2010-02-16 06:37:53 +08:00
|
|
|
|
2014-08-29 04:13:31 +08:00
|
|
|
// With MachO only variables whose corresponding symbol starts with 'l' or
|
|
|
|
// 'L' can be merged, so we only try merging GVs with private linkage.
|
|
|
|
if (GV->hasPrivateLinkage() && Kind.isMergeableConst()) {
|
2010-02-16 06:37:53 +08:00
|
|
|
if (Kind.isMergeableConst4())
|
|
|
|
return FourByteConstantSection;
|
|
|
|
if (Kind.isMergeableConst8())
|
|
|
|
return EightByteConstantSection;
|
2014-02-14 07:16:11 +08:00
|
|
|
if (Kind.isMergeableConst16())
|
2010-02-16 06:37:53 +08:00
|
|
|
return SixteenByteConstantSection;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Otherwise, if it is readonly, but not something we can specially optimize,
|
|
|
|
// just drop it in .const.
|
|
|
|
if (Kind.isReadOnly())
|
|
|
|
return ReadOnlySection;
|
|
|
|
|
|
|
|
// If this is marked const, put it into a const section. But if the dynamic
|
|
|
|
// linker needs to write to it, put it in the data segment.
|
|
|
|
if (Kind.isReadOnlyWithRel())
|
|
|
|
return ConstDataSection;
|
|
|
|
|
|
|
|
// Put zero initialized globals with strong external linkage in the
|
|
|
|
// DATA, __common section with the .zerofill directive.
|
|
|
|
if (Kind.isBSSExtern())
|
|
|
|
return DataCommonSection;
|
|
|
|
|
|
|
|
// Put zero initialized globals with local linkage in __DATA,__bss directive
|
|
|
|
// with the .zerofill directive (aka .lcomm).
|
|
|
|
if (Kind.isBSSLocal())
|
|
|
|
return DataBSSSection;
|
2010-10-28 02:52:20 +08:00
|
|
|
|
2010-02-16 06:37:53 +08:00
|
|
|
// Otherwise, just drop the variable in the normal data section.
|
|
|
|
return DataSection;
|
|
|
|
}
|
|
|
|
|
|
|
|
const MCSection *
|
2014-07-15 06:57:27 +08:00
|
|
|
TargetLoweringObjectFileMachO::getSectionForConstant(SectionKind Kind,
|
|
|
|
const Constant *C) const {
|
2010-02-16 06:37:53 +08:00
|
|
|
// If this constant requires a relocation, we have to put it in the data
|
|
|
|
// segment, not in the text segment.
|
|
|
|
if (Kind.isDataRel() || Kind.isReadOnlyWithRel())
|
|
|
|
return ConstDataSection;
|
|
|
|
|
|
|
|
if (Kind.isMergeableConst4())
|
|
|
|
return FourByteConstantSection;
|
|
|
|
if (Kind.isMergeableConst8())
|
|
|
|
return EightByteConstantSection;
|
2014-02-14 07:16:11 +08:00
|
|
|
if (Kind.isMergeableConst16())
|
2010-02-16 06:37:53 +08:00
|
|
|
return SixteenByteConstantSection;
|
|
|
|
return ReadOnlySection; // .const
|
|
|
|
}
|
|
|
|
|
2014-02-09 22:50:44 +08:00
|
|
|
const MCExpr *TargetLoweringObjectFileMachO::getTTypeGlobalReference(
|
|
|
|
const GlobalValue *GV, unsigned Encoding, Mangler &Mang,
|
2014-02-20 01:23:20 +08:00
|
|
|
const TargetMachine &TM, MachineModuleInfo *MMI,
|
|
|
|
MCStreamer &Streamer) const {
|
2010-02-16 06:37:53 +08:00
|
|
|
// The mach-o version of this method defaults to returning a stub reference.
|
|
|
|
|
2010-02-22 04:28:15 +08:00
|
|
|
if (Encoding & DW_EH_PE_indirect) {
|
|
|
|
MachineModuleInfoMachO &MachOMMI =
|
|
|
|
MMI->getObjFileInfo<MachineModuleInfoMachO>();
|
|
|
|
|
2014-02-20 01:23:20 +08:00
|
|
|
MCSymbol *SSym =
|
|
|
|
getSymbolWithGlobalValueBase(GV, "$non_lazy_ptr", Mang, TM);
|
2010-02-22 04:28:15 +08:00
|
|
|
|
|
|
|
// Add information about the stub reference to MachOMMI so that the stub
|
|
|
|
// gets emitted by the asmprinter.
|
2011-10-25 07:05:43 +08:00
|
|
|
MachineModuleInfoImpl::StubValueTy &StubSym =
|
|
|
|
GV->hasHiddenVisibility() ? MachOMMI.getHiddenGVStubEntry(SSym) :
|
|
|
|
MachOMMI.getGVStubEntry(SSym);
|
2014-04-14 08:51:57 +08:00
|
|
|
if (!StubSym.getPointer()) {
|
2014-02-20 04:30:41 +08:00
|
|
|
MCSymbol *Sym = TM.getSymbol(GV, Mang);
|
2010-03-16 04:37:38 +08:00
|
|
|
StubSym = MachineModuleInfoImpl::StubValueTy(Sym, !GV->hasLocalLinkage());
|
2010-02-22 04:28:15 +08:00
|
|
|
}
|
2010-02-16 06:37:53 +08:00
|
|
|
|
|
|
|
return TargetLoweringObjectFile::
|
2012-11-14 09:47:00 +08:00
|
|
|
getTTypeReference(MCSymbolRefExpr::Create(SSym, getContext()),
|
|
|
|
Encoding & ~dwarf::DW_EH_PE_indirect, Streamer);
|
2010-02-16 06:37:53 +08:00
|
|
|
}
|
|
|
|
|
2014-02-20 01:23:20 +08:00
|
|
|
return TargetLoweringObjectFile::getTTypeGlobalReference(GV, Encoding, Mang,
|
|
|
|
TM, MMI, Streamer);
|
2010-02-16 06:37:53 +08:00
|
|
|
}
|
|
|
|
|
2014-02-20 01:23:20 +08:00
|
|
|
MCSymbol *TargetLoweringObjectFileMachO::getCFIPersonalitySymbol(
|
|
|
|
const GlobalValue *GV, Mangler &Mang, const TargetMachine &TM,
|
|
|
|
MachineModuleInfo *MMI) const {
|
2011-04-28 07:08:15 +08:00
|
|
|
// The mach-o version of this method defaults to returning a stub reference.
|
|
|
|
MachineModuleInfoMachO &MachOMMI =
|
|
|
|
MMI->getObjFileInfo<MachineModuleInfoMachO>();
|
|
|
|
|
2014-02-20 01:23:20 +08:00
|
|
|
MCSymbol *SSym = getSymbolWithGlobalValueBase(GV, "$non_lazy_ptr", Mang, TM);
|
2011-04-28 07:08:15 +08:00
|
|
|
|
|
|
|
// Add information about the stub reference to MachOMMI so that the stub
|
|
|
|
// gets emitted by the asmprinter.
|
2011-11-29 09:43:20 +08:00
|
|
|
MachineModuleInfoImpl::StubValueTy &StubSym = MachOMMI.getGVStubEntry(SSym);
|
2014-04-14 08:51:57 +08:00
|
|
|
if (!StubSym.getPointer()) {
|
2014-02-20 04:30:41 +08:00
|
|
|
MCSymbol *Sym = TM.getSymbol(GV, Mang);
|
2011-04-28 07:08:15 +08:00
|
|
|
StubSym = MachineModuleInfoImpl::StubValueTy(Sym, !GV->hasLocalLinkage());
|
|
|
|
}
|
|
|
|
|
|
|
|
return SSym;
|
|
|
|
}
|
|
|
|
|
2010-02-16 06:37:53 +08:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// COFF
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2010-05-08 01:17:41 +08:00
|
|
|
static unsigned
|
|
|
|
getCOFFSectionFlags(SectionKind K) {
|
|
|
|
unsigned Flags = 0;
|
|
|
|
|
2010-07-06 23:24:56 +08:00
|
|
|
if (K.isMetadata())
|
2010-05-08 05:49:09 +08:00
|
|
|
Flags |=
|
2010-07-02 04:07:24 +08:00
|
|
|
COFF::IMAGE_SCN_MEM_DISCARDABLE;
|
2010-05-08 01:17:41 +08:00
|
|
|
else if (K.isText())
|
|
|
|
Flags |=
|
2010-07-02 04:07:24 +08:00
|
|
|
COFF::IMAGE_SCN_MEM_EXECUTE |
|
2010-10-28 02:52:29 +08:00
|
|
|
COFF::IMAGE_SCN_MEM_READ |
|
2010-07-02 04:07:24 +08:00
|
|
|
COFF::IMAGE_SCN_CNT_CODE;
|
2014-09-20 15:31:46 +08:00
|
|
|
else if (K.isBSS())
|
2010-05-08 05:49:09 +08:00
|
|
|
Flags |=
|
2010-07-02 04:07:24 +08:00
|
|
|
COFF::IMAGE_SCN_CNT_UNINITIALIZED_DATA |
|
|
|
|
COFF::IMAGE_SCN_MEM_READ |
|
|
|
|
COFF::IMAGE_SCN_MEM_WRITE;
|
2012-02-12 01:26:53 +08:00
|
|
|
else if (K.isThreadLocal())
|
|
|
|
Flags |=
|
|
|
|
COFF::IMAGE_SCN_CNT_INITIALIZED_DATA |
|
|
|
|
COFF::IMAGE_SCN_MEM_READ |
|
|
|
|
COFF::IMAGE_SCN_MEM_WRITE;
|
2014-09-20 15:31:46 +08:00
|
|
|
else if (K.isReadOnly() || K.isReadOnlyWithRel())
|
2010-05-08 01:17:41 +08:00
|
|
|
Flags |=
|
2010-07-02 04:07:24 +08:00
|
|
|
COFF::IMAGE_SCN_CNT_INITIALIZED_DATA |
|
|
|
|
COFF::IMAGE_SCN_MEM_READ;
|
2010-05-08 01:17:41 +08:00
|
|
|
else if (K.isWriteable())
|
|
|
|
Flags |=
|
2010-07-02 04:07:24 +08:00
|
|
|
COFF::IMAGE_SCN_CNT_INITIALIZED_DATA |
|
|
|
|
COFF::IMAGE_SCN_MEM_READ |
|
|
|
|
COFF::IMAGE_SCN_MEM_WRITE;
|
2010-05-08 01:17:41 +08:00
|
|
|
|
|
|
|
return Flags;
|
2010-02-16 06:37:53 +08:00
|
|
|
}
|
|
|
|
|
2014-07-07 22:47:51 +08:00
|
|
|
static const GlobalValue *getComdatGVForCOFF(const GlobalValue *GV) {
|
2014-06-28 02:19:56 +08:00
|
|
|
const Comdat *C = GV->getComdat();
|
|
|
|
assert(C && "expected GV to have a Comdat!");
|
|
|
|
|
|
|
|
StringRef ComdatGVName = C->getName();
|
|
|
|
const GlobalValue *ComdatGV = GV->getParent()->getNamedValue(ComdatGVName);
|
|
|
|
if (!ComdatGV)
|
|
|
|
report_fatal_error("Associative COMDAT symbol '" + ComdatGVName +
|
|
|
|
"' does not exist.");
|
|
|
|
|
|
|
|
if (ComdatGV->getComdat() != C)
|
|
|
|
report_fatal_error("Associative COMDAT symbol '" + ComdatGVName +
|
2014-09-19 09:14:56 +08:00
|
|
|
"' is not a key for its COMDAT.");
|
2014-06-28 02:19:56 +08:00
|
|
|
|
|
|
|
return ComdatGV;
|
|
|
|
}
|
|
|
|
|
|
|
|
static int getSelectionForCOFF(const GlobalValue *GV) {
|
|
|
|
if (const Comdat *C = GV->getComdat()) {
|
|
|
|
const GlobalValue *ComdatKey = getComdatGVForCOFF(GV);
|
|
|
|
if (const auto *GA = dyn_cast<GlobalAlias>(ComdatKey))
|
|
|
|
ComdatKey = GA->getBaseObject();
|
|
|
|
if (ComdatKey == GV) {
|
|
|
|
switch (C->getSelectionKind()) {
|
|
|
|
case Comdat::Any:
|
|
|
|
return COFF::IMAGE_COMDAT_SELECT_ANY;
|
|
|
|
case Comdat::ExactMatch:
|
|
|
|
return COFF::IMAGE_COMDAT_SELECT_EXACT_MATCH;
|
|
|
|
case Comdat::Largest:
|
|
|
|
return COFF::IMAGE_COMDAT_SELECT_LARGEST;
|
|
|
|
case Comdat::NoDuplicates:
|
|
|
|
return COFF::IMAGE_COMDAT_SELECT_NODUPLICATES;
|
|
|
|
case Comdat::SameSize:
|
|
|
|
return COFF::IMAGE_COMDAT_SELECT_SAME_SIZE;
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
return COFF::IMAGE_COMDAT_SELECT_ASSOCIATIVE;
|
|
|
|
}
|
|
|
|
} else if (GV->isWeakForLinker()) {
|
|
|
|
return COFF::IMAGE_COMDAT_SELECT_ANY;
|
|
|
|
}
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2014-02-20 01:23:20 +08:00
|
|
|
const MCSection *TargetLoweringObjectFileCOFF::getExplicitSectionGlobal(
|
|
|
|
const GlobalValue *GV, SectionKind Kind, Mangler &Mang,
|
|
|
|
const TargetMachine &TM) const {
|
2012-11-14 06:04:09 +08:00
|
|
|
int Selection = 0;
|
|
|
|
unsigned Characteristics = getCOFFSectionFlags(Kind);
|
2013-11-27 09:18:37 +08:00
|
|
|
StringRef Name = GV->getSection();
|
|
|
|
StringRef COMDATSymName = "";
|
2015-01-19 23:16:06 +08:00
|
|
|
if (GV->hasComdat()) {
|
2014-06-28 02:19:56 +08:00
|
|
|
Selection = getSelectionForCOFF(GV);
|
|
|
|
const GlobalValue *ComdatGV;
|
|
|
|
if (Selection == COFF::IMAGE_COMDAT_SELECT_ASSOCIATIVE)
|
|
|
|
ComdatGV = getComdatGVForCOFF(GV);
|
|
|
|
else
|
|
|
|
ComdatGV = GV;
|
|
|
|
|
|
|
|
if (!ComdatGV->hasPrivateLinkage()) {
|
|
|
|
MCSymbol *Sym = TM.getSymbol(ComdatGV, Mang);
|
|
|
|
COMDATSymName = Sym->getName();
|
|
|
|
Characteristics |= COFF::IMAGE_SCN_LNK_COMDAT;
|
|
|
|
} else {
|
|
|
|
Selection = 0;
|
|
|
|
}
|
2012-11-14 06:04:09 +08:00
|
|
|
}
|
|
|
|
return getContext().getCOFFSection(Name,
|
|
|
|
Characteristics,
|
2013-07-06 20:13:10 +08:00
|
|
|
Kind,
|
2013-11-27 09:18:37 +08:00
|
|
|
COMDATSymName,
|
2013-07-06 20:13:10 +08:00
|
|
|
Selection);
|
2010-02-16 06:37:53 +08:00
|
|
|
}
|
|
|
|
|
2013-11-27 09:18:37 +08:00
|
|
|
static const char *getCOFFSectionNameForUniqueGlobal(SectionKind Kind) {
|
2010-02-16 06:37:53 +08:00
|
|
|
if (Kind.isText())
|
2013-11-27 09:18:37 +08:00
|
|
|
return ".text";
|
2014-04-09 06:33:40 +08:00
|
|
|
if (Kind.isBSS())
|
2013-11-27 09:18:37 +08:00
|
|
|
return ".bss";
|
|
|
|
if (Kind.isThreadLocal())
|
2013-11-27 23:52:11 +08:00
|
|
|
return ".tls$";
|
2014-09-23 04:39:23 +08:00
|
|
|
if (Kind.isReadOnly() || Kind.isReadOnlyWithRel())
|
|
|
|
return ".rdata";
|
|
|
|
return ".data";
|
2010-02-16 06:37:53 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
const MCSection *TargetLoweringObjectFileCOFF::
|
|
|
|
SelectSectionForGlobal(const GlobalValue *GV, SectionKind Kind,
|
2014-02-08 22:53:28 +08:00
|
|
|
Mangler &Mang, const TargetMachine &TM) const {
|
2014-03-24 01:47:39 +08:00
|
|
|
// If we have -ffunction-sections then we should emit the global value to a
|
|
|
|
// uniqued section specifically for it.
|
2014-03-25 14:14:26 +08:00
|
|
|
bool EmitUniquedSection;
|
|
|
|
if (Kind.isText())
|
|
|
|
EmitUniquedSection = TM.getFunctionSections();
|
|
|
|
else
|
|
|
|
EmitUniquedSection = TM.getDataSections();
|
2010-02-16 06:37:53 +08:00
|
|
|
|
2015-01-19 23:16:06 +08:00
|
|
|
if ((EmitUniquedSection && !Kind.isCommon()) || GV->hasComdat()) {
|
2013-11-27 09:18:37 +08:00
|
|
|
const char *Name = getCOFFSectionNameForUniqueGlobal(Kind);
|
2010-05-08 05:49:09 +08:00
|
|
|
unsigned Characteristics = getCOFFSectionFlags(Kind);
|
|
|
|
|
2010-07-02 04:07:24 +08:00
|
|
|
Characteristics |= COFF::IMAGE_SCN_LNK_COMDAT;
|
2014-06-28 02:19:56 +08:00
|
|
|
int Selection = getSelectionForCOFF(GV);
|
|
|
|
if (!Selection)
|
|
|
|
Selection = COFF::IMAGE_COMDAT_SELECT_NODUPLICATES;
|
|
|
|
const GlobalValue *ComdatGV;
|
|
|
|
if (GV->hasComdat())
|
|
|
|
ComdatGV = getComdatGVForCOFF(GV);
|
|
|
|
else
|
|
|
|
ComdatGV = GV;
|
|
|
|
|
|
|
|
if (!ComdatGV->hasPrivateLinkage()) {
|
|
|
|
MCSymbol *Sym = TM.getSymbol(ComdatGV, Mang);
|
|
|
|
StringRef COMDATSymName = Sym->getName();
|
|
|
|
return getContext().getCOFFSection(Name, Characteristics, Kind,
|
|
|
|
COMDATSymName, Selection);
|
|
|
|
}
|
2010-02-16 06:37:53 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
if (Kind.isText())
|
2013-08-13 09:23:53 +08:00
|
|
|
return TextSection;
|
2010-02-16 06:37:53 +08:00
|
|
|
|
2012-02-12 01:26:53 +08:00
|
|
|
if (Kind.isThreadLocal())
|
2013-08-13 09:23:53 +08:00
|
|
|
return TLSDataSection;
|
2012-02-12 01:26:53 +08:00
|
|
|
|
2014-09-23 04:39:23 +08:00
|
|
|
if (Kind.isReadOnly() || Kind.isReadOnlyWithRel())
|
2013-08-08 09:50:52 +08:00
|
|
|
return ReadOnlySection;
|
|
|
|
|
2014-04-09 06:33:40 +08:00
|
|
|
// Note: we claim that common symbols are put in BSSSection, but they are
|
|
|
|
// really emitted with the magic .comm directive, which creates a symbol table
|
|
|
|
// entry but not a section.
|
|
|
|
if (Kind.isBSS() || Kind.isCommon())
|
2013-08-13 09:23:53 +08:00
|
|
|
return BSSSection;
|
|
|
|
|
|
|
|
return DataSection;
|
2010-02-16 06:37:53 +08:00
|
|
|
}
|
|
|
|
|
2014-01-22 02:31:27 +08:00
|
|
|
StringRef TargetLoweringObjectFileCOFF::
|
|
|
|
getDepLibFromLinkerOpt(StringRef LinkerOption) const {
|
|
|
|
const char *LibCmd = "/DEFAULTLIB:";
|
|
|
|
if (LinkerOption.startswith(LibCmd))
|
|
|
|
return LinkerOption.substr(strlen(LibCmd));
|
|
|
|
return StringRef();
|
|
|
|
}
|
|
|
|
|
2013-04-26 03:34:41 +08:00
|
|
|
void TargetLoweringObjectFileCOFF::
|
|
|
|
emitModuleFlags(MCStreamer &Streamer,
|
|
|
|
ArrayRef<Module::ModuleFlagEntry> ModuleFlags,
|
2014-02-08 22:53:28 +08:00
|
|
|
Mangler &Mang, const TargetMachine &TM) const {
|
2014-04-14 08:51:57 +08:00
|
|
|
MDNode *LinkerOptions = nullptr;
|
2013-04-26 03:34:41 +08:00
|
|
|
|
|
|
|
// Look for the "Linker Options" flag, since it's the only one we support.
|
|
|
|
for (ArrayRef<Module::ModuleFlagEntry>::iterator
|
|
|
|
i = ModuleFlags.begin(), e = ModuleFlags.end(); i != e; ++i) {
|
|
|
|
const Module::ModuleFlagEntry &MFE = *i;
|
|
|
|
StringRef Key = MFE.Key->getString();
|
IR: Split Metadata from Value
Split `Metadata` away from the `Value` class hierarchy, as part of
PR21532. Assembly and bitcode changes are in the wings, but this is the
bulk of the change for the IR C++ API.
I have a follow-up patch prepared for `clang`. If this breaks other
sub-projects, I apologize in advance :(. Help me compile it on Darwin
I'll try to fix it. FWIW, the errors should be easy to fix, so it may
be simpler to just fix it yourself.
This breaks the build for all metadata-related code that's out-of-tree.
Rest assured the transition is mechanical and the compiler should catch
almost all of the problems.
Here's a quick guide for updating your code:
- `Metadata` is the root of a class hierarchy with three main classes:
`MDNode`, `MDString`, and `ValueAsMetadata`. It is distinct from
the `Value` class hierarchy. It is typeless -- i.e., instances do
*not* have a `Type`.
- `MDNode`'s operands are all `Metadata *` (instead of `Value *`).
- `TrackingVH<MDNode>` and `WeakVH` referring to metadata can be
replaced with `TrackingMDNodeRef` and `TrackingMDRef`, respectively.
If you're referring solely to resolved `MDNode`s -- post graph
construction -- just use `MDNode*`.
- `MDNode` (and the rest of `Metadata`) have only limited support for
`replaceAllUsesWith()`.
As long as an `MDNode` is pointing at a forward declaration -- the
result of `MDNode::getTemporary()` -- it maintains a side map of its
uses and can RAUW itself. Once the forward declarations are fully
resolved RAUW support is dropped on the ground. This means that
uniquing collisions on changing operands cause nodes to become
"distinct". (This already happened fairly commonly, whenever an
operand went to null.)
If you're constructing complex (non self-reference) `MDNode` cycles,
you need to call `MDNode::resolveCycles()` on each node (or on a
top-level node that somehow references all of the nodes). Also,
don't do that. Metadata cycles (and the RAUW machinery needed to
construct them) are expensive.
- An `MDNode` can only refer to a `Constant` through a bridge called
`ConstantAsMetadata` (one of the subclasses of `ValueAsMetadata`).
As a side effect, accessing an operand of an `MDNode` that is known
to be, e.g., `ConstantInt`, takes three steps: first, cast from
`Metadata` to `ConstantAsMetadata`; second, extract the `Constant`;
third, cast down to `ConstantInt`.
The eventual goal is to introduce `MDInt`/`MDFloat`/etc. and have
metadata schema owners transition away from using `Constant`s when
the type isn't important (and they don't care about referring to
`GlobalValue`s).
In the meantime, I've added transitional API to the `mdconst`
namespace that matches semantics with the old code, in order to
avoid adding the error-prone three-step equivalent to every call
site. If your old code was:
MDNode *N = foo();
bar(isa <ConstantInt>(N->getOperand(0)));
baz(cast <ConstantInt>(N->getOperand(1)));
bak(cast_or_null <ConstantInt>(N->getOperand(2)));
bat(dyn_cast <ConstantInt>(N->getOperand(3)));
bay(dyn_cast_or_null<ConstantInt>(N->getOperand(4)));
you can trivially match its semantics with:
MDNode *N = foo();
bar(mdconst::hasa <ConstantInt>(N->getOperand(0)));
baz(mdconst::extract <ConstantInt>(N->getOperand(1)));
bak(mdconst::extract_or_null <ConstantInt>(N->getOperand(2)));
bat(mdconst::dyn_extract <ConstantInt>(N->getOperand(3)));
bay(mdconst::dyn_extract_or_null<ConstantInt>(N->getOperand(4)));
and when you transition your metadata schema to `MDInt`:
MDNode *N = foo();
bar(isa <MDInt>(N->getOperand(0)));
baz(cast <MDInt>(N->getOperand(1)));
bak(cast_or_null <MDInt>(N->getOperand(2)));
bat(dyn_cast <MDInt>(N->getOperand(3)));
bay(dyn_cast_or_null<MDInt>(N->getOperand(4)));
- A `CallInst` -- specifically, intrinsic instructions -- can refer to
metadata through a bridge called `MetadataAsValue`. This is a
subclass of `Value` where `getType()->isMetadataTy()`.
`MetadataAsValue` is the *only* class that can legally refer to a
`LocalAsMetadata`, which is a bridged form of non-`Constant` values
like `Argument` and `Instruction`. It can also refer to any other
`Metadata` subclass.
(I'll break all your testcases in a follow-up commit, when I propagate
this change to assembly.)
llvm-svn: 223802
2014-12-10 02:38:53 +08:00
|
|
|
Metadata *Val = MFE.Val;
|
2013-04-26 03:34:41 +08:00
|
|
|
if (Key == "Linker Options") {
|
|
|
|
LinkerOptions = cast<MDNode>(Val);
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
if (!LinkerOptions)
|
|
|
|
return;
|
|
|
|
|
|
|
|
// Emit the linker options to the linker .drectve section. According to the
|
|
|
|
// spec, this section is a space-separated string containing flags for linker.
|
|
|
|
const MCSection *Sec = getDrectveSection();
|
|
|
|
Streamer.SwitchSection(Sec);
|
|
|
|
for (unsigned i = 0, e = LinkerOptions->getNumOperands(); i != e; ++i) {
|
|
|
|
MDNode *MDOptions = cast<MDNode>(LinkerOptions->getOperand(i));
|
|
|
|
for (unsigned ii = 0, ie = MDOptions->getNumOperands(); ii != ie; ++ii) {
|
|
|
|
MDString *MDOption = cast<MDString>(MDOptions->getOperand(ii));
|
|
|
|
// Lead with a space for consistency with our dllexport implementation.
|
2015-02-16 19:57:17 +08:00
|
|
|
std::string Directive(" ");
|
|
|
|
Directive.append(MDOption->getString());
|
|
|
|
Streamer.EmitBytes(Directive);
|
2013-04-26 03:34:41 +08:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2014-05-17 04:39:27 +08:00
|
|
|
|
|
|
|
const MCSection *TargetLoweringObjectFileCOFF::getStaticCtorSection(
|
2014-06-07 03:26:12 +08:00
|
|
|
unsigned Priority, const MCSymbol *KeySym) const {
|
2014-09-05 01:42:03 +08:00
|
|
|
return getContext().getAssociativeCOFFSection(
|
|
|
|
cast<MCSectionCOFF>(StaticCtorSection), KeySym);
|
2014-05-17 04:39:27 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
const MCSection *TargetLoweringObjectFileCOFF::getStaticDtorSection(
|
2014-06-07 03:26:12 +08:00
|
|
|
unsigned Priority, const MCSymbol *KeySym) const {
|
2014-09-05 01:42:03 +08:00
|
|
|
return getContext().getAssociativeCOFFSection(
|
|
|
|
cast<MCSectionCOFF>(StaticDtorSection), KeySym);
|
2014-05-17 04:39:27 +08:00
|
|
|
}
|