blob: 2c200bdf2f34faa95aeb7457f55cd7a44c2ff8e4 [file] [log] [blame]
Evan Chenga8e29892007-01-19 07:51:42 +00001//===- ARMConstantPoolValue.cpp - ARM constantpool value --------*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Evan Chenga8e29892007-01-19 07:51:42 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file implements the ARM specific constantpool value class.
11//
12//===----------------------------------------------------------------------===//
13
14#include "ARMConstantPoolValue.h"
15#include "llvm/ADT/FoldingSet.h"
Bob Wilson28989a82009-11-02 16:59:06 +000016#include "llvm/Constant.h"
17#include "llvm/Constants.h"
Evan Chenga8e29892007-01-19 07:51:42 +000018#include "llvm/GlobalValue.h"
Evan Chengc60e76d2007-01-30 20:37:08 +000019#include "llvm/Type.h"
Bill Wendling4dd9b092011-09-29 23:48:44 +000020#include "llvm/CodeGen/MachineBasicBlock.h"
Chris Lattner944fac72008-08-23 22:23:09 +000021#include "llvm/Support/raw_ostream.h"
Jim Grosbachf1287872009-08-11 15:26:27 +000022#include <cstdlib>
Evan Chenga8e29892007-01-19 07:51:42 +000023using namespace llvm;
24
Bill Wendlingf2b76aa2011-10-01 06:40:33 +000025//===----------------------------------------------------------------------===//
26// ARMConstantPoolValue
27//===----------------------------------------------------------------------===//
28
29ARMConstantPoolValue::ARMConstantPoolValue(Type *Ty, unsigned id,
30 ARMCP::ARMCPKind kind,
31 unsigned char PCAdj,
32 ARMCP::ARMCPModifier modifier,
33 bool addCurrentAddress)
Bill Wendling3320f2a2011-10-01 09:30:42 +000034 : MachineConstantPoolValue(Ty), LabelId(id), Kind(kind),
Bill Wendling3e944e32011-10-01 07:52:37 +000035 PCAdjust(PCAdj), Modifier(modifier),
36 AddCurrentAddress(addCurrentAddress) {}
Bill Wendlingf2b76aa2011-10-01 06:40:33 +000037
Bill Wendlingff4a8022011-10-01 08:36:59 +000038ARMConstantPoolValue::ARMConstantPoolValue(LLVMContext &C, unsigned id,
39 ARMCP::ARMCPKind kind,
40 unsigned char PCAdj,
41 ARMCP::ARMCPModifier modifier,
42 bool addCurrentAddress)
43 : MachineConstantPoolValue((Type*)Type::getInt32Ty(C)),
Bill Wendling9aca75c2011-10-01 09:04:18 +000044 LabelId(id), Kind(kind), PCAdjust(PCAdj), Modifier(modifier),
Bill Wendlingff4a8022011-10-01 08:36:59 +000045 AddCurrentAddress(addCurrentAddress) {}
46
Bill Wendling9aca75c2011-10-01 09:04:18 +000047ARMConstantPoolValue::~ARMConstantPoolValue() {}
Bill Wendlingff4a8022011-10-01 08:36:59 +000048
Bill Wendlingd98f8382011-09-30 18:42:06 +000049const char *ARMConstantPoolValue::getModifierText() const {
50 switch (Modifier) {
51 default: llvm_unreachable("Unknown modifier!");
52 // FIXME: Are these case sensitive? It'd be nice to lower-case all the
53 // strings if that's legal.
54 case ARMCP::no_modifier: return "none";
55 case ARMCP::TLSGD: return "tlsgd";
56 case ARMCP::GOT: return "GOT";
57 case ARMCP::GOTOFF: return "GOTOFF";
58 case ARMCP::GOTTPOFF: return "gottpoff";
59 case ARMCP::TPOFF: return "tpoff";
60 }
61}
62
Evan Chenga8e29892007-01-19 07:51:42 +000063int ARMConstantPoolValue::getExistingMachineCPValue(MachineConstantPool *CP,
64 unsigned Alignment) {
Evan Cheng1606e8e2009-03-13 07:51:59 +000065 unsigned AlignMask = Alignment - 1;
Evan Chenga8e29892007-01-19 07:51:42 +000066 const std::vector<MachineConstantPoolEntry> Constants = CP->getConstants();
67 for (unsigned i = 0, e = Constants.size(); i != e; ++i) {
68 if (Constants[i].isMachineConstantPoolEntry() &&
Evan Cheng1606e8e2009-03-13 07:51:59 +000069 (Constants[i].getAlignment() & AlignMask) == 0) {
Evan Chenga8e29892007-01-19 07:51:42 +000070 ARMConstantPoolValue *CPV =
71 (ARMConstantPoolValue *)Constants[i].Val.MachineCPVal;
Bill Wendling5bb77992011-10-01 08:00:54 +000072 if (CPV->LabelId == LabelId &&
Evan Cheng78e5c112009-11-07 03:52:02 +000073 CPV->PCAdjust == PCAdjust &&
Jim Grosbach3a2429a2010-11-09 21:36:17 +000074 CPV->Modifier == Modifier)
Evan Chenga8e29892007-01-19 07:51:42 +000075 return i;
76 }
77 }
78
79 return -1;
80}
81
82void
Jim Grosbach5405d582011-09-27 20:59:33 +000083ARMConstantPoolValue::addSelectionDAGCSEId(FoldingSetNodeID &ID) {
Evan Chenga8e29892007-01-19 07:51:42 +000084 ID.AddInteger(LabelId);
Evan Chenga8e29892007-01-19 07:51:42 +000085 ID.AddInteger(PCAdjust);
86}
87
Evan Cheng78e5c112009-11-07 03:52:02 +000088bool
89ARMConstantPoolValue::hasSameValue(ARMConstantPoolValue *ACPV) {
90 if (ACPV->Kind == Kind &&
Evan Cheng78e5c112009-11-07 03:52:02 +000091 ACPV->PCAdjust == PCAdjust &&
Jim Grosbach3a2429a2010-11-09 21:36:17 +000092 ACPV->Modifier == Modifier) {
Evan Cheng78e5c112009-11-07 03:52:02 +000093 if (ACPV->LabelId == LabelId)
94 return true;
95 // Two PC relative constpool entries containing the same GV address or
96 // external symbols. FIXME: What about blockaddress?
97 if (Kind == ARMCP::CPValue || Kind == ARMCP::CPExtSymbol)
98 return true;
99 }
100 return false;
101}
102
Evan Cheng5be59ea2008-10-29 23:55:17 +0000103void ARMConstantPoolValue::dump() const {
Chris Lattner705e07f2009-08-23 03:41:05 +0000104 errs() << " " << *this;
Evan Cheng5be59ea2008-10-29 23:55:17 +0000105}
106
Chris Lattner944fac72008-08-23 22:23:09 +0000107void ARMConstantPoolValue::print(raw_ostream &O) const {
Jim Grosbach3a2429a2010-11-09 21:36:17 +0000108 if (Modifier) O << "(" << getModifierText() << ")";
Lauro Ramos Venancio64f4fa52007-04-27 13:54:47 +0000109 if (PCAdjust != 0) {
Evan Cheng25e04782008-11-04 00:50:32 +0000110 O << "-(LPC" << LabelId << "+" << (unsigned)PCAdjust;
111 if (AddCurrentAddress) O << "-.";
Lauro Ramos Venancio64f4fa52007-04-27 13:54:47 +0000112 O << ")";
113 }
Evan Chenga8e29892007-01-19 07:51:42 +0000114}
Bill Wendlingf2b76aa2011-10-01 06:40:33 +0000115
116//===----------------------------------------------------------------------===//
117// ARMConstantPoolConstant
118//===----------------------------------------------------------------------===//
119
Bill Wendling3e944e32011-10-01 07:52:37 +0000120ARMConstantPoolConstant::ARMConstantPoolConstant(Type *Ty,
121 const Constant *C,
122 unsigned ID,
123 ARMCP::ARMCPKind Kind,
124 unsigned char PCAdj,
125 ARMCP::ARMCPModifier Modifier,
126 bool AddCurrentAddress)
127 : ARMConstantPoolValue(Ty, ID, Kind, PCAdj, Modifier, AddCurrentAddress),
128 CVal(C) {}
129
Bill Wendlingf2b76aa2011-10-01 06:40:33 +0000130ARMConstantPoolConstant::ARMConstantPoolConstant(const Constant *C,
131 unsigned ID,
132 ARMCP::ARMCPKind Kind,
133 unsigned char PCAdj,
134 ARMCP::ARMCPModifier Modifier,
135 bool AddCurrentAddress)
136 : ARMConstantPoolValue((Type*)C->getType(), ID, Kind, PCAdj, Modifier,
137 AddCurrentAddress),
138 CVal(C) {}
139
140ARMConstantPoolConstant *
141ARMConstantPoolConstant::Create(const Constant *C, unsigned ID) {
142 return new ARMConstantPoolConstant(C, ID, ARMCP::CPValue, 0,
143 ARMCP::no_modifier, false);
144}
145
Bill Wendling029e93882011-10-01 06:44:24 +0000146ARMConstantPoolConstant *
Bill Wendling3e944e32011-10-01 07:52:37 +0000147ARMConstantPoolConstant::Create(const GlobalValue *GV,
148 ARMCP::ARMCPModifier Modifier) {
149 return new ARMConstantPoolConstant((Type*)Type::getInt32Ty(GV->getContext()),
150 GV, 0, ARMCP::CPValue, 0,
151 Modifier, false);
152}
153
154ARMConstantPoolConstant *
Bill Wendling029e93882011-10-01 06:44:24 +0000155ARMConstantPoolConstant::Create(const Constant *C, unsigned ID,
156 ARMCP::ARMCPKind Kind, unsigned char PCAdj) {
157 return new ARMConstantPoolConstant(C, ID, Kind, PCAdj,
158 ARMCP::no_modifier, false);
159}
160
Bill Wendling3e944e32011-10-01 07:52:37 +0000161ARMConstantPoolConstant *
162ARMConstantPoolConstant::Create(const Constant *C, unsigned ID,
163 ARMCP::ARMCPKind Kind, unsigned char PCAdj,
164 ARMCP::ARMCPModifier Modifier,
165 bool AddCurrentAddress) {
166 return new ARMConstantPoolConstant(C, ID, Kind, PCAdj, Modifier,
167 AddCurrentAddress);
168}
169
Bill Wendlingf2b76aa2011-10-01 06:40:33 +0000170const GlobalValue *ARMConstantPoolConstant::getGV() const {
Bill Wendling3e944e32011-10-01 07:52:37 +0000171 return dyn_cast_or_null<GlobalValue>(CVal);
172}
173
174const BlockAddress *ARMConstantPoolConstant::getBlockAddress() const {
175 return dyn_cast_or_null<BlockAddress>(CVal);
176}
177
178int ARMConstantPoolConstant::getExistingMachineCPValue(MachineConstantPool *CP,
179 unsigned Alignment) {
180 unsigned AlignMask = Alignment - 1;
181 const std::vector<MachineConstantPoolEntry> Constants = CP->getConstants();
182 for (unsigned i = 0, e = Constants.size(); i != e; ++i) {
183 if (Constants[i].isMachineConstantPoolEntry() &&
184 (Constants[i].getAlignment() & AlignMask) == 0) {
185 ARMConstantPoolValue *CPV =
186 (ARMConstantPoolValue *)Constants[i].Val.MachineCPVal;
187 ARMConstantPoolConstant *APC = dyn_cast<ARMConstantPoolConstant>(CPV);
188 if (!APC) continue;
189
190 if (APC->getGV() == this->CVal &&
191 APC->getLabelId() == this->getLabelId() &&
192 APC->getPCAdjustment() == this->getPCAdjustment() &&
Bill Wendling3e944e32011-10-01 07:52:37 +0000193 APC->getModifier() == this->getModifier())
194 return i;
195 }
196 }
197
198 return -1;
Bill Wendlingf2b76aa2011-10-01 06:40:33 +0000199}
200
201bool ARMConstantPoolConstant::hasSameValue(ARMConstantPoolValue *ACPV) {
202 const ARMConstantPoolConstant *ACPC = dyn_cast<ARMConstantPoolConstant>(ACPV);
Bill Wendling3e944e32011-10-01 07:52:37 +0000203 return ACPC && ACPC->CVal == CVal && ARMConstantPoolValue::hasSameValue(ACPV);
Bill Wendlingf2b76aa2011-10-01 06:40:33 +0000204}
205
206void ARMConstantPoolConstant::addSelectionDAGCSEId(FoldingSetNodeID &ID) {
207 ID.AddPointer(CVal);
208 ARMConstantPoolValue::addSelectionDAGCSEId(ID);
209}
210
211void ARMConstantPoolConstant::print(raw_ostream &O) const {
212 O << CVal->getName();
213 ARMConstantPoolValue::print(O);
214}
Bill Wendlingff4a8022011-10-01 08:36:59 +0000215
216//===----------------------------------------------------------------------===//
217// ARMConstantPoolSymbol
218//===----------------------------------------------------------------------===//
219
220ARMConstantPoolSymbol::ARMConstantPoolSymbol(LLVMContext &C, const char *s,
221 unsigned id,
222 unsigned char PCAdj,
223 ARMCP::ARMCPModifier Modifier,
224 bool AddCurrentAddress)
225 : ARMConstantPoolValue(C, id, ARMCP::CPExtSymbol, PCAdj, Modifier,
226 AddCurrentAddress),
227 S(strdup(s)) {}
228
229ARMConstantPoolSymbol::~ARMConstantPoolSymbol() {
230 free((void*)S);
231}
232
233ARMConstantPoolSymbol *
234ARMConstantPoolSymbol::Create(LLVMContext &C, const char *s,
Bill Wendlingfe31e672011-10-01 08:58:29 +0000235 unsigned ID, unsigned char PCAdj) {
236 return new ARMConstantPoolSymbol(C, s, ID, PCAdj, ARMCP::no_modifier, false);
237}
238
Bill Wendling9aca75c2011-10-01 09:04:18 +0000239static bool CPV_streq(const char *S1, const char *S2) {
240 if (S1 == S2)
241 return true;
242 if (S1 && S2 && strcmp(S1, S2) == 0)
243 return true;
244 return false;
245}
246
Bill Wendlingff4a8022011-10-01 08:36:59 +0000247int ARMConstantPoolSymbol::getExistingMachineCPValue(MachineConstantPool *CP,
248 unsigned Alignment) {
249 unsigned AlignMask = Alignment - 1;
250 const std::vector<MachineConstantPoolEntry> Constants = CP->getConstants();
251 for (unsigned i = 0, e = Constants.size(); i != e; ++i) {
252 if (Constants[i].isMachineConstantPoolEntry() &&
253 (Constants[i].getAlignment() & AlignMask) == 0) {
254 ARMConstantPoolValue *CPV =
255 (ARMConstantPoolValue *)Constants[i].Val.MachineCPVal;
256 ARMConstantPoolSymbol *APS = dyn_cast<ARMConstantPoolSymbol>(CPV);
257 if (!APS) continue;
258
259 if (APS->getLabelId() == this->getLabelId() &&
260 APS->getPCAdjustment() == this->getPCAdjustment() &&
261 CPV_streq(APS->getSymbol(), this->getSymbol()) &&
262 APS->getModifier() == this->getModifier())
263 return i;
264 }
265 }
266
267 return -1;
268}
269
270bool ARMConstantPoolSymbol::hasSameValue(ARMConstantPoolValue *ACPV) {
271 const ARMConstantPoolSymbol *ACPS = dyn_cast<ARMConstantPoolSymbol>(ACPV);
272 return ACPS && CPV_streq(ACPS->S, S) &&
273 ARMConstantPoolValue::hasSameValue(ACPV);
274}
275
276void ARMConstantPoolSymbol::addSelectionDAGCSEId(FoldingSetNodeID &ID) {
277 ID.AddPointer(S);
278 ARMConstantPoolValue::addSelectionDAGCSEId(ID);
279}
280
281void ARMConstantPoolSymbol::print(raw_ostream &O) const {
282 O << S;
283 ARMConstantPoolValue::print(O);
284}
Bill Wendling9c18f512011-10-01 09:19:10 +0000285
286//===----------------------------------------------------------------------===//
287// ARMConstantPoolMBB
288//===----------------------------------------------------------------------===//
289
Bill Wendling3320f2a2011-10-01 09:30:42 +0000290ARMConstantPoolMBB::ARMConstantPoolMBB(LLVMContext &C,
291 const MachineBasicBlock *mbb,
Bill Wendling9c18f512011-10-01 09:19:10 +0000292 unsigned id, unsigned char PCAdj,
293 ARMCP::ARMCPModifier Modifier,
294 bool AddCurrentAddress)
Bill Wendling3320f2a2011-10-01 09:30:42 +0000295 : ARMConstantPoolValue(C, id, ARMCP::CPMachineBasicBlock, PCAdj,
Bill Wendling9c18f512011-10-01 09:19:10 +0000296 Modifier, AddCurrentAddress),
297 MBB(mbb) {}
298
299ARMConstantPoolMBB *ARMConstantPoolMBB::Create(LLVMContext &C,
Bill Wendling3320f2a2011-10-01 09:30:42 +0000300 const MachineBasicBlock *mbb,
Bill Wendling9c18f512011-10-01 09:19:10 +0000301 unsigned ID,
302 unsigned char PCAdj) {
303 return new ARMConstantPoolMBB(C, mbb, ID, PCAdj, ARMCP::no_modifier, false);
304}
305
306int ARMConstantPoolMBB::getExistingMachineCPValue(MachineConstantPool *CP,
307 unsigned Alignment) {
308 unsigned AlignMask = Alignment - 1;
309 const std::vector<MachineConstantPoolEntry> Constants = CP->getConstants();
310 for (unsigned i = 0, e = Constants.size(); i != e; ++i) {
311 if (Constants[i].isMachineConstantPoolEntry() &&
312 (Constants[i].getAlignment() & AlignMask) == 0) {
313 ARMConstantPoolValue *CPV =
314 (ARMConstantPoolValue *)Constants[i].Val.MachineCPVal;
315 ARMConstantPoolMBB *APMBB = dyn_cast<ARMConstantPoolMBB>(CPV);
316 if (!APMBB) continue;
317
318 if (APMBB->getLabelId() == this->getLabelId() &&
319 APMBB->getPCAdjustment() == this->getPCAdjustment() &&
320 APMBB->getMBB() == this->getMBB() &&
321 APMBB->getModifier() == this->getModifier())
322 return i;
323 }
324 }
325
326 return -1;
327}
328
329bool ARMConstantPoolMBB::hasSameValue(ARMConstantPoolValue *ACPV) {
330 const ARMConstantPoolMBB *ACPMBB = dyn_cast<ARMConstantPoolMBB>(ACPV);
331 return ACPMBB && ACPMBB->MBB == MBB &&
332 ARMConstantPoolValue::hasSameValue(ACPV);
333}
334
335void ARMConstantPoolMBB::addSelectionDAGCSEId(FoldingSetNodeID &ID) {
336 ID.AddPointer(MBB);
337 ARMConstantPoolValue::addSelectionDAGCSEId(ID);
338}
339
340void ARMConstantPoolMBB::print(raw_ostream &O) const {
341 ARMConstantPoolValue::print(O);
342}