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