blob: f13ae481bdbeb5f73371ecc190431aa6af6fb07e [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
134ARMConstantPoolConstant *
135ARMConstantPoolConstant::Create(const Constant *C, unsigned ID) {
136 return new ARMConstantPoolConstant(C, ID, ARMCP::CPValue, 0,
137 ARMCP::no_modifier, false);
138}
139
Bill Wendling67225562011-10-01 06:44:24 +0000140ARMConstantPoolConstant *
Bill Wendlingf117a352011-10-01 07:52:37 +0000141ARMConstantPoolConstant::Create(const GlobalValue *GV,
142 ARMCP::ARMCPModifier Modifier) {
143 return new ARMConstantPoolConstant((Type*)Type::getInt32Ty(GV->getContext()),
144 GV, 0, ARMCP::CPValue, 0,
145 Modifier, false);
146}
147
148ARMConstantPoolConstant *
Bill Wendling67225562011-10-01 06:44:24 +0000149ARMConstantPoolConstant::Create(const Constant *C, unsigned ID,
150 ARMCP::ARMCPKind Kind, unsigned char PCAdj) {
151 return new ARMConstantPoolConstant(C, ID, Kind, PCAdj,
152 ARMCP::no_modifier, false);
153}
154
Bill Wendlingf117a352011-10-01 07:52:37 +0000155ARMConstantPoolConstant *
156ARMConstantPoolConstant::Create(const Constant *C, unsigned ID,
157 ARMCP::ARMCPKind Kind, unsigned char PCAdj,
158 ARMCP::ARMCPModifier Modifier,
159 bool AddCurrentAddress) {
160 return new ARMConstantPoolConstant(C, ID, Kind, PCAdj, Modifier,
161 AddCurrentAddress);
162}
163
Bill Wendling396c2112011-10-01 06:40:33 +0000164const GlobalValue *ARMConstantPoolConstant::getGV() const {
Bill Wendlingf117a352011-10-01 07:52:37 +0000165 return dyn_cast_or_null<GlobalValue>(CVal);
166}
167
168const BlockAddress *ARMConstantPoolConstant::getBlockAddress() const {
169 return dyn_cast_or_null<BlockAddress>(CVal);
170}
171
172int ARMConstantPoolConstant::getExistingMachineCPValue(MachineConstantPool *CP,
173 unsigned Alignment) {
Benjamin Kramer2ef689c2013-09-16 10:17:31 +0000174 return getExistingMachineCPValueImpl<ARMConstantPoolConstant>(CP, Alignment);
Bill Wendling396c2112011-10-01 06:40:33 +0000175}
176
177bool ARMConstantPoolConstant::hasSameValue(ARMConstantPoolValue *ACPV) {
178 const ARMConstantPoolConstant *ACPC = dyn_cast<ARMConstantPoolConstant>(ACPV);
Bill Wendlingf117a352011-10-01 07:52:37 +0000179 return ACPC && ACPC->CVal == CVal && ARMConstantPoolValue::hasSameValue(ACPV);
Bill Wendling396c2112011-10-01 06:40:33 +0000180}
181
182void ARMConstantPoolConstant::addSelectionDAGCSEId(FoldingSetNodeID &ID) {
183 ID.AddPointer(CVal);
184 ARMConstantPoolValue::addSelectionDAGCSEId(ID);
185}
186
187void ARMConstantPoolConstant::print(raw_ostream &O) const {
188 O << CVal->getName();
189 ARMConstantPoolValue::print(O);
190}
Bill Wendlingd7fa0162011-10-01 08:36:59 +0000191
192//===----------------------------------------------------------------------===//
193// ARMConstantPoolSymbol
194//===----------------------------------------------------------------------===//
195
196ARMConstantPoolSymbol::ARMConstantPoolSymbol(LLVMContext &C, const char *s,
197 unsigned id,
198 unsigned char PCAdj,
199 ARMCP::ARMCPModifier Modifier,
200 bool AddCurrentAddress)
201 : ARMConstantPoolValue(C, id, ARMCP::CPExtSymbol, PCAdj, Modifier,
202 AddCurrentAddress),
Benjamin Kramer9d461102012-12-24 19:23:30 +0000203 S(s) {}
Bill Wendlingd7fa0162011-10-01 08:36:59 +0000204
205ARMConstantPoolSymbol *
206ARMConstantPoolSymbol::Create(LLVMContext &C, const char *s,
Bill Wendlingc214cb02011-10-01 08:58:29 +0000207 unsigned ID, unsigned char PCAdj) {
208 return new ARMConstantPoolSymbol(C, s, ID, PCAdj, ARMCP::no_modifier, false);
209}
210
Bill Wendlingd7fa0162011-10-01 08:36:59 +0000211int ARMConstantPoolSymbol::getExistingMachineCPValue(MachineConstantPool *CP,
212 unsigned Alignment) {
Benjamin Kramer2ef689c2013-09-16 10:17:31 +0000213 return getExistingMachineCPValueImpl<ARMConstantPoolSymbol>(CP, Alignment);
Bill Wendlingd7fa0162011-10-01 08:36:59 +0000214}
215
216bool ARMConstantPoolSymbol::hasSameValue(ARMConstantPoolValue *ACPV) {
217 const ARMConstantPoolSymbol *ACPS = dyn_cast<ARMConstantPoolSymbol>(ACPV);
Benjamin Kramer9d461102012-12-24 19:23:30 +0000218 return ACPS && ACPS->S == S && ARMConstantPoolValue::hasSameValue(ACPV);
Bill Wendlingd7fa0162011-10-01 08:36:59 +0000219}
220
221void ARMConstantPoolSymbol::addSelectionDAGCSEId(FoldingSetNodeID &ID) {
Benjamin Kramer9d461102012-12-24 19:23:30 +0000222 ID.AddString(S);
Bill Wendlingd7fa0162011-10-01 08:36:59 +0000223 ARMConstantPoolValue::addSelectionDAGCSEId(ID);
224}
225
226void ARMConstantPoolSymbol::print(raw_ostream &O) const {
227 O << S;
228 ARMConstantPoolValue::print(O);
229}
Bill Wendling6dbc9fe2011-10-01 09:19:10 +0000230
231//===----------------------------------------------------------------------===//
232// ARMConstantPoolMBB
233//===----------------------------------------------------------------------===//
234
Bill Wendling4a4772f2011-10-01 09:30:42 +0000235ARMConstantPoolMBB::ARMConstantPoolMBB(LLVMContext &C,
236 const MachineBasicBlock *mbb,
Bill Wendling6dbc9fe2011-10-01 09:19:10 +0000237 unsigned id, unsigned char PCAdj,
238 ARMCP::ARMCPModifier Modifier,
239 bool AddCurrentAddress)
Bill Wendling4a4772f2011-10-01 09:30:42 +0000240 : ARMConstantPoolValue(C, id, ARMCP::CPMachineBasicBlock, PCAdj,
Bill Wendling6dbc9fe2011-10-01 09:19:10 +0000241 Modifier, AddCurrentAddress),
242 MBB(mbb) {}
243
244ARMConstantPoolMBB *ARMConstantPoolMBB::Create(LLVMContext &C,
Bill Wendling4a4772f2011-10-01 09:30:42 +0000245 const MachineBasicBlock *mbb,
Bill Wendling6dbc9fe2011-10-01 09:19:10 +0000246 unsigned ID,
247 unsigned char PCAdj) {
248 return new ARMConstantPoolMBB(C, mbb, ID, PCAdj, ARMCP::no_modifier, false);
249}
250
251int ARMConstantPoolMBB::getExistingMachineCPValue(MachineConstantPool *CP,
252 unsigned Alignment) {
Benjamin Kramer2ef689c2013-09-16 10:17:31 +0000253 return getExistingMachineCPValueImpl<ARMConstantPoolMBB>(CP, Alignment);
Bill Wendling6dbc9fe2011-10-01 09:19:10 +0000254}
255
256bool ARMConstantPoolMBB::hasSameValue(ARMConstantPoolValue *ACPV) {
257 const ARMConstantPoolMBB *ACPMBB = dyn_cast<ARMConstantPoolMBB>(ACPV);
258 return ACPMBB && ACPMBB->MBB == MBB &&
259 ARMConstantPoolValue::hasSameValue(ACPV);
260}
261
262void ARMConstantPoolMBB::addSelectionDAGCSEId(FoldingSetNodeID &ID) {
263 ID.AddPointer(MBB);
264 ARMConstantPoolValue::addSelectionDAGCSEId(ID);
265}
266
267void ARMConstantPoolMBB::print(raw_ostream &O) const {
Evan Chengf33bfbb2011-10-24 23:01:03 +0000268 O << "BB#" << MBB->getNumber();
Bill Wendling6dbc9fe2011-10-01 09:19:10 +0000269 ARMConstantPoolValue::print(O);
270}