109467b48Spatrick //===-- llvm/CodeGen/PseudoSourceValue.cpp ----------------------*- C++ -*-===//
209467b48Spatrick //
309467b48Spatrick // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
409467b48Spatrick // See https://llvm.org/LICENSE.txt for license information.
509467b48Spatrick // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
609467b48Spatrick //
709467b48Spatrick //===----------------------------------------------------------------------===//
809467b48Spatrick //
909467b48Spatrick // This file implements the PseudoSourceValue class.
1009467b48Spatrick //
1109467b48Spatrick //===----------------------------------------------------------------------===//
1209467b48Spatrick
1309467b48Spatrick #include "llvm/CodeGen/PseudoSourceValue.h"
1409467b48Spatrick #include "llvm/CodeGen/MachineFrameInfo.h"
1509467b48Spatrick #include "llvm/Support/ErrorHandling.h"
1609467b48Spatrick #include "llvm/Support/raw_ostream.h"
17*d415bd75Srobert #include "llvm/Target/TargetMachine.h"
18*d415bd75Srobert
1909467b48Spatrick using namespace llvm;
2009467b48Spatrick
2109467b48Spatrick static const char *const PSVNames[] = {
2209467b48Spatrick "Stack", "GOT", "JumpTable", "ConstantPool", "FixedStack",
2309467b48Spatrick "GlobalValueCallEntry", "ExternalSymbolCallEntry"};
2409467b48Spatrick
PseudoSourceValue(unsigned Kind,const TargetMachine & TM)25*d415bd75Srobert PseudoSourceValue::PseudoSourceValue(unsigned Kind, const TargetMachine &TM)
2609467b48Spatrick : Kind(Kind) {
27*d415bd75Srobert AddressSpace = TM.getAddressSpaceForPseudoSourceKind(Kind);
2809467b48Spatrick }
2909467b48Spatrick
30*d415bd75Srobert PseudoSourceValue::~PseudoSourceValue() = default;
3109467b48Spatrick
printCustom(raw_ostream & O) const3209467b48Spatrick void PseudoSourceValue::printCustom(raw_ostream &O) const {
3309467b48Spatrick if (Kind < TargetCustom)
3409467b48Spatrick O << PSVNames[Kind];
3509467b48Spatrick else
3609467b48Spatrick O << "TargetCustom" << Kind;
3709467b48Spatrick }
3809467b48Spatrick
isConstant(const MachineFrameInfo *) const3909467b48Spatrick bool PseudoSourceValue::isConstant(const MachineFrameInfo *) const {
4009467b48Spatrick if (isStack())
4109467b48Spatrick return false;
4209467b48Spatrick if (isGOT() || isConstantPool() || isJumpTable())
4309467b48Spatrick return true;
4409467b48Spatrick llvm_unreachable("Unknown PseudoSourceValue!");
4509467b48Spatrick }
4609467b48Spatrick
isAliased(const MachineFrameInfo *) const4709467b48Spatrick bool PseudoSourceValue::isAliased(const MachineFrameInfo *) const {
4809467b48Spatrick if (isStack() || isGOT() || isConstantPool() || isJumpTable())
4909467b48Spatrick return false;
5009467b48Spatrick llvm_unreachable("Unknown PseudoSourceValue!");
5109467b48Spatrick }
5209467b48Spatrick
mayAlias(const MachineFrameInfo *) const5309467b48Spatrick bool PseudoSourceValue::mayAlias(const MachineFrameInfo *) const {
5409467b48Spatrick return !(isGOT() || isConstantPool() || isJumpTable());
5509467b48Spatrick }
5609467b48Spatrick
isConstant(const MachineFrameInfo * MFI) const5709467b48Spatrick bool FixedStackPseudoSourceValue::isConstant(
5809467b48Spatrick const MachineFrameInfo *MFI) const {
5909467b48Spatrick return MFI && MFI->isImmutableObjectIndex(FI);
6009467b48Spatrick }
6109467b48Spatrick
isAliased(const MachineFrameInfo * MFI) const6209467b48Spatrick bool FixedStackPseudoSourceValue::isAliased(const MachineFrameInfo *MFI) const {
6309467b48Spatrick if (!MFI)
6409467b48Spatrick return true;
6509467b48Spatrick return MFI->isAliasedObjectIndex(FI);
6609467b48Spatrick }
6709467b48Spatrick
mayAlias(const MachineFrameInfo * MFI) const6809467b48Spatrick bool FixedStackPseudoSourceValue::mayAlias(const MachineFrameInfo *MFI) const {
6909467b48Spatrick if (!MFI)
7009467b48Spatrick return true;
7109467b48Spatrick // Spill slots will not alias any LLVM IR value.
7209467b48Spatrick return !MFI->isSpillSlotObjectIndex(FI);
7309467b48Spatrick }
7409467b48Spatrick
printCustom(raw_ostream & OS) const7509467b48Spatrick void FixedStackPseudoSourceValue::printCustom(raw_ostream &OS) const {
7609467b48Spatrick OS << "FixedStack" << FI;
7709467b48Spatrick }
7809467b48Spatrick
CallEntryPseudoSourceValue(unsigned Kind,const TargetMachine & TM)79*d415bd75Srobert CallEntryPseudoSourceValue::CallEntryPseudoSourceValue(unsigned Kind,
80*d415bd75Srobert const TargetMachine &TM)
81*d415bd75Srobert : PseudoSourceValue(Kind, TM) {}
8209467b48Spatrick
isConstant(const MachineFrameInfo *) const8309467b48Spatrick bool CallEntryPseudoSourceValue::isConstant(const MachineFrameInfo *) const {
8409467b48Spatrick return false;
8509467b48Spatrick }
8609467b48Spatrick
isAliased(const MachineFrameInfo *) const8709467b48Spatrick bool CallEntryPseudoSourceValue::isAliased(const MachineFrameInfo *) const {
8809467b48Spatrick return false;
8909467b48Spatrick }
9009467b48Spatrick
mayAlias(const MachineFrameInfo *) const9109467b48Spatrick bool CallEntryPseudoSourceValue::mayAlias(const MachineFrameInfo *) const {
9209467b48Spatrick return false;
9309467b48Spatrick }
9409467b48Spatrick
GlobalValuePseudoSourceValue(const GlobalValue * GV,const TargetMachine & TM)9509467b48Spatrick GlobalValuePseudoSourceValue::GlobalValuePseudoSourceValue(
96*d415bd75Srobert const GlobalValue *GV, const TargetMachine &TM)
97*d415bd75Srobert : CallEntryPseudoSourceValue(GlobalValueCallEntry, TM), GV(GV) {}
ExternalSymbolPseudoSourceValue(const char * ES,const TargetMachine & TM)9809467b48Spatrick ExternalSymbolPseudoSourceValue::ExternalSymbolPseudoSourceValue(
99*d415bd75Srobert const char *ES, const TargetMachine &TM)
100*d415bd75Srobert : CallEntryPseudoSourceValue(ExternalSymbolCallEntry, TM), ES(ES) {}
10109467b48Spatrick
PseudoSourceValueManager(const TargetMachine & TMInfo)102*d415bd75Srobert PseudoSourceValueManager::PseudoSourceValueManager(const TargetMachine &TMInfo)
103*d415bd75Srobert : TM(TMInfo), StackPSV(PseudoSourceValue::Stack, TM),
104*d415bd75Srobert GOTPSV(PseudoSourceValue::GOT, TM),
105*d415bd75Srobert JumpTablePSV(PseudoSourceValue::JumpTable, TM),
106*d415bd75Srobert ConstantPoolPSV(PseudoSourceValue::ConstantPool, TM) {}
10709467b48Spatrick
getStack()10809467b48Spatrick const PseudoSourceValue *PseudoSourceValueManager::getStack() {
10909467b48Spatrick return &StackPSV;
11009467b48Spatrick }
11109467b48Spatrick
getGOT()11209467b48Spatrick const PseudoSourceValue *PseudoSourceValueManager::getGOT() { return &GOTPSV; }
11309467b48Spatrick
getConstantPool()11409467b48Spatrick const PseudoSourceValue *PseudoSourceValueManager::getConstantPool() {
11509467b48Spatrick return &ConstantPoolPSV;
11609467b48Spatrick }
11709467b48Spatrick
getJumpTable()11809467b48Spatrick const PseudoSourceValue *PseudoSourceValueManager::getJumpTable() {
11909467b48Spatrick return &JumpTablePSV;
12009467b48Spatrick }
12109467b48Spatrick
12209467b48Spatrick const PseudoSourceValue *
getFixedStack(int FI)12309467b48Spatrick PseudoSourceValueManager::getFixedStack(int FI) {
12409467b48Spatrick std::unique_ptr<FixedStackPseudoSourceValue> &V = FSValues[FI];
12509467b48Spatrick if (!V)
126*d415bd75Srobert V = std::make_unique<FixedStackPseudoSourceValue>(FI, TM);
12709467b48Spatrick return V.get();
12809467b48Spatrick }
12909467b48Spatrick
13009467b48Spatrick const PseudoSourceValue *
getGlobalValueCallEntry(const GlobalValue * GV)13109467b48Spatrick PseudoSourceValueManager::getGlobalValueCallEntry(const GlobalValue *GV) {
13209467b48Spatrick std::unique_ptr<const GlobalValuePseudoSourceValue> &E =
13309467b48Spatrick GlobalCallEntries[GV];
13409467b48Spatrick if (!E)
135*d415bd75Srobert E = std::make_unique<GlobalValuePseudoSourceValue>(GV, TM);
13609467b48Spatrick return E.get();
13709467b48Spatrick }
13809467b48Spatrick
13909467b48Spatrick const PseudoSourceValue *
getExternalSymbolCallEntry(const char * ES)14009467b48Spatrick PseudoSourceValueManager::getExternalSymbolCallEntry(const char *ES) {
14109467b48Spatrick std::unique_ptr<const ExternalSymbolPseudoSourceValue> &E =
14209467b48Spatrick ExternalCallEntries[ES];
14309467b48Spatrick if (!E)
144*d415bd75Srobert E = std::make_unique<ExternalSymbolPseudoSourceValue>(ES, TM);
14509467b48Spatrick return E.get();
14609467b48Spatrick }
147