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