Revert "Do materialize for floating point"
[oota-llvm.git] / lib / Target / Mips / MipsFastISel.cpp
1 //===-- MipsastISel.cpp - Mips FastISel implementation
2 //---------------------===//
3
4 #include "llvm/CodeGen/FunctionLoweringInfo.h"
5 #include "llvm/CodeGen/FastISel.h"
6 #include "llvm/CodeGen/MachineInstrBuilder.h"
7 #include "llvm/IR/GlobalAlias.h"
8 #include "llvm/IR/GlobalVariable.h"
9 #include "llvm/Target/TargetInstrInfo.h"
10 #include "llvm/Target/TargetLibraryInfo.h"
11 #include "MipsRegisterInfo.h"
12 #include "MipsISelLowering.h"
13 #include "MipsMachineFunction.h"
14 #include "MipsSubtarget.h"
15 #include "MipsTargetMachine.h"
16
17 using namespace llvm;
18
19 namespace {
20
21 // All possible address modes.
22 typedef struct Address {
23   enum { RegBase, FrameIndexBase } BaseType;
24
25   union {
26     unsigned Reg;
27     int FI;
28   } Base;
29
30   int64_t Offset;
31
32   // Innocuous defaults for our address.
33   Address() : BaseType(RegBase), Offset(0) { Base.Reg = 0; }
34 } Address;
35
36 class MipsFastISel final : public FastISel {
37
38   /// Subtarget - Keep a pointer to the MipsSubtarget around so that we can
39   /// make the right decision when generating code for different targets.
40   Module &M;
41   const TargetMachine &TM;
42   const TargetInstrInfo &TII;
43   const TargetLowering &TLI;
44   const MipsSubtarget &Subtarget;
45   MipsFunctionInfo *MFI;
46
47   // Convenience variables to avoid some queries.
48   LLVMContext *Context;
49
50   bool TargetSupported;
51
52 public:
53   explicit MipsFastISel(FunctionLoweringInfo &funcInfo,
54                         const TargetLibraryInfo *libInfo)
55       : FastISel(funcInfo, libInfo),
56         M(const_cast<Module &>(*funcInfo.Fn->getParent())),
57         TM(funcInfo.MF->getTarget()), TII(*TM.getInstrInfo()),
58         TLI(*TM.getTargetLowering()),
59         Subtarget(TM.getSubtarget<MipsSubtarget>()) {
60     MFI = funcInfo.MF->getInfo<MipsFunctionInfo>();
61     Context = &funcInfo.Fn->getContext();
62     TargetSupported = ((Subtarget.getRelocationModel() == Reloc::PIC_) &&
63                        (Subtarget.hasMips32r2() && (Subtarget.isABI_O32())));
64   }
65
66   bool TargetSelectInstruction(const Instruction *I) override;
67   unsigned TargetMaterializeConstant(const Constant *C) override;
68
69   bool ComputeAddress(const Value *Obj, Address &Addr);
70
71 private:
72   bool EmitStore(MVT VT, unsigned SrcReg, Address &Addr,
73                  unsigned Alignment = 0);
74   bool SelectRet(const Instruction *I);
75   bool SelectStore(const Instruction *I);
76
77   bool isTypeLegal(Type *Ty, MVT &VT);
78   bool isLoadTypeLegal(Type *Ty, MVT &VT);
79
80   unsigned MaterializeFP(const ConstantFP *CFP, MVT VT);
81   unsigned MaterializeGV(const GlobalValue *GV, MVT VT);
82   unsigned MaterializeInt(const Constant *C, MVT VT);
83   unsigned Materialize32BitInt(int64_t Imm, const TargetRegisterClass *RC);
84
85   // for some reason, this default is not generated by tablegen
86   // so we explicitly generate it here.
87   //
88   unsigned FastEmitInst_riir(uint64_t inst, const TargetRegisterClass *RC,
89                              unsigned Op0, bool Op0IsKill, uint64_t imm1,
90                              uint64_t imm2, unsigned Op3, bool Op3IsKill) {
91     return 0;
92   }
93
94   MachineInstrBuilder EmitInst(unsigned Opc) {
95     return BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc, TII.get(Opc));
96   }
97
98   MachineInstrBuilder EmitInst(unsigned Opc, unsigned DstReg) {
99     return BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc, TII.get(Opc),
100                    DstReg);
101   }
102
103   MachineInstrBuilder EmitInstStore(unsigned Opc, unsigned SrcReg,
104                                     unsigned MemReg, int64_t MemOffset) {
105     return EmitInst(Opc).addReg(SrcReg).addReg(MemReg).addImm(MemOffset);
106   }
107
108 #include "MipsGenFastISel.inc"
109 };
110
111 bool MipsFastISel::isTypeLegal(Type *Ty, MVT &VT) {
112   EVT evt = TLI.getValueType(Ty, true);
113   // Only handle simple types.
114   if (evt == MVT::Other || !evt.isSimple())
115     return false;
116   VT = evt.getSimpleVT();
117
118   // Handle all legal types, i.e. a register that will directly hold this
119   // value.
120   return TLI.isTypeLegal(VT);
121 }
122
123 bool MipsFastISel::isLoadTypeLegal(Type *Ty, MVT &VT) {
124   if (isTypeLegal(Ty, VT))
125     return true;
126   // We will extend this in a later patch:
127   //   If this is a type than can be sign or zero-extended to a basic operation
128   //   go ahead and accept it now.
129   return false;
130 }
131
132 bool MipsFastISel::ComputeAddress(const Value *Obj, Address &Addr) {
133   // This construct looks a big awkward but it is how other ports handle this
134   // and as this function is more fully completed, these cases which
135   // return false will have additional code in them.
136   //
137   if (isa<Instruction>(Obj))
138     return false;
139   else if (isa<ConstantExpr>(Obj))
140     return false;
141   Addr.Base.Reg = getRegForValue(Obj);
142   return Addr.Base.Reg != 0;
143 }
144
145 // Materialize a constant into a register, and return the register
146 // number (or zero if we failed to handle it).
147 unsigned MipsFastISel::TargetMaterializeConstant(const Constant *C) {
148   EVT CEVT = TLI.getValueType(C->getType(), true);
149
150   // Only handle simple types.
151   if (!CEVT.isSimple())
152     return 0;
153   MVT VT = CEVT.getSimpleVT();
154
155   if (const ConstantFP *CFP = dyn_cast<ConstantFP>(C))
156     return MaterializeFP(CFP, VT);
157   else if (const GlobalValue *GV = dyn_cast<GlobalValue>(C))
158     return MaterializeGV(GV, VT);
159   else if (isa<ConstantInt>(C))
160     return MaterializeInt(C, VT);
161
162   return 0;
163 }
164
165 bool MipsFastISel::EmitStore(MVT VT, unsigned SrcReg, Address &Addr,
166                              unsigned Alignment) {
167   //
168   // more cases will be handled here in following patches.
169   //
170   if (VT != MVT::i32)
171     return false;
172   EmitInstStore(Mips::SW, SrcReg, Addr.Base.Reg, Addr.Offset);
173   return true;
174 }
175
176 bool MipsFastISel::SelectStore(const Instruction *I) {
177   Value *Op0 = I->getOperand(0);
178   unsigned SrcReg = 0;
179
180   // Atomic stores need special handling.
181   if (cast<StoreInst>(I)->isAtomic())
182     return false;
183
184   // Verify we have a legal type before going any further.
185   MVT VT;
186   if (!isLoadTypeLegal(I->getOperand(0)->getType(), VT))
187     return false;
188
189   // Get the value to be stored into a register.
190   SrcReg = getRegForValue(Op0);
191   if (SrcReg == 0)
192     return false;
193
194   // See if we can handle this address.
195   Address Addr;
196   if (!ComputeAddress(I->getOperand(1), Addr))
197     return false;
198
199   if (!EmitStore(VT, SrcReg, Addr, cast<StoreInst>(I)->getAlignment()))
200     return false;
201   return true;
202 }
203
204 bool MipsFastISel::SelectRet(const Instruction *I) {
205   const ReturnInst *Ret = cast<ReturnInst>(I);
206
207   if (!FuncInfo.CanLowerReturn)
208     return false;
209   if (Ret->getNumOperands() > 0) {
210     return false;
211   }
212   EmitInst(Mips::RetRA);
213   return true;
214 }
215
216 bool MipsFastISel::TargetSelectInstruction(const Instruction *I) {
217   if (!TargetSupported)
218     return false;
219   switch (I->getOpcode()) {
220   default:
221     break;
222   case Instruction::Store:
223     return SelectStore(I);
224   case Instruction::Ret:
225     return SelectRet(I);
226   }
227   return false;
228 }
229 }
230
231 unsigned MipsFastISel::MaterializeFP(const ConstantFP *CFP, MVT VT) {
232   return 0;
233 }
234
235 unsigned MipsFastISel::MaterializeGV(const GlobalValue *GV, MVT VT) {
236   // For now 32-bit only.
237   if (VT != MVT::i32)
238     return 0;
239   const TargetRegisterClass *RC = &Mips::GPR32RegClass;
240   unsigned DestReg = createResultReg(RC);
241   const GlobalVariable *GVar = dyn_cast<GlobalVariable>(GV);
242   bool IsThreadLocal = GVar && GVar->isThreadLocal();
243   // TLS not supported at this time.
244   if (IsThreadLocal)
245     return 0;
246   EmitInst(Mips::LW, DestReg).addReg(MFI->getGlobalBaseReg()).addGlobalAddress(
247       GV, 0, MipsII::MO_GOT);
248   return DestReg;
249 }
250 unsigned MipsFastISel::MaterializeInt(const Constant *C, MVT VT) {
251   if (VT != MVT::i32 && VT != MVT::i16 && VT != MVT::i8 && VT != MVT::i1)
252     return 0;
253   const TargetRegisterClass *RC = &Mips::GPR32RegClass;
254   const ConstantInt *CI = cast<ConstantInt>(C);
255   int64_t Imm;
256   if (CI->isNegative())
257     Imm = CI->getSExtValue();
258   else
259     Imm = CI->getZExtValue();
260   return Materialize32BitInt(Imm, RC);
261 }
262
263 unsigned MipsFastISel::Materialize32BitInt(int64_t Imm,
264                                            const TargetRegisterClass *RC) {
265   unsigned ResultReg = createResultReg(RC);
266
267   if (isInt<16>(Imm)) {
268     unsigned Opc = Mips::ADDiu;
269     EmitInst(Opc, ResultReg).addReg(Mips::ZERO).addImm(Imm);
270     return ResultReg;
271   } else if (isUInt<16>(Imm)) {
272     EmitInst(Mips::ORi, ResultReg).addReg(Mips::ZERO).addImm(Imm);
273     return ResultReg;
274   }
275   unsigned Lo = Imm & 0xFFFF;
276   unsigned Hi = (Imm >> 16) & 0xFFFF;
277   if (Lo) {
278     // Both Lo and Hi have nonzero bits.
279     unsigned TmpReg = createResultReg(RC);
280     EmitInst(Mips::LUi, TmpReg).addImm(Hi);
281     EmitInst(Mips::ORi, ResultReg).addReg(TmpReg).addImm(Lo);
282   } else {
283     EmitInst(Mips::LUi, ResultReg).addImm(Hi);
284   }
285   return ResultReg;
286 }
287
288 namespace llvm {
289 FastISel *Mips::createFastISel(FunctionLoweringInfo &funcInfo,
290                                const TargetLibraryInfo *libInfo) {
291   return new MipsFastISel(funcInfo, libInfo);
292 }
293 }