1fcef3e46SJacques Pienaar //
22946cd70SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
32946cd70SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
42946cd70SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
5fcef3e46SJacques Pienaar //
6fcef3e46SJacques Pienaar //===----------------------------------------------------------------------===//
7fcef3e46SJacques Pienaar
8fcef3e46SJacques Pienaar #include "LanaiTargetObjectFile.h"
9fcef3e46SJacques Pienaar
10fcef3e46SJacques Pienaar #include "LanaiSubtarget.h"
11fcef3e46SJacques Pienaar #include "LanaiTargetMachine.h"
12264b5d9eSZachary Turner #include "llvm/BinaryFormat/ELF.h"
13fcef3e46SJacques Pienaar #include "llvm/IR/DataLayout.h"
14fcef3e46SJacques Pienaar #include "llvm/IR/DerivedTypes.h"
15fcef3e46SJacques Pienaar #include "llvm/IR/GlobalVariable.h"
16fcef3e46SJacques Pienaar #include "llvm/MC/MCContext.h"
17fcef3e46SJacques Pienaar #include "llvm/MC/MCSectionELF.h"
18fcef3e46SJacques Pienaar #include "llvm/Support/CommandLine.h"
19fcef3e46SJacques Pienaar #include "llvm/Target/TargetMachine.h"
20fcef3e46SJacques Pienaar
21fcef3e46SJacques Pienaar using namespace llvm;
22fcef3e46SJacques Pienaar
23fcef3e46SJacques Pienaar static cl::opt<unsigned> SSThreshold(
24fcef3e46SJacques Pienaar "lanai-ssection-threshold", cl::Hidden,
25fcef3e46SJacques Pienaar cl::desc("Small data and bss section threshold size (default=0)"),
26fcef3e46SJacques Pienaar cl::init(0));
27fcef3e46SJacques Pienaar
Initialize(MCContext & Ctx,const TargetMachine & TM)28fcef3e46SJacques Pienaar void LanaiTargetObjectFile::Initialize(MCContext &Ctx,
29fcef3e46SJacques Pienaar const TargetMachine &TM) {
30fcef3e46SJacques Pienaar TargetLoweringObjectFileELF::Initialize(Ctx, TM);
31fcef3e46SJacques Pienaar
32fcef3e46SJacques Pienaar SmallDataSection = getContext().getELFSection(
33fcef3e46SJacques Pienaar ".sdata", ELF::SHT_PROGBITS, ELF::SHF_WRITE | ELF::SHF_ALLOC);
34fcef3e46SJacques Pienaar SmallBSSSection = getContext().getELFSection(".sbss", ELF::SHT_NOBITS,
35fcef3e46SJacques Pienaar ELF::SHF_WRITE | ELF::SHF_ALLOC);
36fcef3e46SJacques Pienaar }
37fcef3e46SJacques Pienaar
38fcef3e46SJacques Pienaar // A address must be loaded from a small section if its size is less than the
39fcef3e46SJacques Pienaar // small section size threshold. Data in this section must be addressed using
40fcef3e46SJacques Pienaar // gp_rel operator.
isInSmallSection(uint64_t Size)41fcef3e46SJacques Pienaar static bool isInSmallSection(uint64_t Size) {
42fcef3e46SJacques Pienaar // gcc has traditionally not treated zero-sized objects as small data, so this
43fcef3e46SJacques Pienaar // is effectively part of the ABI.
44fcef3e46SJacques Pienaar return Size > 0 && Size <= SSThreshold;
45fcef3e46SJacques Pienaar }
46fcef3e46SJacques Pienaar
47fcef3e46SJacques Pienaar // Return true if this global address should be placed into small data/bss
48fcef3e46SJacques Pienaar // section.
isGlobalInSmallSection(const GlobalObject * GO,const TargetMachine & TM) const49fcef3e46SJacques Pienaar bool LanaiTargetObjectFile::isGlobalInSmallSection(
506733564eSPeter Collingbourne const GlobalObject *GO, const TargetMachine &TM) const {
51bd275c7bSJacques Pienaar if (GO == nullptr) return TM.getCodeModel() == CodeModel::Small;
52ccffe383SJacques Pienaar
53fcef3e46SJacques Pienaar // We first check the case where global is a declaration, because finding
54fcef3e46SJacques Pienaar // section kind using getKindForGlobal() is only allowed for global
55fcef3e46SJacques Pienaar // definitions.
566733564eSPeter Collingbourne if (GO->isDeclaration() || GO->hasAvailableExternallyLinkage())
576733564eSPeter Collingbourne return isGlobalInSmallSectionImpl(GO, TM);
58fcef3e46SJacques Pienaar
596733564eSPeter Collingbourne return isGlobalInSmallSection(GO, TM, getKindForGlobal(GO, TM));
60fcef3e46SJacques Pienaar }
61fcef3e46SJacques Pienaar
62fcef3e46SJacques Pienaar // Return true if this global address should be placed into small data/bss
63fcef3e46SJacques Pienaar // section.
isGlobalInSmallSection(const GlobalObject * GO,const TargetMachine & TM,SectionKind Kind) const646733564eSPeter Collingbourne bool LanaiTargetObjectFile::isGlobalInSmallSection(const GlobalObject *GO,
65fcef3e46SJacques Pienaar const TargetMachine &TM,
66fcef3e46SJacques Pienaar SectionKind Kind) const {
67bd275c7bSJacques Pienaar return isGlobalInSmallSectionImpl(GO, TM);
68fcef3e46SJacques Pienaar }
69fcef3e46SJacques Pienaar
70fcef3e46SJacques Pienaar // Return true if this global address should be placed into small data/bss
71fcef3e46SJacques Pienaar // section. This method does all the work, except for checking the section
72fcef3e46SJacques Pienaar // kind.
isGlobalInSmallSectionImpl(const GlobalObject * GO,const TargetMachine & TM) const73fcef3e46SJacques Pienaar bool LanaiTargetObjectFile::isGlobalInSmallSectionImpl(
74ccffe383SJacques Pienaar const GlobalObject *GO, const TargetMachine &TM) const {
756733564eSPeter Collingbourne const auto *GVA = dyn_cast<GlobalVariable>(GO);
76bd275c7bSJacques Pienaar
77bd275c7bSJacques Pienaar // If not a GlobalVariable, only consider the code model.
78bd275c7bSJacques Pienaar if (!GVA) return TM.getCodeModel() == CodeModel::Small;
79fcef3e46SJacques Pienaar
80ccffe383SJacques Pienaar // Global values placed in sections starting with .ldata do not fit in
81ccffe383SJacques Pienaar // 21-bits, so always use large memory access for them. FIXME: This is a
82ccffe383SJacques Pienaar // workaround for a tool limitation.
83ccffe383SJacques Pienaar if (GVA->getSection().startswith(".ldata"))
84ccffe383SJacques Pienaar return false;
85ccffe383SJacques Pienaar
86ccffe383SJacques Pienaar if (TM.getCodeModel() == CodeModel::Small)
87ccffe383SJacques Pienaar return true;
88ccffe383SJacques Pienaar
896733564eSPeter Collingbourne if (GVA->hasLocalLinkage())
90fcef3e46SJacques Pienaar return false;
91fcef3e46SJacques Pienaar
926733564eSPeter Collingbourne if (((GVA->hasExternalLinkage() && GVA->isDeclaration()) ||
936733564eSPeter Collingbourne GVA->hasCommonLinkage()))
94fcef3e46SJacques Pienaar return false;
95fcef3e46SJacques Pienaar
966733564eSPeter Collingbourne Type *Ty = GVA->getValueType();
97fcef3e46SJacques Pienaar return isInSmallSection(
986733564eSPeter Collingbourne GVA->getParent()->getDataLayout().getTypeAllocSize(Ty));
99fcef3e46SJacques Pienaar }
100fcef3e46SJacques Pienaar
SelectSectionForGlobal(const GlobalObject * GO,SectionKind Kind,const TargetMachine & TM) const1014367c7fbSEric Christopher MCSection *LanaiTargetObjectFile::SelectSectionForGlobal(
1026733564eSPeter Collingbourne const GlobalObject *GO, SectionKind Kind, const TargetMachine &TM) const {
103fcef3e46SJacques Pienaar // Handle Small Section classification here.
1046733564eSPeter Collingbourne if (Kind.isBSS() && isGlobalInSmallSection(GO, TM, Kind))
105fcef3e46SJacques Pienaar return SmallBSSSection;
1066733564eSPeter Collingbourne if (Kind.isData() && isGlobalInSmallSection(GO, TM, Kind))
107fcef3e46SJacques Pienaar return SmallDataSection;
108fcef3e46SJacques Pienaar
109fcef3e46SJacques Pienaar // Otherwise, we work the same as ELF.
1106733564eSPeter Collingbourne return TargetLoweringObjectFileELF::SelectSectionForGlobal(GO, Kind, TM);
111fcef3e46SJacques Pienaar }
112fcef3e46SJacques Pienaar
113fcef3e46SJacques Pienaar /// Return true if this constant should be placed into small data section.
isConstantInSmallSection(const DataLayout & DL,const Constant * CN) const1145ffdef55SJacques Pienaar bool LanaiTargetObjectFile::isConstantInSmallSection(const DataLayout &DL,
1155ffdef55SJacques Pienaar const Constant *CN) const {
116fcef3e46SJacques Pienaar return isInSmallSection(DL.getTypeAllocSize(CN->getType()));
117fcef3e46SJacques Pienaar }
118fcef3e46SJacques Pienaar
getSectionForConstant(const DataLayout & DL,SectionKind Kind,const Constant * C,Align & Alignment) const119*f96a7706SCraig Topper MCSection *LanaiTargetObjectFile::getSectionForConstant(
120*f96a7706SCraig Topper const DataLayout &DL, SectionKind Kind, const Constant *C,
121*f96a7706SCraig Topper Align &Alignment) const {
122fcef3e46SJacques Pienaar if (isConstantInSmallSection(DL, C))
123fcef3e46SJacques Pienaar return SmallDataSection;
124fcef3e46SJacques Pienaar
125fcef3e46SJacques Pienaar // Otherwise, we work the same as ELF.
126*f96a7706SCraig Topper return TargetLoweringObjectFileELF::getSectionForConstant(DL, Kind, C,
127*f96a7706SCraig Topper Alignment);
128fcef3e46SJacques Pienaar }
129