blob: a603e07b02e4995a2d01ab03a9621416db533450 [file] [log] [blame]
Anton Korobeynikovf2c3e172009-05-03 12:57:15 +00001//===-- 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"
15#include "MSP430ISelLowering.h"
16#include "MSP430TargetMachine.h"
17#include "llvm/DerivedTypes.h"
18#include "llvm/Function.h"
19#include "llvm/Intrinsics.h"
20#include "llvm/CallingConv.h"
21#include "llvm/Constants.h"
22#include "llvm/CodeGen/MachineFrameInfo.h"
23#include "llvm/CodeGen/MachineFunction.h"
24#include "llvm/CodeGen/MachineInstrBuilder.h"
25#include "llvm/CodeGen/MachineRegisterInfo.h"
26#include "llvm/CodeGen/SelectionDAG.h"
27#include "llvm/CodeGen/SelectionDAGISel.h"
28#include "llvm/Target/TargetLowering.h"
29#include "llvm/Support/Compiler.h"
30#include "llvm/Support/Debug.h"
Torok Edwindac237e2009-07-08 20:53:28 +000031#include "llvm/Support/ErrorHandling.h"
32#include "llvm/Support/raw_ostream.h"
Anton Korobeynikovf2c3e172009-05-03 12:57:15 +000033using namespace llvm;
34
35/// MSP430DAGToDAGISel - MSP430 specific code to select MSP430 machine
36/// instructions for SelectionDAG operations.
37///
38namespace {
39 class MSP430DAGToDAGISel : public SelectionDAGISel {
40 MSP430TargetLowering &Lowering;
41 const MSP430Subtarget &Subtarget;
42
43 public:
Anton Korobeynikov60871cb2009-05-03 13:19:42 +000044 MSP430DAGToDAGISel(MSP430TargetMachine &TM, CodeGenOpt::Level OptLevel)
45 : SelectionDAGISel(TM, OptLevel),
Anton Korobeynikovf2c3e172009-05-03 12:57:15 +000046 Lowering(*TM.getTargetLowering()),
47 Subtarget(*TM.getSubtargetImpl()) { }
48
49 virtual void InstructionSelect();
50
51 virtual const char *getPassName() const {
52 return "MSP430 DAG->DAG Pattern Instruction Selection";
53 }
54
Anton Korobeynikov95eb4702009-10-11 19:14:21 +000055 virtual bool
56 SelectInlineAsmMemoryOperand(const SDValue &Op, char ConstraintCode,
57 std::vector<SDValue> &OutOps);
58
Anton Korobeynikovf2c3e172009-05-03 12:57:15 +000059 // Include the pieces autogenerated from the target description.
60 #include "MSP430GenDAGISel.inc"
61
62 private:
63 SDNode *Select(SDValue Op);
Anton Korobeynikovcf14ae52009-05-03 13:09:40 +000064 bool SelectAddr(SDValue Op, SDValue Addr, SDValue &Base, SDValue &Disp);
Anton Korobeynikov43ed64a2009-05-03 12:58:58 +000065
66 #ifndef NDEBUG
67 unsigned Indent;
68 #endif
Anton Korobeynikovf2c3e172009-05-03 12:57:15 +000069 };
70} // end anonymous namespace
71
72/// createMSP430ISelDag - This pass converts a legalized DAG into a
73/// MSP430-specific DAG, ready for instruction scheduling.
74///
Anton Korobeynikov60871cb2009-05-03 13:19:42 +000075FunctionPass *llvm::createMSP430ISelDag(MSP430TargetMachine &TM,
76 CodeGenOpt::Level OptLevel) {
77 return new MSP430DAGToDAGISel(TM, OptLevel);
Anton Korobeynikovf2c3e172009-05-03 12:57:15 +000078}
79
Anton Korobeynikov1deea5f2009-05-03 13:09:10 +000080// FIXME: This is pretty dummy routine and needs to be rewritten in the future.
Anton Korobeynikov36b6e532009-05-03 13:06:03 +000081bool MSP430DAGToDAGISel::SelectAddr(SDValue Op, SDValue Addr,
Anton Korobeynikovcf14ae52009-05-03 13:09:40 +000082 SDValue &Base, SDValue &Disp) {
Anton Korobeynikov82e46c22009-05-03 13:10:11 +000083 // Try to match frame address first.
84 if (FrameIndexSDNode *FIN = dyn_cast<FrameIndexSDNode>(Addr)) {
Owen Anderson825b72b2009-08-11 20:47:22 +000085 Base = CurDAG->getTargetFrameIndex(FIN->getIndex(), MVT::i16);
86 Disp = CurDAG->getTargetConstant(0, MVT::i16);
Anton Korobeynikov82e46c22009-05-03 13:10:11 +000087 return true;
88 }
Anton Korobeynikov36b6e532009-05-03 13:06:03 +000089
Anton Korobeynikov0eb6af42009-05-03 13:08:51 +000090 switch (Addr.getOpcode()) {
91 case ISD::ADD:
Anton Korobeynikovc08163e2009-05-03 13:11:35 +000092 // Operand is a result from ADD with constant operand which fits into i16.
93 if (ConstantSDNode *CN = dyn_cast<ConstantSDNode>(Addr.getOperand(1))) {
Anton Korobeynikov36b6e532009-05-03 13:06:03 +000094 uint64_t CVal = CN->getZExtValue();
95 // Offset should fit into 16 bits.
96 if (((CVal << 48) >> 48) == CVal) {
Anton Korobeynikov82e46c22009-05-03 13:10:11 +000097 SDValue N0 = Addr.getOperand(0);
98 if (FrameIndexSDNode *FIN = dyn_cast<FrameIndexSDNode>(N0))
Owen Anderson825b72b2009-08-11 20:47:22 +000099 Base = CurDAG->getTargetFrameIndex(FIN->getIndex(), MVT::i16);
Anton Korobeynikov82e46c22009-05-03 13:10:11 +0000100 else
101 Base = N0;
Anton Korobeynikov36b6e532009-05-03 13:06:03 +0000102
Owen Anderson825b72b2009-08-11 20:47:22 +0000103 Disp = CurDAG->getTargetConstant(CVal, MVT::i16);
Anton Korobeynikov36b6e532009-05-03 13:06:03 +0000104 return true;
105 }
106 }
Anton Korobeynikov0eb6af42009-05-03 13:08:51 +0000107 break;
108 case MSP430ISD::Wrapper:
109 SDValue N0 = Addr.getOperand(0);
110 if (GlobalAddressSDNode *G = dyn_cast<GlobalAddressSDNode>(N0)) {
Anton Korobeynikovcf14ae52009-05-03 13:09:40 +0000111 Base = CurDAG->getTargetGlobalAddress(G->getGlobal(),
Owen Anderson825b72b2009-08-11 20:47:22 +0000112 MVT::i16, G->getOffset());
113 Disp = CurDAG->getTargetConstant(0, MVT::i16);
Anton Korobeynikov1deea5f2009-05-03 13:09:10 +0000114 return true;
Anton Korobeynikov5d59f682009-05-03 13:14:46 +0000115 } else if (ExternalSymbolSDNode *E = dyn_cast<ExternalSymbolSDNode>(N0)) {
Owen Anderson825b72b2009-08-11 20:47:22 +0000116 Base = CurDAG->getTargetExternalSymbol(E->getSymbol(), MVT::i16);
117 Disp = CurDAG->getTargetConstant(0, MVT::i16);
Anton Korobeynikov0eb6af42009-05-03 13:08:51 +0000118 }
119 break;
120 };
Anton Korobeynikov36b6e532009-05-03 13:06:03 +0000121
Anton Korobeynikovcf14ae52009-05-03 13:09:40 +0000122 Base = Addr;
Owen Anderson825b72b2009-08-11 20:47:22 +0000123 Disp = CurDAG->getTargetConstant(0, MVT::i16);
Anton Korobeynikov36b6e532009-05-03 13:06:03 +0000124
125 return true;
126}
127
128
Anton Korobeynikov95eb4702009-10-11 19:14:21 +0000129bool MSP430DAGToDAGISel::
130SelectInlineAsmMemoryOperand(const SDValue &Op, char ConstraintCode,
131 std::vector<SDValue> &OutOps) {
132 SDValue Op0, Op1;
133 switch (ConstraintCode) {
134 default: return true;
135 case 'm': // memory
136 if (!SelectAddr(Op, Op, Op0, Op1))
137 return true;
138 break;
139 }
140
141 OutOps.push_back(Op0);
142 OutOps.push_back(Op1);
143 return false;
144}
Anton Korobeynikov36b6e532009-05-03 13:06:03 +0000145
Anton Korobeynikovf2c3e172009-05-03 12:57:15 +0000146/// InstructionSelect - This callback is invoked by
147/// SelectionDAGISel when it has created a SelectionDAG for us to codegen.
Anton Korobeynikov9e123392009-05-03 12:58:40 +0000148void MSP430DAGToDAGISel::InstructionSelect() {
Anton Korobeynikovf2c3e172009-05-03 12:57:15 +0000149 DEBUG(BB->dump());
150
Anton Korobeynikovbf8ef3f2009-05-03 13:16:37 +0000151 // Codegen the basic block.
Chris Lattner893e1c92009-08-23 06:49:22 +0000152 DEBUG(errs() << "===== Instruction selection begins:\n");
Daniel Dunbar43ed2672009-08-23 08:50:52 +0000153 DEBUG(Indent = 0);
Anton Korobeynikovf2c3e172009-05-03 12:57:15 +0000154 SelectRoot(*CurDAG);
Chris Lattner893e1c92009-08-23 06:49:22 +0000155 DEBUG(errs() << "===== Instruction selection ends:\n");
Anton Korobeynikovf2c3e172009-05-03 12:57:15 +0000156
157 CurDAG->RemoveDeadNodes();
158}
159
160SDNode *MSP430DAGToDAGISel::Select(SDValue Op) {
Anton Korobeynikov43ed64a2009-05-03 12:58:58 +0000161 SDNode *Node = Op.getNode();
Anton Korobeynikov40477312009-05-03 13:10:26 +0000162 DebugLoc dl = Op.getDebugLoc();
Anton Korobeynikov43ed64a2009-05-03 12:58:58 +0000163
164 // Dump information about the Node being selected
Chris Lattner893e1c92009-08-23 06:49:22 +0000165 DEBUG(errs().indent(Indent) << "Selecting: ");
Anton Korobeynikov43ed64a2009-05-03 12:58:58 +0000166 DEBUG(Node->dump(CurDAG));
Chris Lattner893e1c92009-08-23 06:49:22 +0000167 DEBUG(errs() << "\n");
Daniel Dunbar43ed2672009-08-23 08:50:52 +0000168 DEBUG(Indent += 2);
Anton Korobeynikov43ed64a2009-05-03 12:58:58 +0000169
170 // If we have a custom node, we already have selected!
171 if (Node->isMachineOpcode()) {
Chris Lattner893e1c92009-08-23 06:49:22 +0000172 DEBUG(errs().indent(Indent-2) << "== ";
173 Node->dump(CurDAG);
174 errs() << "\n");
Daniel Dunbar43ed2672009-08-23 08:50:52 +0000175 DEBUG(Indent -= 2);
Anton Korobeynikov43ed64a2009-05-03 12:58:58 +0000176 return NULL;
177 }
178
Anton Korobeynikov40477312009-05-03 13:10:26 +0000179 // Few custom selection stuff.
180 switch (Node->getOpcode()) {
181 default: break;
182 case ISD::FrameIndex: {
Owen Anderson825b72b2009-08-11 20:47:22 +0000183 assert(Op.getValueType() == MVT::i16);
Anton Korobeynikov40477312009-05-03 13:10:26 +0000184 int FI = cast<FrameIndexSDNode>(Node)->getIndex();
Owen Anderson825b72b2009-08-11 20:47:22 +0000185 SDValue TFI = CurDAG->getTargetFrameIndex(FI, MVT::i16);
Anton Korobeynikov40477312009-05-03 13:10:26 +0000186 if (Node->hasOneUse())
Owen Anderson825b72b2009-08-11 20:47:22 +0000187 return CurDAG->SelectNodeTo(Node, MSP430::ADD16ri, MVT::i16,
188 TFI, CurDAG->getTargetConstant(0, MVT::i16));
Dan Gohman602b0c82009-09-25 18:54:59 +0000189 return CurDAG->getMachineNode(MSP430::ADD16ri, dl, MVT::i16,
190 TFI, CurDAG->getTargetConstant(0, MVT::i16));
Anton Korobeynikov40477312009-05-03 13:10:26 +0000191 }
192 }
Anton Korobeynikov43ed64a2009-05-03 12:58:58 +0000193
194 // Select the default instruction
195 SDNode *ResNode = SelectCode(Op);
196
Chris Lattner893e1c92009-08-23 06:49:22 +0000197 DEBUG(errs() << std::string(Indent-2, ' ') << "=> ");
Anton Korobeynikov43ed64a2009-05-03 12:58:58 +0000198 if (ResNode == NULL || ResNode == Op.getNode())
199 DEBUG(Op.getNode()->dump(CurDAG));
200 else
201 DEBUG(ResNode->dump(CurDAG));
Chris Lattner893e1c92009-08-23 06:49:22 +0000202 DEBUG(errs() << "\n");
Daniel Dunbar43ed2672009-08-23 08:50:52 +0000203 DEBUG(Indent -= 2);
Anton Korobeynikov43ed64a2009-05-03 12:58:58 +0000204
205 return ResNode;
Anton Korobeynikovf2c3e172009-05-03 12:57:15 +0000206}