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