annotate lib/Target/Lanai/LanaiISelDAGToDAG.cpp @ 120:1172e4bd9c6f

update 4.0.0
author mir3636
date Fri, 25 Nov 2016 19:14:25 +0900
parents
children 803732b1fca8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
120
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
1 //===-- LanaiISelDAGToDAG.cpp - A dag to dag inst selector for Lanai ------===//
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
2 //
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
3 // The LLVM Compiler Infrastructure
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
4 //
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
5 // This file is distributed under the University of Illinois Open Source
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
6 // License. See LICENSE.TXT for details.
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
7 //
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
8 //===----------------------------------------------------------------------===//
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
9 //
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
10 // This file defines an instruction selector for the Lanai target.
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
11 //
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
12 //===----------------------------------------------------------------------===//
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
13
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
14 #include "Lanai.h"
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
15 #include "LanaiMachineFunctionInfo.h"
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
16 #include "LanaiRegisterInfo.h"
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
17 #include "LanaiSubtarget.h"
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
18 #include "LanaiTargetMachine.h"
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
19 #include "llvm/CodeGen/MachineConstantPool.h"
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
20 #include "llvm/CodeGen/MachineFrameInfo.h"
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
21 #include "llvm/CodeGen/MachineFunction.h"
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
22 #include "llvm/CodeGen/MachineInstrBuilder.h"
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
23 #include "llvm/CodeGen/MachineRegisterInfo.h"
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
24 #include "llvm/CodeGen/SelectionDAGISel.h"
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
25 #include "llvm/IR/CFG.h"
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
26 #include "llvm/IR/GlobalValue.h"
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
27 #include "llvm/IR/Instructions.h"
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
28 #include "llvm/IR/Intrinsics.h"
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
29 #include "llvm/IR/Type.h"
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
30 #include "llvm/Support/Debug.h"
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
31 #include "llvm/Support/ErrorHandling.h"
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
32 #include "llvm/Support/raw_ostream.h"
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
33 #include "llvm/Target/TargetMachine.h"
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
34
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
35 using namespace llvm;
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
36
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
37 #define DEBUG_TYPE "lanai-isel"
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
38
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
39 //===----------------------------------------------------------------------===//
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
40 // Instruction Selector Implementation
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
41 //===----------------------------------------------------------------------===//
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
42
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
43 //===----------------------------------------------------------------------===//
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
44 // LanaiDAGToDAGISel - Lanai specific code to select Lanai machine
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
45 // instructions for SelectionDAG operations.
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
46 //===----------------------------------------------------------------------===//
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
47 namespace {
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
48
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
49 class LanaiDAGToDAGISel : public SelectionDAGISel {
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
50 public:
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
51 explicit LanaiDAGToDAGISel(LanaiTargetMachine &TargetMachine)
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
52 : SelectionDAGISel(TargetMachine) {}
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
53
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
54 bool runOnMachineFunction(MachineFunction &MF) override {
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
55 return SelectionDAGISel::runOnMachineFunction(MF);
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
56 }
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
57
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
58 // Pass Name
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
59 StringRef getPassName() const override {
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
60 return "Lanai DAG->DAG Pattern Instruction Selection";
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
61 }
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
62
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
63 bool SelectInlineAsmMemoryOperand(const SDValue &Op, unsigned ConstraintCode,
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
64 std::vector<SDValue> &OutOps) override;
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
65
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
66 private:
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
67 // Include the pieces autogenerated from the target description.
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
68 #include "LanaiGenDAGISel.inc"
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
69
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
70 // Instruction Selection not handled by the auto-generated tablgen
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
71 void Select(SDNode *N) override;
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
72
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
73 // Support functions for the opcodes of Instruction Selection
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
74 // not handled by the auto-generated tablgen
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
75 void selectFrameIndex(SDNode *N);
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
76
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
77 // Complex Pattern for address selection.
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
78 bool selectAddrRi(SDValue Addr, SDValue &Base, SDValue &Offset,
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
79 SDValue &AluOp);
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
80 bool selectAddrRr(SDValue Addr, SDValue &R1, SDValue &R2, SDValue &AluOp);
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
81 bool selectAddrSls(SDValue Addr, SDValue &Offset);
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
82 bool selectAddrSpls(SDValue Addr, SDValue &Base, SDValue &Offset,
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
83 SDValue &AluOp);
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
84
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
85 // getI32Imm - Return a target constant with the specified value, of type i32.
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
86 inline SDValue getI32Imm(unsigned Imm, const SDLoc &DL) {
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
87 return CurDAG->getTargetConstant(Imm, DL, MVT::i32);
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
88 }
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
89
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
90 private:
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
91 bool selectAddrRiSpls(SDValue Addr, SDValue &Base, SDValue &Offset,
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
92 SDValue &AluOp, bool RiMode);
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
93 };
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
94
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
95 bool canBeRepresentedAsSls(const ConstantSDNode &CN) {
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
96 // Fits in 21-bit signed immediate and two low-order bits are zero.
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
97 return isInt<21>(CN.getSExtValue()) && ((CN.getSExtValue() & 0x3) == 0);
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
98 }
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
99
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
100 } // namespace
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
101
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
102 // Helper functions for ComplexPattern used on LanaiInstrInfo
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
103 // Used on Lanai Load/Store instructions.
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
104 bool LanaiDAGToDAGISel::selectAddrSls(SDValue Addr, SDValue &Offset) {
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
105 if (ConstantSDNode *CN = dyn_cast<ConstantSDNode>(Addr)) {
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
106 SDLoc DL(Addr);
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
107 // Loading from a constant address.
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
108 if (canBeRepresentedAsSls(*CN)) {
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
109 int32_t Imm = CN->getSExtValue();
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
110 Offset = CurDAG->getTargetConstant(Imm, DL, CN->getValueType(0));
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
111 return true;
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
112 }
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
113 }
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
114 if (Addr.getOpcode() == ISD::OR &&
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
115 Addr.getOperand(1).getOpcode() == LanaiISD::SMALL) {
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
116 Offset = Addr.getOperand(1).getOperand(0);
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
117 return true;
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
118 }
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
119 return false;
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
120 }
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
121
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
122 bool LanaiDAGToDAGISel::selectAddrRiSpls(SDValue Addr, SDValue &Base,
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
123 SDValue &Offset, SDValue &AluOp,
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
124 bool RiMode) {
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
125 SDLoc DL(Addr);
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
126
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
127 if (ConstantSDNode *CN = dyn_cast<ConstantSDNode>(Addr)) {
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
128 if (RiMode) {
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
129 // Fits in 16-bit signed immediate.
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
130 if (isInt<16>(CN->getSExtValue())) {
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
131 int16_t Imm = CN->getSExtValue();
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
132 Offset = CurDAG->getTargetConstant(Imm, DL, CN->getValueType(0));
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
133 Base = CurDAG->getRegister(Lanai::R0, CN->getValueType(0));
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
134 AluOp = CurDAG->getTargetConstant(LPAC::ADD, DL, MVT::i32);
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
135 return true;
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
136 }
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
137 // Allow SLS to match if the constant doesn't fit in 16 bits but can be
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
138 // represented as an SLS.
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
139 if (canBeRepresentedAsSls(*CN))
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
140 return false;
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
141 } else {
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
142 // Fits in 10-bit signed immediate.
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
143 if (isInt<10>(CN->getSExtValue())) {
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
144 int16_t Imm = CN->getSExtValue();
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
145 Offset = CurDAG->getTargetConstant(Imm, DL, CN->getValueType(0));
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
146 Base = CurDAG->getRegister(Lanai::R0, CN->getValueType(0));
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
147 AluOp = CurDAG->getTargetConstant(LPAC::ADD, DL, MVT::i32);
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
148 return true;
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
149 }
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
150 }
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
151 }
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
152
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
153 // if Address is FI, get the TargetFrameIndex.
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
154 if (FrameIndexSDNode *FIN = dyn_cast<FrameIndexSDNode>(Addr)) {
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
155 Base = CurDAG->getTargetFrameIndex(
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
156 FIN->getIndex(),
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
157 getTargetLowering()->getPointerTy(CurDAG->getDataLayout()));
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
158 Offset = CurDAG->getTargetConstant(0, DL, MVT::i32);
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
159 AluOp = CurDAG->getTargetConstant(LPAC::ADD, DL, MVT::i32);
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
160 return true;
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
161 }
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
162
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
163 // Skip direct calls
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
164 if ((Addr.getOpcode() == ISD::TargetExternalSymbol ||
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
165 Addr.getOpcode() == ISD::TargetGlobalAddress))
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
166 return false;
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
167
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
168 // Address of the form imm + reg
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
169 ISD::NodeType AluOperator = static_cast<ISD::NodeType>(Addr.getOpcode());
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
170 if (AluOperator == ISD::ADD) {
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
171 AluOp = CurDAG->getTargetConstant(LPAC::ADD, DL, MVT::i32);
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
172 // Addresses of the form FI+const
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
173 if (ConstantSDNode *CN = dyn_cast<ConstantSDNode>(Addr.getOperand(1)))
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
174 if ((RiMode && isInt<16>(CN->getSExtValue())) ||
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
175 (!RiMode && isInt<10>(CN->getSExtValue()))) {
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
176 // If the first operand is a FI, get the TargetFI Node
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
177 if (FrameIndexSDNode *FIN =
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
178 dyn_cast<FrameIndexSDNode>(Addr.getOperand(0))) {
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
179 Base = CurDAG->getTargetFrameIndex(
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
180 FIN->getIndex(),
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
181 getTargetLowering()->getPointerTy(CurDAG->getDataLayout()));
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
182 } else {
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
183 Base = Addr.getOperand(0);
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
184 }
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
185
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
186 Offset = CurDAG->getTargetConstant(CN->getSExtValue(), DL, MVT::i32);
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
187 return true;
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
188 }
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
189 }
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
190
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
191 // Let SLS match SMALL instead of RI.
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
192 if (AluOperator == ISD::OR && RiMode &&
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
193 Addr.getOperand(1).getOpcode() == LanaiISD::SMALL)
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
194 return false;
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
195
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
196 Base = Addr;
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
197 Offset = CurDAG->getTargetConstant(0, DL, MVT::i32);
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
198 AluOp = CurDAG->getTargetConstant(LPAC::ADD, DL, MVT::i32);
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
199 return true;
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
200 }
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
201
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
202 bool LanaiDAGToDAGISel::selectAddrRi(SDValue Addr, SDValue &Base,
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
203 SDValue &Offset, SDValue &AluOp) {
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
204 return selectAddrRiSpls(Addr, Base, Offset, AluOp, /*RiMode=*/true);
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
205 }
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
206
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
207 bool LanaiDAGToDAGISel::selectAddrSpls(SDValue Addr, SDValue &Base,
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
208 SDValue &Offset, SDValue &AluOp) {
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
209 return selectAddrRiSpls(Addr, Base, Offset, AluOp, /*RiMode=*/false);
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
210 }
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
211
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
212 bool LanaiDAGToDAGISel::selectAddrRr(SDValue Addr, SDValue &R1, SDValue &R2,
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
213 SDValue &AluOp) {
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
214 // if Address is FI, get the TargetFrameIndex.
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
215 if (Addr.getOpcode() == ISD::FrameIndex)
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
216 return false;
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
217
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
218 // Skip direct calls
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
219 if ((Addr.getOpcode() == ISD::TargetExternalSymbol ||
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
220 Addr.getOpcode() == ISD::TargetGlobalAddress))
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
221 return false;
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
222
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
223 // Address of the form OP + OP
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
224 ISD::NodeType AluOperator = static_cast<ISD::NodeType>(Addr.getOpcode());
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
225 LPAC::AluCode AluCode = LPAC::isdToLanaiAluCode(AluOperator);
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
226 if (AluCode != LPAC::UNKNOWN) {
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
227 // Skip addresses of the form FI OP const
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
228 if (ConstantSDNode *CN = dyn_cast<ConstantSDNode>(Addr.getOperand(1)))
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
229 if (isInt<16>(CN->getSExtValue()))
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
230 return false;
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
231
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
232 // Skip addresses with hi/lo operands
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
233 if (Addr.getOperand(0).getOpcode() == LanaiISD::HI ||
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
234 Addr.getOperand(0).getOpcode() == LanaiISD::LO ||
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
235 Addr.getOperand(0).getOpcode() == LanaiISD::SMALL ||
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
236 Addr.getOperand(1).getOpcode() == LanaiISD::HI ||
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
237 Addr.getOperand(1).getOpcode() == LanaiISD::LO ||
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
238 Addr.getOperand(1).getOpcode() == LanaiISD::SMALL)
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
239 return false;
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
240
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
241 // Addresses of the form register OP register
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
242 R1 = Addr.getOperand(0);
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
243 R2 = Addr.getOperand(1);
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
244 AluOp = CurDAG->getTargetConstant(AluCode, SDLoc(Addr), MVT::i32);
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
245 return true;
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
246 }
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
247
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
248 // Skip addresses with zero offset
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
249 return false;
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
250 }
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
251
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
252 bool LanaiDAGToDAGISel::SelectInlineAsmMemoryOperand(
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
253 const SDValue &Op, unsigned ConstraintCode, std::vector<SDValue> &OutOps) {
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
254 SDValue Op0, Op1, AluOp;
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
255 switch (ConstraintCode) {
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
256 default:
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
257 return true;
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
258 case InlineAsm::Constraint_m: // memory
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
259 if (!selectAddrRr(Op, Op0, Op1, AluOp) &&
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
260 !selectAddrRi(Op, Op0, Op1, AluOp))
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
261 return true;
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
262 break;
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
263 }
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
264
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
265 OutOps.push_back(Op0);
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
266 OutOps.push_back(Op1);
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
267 OutOps.push_back(AluOp);
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
268 return false;
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
269 }
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
270
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
271 // Select instructions not customized! Used for
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
272 // expanded, promoted and normal instructions
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
273 void LanaiDAGToDAGISel::Select(SDNode *Node) {
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
274 unsigned Opcode = Node->getOpcode();
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
275
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
276 // Dump information about the Node being selected
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
277 DEBUG(errs() << "Selecting: "; Node->dump(CurDAG); errs() << "\n");
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
278
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
279 // If we have a custom node, we already have selected!
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
280 if (Node->isMachineOpcode()) {
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
281 DEBUG(errs() << "== "; Node->dump(CurDAG); errs() << "\n");
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
282 return;
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
283 }
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
284
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
285 // Instruction Selection not handled by the auto-generated
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
286 // tablegen selection should be handled here.
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
287 switch (Opcode) {
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
288 case ISD::FrameIndex:
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
289 selectFrameIndex(Node);
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
290 return;
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
291 default:
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
292 break;
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
293 }
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
294
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
295 // Select the default instruction
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
296 SelectCode(Node);
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
297 }
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
298
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
299 void LanaiDAGToDAGISel::selectFrameIndex(SDNode *Node) {
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
300 SDLoc DL(Node);
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
301 SDValue Imm = CurDAG->getTargetConstant(0, DL, MVT::i32);
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
302 int FI = dyn_cast<FrameIndexSDNode>(Node)->getIndex();
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
303 EVT VT = Node->getValueType(0);
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
304 SDValue TFI = CurDAG->getTargetFrameIndex(FI, VT);
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
305 unsigned Opc = Lanai::ADD_I_LO;
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
306 if (Node->hasOneUse()) {
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
307 CurDAG->SelectNodeTo(Node, Opc, VT, TFI, Imm);
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
308 return;
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
309 }
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
310 ReplaceNode(Node, CurDAG->getMachineNode(Opc, DL, VT, TFI, Imm));
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
311 }
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
312
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
313 // createLanaiISelDag - This pass converts a legalized DAG into a
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
314 // Lanai-specific DAG, ready for instruction scheduling.
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
315 FunctionPass *llvm::createLanaiISelDag(LanaiTargetMachine &TM) {
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
316 return new LanaiDAGToDAGISel(TM);
1172e4bd9c6f update 4.0.0
mir3636
parents:
diff changeset
317 }