0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
1 //===-- llvm/CodeGen/PseudoSourceValue.cpp ----------------------*- C++ -*-===//
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
2 //
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
3 // The LLVM Compiler Infrastructure
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
4 //
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
5 // This file is distributed under the University of Illinois Open Source
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
6 // License. See LICENSE.TXT for details.
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
7 //
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
8 //===----------------------------------------------------------------------===//
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
9 //
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
10 // This file implements the PseudoSourceValue class.
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
11 //
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
12 //===----------------------------------------------------------------------===//
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
13
|
120
|
14 #include "llvm/CodeGen/PseudoSourceValue.h"
|
95
|
15 #include "llvm/ADT/STLExtras.h"
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
16 #include "llvm/CodeGen/MachineFrameInfo.h"
|
121
|
17 #include "llvm/Target/TargetInstrInfo.h"
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
18 #include "llvm/IR/DerivedTypes.h"
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
19 #include "llvm/IR/LLVMContext.h"
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
20 #include "llvm/Support/ErrorHandling.h"
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
21 #include "llvm/Support/raw_ostream.h"
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
22 using namespace llvm;
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
23
|
95
|
24 static const char *const PSVNames[] = {
|
|
25 "Stack", "GOT", "JumpTable", "ConstantPool", "FixedStack",
|
|
26 "GlobalValueCallEntry", "ExternalSymbolCallEntry"};
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
27
|
121
|
28 PseudoSourceValue::PseudoSourceValue(PSVKind Kind, const TargetInstrInfo &TII)
|
|
29 : Kind(Kind) {
|
|
30 AddressSpace = TII.getAddressSpaceForPseudoSourceKind(Kind);
|
|
31 }
|
|
32
|
77
|
33
|
|
34 PseudoSourceValue::~PseudoSourceValue() {}
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
35
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
36 void PseudoSourceValue::printCustom(raw_ostream &O) const {
|
121
|
37 if (Kind < TargetCustom)
|
|
38 O << PSVNames[Kind];
|
|
39 else
|
|
40 O << "TargetCustom" << Kind;
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
41 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
42
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
43 bool PseudoSourceValue::isConstant(const MachineFrameInfo *) const {
|
95
|
44 if (isStack())
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
45 return false;
|
95
|
46 if (isGOT() || isConstantPool() || isJumpTable())
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
47 return true;
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
48 llvm_unreachable("Unknown PseudoSourceValue!");
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
49 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
50
|
95
|
51 bool PseudoSourceValue::isAliased(const MachineFrameInfo *) const {
|
|
52 if (isStack() || isGOT() || isConstantPool() || isJumpTable())
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
53 return false;
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
54 llvm_unreachable("Unknown PseudoSourceValue!");
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
55 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
56
|
95
|
57 bool PseudoSourceValue::mayAlias(const MachineFrameInfo *) const {
|
100
|
58 return !(isGOT() || isConstantPool() || isJumpTable());
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
59 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
60
|
95
|
61 bool FixedStackPseudoSourceValue::isConstant(
|
|
62 const MachineFrameInfo *MFI) const {
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
63 return MFI && MFI->isImmutableObjectIndex(FI);
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
64 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
65
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
66 bool FixedStackPseudoSourceValue::isAliased(const MachineFrameInfo *MFI) const {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
67 if (!MFI)
|
77
|
68 return true;
|
|
69 return MFI->isAliasedObjectIndex(FI);
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
70 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
71
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
72 bool FixedStackPseudoSourceValue::mayAlias(const MachineFrameInfo *MFI) const {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
73 if (!MFI)
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
74 return true;
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
75 // Spill slots will not alias any LLVM IR value.
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
76 return !MFI->isSpillSlotObjectIndex(FI);
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
77 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
78
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
79 void FixedStackPseudoSourceValue::printCustom(raw_ostream &OS) const {
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
80 OS << "FixedStack" << FI;
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
81 }
|
95
|
82
|
121
|
83 CallEntryPseudoSourceValue::CallEntryPseudoSourceValue(
|
|
84 PSVKind Kind, const TargetInstrInfo &TII)
|
|
85 : PseudoSourceValue(Kind, TII) {}
|
95
|
86
|
|
87 bool CallEntryPseudoSourceValue::isConstant(const MachineFrameInfo *) const {
|
|
88 return false;
|
|
89 }
|
|
90
|
|
91 bool CallEntryPseudoSourceValue::isAliased(const MachineFrameInfo *) const {
|
|
92 return false;
|
|
93 }
|
|
94
|
|
95 bool CallEntryPseudoSourceValue::mayAlias(const MachineFrameInfo *) const {
|
|
96 return false;
|
|
97 }
|
|
98
|
|
99 GlobalValuePseudoSourceValue::GlobalValuePseudoSourceValue(
|
121
|
100 const GlobalValue *GV,
|
|
101 const TargetInstrInfo &TII)
|
|
102 : CallEntryPseudoSourceValue(GlobalValueCallEntry, TII), GV(GV) {}
|
|
103 ExternalSymbolPseudoSourceValue::ExternalSymbolPseudoSourceValue(
|
|
104 const char *ES, const TargetInstrInfo &TII)
|
|
105 : CallEntryPseudoSourceValue(ExternalSymbolCallEntry, TII), ES(ES) {}
|
95
|
106
|
121
|
107 PseudoSourceValueManager::PseudoSourceValueManager(
|
|
108 const TargetInstrInfo &TIInfo)
|
|
109 : TII(TIInfo),
|
|
110 StackPSV(PseudoSourceValue::Stack, TII),
|
|
111 GOTPSV(PseudoSourceValue::GOT, TII),
|
|
112 JumpTablePSV(PseudoSourceValue::JumpTable, TII),
|
|
113 ConstantPoolPSV(PseudoSourceValue::ConstantPool, TII) {}
|
95
|
114
|
|
115 const PseudoSourceValue *PseudoSourceValueManager::getStack() {
|
|
116 return &StackPSV;
|
|
117 }
|
|
118
|
|
119 const PseudoSourceValue *PseudoSourceValueManager::getGOT() { return &GOTPSV; }
|
|
120
|
|
121 const PseudoSourceValue *PseudoSourceValueManager::getConstantPool() {
|
|
122 return &ConstantPoolPSV;
|
|
123 }
|
|
124
|
|
125 const PseudoSourceValue *PseudoSourceValueManager::getJumpTable() {
|
|
126 return &JumpTablePSV;
|
|
127 }
|
|
128
|
121
|
129 const PseudoSourceValue *
|
|
130 PseudoSourceValueManager::getFixedStack(int FI) {
|
95
|
131 std::unique_ptr<FixedStackPseudoSourceValue> &V = FSValues[FI];
|
|
132 if (!V)
|
121
|
133 V = llvm::make_unique<FixedStackPseudoSourceValue>(FI, TII);
|
95
|
134 return V.get();
|
|
135 }
|
|
136
|
|
137 const PseudoSourceValue *
|
|
138 PseudoSourceValueManager::getGlobalValueCallEntry(const GlobalValue *GV) {
|
|
139 std::unique_ptr<const GlobalValuePseudoSourceValue> &E =
|
|
140 GlobalCallEntries[GV];
|
|
141 if (!E)
|
121
|
142 E = llvm::make_unique<GlobalValuePseudoSourceValue>(GV, TII);
|
95
|
143 return E.get();
|
|
144 }
|
|
145
|
|
146 const PseudoSourceValue *
|
|
147 PseudoSourceValueManager::getExternalSymbolCallEntry(const char *ES) {
|
|
148 std::unique_ptr<const ExternalSymbolPseudoSourceValue> &E =
|
|
149 ExternalCallEntries[ES];
|
|
150 if (!E)
|
121
|
151 E = llvm::make_unique<ExternalSymbolPseudoSourceValue>(ES, TII);
|
95
|
152 return E.get();
|
|
153 }
|