blob: 2b75b42aa4e029764837784eb9a281ca5bf07c78 [file] [log] [blame]
Rafael Espindola7bc59bc2006-05-14 22:18:28 +00001//===-- ARMISelDAGToDAG.cpp - A dag to dag inst selector for ARM ----------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file was developed by Chris Lattner and is distributed under
6// the University of Illinois Open Source License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file defines an instruction selector for the ARM target.
11//
12//===----------------------------------------------------------------------===//
13
14#include "ARM.h"
15#include "ARMTargetMachine.h"
16#include "llvm/DerivedTypes.h"
17#include "llvm/Function.h"
18#include "llvm/Intrinsics.h"
19#include "llvm/CodeGen/MachineFrameInfo.h"
20#include "llvm/CodeGen/MachineFunction.h"
21#include "llvm/CodeGen/MachineInstrBuilder.h"
22#include "llvm/CodeGen/SelectionDAG.h"
23#include "llvm/CodeGen/SelectionDAGISel.h"
24#include "llvm/CodeGen/SSARegMap.h"
25#include "llvm/Target/TargetLowering.h"
26#include "llvm/Support/Debug.h"
27#include <iostream>
28#include <set>
29using namespace llvm;
30
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000031namespace {
32 class ARMTargetLowering : public TargetLowering {
33 public:
34 ARMTargetLowering(TargetMachine &TM);
35 virtual SDOperand LowerOperation(SDOperand Op, SelectionDAG &DAG);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000036 };
37
38}
39
40ARMTargetLowering::ARMTargetLowering(TargetMachine &TM)
41 : TargetLowering(TM) {
42 setOperationAction(ISD::RET, MVT::Other, Custom);
43}
44
Rafael Espindolac3c1a862006-05-25 11:00:18 +000045static SDOperand LowerCALL(SDOperand Op, SelectionDAG &DAG) {
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000046 assert(0 && "Not implemented");
Rafael Espindola1c8f0532006-05-15 22:34:39 +000047 abort();
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000048}
49
50static SDOperand LowerRET(SDOperand Op, SelectionDAG &DAG) {
51 SDOperand Copy;
Rafael Espindola4b023672006-06-05 22:26:14 +000052 SDOperand Chain = Op.getOperand(0);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000053 switch(Op.getNumOperands()) {
54 default:
55 assert(0 && "Do not know how to return this many arguments!");
56 abort();
Rafael Espindola4b023672006-06-05 22:26:14 +000057 case 1: {
58 SDOperand LR = DAG.getRegister(ARM::R14, MVT::i32);
59 return DAG.getNode(ISD::BRIND, MVT::Other, Chain, LR);
60 }
Evan Cheng6848be12006-05-26 23:10:12 +000061 case 3:
Rafael Espindola4b023672006-06-05 22:26:14 +000062 Copy = DAG.getCopyToReg(Chain, ARM::R0, Op.getOperand(1), SDOperand());
63 if (DAG.getMachineFunction().liveout_empty())
64 DAG.getMachineFunction().addLiveOut(ARM::R0);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000065 break;
66 }
Rafael Espindola4b023672006-06-05 22:26:14 +000067
Rafael Espindola85ede372006-05-30 17:33:19 +000068 SDOperand LR = DAG.getRegister(ARM::R14, MVT::i32);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000069
Rafael Espindola4b023672006-06-05 22:26:14 +000070 //bug: the copy and branch should be linked with a flag so that the
71 //scheduller can't move an instruction that destroys R0 in between them
72 //return DAG.getNode(ISD::BRIND, MVT::Other, Copy, LR, Copy.getValue(1));
73
Rafael Espindola85ede372006-05-30 17:33:19 +000074 return DAG.getNode(ISD::BRIND, MVT::Other, Copy, LR);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +000075}
76
Rafael Espindola337c4ad62006-06-12 12:28:08 +000077static SDOperand LowerFORMAL_ARGUMENT(SDOperand Op, SelectionDAG &DAG,
78 unsigned ArgNo) {
Rafael Espindola4b442b52006-05-23 02:48:20 +000079 MachineFunction &MF = DAG.getMachineFunction();
Rafael Espindola337c4ad62006-06-12 12:28:08 +000080 MVT::ValueType ObjectVT = Op.getValue(ArgNo).getValueType();
81 assert (ObjectVT == MVT::i32);
Rafael Espindola4b442b52006-05-23 02:48:20 +000082 SDOperand Root = Op.getOperand(0);
Rafael Espindola337c4ad62006-06-12 12:28:08 +000083 SSARegMap *RegMap = MF.getSSARegMap();
Rafael Espindola4b442b52006-05-23 02:48:20 +000084
Rafael Espindola4b442b52006-05-23 02:48:20 +000085 unsigned num_regs = 4;
Rafael Espindola4b442b52006-05-23 02:48:20 +000086 static const unsigned REGS[] = {
87 ARM::R0, ARM::R1, ARM::R2, ARM::R3
88 };
89
Rafael Espindola337c4ad62006-06-12 12:28:08 +000090 if(ArgNo < num_regs) {
Rafael Espindola4b442b52006-05-23 02:48:20 +000091 unsigned VReg = RegMap->createVirtualRegister(&ARM::IntRegsRegClass);
Rafael Espindola337c4ad62006-06-12 12:28:08 +000092 MF.addLiveIn(REGS[ArgNo], VReg);
93 return DAG.getCopyFromReg(Root, VReg, MVT::i32);
94 } else {
95 // If the argument is actually used, emit a load from the right stack
96 // slot.
97 if (!Op.Val->hasNUsesOfValue(0, ArgNo)) {
Rafael Espindolaaefe1422006-07-10 01:41:35 +000098 unsigned ArgOffset = (ArgNo - num_regs) * 4;
Rafael Espindola337c4ad62006-06-12 12:28:08 +000099
100 MachineFrameInfo *MFI = MF.getFrameInfo();
101 unsigned ObjSize = MVT::getSizeInBits(ObjectVT)/8;
102 int FI = MFI->CreateFixedObject(ObjSize, ArgOffset);
103 SDOperand FIN = DAG.getFrameIndex(FI, MVT::i32);
104 return DAG.getLoad(ObjectVT, Root, FIN,
105 DAG.getSrcValue(NULL));
106 } else {
107 // Don't emit a dead load.
108 return DAG.getNode(ISD::UNDEF, ObjectVT);
109 }
110 }
111}
112
113static SDOperand LowerFORMAL_ARGUMENTS(SDOperand Op, SelectionDAG &DAG) {
114 std::vector<SDOperand> ArgValues;
115 SDOperand Root = Op.getOperand(0);
116
117 for (unsigned ArgNo = 0, e = Op.Val->getNumValues()-1; ArgNo != e; ++ArgNo) {
118 SDOperand ArgVal = LowerFORMAL_ARGUMENT(Op, DAG, ArgNo);
Rafael Espindola4b442b52006-05-23 02:48:20 +0000119
120 ArgValues.push_back(ArgVal);
121 }
122
123 bool isVarArg = cast<ConstantSDNode>(Op.getOperand(2))->getValue() != 0;
124 assert(!isVarArg);
125
126 ArgValues.push_back(Root);
127
128 // Return the new list of results.
129 std::vector<MVT::ValueType> RetVT(Op.Val->value_begin(),
130 Op.Val->value_end());
131 return DAG.getNode(ISD::MERGE_VALUES, RetVT, ArgValues);
Rafael Espindoladc124a22006-05-18 21:45:49 +0000132}
133
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000134SDOperand ARMTargetLowering::LowerOperation(SDOperand Op, SelectionDAG &DAG) {
135 switch (Op.getOpcode()) {
136 default:
137 assert(0 && "Should not custom lower this!");
Rafael Espindola1c8f0532006-05-15 22:34:39 +0000138 abort();
Rafael Espindoladc124a22006-05-18 21:45:49 +0000139 case ISD::FORMAL_ARGUMENTS:
140 return LowerFORMAL_ARGUMENTS(Op, DAG);
Rafael Espindolac3c1a862006-05-25 11:00:18 +0000141 case ISD::CALL:
142 return LowerCALL(Op, DAG);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000143 case ISD::RET:
144 return LowerRET(Op, DAG);
145 }
146}
147
148//===----------------------------------------------------------------------===//
149// Instruction Selector Implementation
150//===----------------------------------------------------------------------===//
151
152//===--------------------------------------------------------------------===//
153/// ARMDAGToDAGISel - ARM specific code to select ARM machine
154/// instructions for SelectionDAG operations.
155///
156namespace {
157class ARMDAGToDAGISel : public SelectionDAGISel {
158 ARMTargetLowering Lowering;
159
160public:
161 ARMDAGToDAGISel(TargetMachine &TM)
162 : SelectionDAGISel(Lowering), Lowering(TM) {
163 }
164
165 void Select(SDOperand &Result, SDOperand Op);
166 virtual void InstructionSelectBasicBlock(SelectionDAG &DAG);
Rafael Espindolaa4e64352006-07-11 11:36:48 +0000167 bool SelectAddrRegImm(SDOperand N, SDOperand &Offset, SDOperand &Base);
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000168
169 // Include the pieces autogenerated from the target description.
170#include "ARMGenDAGISel.inc"
171};
172
173void ARMDAGToDAGISel::InstructionSelectBasicBlock(SelectionDAG &DAG) {
174 DEBUG(BB->dump());
175
176 DAG.setRoot(SelectRoot(DAG.getRoot()));
Evan Cheng6a3d5a62006-05-25 00:24:28 +0000177 assert(InFlightSet.empty() && "ISel InFlightSet has not been emptied!");
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000178 CodeGenMap.clear();
Evan Chengafe358e2006-05-24 20:46:25 +0000179 HandleMap.clear();
180 ReplaceMap.clear();
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000181 DAG.RemoveDeadNodes();
182
183 ScheduleAndEmitDAG(DAG);
184}
185
Rafael Espindolaa4e64352006-07-11 11:36:48 +0000186//register plus/minus 12 bit offset
187bool ARMDAGToDAGISel::SelectAddrRegImm(SDOperand N, SDOperand &Offset,
188 SDOperand &Base) {
189 Offset = CurDAG->getTargetConstant(0, MVT::i32);
Rafael Espindolaaefe1422006-07-10 01:41:35 +0000190 if (FrameIndexSDNode *FI = dyn_cast<FrameIndexSDNode>(N)) {
191 Base = CurDAG->getTargetFrameIndex(FI->getIndex(), N.getValueType());
192 }
193 else
194 Base = N;
195 return true; //any address fits in a register
Rafael Espindola337c4ad62006-06-12 12:28:08 +0000196}
197
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000198void ARMDAGToDAGISel::Select(SDOperand &Result, SDOperand Op) {
Rafael Espindola337c4ad62006-06-12 12:28:08 +0000199 SDNode *N = Op.Val;
200
201 switch (N->getOpcode()) {
202 default:
203 SelectCode(Result, Op);
204 break;
Rafael Espindola337c4ad62006-06-12 12:28:08 +0000205 }
Rafael Espindola7bc59bc2006-05-14 22:18:28 +0000206}
207
208} // end anonymous namespace
209
210/// createARMISelDag - This pass converts a legalized DAG into a
211/// ARM-specific DAG, ready for instruction scheduling.
212///
213FunctionPass *llvm::createARMISelDag(TargetMachine &TM) {
214 return new ARMDAGToDAGISel(TM);
215}