blob: 05d1b84b3286f745f217b2f20f7f3816b5b6dc01 [file] [log] [blame]
Jia Liub22310f2012-02-18 12:03:15 +00001//===-- ARMConstantPoolValue.cpp - ARM constantpool value -----------------===//
Evan Cheng10043e22007-01-19 07:51:42 +00002//
3// The LLVM Compiler Infrastructure
4//
Chris Lattnerf3ebc3f2007-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 Cheng10043e22007-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"
Chandler Carruthed0881b2012-12-03 16:50:05 +000016#include "llvm/CodeGen/MachineBasicBlock.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000017#include "llvm/IR/Constant.h"
18#include "llvm/IR/Constants.h"
19#include "llvm/IR/GlobalValue.h"
20#include "llvm/IR/Type.h"
Chris Lattner0c19df42008-08-23 22:23:09 +000021#include "llvm/Support/raw_ostream.h"
Jim Grosbach74eb9e72009-08-11 15:26:27 +000022#include <cstdlib>
Evan Cheng10043e22007-01-19 07:51:42 +000023using namespace llvm;
24
Bill Wendling396c2112011-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 Wendling4a4772f2011-10-01 09:30:42 +000034 : MachineConstantPoolValue(Ty), LabelId(id), Kind(kind),
Bill Wendlingf117a352011-10-01 07:52:37 +000035 PCAdjust(PCAdj), Modifier(modifier),
36 AddCurrentAddress(addCurrentAddress) {}
Bill Wendling396c2112011-10-01 06:40:33 +000037
Bill Wendlingd7fa0162011-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 Wendling9ff05f72011-10-01 09:04:18 +000044 LabelId(id), Kind(kind), PCAdjust(PCAdj), Modifier(modifier),
Bill Wendlingd7fa0162011-10-01 08:36:59 +000045 AddCurrentAddress(addCurrentAddress) {}
46
Bill Wendling9ff05f72011-10-01 09:04:18 +000047ARMConstantPoolValue::~ARMConstantPoolValue() {}
Bill Wendlingd7fa0162011-10-01 08:36:59 +000048
Bill Wendlinge8e4dbf2011-09-30 18:42:06 +000049const char *ARMConstantPoolValue::getModifierText() const {
50 switch (Modifier) {
Bill Wendlinge8e4dbf2011-09-30 18:42:06 +000051 // FIXME: Are these case sensitive? It'd be nice to lower-case all the
52 // strings if that's legal.
Saleem Abdulrasoolce4eee42016-06-07 03:15:01 +000053 case ARMCP::no_modifier:
54 return "none";
55 case ARMCP::TLSGD:
56 return "tlsgd";
57 case ARMCP::GOT_PREL:
58 return "GOT_PREL";
59 case ARMCP::GOTTPOFF:
60 return "gottpoff";
61 case ARMCP::TPOFF:
62 return "tpoff";
Oliver Stannard8331aae2016-08-08 15:28:31 +000063 case ARMCP::SBREL:
64 return "SBREL";
Saleem Abdulrasool532dcbc2016-06-07 03:15:07 +000065 case ARMCP::SECREL:
66 return "secrel32";
Bill Wendlinge8e4dbf2011-09-30 18:42:06 +000067 }
David Blaikie486df732012-01-16 23:24:27 +000068 llvm_unreachable("Unknown modifier!");
Bill Wendlinge8e4dbf2011-09-30 18:42:06 +000069}
70
Evan Cheng10043e22007-01-19 07:51:42 +000071int ARMConstantPoolValue::getExistingMachineCPValue(MachineConstantPool *CP,
72 unsigned Alignment) {
Craig Toppere55c5562012-02-07 02:50:20 +000073 llvm_unreachable("Shouldn't be calling this directly!");
Evan Cheng10043e22007-01-19 07:51:42 +000074}
75
76void
Jim Grosbachaf136f72011-09-27 20:59:33 +000077ARMConstantPoolValue::addSelectionDAGCSEId(FoldingSetNodeID &ID) {
Evan Cheng10043e22007-01-19 07:51:42 +000078 ID.AddInteger(LabelId);
Evan Cheng10043e22007-01-19 07:51:42 +000079 ID.AddInteger(PCAdjust);
80}
81
Evan Cheng7ff83192009-11-07 03:52:02 +000082bool
83ARMConstantPoolValue::hasSameValue(ARMConstantPoolValue *ACPV) {
84 if (ACPV->Kind == Kind &&
Evan Cheng7ff83192009-11-07 03:52:02 +000085 ACPV->PCAdjust == PCAdjust &&
Tim Northoverdf432642016-05-05 18:38:53 +000086 ACPV->Modifier == Modifier &&
87 ACPV->LabelId == LabelId &&
88 ACPV->AddCurrentAddress == AddCurrentAddress) {
Evan Cheng7ff83192009-11-07 03:52:02 +000089 // Two PC relative constpool entries containing the same GV address or
90 // external symbols. FIXME: What about blockaddress?
91 if (Kind == ARMCP::CPValue || Kind == ARMCP::CPExtSymbol)
92 return true;
93 }
94 return false;
95}
96
Yaron Kereneb2a2542016-01-29 20:50:44 +000097LLVM_DUMP_METHOD void ARMConstantPoolValue::dump() const {
Chris Lattnera6f074f2009-08-23 03:41:05 +000098 errs() << " " << *this;
Evan Chengde9dbc52008-10-29 23:55:17 +000099}
100
Chris Lattner0c19df42008-08-23 22:23:09 +0000101void ARMConstantPoolValue::print(raw_ostream &O) const {
Jim Grosbacha942ad42010-11-09 21:36:17 +0000102 if (Modifier) O << "(" << getModifierText() << ")";
Lauro Ramos Venancioc39c12a2007-04-27 13:54:47 +0000103 if (PCAdjust != 0) {
Evan Cheng6dd08b62008-11-04 00:50:32 +0000104 O << "-(LPC" << LabelId << "+" << (unsigned)PCAdjust;
105 if (AddCurrentAddress) O << "-.";
Lauro Ramos Venancioc39c12a2007-04-27 13:54:47 +0000106 O << ")";
107 }
Evan Cheng10043e22007-01-19 07:51:42 +0000108}
Bill Wendling396c2112011-10-01 06:40:33 +0000109
110//===----------------------------------------------------------------------===//
111// ARMConstantPoolConstant
112//===----------------------------------------------------------------------===//
113
Bill Wendlingf117a352011-10-01 07:52:37 +0000114ARMConstantPoolConstant::ARMConstantPoolConstant(Type *Ty,
115 const Constant *C,
116 unsigned ID,
117 ARMCP::ARMCPKind Kind,
118 unsigned char PCAdj,
119 ARMCP::ARMCPModifier Modifier,
120 bool AddCurrentAddress)
121 : ARMConstantPoolValue(Ty, ID, Kind, PCAdj, Modifier, AddCurrentAddress),
122 CVal(C) {}
123
Bill Wendling396c2112011-10-01 06:40:33 +0000124ARMConstantPoolConstant::ARMConstantPoolConstant(const Constant *C,
125 unsigned ID,
126 ARMCP::ARMCPKind Kind,
127 unsigned char PCAdj,
128 ARMCP::ARMCPModifier Modifier,
129 bool AddCurrentAddress)
130 : ARMConstantPoolValue((Type*)C->getType(), ID, Kind, PCAdj, Modifier,
131 AddCurrentAddress),
132 CVal(C) {}
133
James Molloy9abb2fa2016-09-26 07:26:24 +0000134ARMConstantPoolConstant::ARMConstantPoolConstant(const GlobalVariable *GV,
135 const Constant *C)
136 : ARMConstantPoolValue((Type *)C->getType(), 0, ARMCP::CPPromotedGlobal, 0,
137 ARMCP::no_modifier, false),
138 CVal(C), GVar(GV) {}
139
Bill Wendling396c2112011-10-01 06:40:33 +0000140ARMConstantPoolConstant *
141ARMConstantPoolConstant::Create(const Constant *C, unsigned ID) {
142 return new ARMConstantPoolConstant(C, ID, ARMCP::CPValue, 0,
143 ARMCP::no_modifier, false);
144}
145
Bill Wendling67225562011-10-01 06:44:24 +0000146ARMConstantPoolConstant *
James Molloy9abb2fa2016-09-26 07:26:24 +0000147ARMConstantPoolConstant::Create(const GlobalVariable *GVar,
148 const Constant *Initializer) {
149 return new ARMConstantPoolConstant(GVar, Initializer);
150}
151
152ARMConstantPoolConstant *
Bill Wendlingf117a352011-10-01 07:52:37 +0000153ARMConstantPoolConstant::Create(const GlobalValue *GV,
154 ARMCP::ARMCPModifier Modifier) {
155 return new ARMConstantPoolConstant((Type*)Type::getInt32Ty(GV->getContext()),
156 GV, 0, ARMCP::CPValue, 0,
157 Modifier, false);
158}
159
160ARMConstantPoolConstant *
Bill Wendling67225562011-10-01 06:44:24 +0000161ARMConstantPoolConstant::Create(const Constant *C, unsigned ID,
162 ARMCP::ARMCPKind Kind, unsigned char PCAdj) {
163 return new ARMConstantPoolConstant(C, ID, Kind, PCAdj,
164 ARMCP::no_modifier, false);
165}
166
Bill Wendlingf117a352011-10-01 07:52:37 +0000167ARMConstantPoolConstant *
168ARMConstantPoolConstant::Create(const Constant *C, unsigned ID,
169 ARMCP::ARMCPKind Kind, unsigned char PCAdj,
170 ARMCP::ARMCPModifier Modifier,
171 bool AddCurrentAddress) {
172 return new ARMConstantPoolConstant(C, ID, Kind, PCAdj, Modifier,
173 AddCurrentAddress);
174}
175
Bill Wendling396c2112011-10-01 06:40:33 +0000176const GlobalValue *ARMConstantPoolConstant::getGV() const {
Bill Wendlingf117a352011-10-01 07:52:37 +0000177 return dyn_cast_or_null<GlobalValue>(CVal);
178}
179
180const BlockAddress *ARMConstantPoolConstant::getBlockAddress() const {
181 return dyn_cast_or_null<BlockAddress>(CVal);
182}
183
184int ARMConstantPoolConstant::getExistingMachineCPValue(MachineConstantPool *CP,
185 unsigned Alignment) {
Benjamin Kramer2ef689c2013-09-16 10:17:31 +0000186 return getExistingMachineCPValueImpl<ARMConstantPoolConstant>(CP, Alignment);
Bill Wendling396c2112011-10-01 06:40:33 +0000187}
188
189bool ARMConstantPoolConstant::hasSameValue(ARMConstantPoolValue *ACPV) {
190 const ARMConstantPoolConstant *ACPC = dyn_cast<ARMConstantPoolConstant>(ACPV);
Bill Wendlingf117a352011-10-01 07:52:37 +0000191 return ACPC && ACPC->CVal == CVal && ARMConstantPoolValue::hasSameValue(ACPV);
Bill Wendling396c2112011-10-01 06:40:33 +0000192}
193
194void ARMConstantPoolConstant::addSelectionDAGCSEId(FoldingSetNodeID &ID) {
195 ID.AddPointer(CVal);
196 ARMConstantPoolValue::addSelectionDAGCSEId(ID);
197}
198
199void ARMConstantPoolConstant::print(raw_ostream &O) const {
200 O << CVal->getName();
201 ARMConstantPoolValue::print(O);
202}
Bill Wendlingd7fa0162011-10-01 08:36:59 +0000203
204//===----------------------------------------------------------------------===//
205// ARMConstantPoolSymbol
206//===----------------------------------------------------------------------===//
207
208ARMConstantPoolSymbol::ARMConstantPoolSymbol(LLVMContext &C, const char *s,
209 unsigned id,
210 unsigned char PCAdj,
211 ARMCP::ARMCPModifier Modifier,
212 bool AddCurrentAddress)
213 : ARMConstantPoolValue(C, id, ARMCP::CPExtSymbol, PCAdj, Modifier,
214 AddCurrentAddress),
Benjamin Kramer9d461102012-12-24 19:23:30 +0000215 S(s) {}
Bill Wendlingd7fa0162011-10-01 08:36:59 +0000216
217ARMConstantPoolSymbol *
218ARMConstantPoolSymbol::Create(LLVMContext &C, const char *s,
Bill Wendlingc214cb02011-10-01 08:58:29 +0000219 unsigned ID, unsigned char PCAdj) {
220 return new ARMConstantPoolSymbol(C, s, ID, PCAdj, ARMCP::no_modifier, false);
221}
222
Bill Wendlingd7fa0162011-10-01 08:36:59 +0000223int ARMConstantPoolSymbol::getExistingMachineCPValue(MachineConstantPool *CP,
224 unsigned Alignment) {
Benjamin Kramer2ef689c2013-09-16 10:17:31 +0000225 return getExistingMachineCPValueImpl<ARMConstantPoolSymbol>(CP, Alignment);
Bill Wendlingd7fa0162011-10-01 08:36:59 +0000226}
227
228bool ARMConstantPoolSymbol::hasSameValue(ARMConstantPoolValue *ACPV) {
229 const ARMConstantPoolSymbol *ACPS = dyn_cast<ARMConstantPoolSymbol>(ACPV);
Benjamin Kramer9d461102012-12-24 19:23:30 +0000230 return ACPS && ACPS->S == S && ARMConstantPoolValue::hasSameValue(ACPV);
Bill Wendlingd7fa0162011-10-01 08:36:59 +0000231}
232
233void ARMConstantPoolSymbol::addSelectionDAGCSEId(FoldingSetNodeID &ID) {
Benjamin Kramer9d461102012-12-24 19:23:30 +0000234 ID.AddString(S);
Bill Wendlingd7fa0162011-10-01 08:36:59 +0000235 ARMConstantPoolValue::addSelectionDAGCSEId(ID);
236}
237
238void ARMConstantPoolSymbol::print(raw_ostream &O) const {
239 O << S;
240 ARMConstantPoolValue::print(O);
241}
Bill Wendling6dbc9fe2011-10-01 09:19:10 +0000242
243//===----------------------------------------------------------------------===//
244// ARMConstantPoolMBB
245//===----------------------------------------------------------------------===//
246
Bill Wendling4a4772f2011-10-01 09:30:42 +0000247ARMConstantPoolMBB::ARMConstantPoolMBB(LLVMContext &C,
248 const MachineBasicBlock *mbb,
Bill Wendling6dbc9fe2011-10-01 09:19:10 +0000249 unsigned id, unsigned char PCAdj,
250 ARMCP::ARMCPModifier Modifier,
251 bool AddCurrentAddress)
Bill Wendling4a4772f2011-10-01 09:30:42 +0000252 : ARMConstantPoolValue(C, id, ARMCP::CPMachineBasicBlock, PCAdj,
Bill Wendling6dbc9fe2011-10-01 09:19:10 +0000253 Modifier, AddCurrentAddress),
254 MBB(mbb) {}
255
256ARMConstantPoolMBB *ARMConstantPoolMBB::Create(LLVMContext &C,
Bill Wendling4a4772f2011-10-01 09:30:42 +0000257 const MachineBasicBlock *mbb,
Bill Wendling6dbc9fe2011-10-01 09:19:10 +0000258 unsigned ID,
259 unsigned char PCAdj) {
260 return new ARMConstantPoolMBB(C, mbb, ID, PCAdj, ARMCP::no_modifier, false);
261}
262
263int ARMConstantPoolMBB::getExistingMachineCPValue(MachineConstantPool *CP,
264 unsigned Alignment) {
Benjamin Kramer2ef689c2013-09-16 10:17:31 +0000265 return getExistingMachineCPValueImpl<ARMConstantPoolMBB>(CP, Alignment);
Bill Wendling6dbc9fe2011-10-01 09:19:10 +0000266}
267
268bool ARMConstantPoolMBB::hasSameValue(ARMConstantPoolValue *ACPV) {
269 const ARMConstantPoolMBB *ACPMBB = dyn_cast<ARMConstantPoolMBB>(ACPV);
270 return ACPMBB && ACPMBB->MBB == MBB &&
271 ARMConstantPoolValue::hasSameValue(ACPV);
272}
273
274void ARMConstantPoolMBB::addSelectionDAGCSEId(FoldingSetNodeID &ID) {
275 ID.AddPointer(MBB);
276 ARMConstantPoolValue::addSelectionDAGCSEId(ID);
277}
278
279void ARMConstantPoolMBB::print(raw_ostream &O) const {
Evan Chengf33bfbb2011-10-24 23:01:03 +0000280 O << "BB#" << MBB->getNumber();
Bill Wendling6dbc9fe2011-10-01 09:19:10 +0000281 ARMConstantPoolValue::print(O);
282}