Jia Liu | b22310f | 2012-02-18 12:03:15 +0000 | [diff] [blame] | 1 | //===-- ARMConstantPoolValue.cpp - ARM constantpool value -----------------===// |
Evan Cheng | 10043e2 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
Chris Lattner | f3ebc3f | 2007-12-29 20:36:04 +0000 | [diff] [blame] | 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
Evan Cheng | 10043e2 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 7 | // |
| 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 Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 16 | #include "llvm/CodeGen/MachineBasicBlock.h" |
Chandler Carruth | 9fb823b | 2013-01-02 11:36:10 +0000 | [diff] [blame] | 17 | #include "llvm/IR/Constant.h" |
| 18 | #include "llvm/IR/Constants.h" |
| 19 | #include "llvm/IR/GlobalValue.h" |
| 20 | #include "llvm/IR/Type.h" |
Chris Lattner | 0c19df4 | 2008-08-23 22:23:09 +0000 | [diff] [blame] | 21 | #include "llvm/Support/raw_ostream.h" |
Jim Grosbach | 74eb9e7 | 2009-08-11 15:26:27 +0000 | [diff] [blame] | 22 | #include <cstdlib> |
Evan Cheng | 10043e2 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 23 | using namespace llvm; |
| 24 | |
Bill Wendling | 396c211 | 2011-10-01 06:40:33 +0000 | [diff] [blame] | 25 | //===----------------------------------------------------------------------===// |
| 26 | // ARMConstantPoolValue |
| 27 | //===----------------------------------------------------------------------===// |
| 28 | |
| 29 | ARMConstantPoolValue::ARMConstantPoolValue(Type *Ty, unsigned id, |
| 30 | ARMCP::ARMCPKind kind, |
| 31 | unsigned char PCAdj, |
| 32 | ARMCP::ARMCPModifier modifier, |
| 33 | bool addCurrentAddress) |
Bill Wendling | 4a4772f | 2011-10-01 09:30:42 +0000 | [diff] [blame] | 34 | : MachineConstantPoolValue(Ty), LabelId(id), Kind(kind), |
Bill Wendling | f117a35 | 2011-10-01 07:52:37 +0000 | [diff] [blame] | 35 | PCAdjust(PCAdj), Modifier(modifier), |
| 36 | AddCurrentAddress(addCurrentAddress) {} |
Bill Wendling | 396c211 | 2011-10-01 06:40:33 +0000 | [diff] [blame] | 37 | |
Bill Wendling | d7fa016 | 2011-10-01 08:36:59 +0000 | [diff] [blame] | 38 | ARMConstantPoolValue::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 Wendling | 9ff05f7 | 2011-10-01 09:04:18 +0000 | [diff] [blame] | 44 | LabelId(id), Kind(kind), PCAdjust(PCAdj), Modifier(modifier), |
Bill Wendling | d7fa016 | 2011-10-01 08:36:59 +0000 | [diff] [blame] | 45 | AddCurrentAddress(addCurrentAddress) {} |
| 46 | |
Bill Wendling | 9ff05f7 | 2011-10-01 09:04:18 +0000 | [diff] [blame] | 47 | ARMConstantPoolValue::~ARMConstantPoolValue() {} |
Bill Wendling | d7fa016 | 2011-10-01 08:36:59 +0000 | [diff] [blame] | 48 | |
Bill Wendling | e8e4dbf | 2011-09-30 18:42:06 +0000 | [diff] [blame] | 49 | const char *ARMConstantPoolValue::getModifierText() const { |
| 50 | switch (Modifier) { |
Bill Wendling | e8e4dbf | 2011-09-30 18:42:06 +0000 | [diff] [blame] | 51 | // FIXME: Are these case sensitive? It'd be nice to lower-case all the |
| 52 | // strings if that's legal. |
| 53 | case ARMCP::no_modifier: return "none"; |
| 54 | case ARMCP::TLSGD: return "tlsgd"; |
Peter Collingbourne | 97aae40 | 2015-10-26 18:23:16 +0000 | [diff] [blame] | 55 | case ARMCP::GOT_PREL: return "GOT_PREL"; |
Bill Wendling | e8e4dbf | 2011-09-30 18:42:06 +0000 | [diff] [blame] | 56 | case ARMCP::GOTTPOFF: return "gottpoff"; |
| 57 | case ARMCP::TPOFF: return "tpoff"; |
| 58 | } |
David Blaikie | 486df73 | 2012-01-16 23:24:27 +0000 | [diff] [blame] | 59 | llvm_unreachable("Unknown modifier!"); |
Bill Wendling | e8e4dbf | 2011-09-30 18:42:06 +0000 | [diff] [blame] | 60 | } |
| 61 | |
Evan Cheng | 10043e2 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 62 | int ARMConstantPoolValue::getExistingMachineCPValue(MachineConstantPool *CP, |
| 63 | unsigned Alignment) { |
Craig Topper | e55c556 | 2012-02-07 02:50:20 +0000 | [diff] [blame] | 64 | llvm_unreachable("Shouldn't be calling this directly!"); |
Evan Cheng | 10043e2 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 65 | } |
| 66 | |
| 67 | void |
Jim Grosbach | af136f7 | 2011-09-27 20:59:33 +0000 | [diff] [blame] | 68 | ARMConstantPoolValue::addSelectionDAGCSEId(FoldingSetNodeID &ID) { |
Evan Cheng | 10043e2 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 69 | ID.AddInteger(LabelId); |
Evan Cheng | 10043e2 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 70 | ID.AddInteger(PCAdjust); |
| 71 | } |
| 72 | |
Evan Cheng | 7ff8319 | 2009-11-07 03:52:02 +0000 | [diff] [blame] | 73 | bool |
| 74 | ARMConstantPoolValue::hasSameValue(ARMConstantPoolValue *ACPV) { |
| 75 | if (ACPV->Kind == Kind && |
Evan Cheng | 7ff8319 | 2009-11-07 03:52:02 +0000 | [diff] [blame] | 76 | ACPV->PCAdjust == PCAdjust && |
Tim Northover | df43264 | 2016-05-05 18:38:53 +0000 | [diff] [blame^] | 77 | ACPV->Modifier == Modifier && |
| 78 | ACPV->LabelId == LabelId && |
| 79 | ACPV->AddCurrentAddress == AddCurrentAddress) { |
Evan Cheng | 7ff8319 | 2009-11-07 03:52:02 +0000 | [diff] [blame] | 80 | // Two PC relative constpool entries containing the same GV address or |
| 81 | // external symbols. FIXME: What about blockaddress? |
| 82 | if (Kind == ARMCP::CPValue || Kind == ARMCP::CPExtSymbol) |
| 83 | return true; |
| 84 | } |
| 85 | return false; |
| 86 | } |
| 87 | |
Yaron Keren | eb2a254 | 2016-01-29 20:50:44 +0000 | [diff] [blame] | 88 | LLVM_DUMP_METHOD void ARMConstantPoolValue::dump() const { |
Chris Lattner | a6f074f | 2009-08-23 03:41:05 +0000 | [diff] [blame] | 89 | errs() << " " << *this; |
Evan Cheng | de9dbc5 | 2008-10-29 23:55:17 +0000 | [diff] [blame] | 90 | } |
| 91 | |
Chris Lattner | 0c19df4 | 2008-08-23 22:23:09 +0000 | [diff] [blame] | 92 | void ARMConstantPoolValue::print(raw_ostream &O) const { |
Jim Grosbach | a942ad4 | 2010-11-09 21:36:17 +0000 | [diff] [blame] | 93 | if (Modifier) O << "(" << getModifierText() << ")"; |
Lauro Ramos Venancio | c39c12a | 2007-04-27 13:54:47 +0000 | [diff] [blame] | 94 | if (PCAdjust != 0) { |
Evan Cheng | 6dd08b6 | 2008-11-04 00:50:32 +0000 | [diff] [blame] | 95 | O << "-(LPC" << LabelId << "+" << (unsigned)PCAdjust; |
| 96 | if (AddCurrentAddress) O << "-."; |
Lauro Ramos Venancio | c39c12a | 2007-04-27 13:54:47 +0000 | [diff] [blame] | 97 | O << ")"; |
| 98 | } |
Evan Cheng | 10043e2 | 2007-01-19 07:51:42 +0000 | [diff] [blame] | 99 | } |
Bill Wendling | 396c211 | 2011-10-01 06:40:33 +0000 | [diff] [blame] | 100 | |
| 101 | //===----------------------------------------------------------------------===// |
| 102 | // ARMConstantPoolConstant |
| 103 | //===----------------------------------------------------------------------===// |
| 104 | |
Bill Wendling | f117a35 | 2011-10-01 07:52:37 +0000 | [diff] [blame] | 105 | ARMConstantPoolConstant::ARMConstantPoolConstant(Type *Ty, |
| 106 | const Constant *C, |
| 107 | unsigned ID, |
| 108 | ARMCP::ARMCPKind Kind, |
| 109 | unsigned char PCAdj, |
| 110 | ARMCP::ARMCPModifier Modifier, |
| 111 | bool AddCurrentAddress) |
| 112 | : ARMConstantPoolValue(Ty, ID, Kind, PCAdj, Modifier, AddCurrentAddress), |
| 113 | CVal(C) {} |
| 114 | |
Bill Wendling | 396c211 | 2011-10-01 06:40:33 +0000 | [diff] [blame] | 115 | ARMConstantPoolConstant::ARMConstantPoolConstant(const Constant *C, |
| 116 | unsigned ID, |
| 117 | ARMCP::ARMCPKind Kind, |
| 118 | unsigned char PCAdj, |
| 119 | ARMCP::ARMCPModifier Modifier, |
| 120 | bool AddCurrentAddress) |
| 121 | : ARMConstantPoolValue((Type*)C->getType(), ID, Kind, PCAdj, Modifier, |
| 122 | AddCurrentAddress), |
| 123 | CVal(C) {} |
| 124 | |
| 125 | ARMConstantPoolConstant * |
| 126 | ARMConstantPoolConstant::Create(const Constant *C, unsigned ID) { |
| 127 | return new ARMConstantPoolConstant(C, ID, ARMCP::CPValue, 0, |
| 128 | ARMCP::no_modifier, false); |
| 129 | } |
| 130 | |
Bill Wendling | 6722556 | 2011-10-01 06:44:24 +0000 | [diff] [blame] | 131 | ARMConstantPoolConstant * |
Bill Wendling | f117a35 | 2011-10-01 07:52:37 +0000 | [diff] [blame] | 132 | ARMConstantPoolConstant::Create(const GlobalValue *GV, |
| 133 | ARMCP::ARMCPModifier Modifier) { |
| 134 | return new ARMConstantPoolConstant((Type*)Type::getInt32Ty(GV->getContext()), |
| 135 | GV, 0, ARMCP::CPValue, 0, |
| 136 | Modifier, false); |
| 137 | } |
| 138 | |
| 139 | ARMConstantPoolConstant * |
Bill Wendling | 6722556 | 2011-10-01 06:44:24 +0000 | [diff] [blame] | 140 | ARMConstantPoolConstant::Create(const Constant *C, unsigned ID, |
| 141 | ARMCP::ARMCPKind Kind, unsigned char PCAdj) { |
| 142 | return new ARMConstantPoolConstant(C, ID, Kind, PCAdj, |
| 143 | ARMCP::no_modifier, false); |
| 144 | } |
| 145 | |
Bill Wendling | f117a35 | 2011-10-01 07:52:37 +0000 | [diff] [blame] | 146 | ARMConstantPoolConstant * |
| 147 | ARMConstantPoolConstant::Create(const Constant *C, unsigned ID, |
| 148 | ARMCP::ARMCPKind Kind, unsigned char PCAdj, |
| 149 | ARMCP::ARMCPModifier Modifier, |
| 150 | bool AddCurrentAddress) { |
| 151 | return new ARMConstantPoolConstant(C, ID, Kind, PCAdj, Modifier, |
| 152 | AddCurrentAddress); |
| 153 | } |
| 154 | |
Bill Wendling | 396c211 | 2011-10-01 06:40:33 +0000 | [diff] [blame] | 155 | const GlobalValue *ARMConstantPoolConstant::getGV() const { |
Bill Wendling | f117a35 | 2011-10-01 07:52:37 +0000 | [diff] [blame] | 156 | return dyn_cast_or_null<GlobalValue>(CVal); |
| 157 | } |
| 158 | |
| 159 | const BlockAddress *ARMConstantPoolConstant::getBlockAddress() const { |
| 160 | return dyn_cast_or_null<BlockAddress>(CVal); |
| 161 | } |
| 162 | |
| 163 | int ARMConstantPoolConstant::getExistingMachineCPValue(MachineConstantPool *CP, |
| 164 | unsigned Alignment) { |
Benjamin Kramer | 2ef689c | 2013-09-16 10:17:31 +0000 | [diff] [blame] | 165 | return getExistingMachineCPValueImpl<ARMConstantPoolConstant>(CP, Alignment); |
Bill Wendling | 396c211 | 2011-10-01 06:40:33 +0000 | [diff] [blame] | 166 | } |
| 167 | |
| 168 | bool ARMConstantPoolConstant::hasSameValue(ARMConstantPoolValue *ACPV) { |
| 169 | const ARMConstantPoolConstant *ACPC = dyn_cast<ARMConstantPoolConstant>(ACPV); |
Bill Wendling | f117a35 | 2011-10-01 07:52:37 +0000 | [diff] [blame] | 170 | return ACPC && ACPC->CVal == CVal && ARMConstantPoolValue::hasSameValue(ACPV); |
Bill Wendling | 396c211 | 2011-10-01 06:40:33 +0000 | [diff] [blame] | 171 | } |
| 172 | |
| 173 | void ARMConstantPoolConstant::addSelectionDAGCSEId(FoldingSetNodeID &ID) { |
| 174 | ID.AddPointer(CVal); |
| 175 | ARMConstantPoolValue::addSelectionDAGCSEId(ID); |
| 176 | } |
| 177 | |
| 178 | void ARMConstantPoolConstant::print(raw_ostream &O) const { |
| 179 | O << CVal->getName(); |
| 180 | ARMConstantPoolValue::print(O); |
| 181 | } |
Bill Wendling | d7fa016 | 2011-10-01 08:36:59 +0000 | [diff] [blame] | 182 | |
| 183 | //===----------------------------------------------------------------------===// |
| 184 | // ARMConstantPoolSymbol |
| 185 | //===----------------------------------------------------------------------===// |
| 186 | |
| 187 | ARMConstantPoolSymbol::ARMConstantPoolSymbol(LLVMContext &C, const char *s, |
| 188 | unsigned id, |
| 189 | unsigned char PCAdj, |
| 190 | ARMCP::ARMCPModifier Modifier, |
| 191 | bool AddCurrentAddress) |
| 192 | : ARMConstantPoolValue(C, id, ARMCP::CPExtSymbol, PCAdj, Modifier, |
| 193 | AddCurrentAddress), |
Benjamin Kramer | 9d46110 | 2012-12-24 19:23:30 +0000 | [diff] [blame] | 194 | S(s) {} |
Bill Wendling | d7fa016 | 2011-10-01 08:36:59 +0000 | [diff] [blame] | 195 | |
| 196 | ARMConstantPoolSymbol * |
| 197 | ARMConstantPoolSymbol::Create(LLVMContext &C, const char *s, |
Bill Wendling | c214cb0 | 2011-10-01 08:58:29 +0000 | [diff] [blame] | 198 | unsigned ID, unsigned char PCAdj) { |
| 199 | return new ARMConstantPoolSymbol(C, s, ID, PCAdj, ARMCP::no_modifier, false); |
| 200 | } |
| 201 | |
Bill Wendling | d7fa016 | 2011-10-01 08:36:59 +0000 | [diff] [blame] | 202 | int ARMConstantPoolSymbol::getExistingMachineCPValue(MachineConstantPool *CP, |
| 203 | unsigned Alignment) { |
Benjamin Kramer | 2ef689c | 2013-09-16 10:17:31 +0000 | [diff] [blame] | 204 | return getExistingMachineCPValueImpl<ARMConstantPoolSymbol>(CP, Alignment); |
Bill Wendling | d7fa016 | 2011-10-01 08:36:59 +0000 | [diff] [blame] | 205 | } |
| 206 | |
| 207 | bool ARMConstantPoolSymbol::hasSameValue(ARMConstantPoolValue *ACPV) { |
| 208 | const ARMConstantPoolSymbol *ACPS = dyn_cast<ARMConstantPoolSymbol>(ACPV); |
Benjamin Kramer | 9d46110 | 2012-12-24 19:23:30 +0000 | [diff] [blame] | 209 | return ACPS && ACPS->S == S && ARMConstantPoolValue::hasSameValue(ACPV); |
Bill Wendling | d7fa016 | 2011-10-01 08:36:59 +0000 | [diff] [blame] | 210 | } |
| 211 | |
| 212 | void ARMConstantPoolSymbol::addSelectionDAGCSEId(FoldingSetNodeID &ID) { |
Benjamin Kramer | 9d46110 | 2012-12-24 19:23:30 +0000 | [diff] [blame] | 213 | ID.AddString(S); |
Bill Wendling | d7fa016 | 2011-10-01 08:36:59 +0000 | [diff] [blame] | 214 | ARMConstantPoolValue::addSelectionDAGCSEId(ID); |
| 215 | } |
| 216 | |
| 217 | void ARMConstantPoolSymbol::print(raw_ostream &O) const { |
| 218 | O << S; |
| 219 | ARMConstantPoolValue::print(O); |
| 220 | } |
Bill Wendling | 6dbc9fe | 2011-10-01 09:19:10 +0000 | [diff] [blame] | 221 | |
| 222 | //===----------------------------------------------------------------------===// |
| 223 | // ARMConstantPoolMBB |
| 224 | //===----------------------------------------------------------------------===// |
| 225 | |
Bill Wendling | 4a4772f | 2011-10-01 09:30:42 +0000 | [diff] [blame] | 226 | ARMConstantPoolMBB::ARMConstantPoolMBB(LLVMContext &C, |
| 227 | const MachineBasicBlock *mbb, |
Bill Wendling | 6dbc9fe | 2011-10-01 09:19:10 +0000 | [diff] [blame] | 228 | unsigned id, unsigned char PCAdj, |
| 229 | ARMCP::ARMCPModifier Modifier, |
| 230 | bool AddCurrentAddress) |
Bill Wendling | 4a4772f | 2011-10-01 09:30:42 +0000 | [diff] [blame] | 231 | : ARMConstantPoolValue(C, id, ARMCP::CPMachineBasicBlock, PCAdj, |
Bill Wendling | 6dbc9fe | 2011-10-01 09:19:10 +0000 | [diff] [blame] | 232 | Modifier, AddCurrentAddress), |
| 233 | MBB(mbb) {} |
| 234 | |
| 235 | ARMConstantPoolMBB *ARMConstantPoolMBB::Create(LLVMContext &C, |
Bill Wendling | 4a4772f | 2011-10-01 09:30:42 +0000 | [diff] [blame] | 236 | const MachineBasicBlock *mbb, |
Bill Wendling | 6dbc9fe | 2011-10-01 09:19:10 +0000 | [diff] [blame] | 237 | unsigned ID, |
| 238 | unsigned char PCAdj) { |
| 239 | return new ARMConstantPoolMBB(C, mbb, ID, PCAdj, ARMCP::no_modifier, false); |
| 240 | } |
| 241 | |
| 242 | int ARMConstantPoolMBB::getExistingMachineCPValue(MachineConstantPool *CP, |
| 243 | unsigned Alignment) { |
Benjamin Kramer | 2ef689c | 2013-09-16 10:17:31 +0000 | [diff] [blame] | 244 | return getExistingMachineCPValueImpl<ARMConstantPoolMBB>(CP, Alignment); |
Bill Wendling | 6dbc9fe | 2011-10-01 09:19:10 +0000 | [diff] [blame] | 245 | } |
| 246 | |
| 247 | bool ARMConstantPoolMBB::hasSameValue(ARMConstantPoolValue *ACPV) { |
| 248 | const ARMConstantPoolMBB *ACPMBB = dyn_cast<ARMConstantPoolMBB>(ACPV); |
| 249 | return ACPMBB && ACPMBB->MBB == MBB && |
| 250 | ARMConstantPoolValue::hasSameValue(ACPV); |
| 251 | } |
| 252 | |
| 253 | void ARMConstantPoolMBB::addSelectionDAGCSEId(FoldingSetNodeID &ID) { |
| 254 | ID.AddPointer(MBB); |
| 255 | ARMConstantPoolValue::addSelectionDAGCSEId(ID); |
| 256 | } |
| 257 | |
| 258 | void ARMConstantPoolMBB::print(raw_ostream &O) const { |
Evan Cheng | f33bfbb | 2011-10-24 23:01:03 +0000 | [diff] [blame] | 259 | O << "BB#" << MBB->getNumber(); |
Bill Wendling | 6dbc9fe | 2011-10-01 09:19:10 +0000 | [diff] [blame] | 260 | ARMConstantPoolValue::print(O); |
| 261 | } |