blob: 2d1602873ce0fb1f90beefe2f2caaf8adfc5c3c7 [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
Mehdi Amini5b007702016-10-05 01:41:06 +000049StringRef ARMConstantPoolValue::getModifierText() const {
Bill Wendlinge8e4dbf2011-09-30 18:42:06 +000050 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
Mehdi Amini5b007702016-10-05 01:41:06 +0000208ARMConstantPoolSymbol::ARMConstantPoolSymbol(LLVMContext &C, StringRef s,
209 unsigned id, unsigned char PCAdj,
Bill Wendlingd7fa0162011-10-01 08:36:59 +0000210 ARMCP::ARMCPModifier Modifier,
211 bool AddCurrentAddress)
Mehdi Amini5b007702016-10-05 01:41:06 +0000212 : ARMConstantPoolValue(C, id, ARMCP::CPExtSymbol, PCAdj, Modifier,
213 AddCurrentAddress),
214 S(s) {}
Bill Wendlingd7fa0162011-10-01 08:36:59 +0000215
Mehdi Amini5b007702016-10-05 01:41:06 +0000216ARMConstantPoolSymbol *ARMConstantPoolSymbol::Create(LLVMContext &C,
217 StringRef s, unsigned ID,
218 unsigned char PCAdj) {
Bill Wendlingc214cb02011-10-01 08:58:29 +0000219 return new ARMConstantPoolSymbol(C, s, ID, PCAdj, ARMCP::no_modifier, false);
220}
221
Bill Wendlingd7fa0162011-10-01 08:36:59 +0000222int ARMConstantPoolSymbol::getExistingMachineCPValue(MachineConstantPool *CP,
223 unsigned Alignment) {
Benjamin Kramer2ef689c2013-09-16 10:17:31 +0000224 return getExistingMachineCPValueImpl<ARMConstantPoolSymbol>(CP, Alignment);
Bill Wendlingd7fa0162011-10-01 08:36:59 +0000225}
226
227bool ARMConstantPoolSymbol::hasSameValue(ARMConstantPoolValue *ACPV) {
228 const ARMConstantPoolSymbol *ACPS = dyn_cast<ARMConstantPoolSymbol>(ACPV);
Benjamin Kramer9d461102012-12-24 19:23:30 +0000229 return ACPS && ACPS->S == S && ARMConstantPoolValue::hasSameValue(ACPV);
Bill Wendlingd7fa0162011-10-01 08:36:59 +0000230}
231
232void ARMConstantPoolSymbol::addSelectionDAGCSEId(FoldingSetNodeID &ID) {
Benjamin Kramer9d461102012-12-24 19:23:30 +0000233 ID.AddString(S);
Bill Wendlingd7fa0162011-10-01 08:36:59 +0000234 ARMConstantPoolValue::addSelectionDAGCSEId(ID);
235}
236
237void ARMConstantPoolSymbol::print(raw_ostream &O) const {
238 O << S;
239 ARMConstantPoolValue::print(O);
240}
Bill Wendling6dbc9fe2011-10-01 09:19:10 +0000241
242//===----------------------------------------------------------------------===//
243// ARMConstantPoolMBB
244//===----------------------------------------------------------------------===//
245
Bill Wendling4a4772f2011-10-01 09:30:42 +0000246ARMConstantPoolMBB::ARMConstantPoolMBB(LLVMContext &C,
247 const MachineBasicBlock *mbb,
Bill Wendling6dbc9fe2011-10-01 09:19:10 +0000248 unsigned id, unsigned char PCAdj,
249 ARMCP::ARMCPModifier Modifier,
250 bool AddCurrentAddress)
Bill Wendling4a4772f2011-10-01 09:30:42 +0000251 : ARMConstantPoolValue(C, id, ARMCP::CPMachineBasicBlock, PCAdj,
Bill Wendling6dbc9fe2011-10-01 09:19:10 +0000252 Modifier, AddCurrentAddress),
253 MBB(mbb) {}
254
255ARMConstantPoolMBB *ARMConstantPoolMBB::Create(LLVMContext &C,
Bill Wendling4a4772f2011-10-01 09:30:42 +0000256 const MachineBasicBlock *mbb,
Bill Wendling6dbc9fe2011-10-01 09:19:10 +0000257 unsigned ID,
258 unsigned char PCAdj) {
259 return new ARMConstantPoolMBB(C, mbb, ID, PCAdj, ARMCP::no_modifier, false);
260}
261
262int ARMConstantPoolMBB::getExistingMachineCPValue(MachineConstantPool *CP,
263 unsigned Alignment) {
Benjamin Kramer2ef689c2013-09-16 10:17:31 +0000264 return getExistingMachineCPValueImpl<ARMConstantPoolMBB>(CP, Alignment);
Bill Wendling6dbc9fe2011-10-01 09:19:10 +0000265}
266
267bool ARMConstantPoolMBB::hasSameValue(ARMConstantPoolValue *ACPV) {
268 const ARMConstantPoolMBB *ACPMBB = dyn_cast<ARMConstantPoolMBB>(ACPV);
269 return ACPMBB && ACPMBB->MBB == MBB &&
270 ARMConstantPoolValue::hasSameValue(ACPV);
271}
272
273void ARMConstantPoolMBB::addSelectionDAGCSEId(FoldingSetNodeID &ID) {
274 ID.AddPointer(MBB);
275 ARMConstantPoolValue::addSelectionDAGCSEId(ID);
276}
277
278void ARMConstantPoolMBB::print(raw_ostream &O) const {
Evan Chengf33bfbb2011-10-24 23:01:03 +0000279 O << "BB#" << MBB->getNumber();
Bill Wendling6dbc9fe2011-10-01 09:19:10 +0000280 ARMConstantPoolValue::print(O);
281}