| Anton Korobeynikov | 1013800 | 2009-05-03 12:57:15 +0000 | [diff] [blame] | 1 | //===-- MSP430ISelDAGToDAG.cpp - A dag to dag inst selector for MSP430 ----===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // |
| 10 | // This file defines an instruction selector for the MSP430 target. |
| 11 | // |
| 12 | //===----------------------------------------------------------------------===// |
| 13 | |
| 14 | #include "MSP430.h" |
| Anton Korobeynikov | 1013800 | 2009-05-03 12:57:15 +0000 | [diff] [blame] | 15 | #include "MSP430TargetMachine.h" |
| Anton Korobeynikov | 1013800 | 2009-05-03 12:57:15 +0000 | [diff] [blame] | 16 | #include "llvm/CodeGen/MachineFrameInfo.h" |
| 17 | #include "llvm/CodeGen/MachineFunction.h" |
| 18 | #include "llvm/CodeGen/MachineInstrBuilder.h" |
| 19 | #include "llvm/CodeGen/MachineRegisterInfo.h" |
| 20 | #include "llvm/CodeGen/SelectionDAG.h" |
| 21 | #include "llvm/CodeGen/SelectionDAGISel.h" |
| David Blaikie | b3bde2e | 2017-11-17 01:07:10 +0000 | [diff] [blame] | 22 | #include "llvm/CodeGen/TargetLowering.h" |
| Nico Weber | 432a388 | 2018-04-30 14:59:11 +0000 | [diff] [blame] | 23 | #include "llvm/Config/llvm-config.h" |
| Chandler Carruth | 9fb823b | 2013-01-02 11:36:10 +0000 | [diff] [blame] | 24 | #include "llvm/IR/CallingConv.h" |
| 25 | #include "llvm/IR/Constants.h" |
| 26 | #include "llvm/IR/DerivedTypes.h" |
| 27 | #include "llvm/IR/Function.h" |
| 28 | #include "llvm/IR/Intrinsics.h" |
| Anton Korobeynikov | 1013800 | 2009-05-03 12:57:15 +0000 | [diff] [blame] | 29 | #include "llvm/Support/Debug.h" |
| Torok Edwin | fb8d6d5 | 2009-07-08 20:53:28 +0000 | [diff] [blame] | 30 | #include "llvm/Support/ErrorHandling.h" |
| 31 | #include "llvm/Support/raw_ostream.h" |
| Anton Korobeynikov | 1013800 | 2009-05-03 12:57:15 +0000 | [diff] [blame] | 32 | using namespace llvm; |
| 33 | |
| Chandler Carruth | e96dd89 | 2014-04-21 22:55:11 +0000 | [diff] [blame] | 34 | #define DEBUG_TYPE "msp430-isel" |
| 35 | |
| Anton Korobeynikov | 2a88785 | 2009-11-07 17:13:35 +0000 | [diff] [blame] | 36 | namespace { |
| 37 | struct MSP430ISelAddressMode { |
| 38 | enum { |
| 39 | RegBase, |
| 40 | FrameIndexBase |
| 41 | } BaseType; |
| 42 | |
| 43 | struct { // This is really a union, discriminated by BaseType! |
| 44 | SDValue Reg; |
| 45 | int FrameIndex; |
| 46 | } Base; |
| 47 | |
| 48 | int16_t Disp; |
| Dan Gohman | bcaf681 | 2010-04-15 01:51:59 +0000 | [diff] [blame] | 49 | const GlobalValue *GV; |
| 50 | const Constant *CP; |
| 51 | const BlockAddress *BlockAddr; |
| Anton Korobeynikov | 2a88785 | 2009-11-07 17:13:35 +0000 | [diff] [blame] | 52 | const char *ES; |
| 53 | int JT; |
| 54 | unsigned Align; // CP alignment. |
| 55 | |
| 56 | MSP430ISelAddressMode() |
| Craig Topper | 062a2ba | 2014-04-25 05:30:21 +0000 | [diff] [blame] | 57 | : BaseType(RegBase), Disp(0), GV(nullptr), CP(nullptr), |
| 58 | BlockAddr(nullptr), ES(nullptr), JT(-1), Align(0) { |
| Anton Korobeynikov | 2a88785 | 2009-11-07 17:13:35 +0000 | [diff] [blame] | 59 | } |
| 60 | |
| 61 | bool hasSymbolicDisplacement() const { |
| Craig Topper | 062a2ba | 2014-04-25 05:30:21 +0000 | [diff] [blame] | 62 | return GV != nullptr || CP != nullptr || ES != nullptr || JT != -1; |
| Anton Korobeynikov | 2a88785 | 2009-11-07 17:13:35 +0000 | [diff] [blame] | 63 | } |
| 64 | |
| Aaron Ballman | 615eb47 | 2017-10-15 14:32:27 +0000 | [diff] [blame] | 65 | #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP) |
| Matthias Braun | 194ded5 | 2017-01-28 06:53:55 +0000 | [diff] [blame] | 66 | LLVM_DUMP_METHOD void dump() { |
| Anton Korobeynikov | 2a88785 | 2009-11-07 17:13:35 +0000 | [diff] [blame] | 67 | errs() << "MSP430ISelAddressMode " << this << '\n'; |
| Craig Topper | 062a2ba | 2014-04-25 05:30:21 +0000 | [diff] [blame] | 68 | if (BaseType == RegBase && Base.Reg.getNode() != nullptr) { |
| Anton Korobeynikov | 2a88785 | 2009-11-07 17:13:35 +0000 | [diff] [blame] | 69 | errs() << "Base.Reg "; |
| 70 | Base.Reg.getNode()->dump(); |
| Anton Korobeynikov | 45800ce | 2009-12-13 01:00:32 +0000 | [diff] [blame] | 71 | } else if (BaseType == FrameIndexBase) { |
| Anton Korobeynikov | 2a88785 | 2009-11-07 17:13:35 +0000 | [diff] [blame] | 72 | errs() << " Base.FrameIndex " << Base.FrameIndex << '\n'; |
| 73 | } |
| 74 | errs() << " Disp " << Disp << '\n'; |
| 75 | if (GV) { |
| 76 | errs() << "GV "; |
| 77 | GV->dump(); |
| 78 | } else if (CP) { |
| 79 | errs() << " CP "; |
| 80 | CP->dump(); |
| 81 | errs() << " Align" << Align << '\n'; |
| 82 | } else if (ES) { |
| 83 | errs() << "ES "; |
| 84 | errs() << ES << '\n'; |
| 85 | } else if (JT != -1) |
| 86 | errs() << " JT" << JT << " Align" << Align << '\n'; |
| 87 | } |
| Matthias Braun | 194ded5 | 2017-01-28 06:53:55 +0000 | [diff] [blame] | 88 | #endif |
| Anton Korobeynikov | 2a88785 | 2009-11-07 17:13:35 +0000 | [diff] [blame] | 89 | }; |
| Alexander Kornienko | f00654e | 2015-06-23 09:49:53 +0000 | [diff] [blame] | 90 | } |
| Anton Korobeynikov | 2a88785 | 2009-11-07 17:13:35 +0000 | [diff] [blame] | 91 | |
| Anton Korobeynikov | 1013800 | 2009-05-03 12:57:15 +0000 | [diff] [blame] | 92 | /// MSP430DAGToDAGISel - MSP430 specific code to select MSP430 machine |
| 93 | /// instructions for SelectionDAG operations. |
| 94 | /// |
| 95 | namespace { |
| 96 | class MSP430DAGToDAGISel : public SelectionDAGISel { |
| Anton Korobeynikov | 1013800 | 2009-05-03 12:57:15 +0000 | [diff] [blame] | 97 | public: |
| Anton Korobeynikov | 1324f81 | 2009-05-03 13:19:42 +0000 | [diff] [blame] | 98 | MSP430DAGToDAGISel(MSP430TargetMachine &TM, CodeGenOpt::Level OptLevel) |
| Eric Christopher | fbd9fba | 2015-01-29 23:46:42 +0000 | [diff] [blame] | 99 | : SelectionDAGISel(TM, OptLevel) {} |
| Anton Korobeynikov | 1013800 | 2009-05-03 12:57:15 +0000 | [diff] [blame] | 100 | |
| Anton Korobeynikov | 49045c6 | 2018-11-15 12:29:43 +0000 | [diff] [blame] | 101 | private: |
| Mehdi Amini | 117296c | 2016-10-01 02:56:57 +0000 | [diff] [blame] | 102 | StringRef getPassName() const override { |
| Anton Korobeynikov | 1013800 | 2009-05-03 12:57:15 +0000 | [diff] [blame] | 103 | return "MSP430 DAG->DAG Pattern Instruction Selection"; |
| 104 | } |
| 105 | |
| Anton Korobeynikov | 2a88785 | 2009-11-07 17:13:35 +0000 | [diff] [blame] | 106 | bool MatchAddress(SDValue N, MSP430ISelAddressMode &AM); |
| 107 | bool MatchWrapper(SDValue N, MSP430ISelAddressMode &AM); |
| 108 | bool MatchAddressBase(SDValue N, MSP430ISelAddressMode &AM); |
| 109 | |
| Daniel Sanders | 60f1db0 | 2015-03-13 12:45:09 +0000 | [diff] [blame] | 110 | bool SelectInlineAsmMemoryOperand(const SDValue &Op, unsigned ConstraintID, |
| Craig Topper | 6f9e59e | 2014-04-29 07:58:09 +0000 | [diff] [blame] | 111 | std::vector<SDValue> &OutOps) override; |
| Anton Korobeynikov | 6bce6bb | 2009-10-11 19:14:21 +0000 | [diff] [blame] | 112 | |
| Anton Korobeynikov | 1013800 | 2009-05-03 12:57:15 +0000 | [diff] [blame] | 113 | // Include the pieces autogenerated from the target description. |
| 114 | #include "MSP430GenDAGISel.inc" |
| 115 | |
| Anton Korobeynikov | 49045c6 | 2018-11-15 12:29:43 +0000 | [diff] [blame] | 116 | // Main method to transform nodes into machine nodes. |
| Justin Bogner | 538b188 | 2016-05-13 06:10:50 +0000 | [diff] [blame] | 117 | void Select(SDNode *N) override; |
| Anton Korobeynikov | 49045c6 | 2018-11-15 12:29:43 +0000 | [diff] [blame] | 118 | |
| Justin Bogner | 538b188 | 2016-05-13 06:10:50 +0000 | [diff] [blame] | 119 | bool tryIndexedLoad(SDNode *Op); |
| 120 | bool tryIndexedBinOp(SDNode *Op, SDValue N1, SDValue N2, unsigned Opc8, |
| 121 | unsigned Opc16); |
| Anton Korobeynikov | cf84ab5 | 2009-11-07 17:15:25 +0000 | [diff] [blame] | 122 | |
| Chris Lattner | 0e023ea | 2010-09-21 20:31:19 +0000 | [diff] [blame] | 123 | bool SelectAddr(SDValue Addr, SDValue &Base, SDValue &Disp); |
| Anton Korobeynikov | 1013800 | 2009-05-03 12:57:15 +0000 | [diff] [blame] | 124 | }; |
| 125 | } // end anonymous namespace |
| 126 | |
| 127 | /// createMSP430ISelDag - This pass converts a legalized DAG into a |
| 128 | /// MSP430-specific DAG, ready for instruction scheduling. |
| 129 | /// |
| Anton Korobeynikov | 1324f81 | 2009-05-03 13:19:42 +0000 | [diff] [blame] | 130 | FunctionPass *llvm::createMSP430ISelDag(MSP430TargetMachine &TM, |
| 131 | CodeGenOpt::Level OptLevel) { |
| 132 | return new MSP430DAGToDAGISel(TM, OptLevel); |
| Anton Korobeynikov | 1013800 | 2009-05-03 12:57:15 +0000 | [diff] [blame] | 133 | } |
| 134 | |
| Anton Korobeynikov | 2a88785 | 2009-11-07 17:13:35 +0000 | [diff] [blame] | 135 | |
| 136 | /// MatchWrapper - Try to match MSP430ISD::Wrapper node into an addressing mode. |
| 137 | /// These wrap things that will resolve down into a symbol reference. If no |
| 138 | /// match is possible, this returns true, otherwise it returns false. |
| 139 | bool MSP430DAGToDAGISel::MatchWrapper(SDValue N, MSP430ISelAddressMode &AM) { |
| 140 | // If the addressing mode already has a symbol as the displacement, we can |
| 141 | // never match another symbol. |
| 142 | if (AM.hasSymbolicDisplacement()) |
| 143 | return true; |
| 144 | |
| 145 | SDValue N0 = N.getOperand(0); |
| 146 | |
| 147 | if (GlobalAddressSDNode *G = dyn_cast<GlobalAddressSDNode>(N0)) { |
| 148 | AM.GV = G->getGlobal(); |
| 149 | AM.Disp += G->getOffset(); |
| 150 | //AM.SymbolFlags = G->getTargetFlags(); |
| 151 | } else if (ConstantPoolSDNode *CP = dyn_cast<ConstantPoolSDNode>(N0)) { |
| 152 | AM.CP = CP->getConstVal(); |
| 153 | AM.Align = CP->getAlignment(); |
| 154 | AM.Disp += CP->getOffset(); |
| 155 | //AM.SymbolFlags = CP->getTargetFlags(); |
| 156 | } else if (ExternalSymbolSDNode *S = dyn_cast<ExternalSymbolSDNode>(N0)) { |
| 157 | AM.ES = S->getSymbol(); |
| 158 | //AM.SymbolFlags = S->getTargetFlags(); |
| 159 | } else if (JumpTableSDNode *J = dyn_cast<JumpTableSDNode>(N0)) { |
| 160 | AM.JT = J->getIndex(); |
| 161 | //AM.SymbolFlags = J->getTargetFlags(); |
| 162 | } else { |
| 163 | AM.BlockAddr = cast<BlockAddressSDNode>(N0)->getBlockAddress(); |
| 164 | //AM.SymbolFlags = cast<BlockAddressSDNode>(N0)->getTargetFlags(); |
| 165 | } |
| 166 | return false; |
| 167 | } |
| 168 | |
| 169 | /// MatchAddressBase - Helper for MatchAddress. Add the specified node to the |
| 170 | /// specified addressing mode without any further recursion. |
| 171 | bool MSP430DAGToDAGISel::MatchAddressBase(SDValue N, MSP430ISelAddressMode &AM) { |
| 172 | // Is the base register already occupied? |
| 173 | if (AM.BaseType != MSP430ISelAddressMode::RegBase || AM.Base.Reg.getNode()) { |
| 174 | // If so, we cannot select it. |
| Anton Korobeynikov | 0d1234f | 2009-05-03 13:10:11 +0000 | [diff] [blame] | 175 | return true; |
| 176 | } |
| Anton Korobeynikov | 31ecd23 | 2009-05-03 13:06:03 +0000 | [diff] [blame] | 177 | |
| Anton Korobeynikov | 2a88785 | 2009-11-07 17:13:35 +0000 | [diff] [blame] | 178 | // Default, generate it as a register. |
| 179 | AM.BaseType = MSP430ISelAddressMode::RegBase; |
| 180 | AM.Base.Reg = N; |
| 181 | return false; |
| 182 | } |
| Anton Korobeynikov | 31ecd23 | 2009-05-03 13:06:03 +0000 | [diff] [blame] | 183 | |
| Anton Korobeynikov | 2a88785 | 2009-11-07 17:13:35 +0000 | [diff] [blame] | 184 | bool MSP430DAGToDAGISel::MatchAddress(SDValue N, MSP430ISelAddressMode &AM) { |
| Nicola Zaghen | d34e60c | 2018-05-14 12:53:11 +0000 | [diff] [blame] | 185 | LLVM_DEBUG(errs() << "MatchAddress: "; AM.dump()); |
| Anton Korobeynikov | 2a88785 | 2009-11-07 17:13:35 +0000 | [diff] [blame] | 186 | |
| 187 | switch (N.getOpcode()) { |
| 188 | default: break; |
| 189 | case ISD::Constant: { |
| 190 | uint64_t Val = cast<ConstantSDNode>(N)->getSExtValue(); |
| 191 | AM.Disp += Val; |
| 192 | return false; |
| 193 | } |
| 194 | |
| Anton Korobeynikov | a3bce28 | 2009-05-03 13:08:51 +0000 | [diff] [blame] | 195 | case MSP430ISD::Wrapper: |
| Anton Korobeynikov | 2a88785 | 2009-11-07 17:13:35 +0000 | [diff] [blame] | 196 | if (!MatchWrapper(N, AM)) |
| 197 | return false; |
| 198 | break; |
| 199 | |
| 200 | case ISD::FrameIndex: |
| 201 | if (AM.BaseType == MSP430ISelAddressMode::RegBase |
| Craig Topper | 062a2ba | 2014-04-25 05:30:21 +0000 | [diff] [blame] | 202 | && AM.Base.Reg.getNode() == nullptr) { |
| Anton Korobeynikov | 2a88785 | 2009-11-07 17:13:35 +0000 | [diff] [blame] | 203 | AM.BaseType = MSP430ISelAddressMode::FrameIndexBase; |
| 204 | AM.Base.FrameIndex = cast<FrameIndexSDNode>(N)->getIndex(); |
| 205 | return false; |
| Anton Korobeynikov | a3bce28 | 2009-05-03 13:08:51 +0000 | [diff] [blame] | 206 | } |
| 207 | break; |
| Anton Korobeynikov | 31ecd23 | 2009-05-03 13:06:03 +0000 | [diff] [blame] | 208 | |
| Anton Korobeynikov | 2a88785 | 2009-11-07 17:13:35 +0000 | [diff] [blame] | 209 | case ISD::ADD: { |
| 210 | MSP430ISelAddressMode Backup = AM; |
| 211 | if (!MatchAddress(N.getNode()->getOperand(0), AM) && |
| 212 | !MatchAddress(N.getNode()->getOperand(1), AM)) |
| 213 | return false; |
| 214 | AM = Backup; |
| 215 | if (!MatchAddress(N.getNode()->getOperand(1), AM) && |
| 216 | !MatchAddress(N.getNode()->getOperand(0), AM)) |
| 217 | return false; |
| 218 | AM = Backup; |
| 219 | |
| 220 | break; |
| 221 | } |
| 222 | |
| 223 | case ISD::OR: |
| Sylvestre Ledru | 91ce36c | 2012-09-27 10:14:43 +0000 | [diff] [blame] | 224 | // Handle "X | C" as "X + C" iff X is known to have C bits clear. |
| Anton Korobeynikov | 2a88785 | 2009-11-07 17:13:35 +0000 | [diff] [blame] | 225 | if (ConstantSDNode *CN = dyn_cast<ConstantSDNode>(N.getOperand(1))) { |
| 226 | MSP430ISelAddressMode Backup = AM; |
| 227 | uint64_t Offset = CN->getSExtValue(); |
| 228 | // Start with the LHS as an addr mode. |
| 229 | if (!MatchAddress(N.getOperand(0), AM) && |
| 230 | // Address could not have picked a GV address for the displacement. |
| Craig Topper | 062a2ba | 2014-04-25 05:30:21 +0000 | [diff] [blame] | 231 | AM.GV == nullptr && |
| Anton Korobeynikov | 2a88785 | 2009-11-07 17:13:35 +0000 | [diff] [blame] | 232 | // Check to see if the LHS & C is zero. |
| 233 | CurDAG->MaskedValueIsZero(N.getOperand(0), CN->getAPIntValue())) { |
| 234 | AM.Disp += Offset; |
| 235 | return false; |
| 236 | } |
| 237 | AM = Backup; |
| 238 | } |
| 239 | break; |
| 240 | } |
| 241 | |
| 242 | return MatchAddressBase(N, AM); |
| 243 | } |
| 244 | |
| 245 | /// SelectAddr - returns true if it is able pattern match an addressing mode. |
| 246 | /// It returns the operands which make up the maximal addressing mode it can |
| 247 | /// match by reference. |
| Chris Lattner | 0e023ea | 2010-09-21 20:31:19 +0000 | [diff] [blame] | 248 | bool MSP430DAGToDAGISel::SelectAddr(SDValue N, |
| Anton Korobeynikov | 2a88785 | 2009-11-07 17:13:35 +0000 | [diff] [blame] | 249 | SDValue &Base, SDValue &Disp) { |
| 250 | MSP430ISelAddressMode AM; |
| 251 | |
| 252 | if (MatchAddress(N, AM)) |
| 253 | return false; |
| 254 | |
| Anton Korobeynikov | 49045c6 | 2018-11-15 12:29:43 +0000 | [diff] [blame] | 255 | if (AM.BaseType == MSP430ISelAddressMode::RegBase) |
| Anton Korobeynikov | 2a88785 | 2009-11-07 17:13:35 +0000 | [diff] [blame] | 256 | if (!AM.Base.Reg.getNode()) |
| Anton Korobeynikov | 49045c6 | 2018-11-15 12:29:43 +0000 | [diff] [blame] | 257 | AM.Base.Reg = CurDAG->getRegister(MSP430::SR, MVT::i16); |
| Anton Korobeynikov | 2a88785 | 2009-11-07 17:13:35 +0000 | [diff] [blame] | 258 | |
| Mehdi Amini | 44ede33 | 2015-07-09 02:09:04 +0000 | [diff] [blame] | 259 | Base = (AM.BaseType == MSP430ISelAddressMode::FrameIndexBase) |
| 260 | ? CurDAG->getTargetFrameIndex( |
| 261 | AM.Base.FrameIndex, |
| 262 | getTargetLowering()->getPointerTy(CurDAG->getDataLayout())) |
| 263 | : AM.Base.Reg; |
| Anton Korobeynikov | 2a88785 | 2009-11-07 17:13:35 +0000 | [diff] [blame] | 264 | |
| 265 | if (AM.GV) |
| Andrew Trick | ef9de2a | 2013-05-25 02:42:55 +0000 | [diff] [blame] | 266 | Disp = CurDAG->getTargetGlobalAddress(AM.GV, SDLoc(N), |
| Devang Patel | a3ca21b | 2010-07-06 22:08:15 +0000 | [diff] [blame] | 267 | MVT::i16, AM.Disp, |
| Anton Korobeynikov | 2a88785 | 2009-11-07 17:13:35 +0000 | [diff] [blame] | 268 | 0/*AM.SymbolFlags*/); |
| 269 | else if (AM.CP) |
| 270 | Disp = CurDAG->getTargetConstantPool(AM.CP, MVT::i16, |
| 271 | AM.Align, AM.Disp, 0/*AM.SymbolFlags*/); |
| 272 | else if (AM.ES) |
| 273 | Disp = CurDAG->getTargetExternalSymbol(AM.ES, MVT::i16, 0/*AM.SymbolFlags*/); |
| 274 | else if (AM.JT != -1) |
| 275 | Disp = CurDAG->getTargetJumpTable(AM.JT, MVT::i16, 0/*AM.SymbolFlags*/); |
| 276 | else if (AM.BlockAddr) |
| Michael Liao | abb87d4 | 2012-09-12 21:43:09 +0000 | [diff] [blame] | 277 | Disp = CurDAG->getTargetBlockAddress(AM.BlockAddr, MVT::i32, 0, |
| 278 | 0/*AM.SymbolFlags*/); |
| Anton Korobeynikov | 2a88785 | 2009-11-07 17:13:35 +0000 | [diff] [blame] | 279 | else |
| Sergey Dmitrouk | 842a51b | 2015-04-28 14:05:47 +0000 | [diff] [blame] | 280 | Disp = CurDAG->getTargetConstant(AM.Disp, SDLoc(N), MVT::i16); |
| Anton Korobeynikov | 31ecd23 | 2009-05-03 13:06:03 +0000 | [diff] [blame] | 281 | |
| 282 | return true; |
| 283 | } |
| 284 | |
| Anton Korobeynikov | 6bce6bb | 2009-10-11 19:14:21 +0000 | [diff] [blame] | 285 | bool MSP430DAGToDAGISel:: |
| Daniel Sanders | 60f1db0 | 2015-03-13 12:45:09 +0000 | [diff] [blame] | 286 | SelectInlineAsmMemoryOperand(const SDValue &Op, unsigned ConstraintID, |
| Anton Korobeynikov | 6bce6bb | 2009-10-11 19:14:21 +0000 | [diff] [blame] | 287 | std::vector<SDValue> &OutOps) { |
| 288 | SDValue Op0, Op1; |
| Daniel Sanders | 60f1db0 | 2015-03-13 12:45:09 +0000 | [diff] [blame] | 289 | switch (ConstraintID) { |
| Anton Korobeynikov | 6bce6bb | 2009-10-11 19:14:21 +0000 | [diff] [blame] | 290 | default: return true; |
| Daniel Sanders | 60f1db0 | 2015-03-13 12:45:09 +0000 | [diff] [blame] | 291 | case InlineAsm::Constraint_m: // memory |
| Chris Lattner | 0e023ea | 2010-09-21 20:31:19 +0000 | [diff] [blame] | 292 | if (!SelectAddr(Op, Op0, Op1)) |
| Anton Korobeynikov | 6bce6bb | 2009-10-11 19:14:21 +0000 | [diff] [blame] | 293 | return true; |
| 294 | break; |
| 295 | } |
| 296 | |
| 297 | OutOps.push_back(Op0); |
| 298 | OutOps.push_back(Op1); |
| 299 | return false; |
| 300 | } |
| Anton Korobeynikov | 31ecd23 | 2009-05-03 13:06:03 +0000 | [diff] [blame] | 301 | |
| Anton Korobeynikov | cf84ab5 | 2009-11-07 17:15:25 +0000 | [diff] [blame] | 302 | static bool isValidIndexedLoad(const LoadSDNode *LD) { |
| Anton Korobeynikov | d3c8319 | 2009-11-07 17:15:06 +0000 | [diff] [blame] | 303 | ISD::MemIndexedMode AM = LD->getAddressingMode(); |
| 304 | if (AM != ISD::POST_INC || LD->getExtensionType() != ISD::NON_EXTLOAD) |
| Anton Korobeynikov | cf84ab5 | 2009-11-07 17:15:25 +0000 | [diff] [blame] | 305 | return false; |
| Anton Korobeynikov | d3c8319 | 2009-11-07 17:15:06 +0000 | [diff] [blame] | 306 | |
| 307 | EVT VT = LD->getMemoryVT(); |
| 308 | |
| Anton Korobeynikov | d3c8319 | 2009-11-07 17:15:06 +0000 | [diff] [blame] | 309 | switch (VT.getSimpleVT().SimpleTy) { |
| 310 | case MVT::i8: |
| 311 | // Sanity check |
| 312 | if (cast<ConstantSDNode>(LD->getOffset())->getZExtValue() != 1) |
| Anton Korobeynikov | cf84ab5 | 2009-11-07 17:15:25 +0000 | [diff] [blame] | 313 | return false; |
| Anton Korobeynikov | d3c8319 | 2009-11-07 17:15:06 +0000 | [diff] [blame] | 314 | |
| Anton Korobeynikov | d3c8319 | 2009-11-07 17:15:06 +0000 | [diff] [blame] | 315 | break; |
| 316 | case MVT::i16: |
| 317 | // Sanity check |
| 318 | if (cast<ConstantSDNode>(LD->getOffset())->getZExtValue() != 2) |
| Anton Korobeynikov | cf84ab5 | 2009-11-07 17:15:25 +0000 | [diff] [blame] | 319 | return false; |
| Anton Korobeynikov | d3c8319 | 2009-11-07 17:15:06 +0000 | [diff] [blame] | 320 | |
| Anton Korobeynikov | cf84ab5 | 2009-11-07 17:15:25 +0000 | [diff] [blame] | 321 | break; |
| 322 | default: |
| 323 | return false; |
| 324 | } |
| 325 | |
| 326 | return true; |
| 327 | } |
| 328 | |
| Justin Bogner | 538b188 | 2016-05-13 06:10:50 +0000 | [diff] [blame] | 329 | bool MSP430DAGToDAGISel::tryIndexedLoad(SDNode *N) { |
| Dan Gohman | ea6f91f | 2010-01-05 01:24:18 +0000 | [diff] [blame] | 330 | LoadSDNode *LD = cast<LoadSDNode>(N); |
| Anton Korobeynikov | cf84ab5 | 2009-11-07 17:15:25 +0000 | [diff] [blame] | 331 | if (!isValidIndexedLoad(LD)) |
| Justin Bogner | 538b188 | 2016-05-13 06:10:50 +0000 | [diff] [blame] | 332 | return false; |
| Anton Korobeynikov | cf84ab5 | 2009-11-07 17:15:25 +0000 | [diff] [blame] | 333 | |
| 334 | MVT VT = LD->getMemoryVT().getSimpleVT(); |
| 335 | |
| 336 | unsigned Opcode = 0; |
| 337 | switch (VT.SimpleTy) { |
| 338 | case MVT::i8: |
| Anton Korobeynikov | 49045c6 | 2018-11-15 12:29:43 +0000 | [diff] [blame] | 339 | Opcode = MSP430::MOV8rp; |
| Anton Korobeynikov | cf84ab5 | 2009-11-07 17:15:25 +0000 | [diff] [blame] | 340 | break; |
| 341 | case MVT::i16: |
| Anton Korobeynikov | 49045c6 | 2018-11-15 12:29:43 +0000 | [diff] [blame] | 342 | Opcode = MSP430::MOV16rp; |
| Anton Korobeynikov | d3c8319 | 2009-11-07 17:15:06 +0000 | [diff] [blame] | 343 | break; |
| 344 | default: |
| Justin Bogner | 538b188 | 2016-05-13 06:10:50 +0000 | [diff] [blame] | 345 | return false; |
| Anton Korobeynikov | d3c8319 | 2009-11-07 17:15:06 +0000 | [diff] [blame] | 346 | } |
| 347 | |
| Justin Bogner | 538b188 | 2016-05-13 06:10:50 +0000 | [diff] [blame] | 348 | ReplaceNode(N, |
| 349 | CurDAG->getMachineNode(Opcode, SDLoc(N), VT, MVT::i16, MVT::Other, |
| 350 | LD->getBasePtr(), LD->getChain())); |
| 351 | return true; |
| Anton Korobeynikov | d3c8319 | 2009-11-07 17:15:06 +0000 | [diff] [blame] | 352 | } |
| 353 | |
| Justin Bogner | 538b188 | 2016-05-13 06:10:50 +0000 | [diff] [blame] | 354 | bool MSP430DAGToDAGISel::tryIndexedBinOp(SDNode *Op, SDValue N1, SDValue N2, |
| 355 | unsigned Opc8, unsigned Opc16) { |
| Anton Korobeynikov | cf84ab5 | 2009-11-07 17:15:25 +0000 | [diff] [blame] | 356 | if (N1.getOpcode() == ISD::LOAD && |
| 357 | N1.hasOneUse() && |
| Dan Gohman | 21cea8a | 2010-04-17 15:26:15 +0000 | [diff] [blame] | 358 | IsLegalToFold(N1, Op, Op, OptLevel)) { |
| Anton Korobeynikov | cf84ab5 | 2009-11-07 17:15:25 +0000 | [diff] [blame] | 359 | LoadSDNode *LD = cast<LoadSDNode>(N1); |
| 360 | if (!isValidIndexedLoad(LD)) |
| Justin Bogner | 538b188 | 2016-05-13 06:10:50 +0000 | [diff] [blame] | 361 | return false; |
| Anton Korobeynikov | cf84ab5 | 2009-11-07 17:15:25 +0000 | [diff] [blame] | 362 | |
| 363 | MVT VT = LD->getMemoryVT().getSimpleVT(); |
| 364 | unsigned Opc = (VT == MVT::i16 ? Opc16 : Opc8); |
| Chandler Carruth | 66654b7 | 2018-08-14 23:30:32 +0000 | [diff] [blame] | 365 | MachineMemOperand *MemRef = cast<MemSDNode>(N1)->getMemOperand(); |
| Anton Korobeynikov | cf84ab5 | 2009-11-07 17:15:25 +0000 | [diff] [blame] | 366 | SDValue Ops0[] = { N2, LD->getBasePtr(), LD->getChain() }; |
| 367 | SDNode *ResNode = |
| Craig Topper | 481fb28 | 2014-04-27 19:21:11 +0000 | [diff] [blame] | 368 | CurDAG->SelectNodeTo(Op, Opc, VT, MVT::i16, MVT::Other, Ops0); |
| Chandler Carruth | 66654b7 | 2018-08-14 23:30:32 +0000 | [diff] [blame] | 369 | CurDAG->setNodeMemRefs(cast<MachineSDNode>(ResNode), {MemRef}); |
| Anton Korobeynikov | 4ca8d3a | 2009-11-08 14:27:38 +0000 | [diff] [blame] | 370 | // Transfer chain. |
| 371 | ReplaceUses(SDValue(N1.getNode(), 2), SDValue(ResNode, 2)); |
| 372 | // Transfer writeback. |
| 373 | ReplaceUses(SDValue(N1.getNode(), 1), SDValue(ResNode, 1)); |
| Justin Bogner | 538b188 | 2016-05-13 06:10:50 +0000 | [diff] [blame] | 374 | return true; |
| Anton Korobeynikov | cf84ab5 | 2009-11-07 17:15:25 +0000 | [diff] [blame] | 375 | } |
| 376 | |
| Justin Bogner | 538b188 | 2016-05-13 06:10:50 +0000 | [diff] [blame] | 377 | return false; |
| Anton Korobeynikov | cf84ab5 | 2009-11-07 17:15:25 +0000 | [diff] [blame] | 378 | } |
| 379 | |
| 380 | |
| Justin Bogner | 538b188 | 2016-05-13 06:10:50 +0000 | [diff] [blame] | 381 | void MSP430DAGToDAGISel::Select(SDNode *Node) { |
| Andrew Trick | ef9de2a | 2013-05-25 02:42:55 +0000 | [diff] [blame] | 382 | SDLoc dl(Node); |
| Anton Korobeynikov | 64717bb | 2009-05-03 12:58:58 +0000 | [diff] [blame] | 383 | |
| Anton Korobeynikov | 64717bb | 2009-05-03 12:58:58 +0000 | [diff] [blame] | 384 | // If we have a custom node, we already have selected! |
| 385 | if (Node->isMachineOpcode()) { |
| Nicola Zaghen | d34e60c | 2018-05-14 12:53:11 +0000 | [diff] [blame] | 386 | LLVM_DEBUG(errs() << "== "; Node->dump(CurDAG); errs() << "\n"); |
| Tim Northover | 31d093c | 2013-09-22 08:21:56 +0000 | [diff] [blame] | 387 | Node->setNodeId(-1); |
| Justin Bogner | 538b188 | 2016-05-13 06:10:50 +0000 | [diff] [blame] | 388 | return; |
| Anton Korobeynikov | 64717bb | 2009-05-03 12:58:58 +0000 | [diff] [blame] | 389 | } |
| 390 | |
| Anton Korobeynikov | 7784ae9 | 2009-05-03 13:10:26 +0000 | [diff] [blame] | 391 | // Few custom selection stuff. |
| 392 | switch (Node->getOpcode()) { |
| 393 | default: break; |
| 394 | case ISD::FrameIndex: { |
| Dan Gohman | ea6f91f | 2010-01-05 01:24:18 +0000 | [diff] [blame] | 395 | assert(Node->getValueType(0) == MVT::i16); |
| Anton Korobeynikov | 7784ae9 | 2009-05-03 13:10:26 +0000 | [diff] [blame] | 396 | int FI = cast<FrameIndexSDNode>(Node)->getIndex(); |
| Owen Anderson | 9f94459 | 2009-08-11 20:47:22 +0000 | [diff] [blame] | 397 | SDValue TFI = CurDAG->getTargetFrameIndex(FI, MVT::i16); |
| Justin Bogner | 538b188 | 2016-05-13 06:10:50 +0000 | [diff] [blame] | 398 | if (Node->hasOneUse()) { |
| Vadzim Dambrouski | b07351f | 2017-05-24 15:08:30 +0000 | [diff] [blame] | 399 | CurDAG->SelectNodeTo(Node, MSP430::ADDframe, MVT::i16, TFI, |
| Justin Bogner | 538b188 | 2016-05-13 06:10:50 +0000 | [diff] [blame] | 400 | CurDAG->getTargetConstant(0, dl, MVT::i16)); |
| 401 | return; |
| 402 | } |
| 403 | ReplaceNode(Node, CurDAG->getMachineNode( |
| Vadzim Dambrouski | b07351f | 2017-05-24 15:08:30 +0000 | [diff] [blame] | 404 | MSP430::ADDframe, dl, MVT::i16, TFI, |
| Justin Bogner | 538b188 | 2016-05-13 06:10:50 +0000 | [diff] [blame] | 405 | CurDAG->getTargetConstant(0, dl, MVT::i16))); |
| 406 | return; |
| Anton Korobeynikov | 7784ae9 | 2009-05-03 13:10:26 +0000 | [diff] [blame] | 407 | } |
| Anton Korobeynikov | d3c8319 | 2009-11-07 17:15:06 +0000 | [diff] [blame] | 408 | case ISD::LOAD: |
| Justin Bogner | 538b188 | 2016-05-13 06:10:50 +0000 | [diff] [blame] | 409 | if (tryIndexedLoad(Node)) |
| 410 | return; |
| Anton Korobeynikov | d3c8319 | 2009-11-07 17:15:06 +0000 | [diff] [blame] | 411 | // Other cases are autogenerated. |
| 412 | break; |
| Anton Korobeynikov | 4ca8d3a | 2009-11-08 14:27:38 +0000 | [diff] [blame] | 413 | case ISD::ADD: |
| Justin Bogner | 538b188 | 2016-05-13 06:10:50 +0000 | [diff] [blame] | 414 | if (tryIndexedBinOp(Node, Node->getOperand(0), Node->getOperand(1), |
| Anton Korobeynikov | 49045c6 | 2018-11-15 12:29:43 +0000 | [diff] [blame] | 415 | MSP430::ADD8rp, MSP430::ADD16rp)) |
| Justin Bogner | 538b188 | 2016-05-13 06:10:50 +0000 | [diff] [blame] | 416 | return; |
| 417 | else if (tryIndexedBinOp(Node, Node->getOperand(1), Node->getOperand(0), |
| Anton Korobeynikov | 49045c6 | 2018-11-15 12:29:43 +0000 | [diff] [blame] | 418 | MSP430::ADD8rp, MSP430::ADD16rp)) |
| Justin Bogner | 538b188 | 2016-05-13 06:10:50 +0000 | [diff] [blame] | 419 | return; |
| Anton Korobeynikov | 4ca8d3a | 2009-11-08 14:27:38 +0000 | [diff] [blame] | 420 | |
| 421 | // Other cases are autogenerated. |
| 422 | break; |
| 423 | case ISD::SUB: |
| Justin Bogner | 538b188 | 2016-05-13 06:10:50 +0000 | [diff] [blame] | 424 | if (tryIndexedBinOp(Node, Node->getOperand(0), Node->getOperand(1), |
| Anton Korobeynikov | 49045c6 | 2018-11-15 12:29:43 +0000 | [diff] [blame] | 425 | MSP430::SUB8rp, MSP430::SUB16rp)) |
| Justin Bogner | 538b188 | 2016-05-13 06:10:50 +0000 | [diff] [blame] | 426 | return; |
| Anton Korobeynikov | 4ca8d3a | 2009-11-08 14:27:38 +0000 | [diff] [blame] | 427 | |
| 428 | // Other cases are autogenerated. |
| 429 | break; |
| 430 | case ISD::AND: |
| Justin Bogner | 538b188 | 2016-05-13 06:10:50 +0000 | [diff] [blame] | 431 | if (tryIndexedBinOp(Node, Node->getOperand(0), Node->getOperand(1), |
| Anton Korobeynikov | 49045c6 | 2018-11-15 12:29:43 +0000 | [diff] [blame] | 432 | MSP430::AND8rp, MSP430::AND16rp)) |
| Justin Bogner | 538b188 | 2016-05-13 06:10:50 +0000 | [diff] [blame] | 433 | return; |
| 434 | else if (tryIndexedBinOp(Node, Node->getOperand(1), Node->getOperand(0), |
| Anton Korobeynikov | 49045c6 | 2018-11-15 12:29:43 +0000 | [diff] [blame] | 435 | MSP430::AND8rp, MSP430::AND16rp)) |
| Justin Bogner | 538b188 | 2016-05-13 06:10:50 +0000 | [diff] [blame] | 436 | return; |
| Anton Korobeynikov | 4ca8d3a | 2009-11-08 14:27:38 +0000 | [diff] [blame] | 437 | |
| 438 | // Other cases are autogenerated. |
| 439 | break; |
| 440 | case ISD::OR: |
| Justin Bogner | 538b188 | 2016-05-13 06:10:50 +0000 | [diff] [blame] | 441 | if (tryIndexedBinOp(Node, Node->getOperand(0), Node->getOperand(1), |
| Anton Korobeynikov | 49045c6 | 2018-11-15 12:29:43 +0000 | [diff] [blame] | 442 | MSP430::BIS8rp, MSP430::BIS16rp)) |
| Justin Bogner | 538b188 | 2016-05-13 06:10:50 +0000 | [diff] [blame] | 443 | return; |
| 444 | else if (tryIndexedBinOp(Node, Node->getOperand(1), Node->getOperand(0), |
| Anton Korobeynikov | 49045c6 | 2018-11-15 12:29:43 +0000 | [diff] [blame] | 445 | MSP430::BIS8rp, MSP430::BIS16rp)) |
| Justin Bogner | 538b188 | 2016-05-13 06:10:50 +0000 | [diff] [blame] | 446 | return; |
| Anton Korobeynikov | 4ca8d3a | 2009-11-08 14:27:38 +0000 | [diff] [blame] | 447 | |
| 448 | // Other cases are autogenerated. |
| 449 | break; |
| 450 | case ISD::XOR: |
| Justin Bogner | 538b188 | 2016-05-13 06:10:50 +0000 | [diff] [blame] | 451 | if (tryIndexedBinOp(Node, Node->getOperand(0), Node->getOperand(1), |
| Anton Korobeynikov | 49045c6 | 2018-11-15 12:29:43 +0000 | [diff] [blame] | 452 | MSP430::XOR8rp, MSP430::XOR16rp)) |
| Justin Bogner | 538b188 | 2016-05-13 06:10:50 +0000 | [diff] [blame] | 453 | return; |
| 454 | else if (tryIndexedBinOp(Node, Node->getOperand(1), Node->getOperand(0), |
| Anton Korobeynikov | 49045c6 | 2018-11-15 12:29:43 +0000 | [diff] [blame] | 455 | MSP430::XOR8rp, MSP430::XOR16rp)) |
| Justin Bogner | 538b188 | 2016-05-13 06:10:50 +0000 | [diff] [blame] | 456 | return; |
| Anton Korobeynikov | cf84ab5 | 2009-11-07 17:15:25 +0000 | [diff] [blame] | 457 | |
| 458 | // Other cases are autogenerated. |
| 459 | break; |
| Anton Korobeynikov | 7784ae9 | 2009-05-03 13:10:26 +0000 | [diff] [blame] | 460 | } |
| Anton Korobeynikov | 64717bb | 2009-05-03 12:58:58 +0000 | [diff] [blame] | 461 | |
| 462 | // Select the default instruction |
| Justin Bogner | 538b188 | 2016-05-13 06:10:50 +0000 | [diff] [blame] | 463 | SelectCode(Node); |
| Anton Korobeynikov | 1013800 | 2009-05-03 12:57:15 +0000 | [diff] [blame] | 464 | } |