annotate lib/Target/Lanai/LanaiISelDAGToDAG.cpp @ 147:c2174574ed3a

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