| Reed Kotler | 720c5ca | 2014-04-17 22:15:34 +0000 | [diff] [blame] | 1 | //===-- MipsastISel.cpp - Mips FastISel implementation | 
|  | 2 | //---------------------===// | 
|  | 3 |  | 
|  | 4 | #include "llvm/CodeGen/FunctionLoweringInfo.h" | 
|  | 5 | #include "llvm/CodeGen/FastISel.h" | 
| Reed Kotler | 67077b3 | 2014-04-29 17:57:50 +0000 | [diff] [blame] | 6 | #include "llvm/CodeGen/MachineInstrBuilder.h" | 
| Reed Kotler | bab3f23 | 2014-05-01 20:39:21 +0000 | [diff] [blame] | 7 | #include "llvm/IR/GlobalAlias.h" | 
|  | 8 | #include "llvm/IR/GlobalVariable.h" | 
| Reed Kotler | 67077b3 | 2014-04-29 17:57:50 +0000 | [diff] [blame] | 9 | #include "llvm/Target/TargetInstrInfo.h" | 
| Reed Kotler | 720c5ca | 2014-04-17 22:15:34 +0000 | [diff] [blame] | 10 | #include "llvm/Target/TargetLibraryInfo.h" | 
| Reed Kotler | bab3f23 | 2014-05-01 20:39:21 +0000 | [diff] [blame] | 11 | #include "MipsRegisterInfo.h" | 
| Reed Kotler | 720c5ca | 2014-04-17 22:15:34 +0000 | [diff] [blame] | 12 | #include "MipsISelLowering.h" | 
| Reed Kotler | 67077b3 | 2014-04-29 17:57:50 +0000 | [diff] [blame] | 13 | #include "MipsMachineFunction.h" | 
|  | 14 | #include "MipsSubtarget.h" | 
| Reed Kotler | 9fe25f3 | 2014-06-08 02:08:43 +0000 | [diff] [blame] | 15 | #include "MipsTargetMachine.h" | 
| Reed Kotler | 720c5ca | 2014-04-17 22:15:34 +0000 | [diff] [blame] | 16 |  | 
|  | 17 | using namespace llvm; | 
|  | 18 |  | 
|  | 19 | namespace { | 
|  | 20 |  | 
| Reed Kotler | bab3f23 | 2014-05-01 20:39:21 +0000 | [diff] [blame] | 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 |  | 
| Reed Kotler | 720c5ca | 2014-04-17 22:15:34 +0000 | [diff] [blame] | 36 | class MipsFastISel final : public FastISel { | 
|  | 37 |  | 
| Reed Kotler | 67077b3 | 2014-04-29 17:57:50 +0000 | [diff] [blame] | 38 | /// Subtarget - Keep a pointer to the MipsSubtarget around so that we can | 
|  | 39 | /// make the right decision when generating code for different targets. | 
| Reed Kotler | 67077b3 | 2014-04-29 17:57:50 +0000 | [diff] [blame] | 40 | Module &M; | 
|  | 41 | const TargetMachine &TM; | 
|  | 42 | const TargetInstrInfo &TII; | 
|  | 43 | const TargetLowering &TLI; | 
| Eric Christopher | 22405e4 | 2014-07-10 17:26:51 +0000 | [diff] [blame] | 44 | const MipsSubtarget *Subtarget; | 
| Reed Kotler | 67077b3 | 2014-04-29 17:57:50 +0000 | [diff] [blame] | 45 | MipsFunctionInfo *MFI; | 
|  | 46 |  | 
|  | 47 | // Convenience variables to avoid some queries. | 
|  | 48 | LLVMContext *Context; | 
|  | 49 |  | 
|  | 50 | bool TargetSupported; | 
|  | 51 |  | 
| Reed Kotler | 720c5ca | 2014-04-17 22:15:34 +0000 | [diff] [blame] | 52 | public: | 
|  | 53 | explicit MipsFastISel(FunctionLoweringInfo &funcInfo, | 
|  | 54 | const TargetLibraryInfo *libInfo) | 
| Reed Kotler | 67077b3 | 2014-04-29 17:57:50 +0000 | [diff] [blame] | 55 | : FastISel(funcInfo, libInfo), | 
|  | 56 | M(const_cast<Module &>(*funcInfo.Fn->getParent())), | 
| Eric Christopher | d913448 | 2014-08-04 21:25:23 +0000 | [diff] [blame] | 57 | TM(funcInfo.MF->getTarget()), | 
|  | 58 | TII(*TM.getSubtargetImpl()->getInstrInfo()), | 
|  | 59 | TLI(*TM.getSubtargetImpl()->getTargetLowering()), | 
| Eric Christopher | 22405e4 | 2014-07-10 17:26:51 +0000 | [diff] [blame] | 60 | Subtarget(&TM.getSubtarget<MipsSubtarget>()) { | 
| Reed Kotler | 67077b3 | 2014-04-29 17:57:50 +0000 | [diff] [blame] | 61 | MFI = funcInfo.MF->getInfo<MipsFunctionInfo>(); | 
|  | 62 | Context = &funcInfo.Fn->getContext(); | 
| Eric Christopher | 22405e4 | 2014-07-10 17:26:51 +0000 | [diff] [blame] | 63 | TargetSupported = ((Subtarget->getRelocationModel() == Reloc::PIC_) && | 
|  | 64 | (Subtarget->hasMips32r2() && (Subtarget->isABI_O32()))); | 
| Reed Kotler | 67077b3 | 2014-04-29 17:57:50 +0000 | [diff] [blame] | 65 | } | 
|  | 66 |  | 
|  | 67 | bool TargetSelectInstruction(const Instruction *I) override; | 
| Reed Kotler | bab3f23 | 2014-05-01 20:39:21 +0000 | [diff] [blame] | 68 | unsigned TargetMaterializeConstant(const Constant *C) override; | 
| Reed Kotler | 67077b3 | 2014-04-29 17:57:50 +0000 | [diff] [blame] | 69 |  | 
| Reed Kotler | bab3f23 | 2014-05-01 20:39:21 +0000 | [diff] [blame] | 70 | bool ComputeAddress(const Value *Obj, Address &Addr); | 
|  | 71 |  | 
|  | 72 | private: | 
| Reed Kotler | 9fe3bfd | 2014-06-16 22:05:47 +0000 | [diff] [blame] | 73 | bool EmitLoad(MVT VT, unsigned &ResultReg, Address &Addr, | 
|  | 74 | unsigned Alignment = 0); | 
| Reed Kotler | bab3f23 | 2014-05-01 20:39:21 +0000 | [diff] [blame] | 75 | bool EmitStore(MVT VT, unsigned SrcReg, Address &Addr, | 
|  | 76 | unsigned Alignment = 0); | 
| Reed Kotler | 9fe3bfd | 2014-06-16 22:05:47 +0000 | [diff] [blame] | 77 | bool SelectLoad(const Instruction *I); | 
| Reed Kotler | 67077b3 | 2014-04-29 17:57:50 +0000 | [diff] [blame] | 78 | bool SelectRet(const Instruction *I); | 
| Reed Kotler | bab3f23 | 2014-05-01 20:39:21 +0000 | [diff] [blame] | 79 | bool SelectStore(const Instruction *I); | 
|  | 80 |  | 
|  | 81 | bool isTypeLegal(Type *Ty, MVT &VT); | 
|  | 82 | bool isLoadTypeLegal(Type *Ty, MVT &VT); | 
|  | 83 |  | 
|  | 84 | unsigned MaterializeFP(const ConstantFP *CFP, MVT VT); | 
|  | 85 | unsigned MaterializeGV(const GlobalValue *GV, MVT VT); | 
|  | 86 | unsigned MaterializeInt(const Constant *C, MVT VT); | 
| Reed Kotler | 6280d97 | 2014-05-15 21:54:15 +0000 | [diff] [blame] | 87 | unsigned Materialize32BitInt(int64_t Imm, const TargetRegisterClass *RC); | 
| Reed Kotler | 9fe25f3 | 2014-06-08 02:08:43 +0000 | [diff] [blame] | 88 |  | 
|  | 89 | // for some reason, this default is not generated by tablegen | 
| Reed Kotler | fb77bc9 | 2014-06-08 03:04:42 +0000 | [diff] [blame] | 90 | // so we explicitly generate it here. | 
| Reed Kotler | 9fe25f3 | 2014-06-08 02:08:43 +0000 | [diff] [blame] | 91 | // | 
|  | 92 | unsigned FastEmitInst_riir(uint64_t inst, const TargetRegisterClass *RC, | 
|  | 93 | unsigned Op0, bool Op0IsKill, uint64_t imm1, | 
|  | 94 | uint64_t imm2, unsigned Op3, bool Op3IsKill) { | 
|  | 95 | return 0; | 
|  | 96 | } | 
|  | 97 |  | 
| Reed Kotler | fb77bc9 | 2014-06-08 03:04:42 +0000 | [diff] [blame] | 98 | MachineInstrBuilder EmitInst(unsigned Opc) { | 
|  | 99 | return BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc, TII.get(Opc)); | 
|  | 100 | } | 
|  | 101 |  | 
|  | 102 | MachineInstrBuilder EmitInst(unsigned Opc, unsigned DstReg) { | 
|  | 103 | return BuildMI(*FuncInfo.MBB, FuncInfo.InsertPt, DbgLoc, TII.get(Opc), | 
|  | 104 | DstReg); | 
|  | 105 | } | 
|  | 106 |  | 
|  | 107 | MachineInstrBuilder EmitInstStore(unsigned Opc, unsigned SrcReg, | 
|  | 108 | unsigned MemReg, int64_t MemOffset) { | 
|  | 109 | return EmitInst(Opc).addReg(SrcReg).addReg(MemReg).addImm(MemOffset); | 
|  | 110 | } | 
|  | 111 |  | 
| Reed Kotler | 9fe3bfd | 2014-06-16 22:05:47 +0000 | [diff] [blame] | 112 | MachineInstrBuilder EmitInstLoad(unsigned Opc, unsigned DstReg, | 
| Reed Kotler | 87048a4 | 2014-08-07 22:09:01 +0000 | [diff] [blame] | 113 | unsigned MemReg, int64_t MemOffset) { | 
| Reed Kotler | 9fe3bfd | 2014-06-16 22:05:47 +0000 | [diff] [blame] | 114 | return EmitInst(Opc, DstReg).addReg(MemReg).addImm(MemOffset); | 
|  | 115 | } | 
|  | 116 |  | 
| Reed Kotler | 9fe25f3 | 2014-06-08 02:08:43 +0000 | [diff] [blame] | 117 | #include "MipsGenFastISel.inc" | 
| Reed Kotler | 720c5ca | 2014-04-17 22:15:34 +0000 | [diff] [blame] | 118 | }; | 
| Reed Kotler | 67077b3 | 2014-04-29 17:57:50 +0000 | [diff] [blame] | 119 |  | 
| Reed Kotler | bab3f23 | 2014-05-01 20:39:21 +0000 | [diff] [blame] | 120 | bool MipsFastISel::isTypeLegal(Type *Ty, MVT &VT) { | 
|  | 121 | EVT evt = TLI.getValueType(Ty, true); | 
|  | 122 | // Only handle simple types. | 
|  | 123 | if (evt == MVT::Other || !evt.isSimple()) | 
|  | 124 | return false; | 
|  | 125 | VT = evt.getSimpleVT(); | 
|  | 126 |  | 
|  | 127 | // Handle all legal types, i.e. a register that will directly hold this | 
|  | 128 | // value. | 
|  | 129 | return TLI.isTypeLegal(VT); | 
|  | 130 | } | 
|  | 131 |  | 
|  | 132 | bool MipsFastISel::isLoadTypeLegal(Type *Ty, MVT &VT) { | 
|  | 133 | if (isTypeLegal(Ty, VT)) | 
|  | 134 | return true; | 
|  | 135 | // We will extend this in a later patch: | 
|  | 136 | //   If this is a type than can be sign or zero-extended to a basic operation | 
|  | 137 | //   go ahead and accept it now. | 
| Reed Kotler | 9fe3bfd | 2014-06-16 22:05:47 +0000 | [diff] [blame] | 138 | if (VT == MVT::i8 || VT == MVT::i16) | 
|  | 139 | return true; | 
| Reed Kotler | bab3f23 | 2014-05-01 20:39:21 +0000 | [diff] [blame] | 140 | return false; | 
|  | 141 | } | 
|  | 142 |  | 
|  | 143 | bool MipsFastISel::ComputeAddress(const Value *Obj, Address &Addr) { | 
|  | 144 | // This construct looks a big awkward but it is how other ports handle this | 
|  | 145 | // and as this function is more fully completed, these cases which | 
|  | 146 | // return false will have additional code in them. | 
|  | 147 | // | 
|  | 148 | if (isa<Instruction>(Obj)) | 
|  | 149 | return false; | 
|  | 150 | else if (isa<ConstantExpr>(Obj)) | 
|  | 151 | return false; | 
|  | 152 | Addr.Base.Reg = getRegForValue(Obj); | 
|  | 153 | return Addr.Base.Reg != 0; | 
|  | 154 | } | 
|  | 155 |  | 
| Reed Kotler | 9fe3bfd | 2014-06-16 22:05:47 +0000 | [diff] [blame] | 156 | bool MipsFastISel::EmitLoad(MVT VT, unsigned &ResultReg, Address &Addr, | 
|  | 157 | unsigned Alignment) { | 
|  | 158 | // | 
|  | 159 | // more cases will be handled here in following patches. | 
|  | 160 | // | 
|  | 161 | unsigned Opc; | 
|  | 162 | switch (VT.SimpleTy) { | 
|  | 163 | case MVT::i32: { | 
|  | 164 | ResultReg = createResultReg(&Mips::GPR32RegClass); | 
|  | 165 | Opc = Mips::LW; | 
|  | 166 | break; | 
|  | 167 | } | 
|  | 168 | case MVT::i16: { | 
|  | 169 | ResultReg = createResultReg(&Mips::GPR32RegClass); | 
|  | 170 | Opc = Mips::LHu; | 
|  | 171 | break; | 
|  | 172 | } | 
|  | 173 | case MVT::i8: { | 
|  | 174 | ResultReg = createResultReg(&Mips::GPR32RegClass); | 
|  | 175 | Opc = Mips::LBu; | 
|  | 176 | break; | 
|  | 177 | } | 
|  | 178 | case MVT::f32: { | 
|  | 179 | ResultReg = createResultReg(&Mips::FGR32RegClass); | 
|  | 180 | Opc = Mips::LWC1; | 
|  | 181 | break; | 
|  | 182 | } | 
|  | 183 | case MVT::f64: { | 
|  | 184 | ResultReg = createResultReg(&Mips::AFGR64RegClass); | 
|  | 185 | Opc = Mips::LDC1; | 
|  | 186 | break; | 
|  | 187 | } | 
|  | 188 | default: | 
|  | 189 | return false; | 
|  | 190 | } | 
|  | 191 | EmitInstLoad(Opc, ResultReg, Addr.Base.Reg, Addr.Offset); | 
|  | 192 | return true; | 
|  | 193 | } | 
|  | 194 |  | 
| Reed Kotler | bab3f23 | 2014-05-01 20:39:21 +0000 | [diff] [blame] | 195 | // Materialize a constant into a register, and return the register | 
|  | 196 | // number (or zero if we failed to handle it). | 
|  | 197 | unsigned MipsFastISel::TargetMaterializeConstant(const Constant *C) { | 
|  | 198 | EVT CEVT = TLI.getValueType(C->getType(), true); | 
|  | 199 |  | 
|  | 200 | // Only handle simple types. | 
|  | 201 | if (!CEVT.isSimple()) | 
|  | 202 | return 0; | 
|  | 203 | MVT VT = CEVT.getSimpleVT(); | 
|  | 204 |  | 
|  | 205 | if (const ConstantFP *CFP = dyn_cast<ConstantFP>(C)) | 
|  | 206 | return MaterializeFP(CFP, VT); | 
|  | 207 | else if (const GlobalValue *GV = dyn_cast<GlobalValue>(C)) | 
|  | 208 | return MaterializeGV(GV, VT); | 
|  | 209 | else if (isa<ConstantInt>(C)) | 
|  | 210 | return MaterializeInt(C, VT); | 
|  | 211 |  | 
|  | 212 | return 0; | 
|  | 213 | } | 
|  | 214 |  | 
|  | 215 | bool MipsFastISel::EmitStore(MVT VT, unsigned SrcReg, Address &Addr, | 
|  | 216 | unsigned Alignment) { | 
|  | 217 | // | 
|  | 218 | // more cases will be handled here in following patches. | 
|  | 219 | // | 
| Reed Kotler | 9fe3bfd | 2014-06-16 22:05:47 +0000 | [diff] [blame] | 220 | unsigned Opc; | 
|  | 221 | switch (VT.SimpleTy) { | 
|  | 222 | case MVT::i8: | 
|  | 223 | Opc = Mips::SB; | 
|  | 224 | break; | 
|  | 225 | case MVT::i16: | 
|  | 226 | Opc = Mips::SH; | 
|  | 227 | break; | 
|  | 228 | case MVT::i32: | 
|  | 229 | Opc = Mips::SW; | 
|  | 230 | break; | 
|  | 231 | case MVT::f32: | 
|  | 232 | Opc = Mips::SWC1; | 
|  | 233 | break; | 
|  | 234 | case MVT::f64: | 
|  | 235 | Opc = Mips::SDC1; | 
|  | 236 | break; | 
|  | 237 | default: | 
| Reed Kotler | bab3f23 | 2014-05-01 20:39:21 +0000 | [diff] [blame] | 238 | return false; | 
| Reed Kotler | 9fe3bfd | 2014-06-16 22:05:47 +0000 | [diff] [blame] | 239 | } | 
|  | 240 | EmitInstStore(Opc, SrcReg, Addr.Base.Reg, Addr.Offset); | 
|  | 241 | return true; | 
|  | 242 | } | 
|  | 243 |  | 
|  | 244 | bool MipsFastISel::SelectLoad(const Instruction *I) { | 
|  | 245 | // Atomic loads need special handling. | 
|  | 246 | if (cast<LoadInst>(I)->isAtomic()) | 
|  | 247 | return false; | 
|  | 248 |  | 
|  | 249 | // Verify we have a legal type before going any further. | 
|  | 250 | MVT VT; | 
|  | 251 | if (!isLoadTypeLegal(I->getType(), VT)) | 
|  | 252 | return false; | 
|  | 253 |  | 
|  | 254 | // See if we can handle this address. | 
|  | 255 | Address Addr; | 
|  | 256 | if (!ComputeAddress(I->getOperand(0), Addr)) | 
|  | 257 | return false; | 
|  | 258 |  | 
|  | 259 | unsigned ResultReg; | 
|  | 260 | if (!EmitLoad(VT, ResultReg, Addr, cast<LoadInst>(I)->getAlignment())) | 
|  | 261 | return false; | 
|  | 262 | UpdateValueMap(I, ResultReg); | 
| Reed Kotler | bab3f23 | 2014-05-01 20:39:21 +0000 | [diff] [blame] | 263 | return true; | 
|  | 264 | } | 
|  | 265 |  | 
|  | 266 | bool MipsFastISel::SelectStore(const Instruction *I) { | 
|  | 267 | Value *Op0 = I->getOperand(0); | 
|  | 268 | unsigned SrcReg = 0; | 
|  | 269 |  | 
|  | 270 | // Atomic stores need special handling. | 
|  | 271 | if (cast<StoreInst>(I)->isAtomic()) | 
|  | 272 | return false; | 
|  | 273 |  | 
|  | 274 | // Verify we have a legal type before going any further. | 
|  | 275 | MVT VT; | 
|  | 276 | if (!isLoadTypeLegal(I->getOperand(0)->getType(), VT)) | 
|  | 277 | return false; | 
|  | 278 |  | 
|  | 279 | // Get the value to be stored into a register. | 
|  | 280 | SrcReg = getRegForValue(Op0); | 
|  | 281 | if (SrcReg == 0) | 
|  | 282 | return false; | 
|  | 283 |  | 
|  | 284 | // See if we can handle this address. | 
|  | 285 | Address Addr; | 
|  | 286 | if (!ComputeAddress(I->getOperand(1), Addr)) | 
|  | 287 | return false; | 
|  | 288 |  | 
|  | 289 | if (!EmitStore(VT, SrcReg, Addr, cast<StoreInst>(I)->getAlignment())) | 
|  | 290 | return false; | 
|  | 291 | return true; | 
|  | 292 | } | 
|  | 293 |  | 
| Reed Kotler | 67077b3 | 2014-04-29 17:57:50 +0000 | [diff] [blame] | 294 | bool MipsFastISel::SelectRet(const Instruction *I) { | 
|  | 295 | const ReturnInst *Ret = cast<ReturnInst>(I); | 
|  | 296 |  | 
|  | 297 | if (!FuncInfo.CanLowerReturn) | 
|  | 298 | return false; | 
|  | 299 | if (Ret->getNumOperands() > 0) { | 
|  | 300 | return false; | 
|  | 301 | } | 
| Reed Kotler | fb77bc9 | 2014-06-08 03:04:42 +0000 | [diff] [blame] | 302 | EmitInst(Mips::RetRA); | 
| Reed Kotler | 67077b3 | 2014-04-29 17:57:50 +0000 | [diff] [blame] | 303 | return true; | 
|  | 304 | } | 
|  | 305 |  | 
|  | 306 | bool MipsFastISel::TargetSelectInstruction(const Instruction *I) { | 
|  | 307 | if (!TargetSupported) | 
|  | 308 | return false; | 
|  | 309 | switch (I->getOpcode()) { | 
|  | 310 | default: | 
|  | 311 | break; | 
| Reed Kotler | 9fe3bfd | 2014-06-16 22:05:47 +0000 | [diff] [blame] | 312 | case Instruction::Load: | 
|  | 313 | return SelectLoad(I); | 
| Reed Kotler | bab3f23 | 2014-05-01 20:39:21 +0000 | [diff] [blame] | 314 | case Instruction::Store: | 
|  | 315 | return SelectStore(I); | 
| Reed Kotler | 67077b3 | 2014-04-29 17:57:50 +0000 | [diff] [blame] | 316 | case Instruction::Ret: | 
|  | 317 | return SelectRet(I); | 
|  | 318 | } | 
|  | 319 | return false; | 
|  | 320 | } | 
| Reed Kotler | 720c5ca | 2014-04-17 22:15:34 +0000 | [diff] [blame] | 321 | } | 
|  | 322 |  | 
| Reed Kotler | bab3f23 | 2014-05-01 20:39:21 +0000 | [diff] [blame] | 323 | unsigned MipsFastISel::MaterializeFP(const ConstantFP *CFP, MVT VT) { | 
| Reed Kotler | 063d4fb | 2014-06-10 16:45:44 +0000 | [diff] [blame] | 324 | int64_t Imm = CFP->getValueAPF().bitcastToAPInt().getZExtValue(); | 
|  | 325 | if (VT == MVT::f32) { | 
|  | 326 | const TargetRegisterClass *RC = &Mips::FGR32RegClass; | 
|  | 327 | unsigned DestReg = createResultReg(RC); | 
|  | 328 | unsigned TempReg = Materialize32BitInt(Imm, &Mips::GPR32RegClass); | 
|  | 329 | EmitInst(Mips::MTC1, DestReg).addReg(TempReg); | 
|  | 330 | return DestReg; | 
|  | 331 | } else if (VT == MVT::f64) { | 
|  | 332 | const TargetRegisterClass *RC = &Mips::AFGR64RegClass; | 
|  | 333 | unsigned DestReg = createResultReg(RC); | 
|  | 334 | unsigned TempReg1 = Materialize32BitInt(Imm >> 32, &Mips::GPR32RegClass); | 
|  | 335 | unsigned TempReg2 = | 
|  | 336 | Materialize32BitInt(Imm & 0xFFFFFFFF, &Mips::GPR32RegClass); | 
|  | 337 | EmitInst(Mips::BuildPairF64, DestReg).addReg(TempReg2).addReg(TempReg1); | 
|  | 338 | return DestReg; | 
|  | 339 | } | 
| Reed Kotler | bab3f23 | 2014-05-01 20:39:21 +0000 | [diff] [blame] | 340 | return 0; | 
|  | 341 | } | 
|  | 342 |  | 
|  | 343 | unsigned MipsFastISel::MaterializeGV(const GlobalValue *GV, MVT VT) { | 
|  | 344 | // For now 32-bit only. | 
|  | 345 | if (VT != MVT::i32) | 
|  | 346 | return 0; | 
|  | 347 | const TargetRegisterClass *RC = &Mips::GPR32RegClass; | 
|  | 348 | unsigned DestReg = createResultReg(RC); | 
|  | 349 | const GlobalVariable *GVar = dyn_cast<GlobalVariable>(GV); | 
|  | 350 | bool IsThreadLocal = GVar && GVar->isThreadLocal(); | 
|  | 351 | // TLS not supported at this time. | 
|  | 352 | if (IsThreadLocal) | 
|  | 353 | return 0; | 
| Reed Kotler | fb77bc9 | 2014-06-08 03:04:42 +0000 | [diff] [blame] | 354 | EmitInst(Mips::LW, DestReg).addReg(MFI->getGlobalBaseReg()).addGlobalAddress( | 
|  | 355 | GV, 0, MipsII::MO_GOT); | 
| Reed Kotler | 87048a4 | 2014-08-07 22:09:01 +0000 | [diff] [blame] | 356 | if ((GV->hasInternalLinkage() || | 
|  | 357 | (GV->hasLocalLinkage() && !isa<Function>(GV)))) { | 
|  | 358 | unsigned TempReg = createResultReg(RC); | 
|  | 359 | EmitInst(Mips::ADDiu, TempReg).addReg(DestReg).addGlobalAddress( | 
|  | 360 | GV, 0, MipsII::MO_ABS_LO); | 
|  | 361 | DestReg = TempReg; | 
|  | 362 | } | 
| Reed Kotler | bab3f23 | 2014-05-01 20:39:21 +0000 | [diff] [blame] | 363 | return DestReg; | 
|  | 364 | } | 
| Reed Kotler | 87048a4 | 2014-08-07 22:09:01 +0000 | [diff] [blame] | 365 |  | 
| Reed Kotler | bab3f23 | 2014-05-01 20:39:21 +0000 | [diff] [blame] | 366 | unsigned MipsFastISel::MaterializeInt(const Constant *C, MVT VT) { | 
| Reed Kotler | 6280d97 | 2014-05-15 21:54:15 +0000 | [diff] [blame] | 367 | if (VT != MVT::i32 && VT != MVT::i16 && VT != MVT::i8 && VT != MVT::i1) | 
| Reed Kotler | bab3f23 | 2014-05-01 20:39:21 +0000 | [diff] [blame] | 368 | return 0; | 
|  | 369 | const TargetRegisterClass *RC = &Mips::GPR32RegClass; | 
| Reed Kotler | bab3f23 | 2014-05-01 20:39:21 +0000 | [diff] [blame] | 370 | const ConstantInt *CI = cast<ConstantInt>(C); | 
| Reed Kotler | 6280d97 | 2014-05-15 21:54:15 +0000 | [diff] [blame] | 371 | int64_t Imm; | 
| Reed Kotler | 87048a4 | 2014-08-07 22:09:01 +0000 | [diff] [blame] | 372 | if ((VT != MVT::i1) && CI->isNegative()) | 
| Reed Kotler | 6280d97 | 2014-05-15 21:54:15 +0000 | [diff] [blame] | 373 | Imm = CI->getSExtValue(); | 
|  | 374 | else | 
|  | 375 | Imm = CI->getZExtValue(); | 
|  | 376 | return Materialize32BitInt(Imm, RC); | 
|  | 377 | } | 
|  | 378 |  | 
|  | 379 | unsigned MipsFastISel::Materialize32BitInt(int64_t Imm, | 
|  | 380 | const TargetRegisterClass *RC) { | 
|  | 381 | unsigned ResultReg = createResultReg(RC); | 
|  | 382 |  | 
|  | 383 | if (isInt<16>(Imm)) { | 
| Reed Kotler | bab3f23 | 2014-05-01 20:39:21 +0000 | [diff] [blame] | 384 | unsigned Opc = Mips::ADDiu; | 
| Reed Kotler | fb77bc9 | 2014-06-08 03:04:42 +0000 | [diff] [blame] | 385 | EmitInst(Opc, ResultReg).addReg(Mips::ZERO).addImm(Imm); | 
| Reed Kotler | 6280d97 | 2014-05-15 21:54:15 +0000 | [diff] [blame] | 386 | return ResultReg; | 
|  | 387 | } else if (isUInt<16>(Imm)) { | 
| Reed Kotler | fb77bc9 | 2014-06-08 03:04:42 +0000 | [diff] [blame] | 388 | EmitInst(Mips::ORi, ResultReg).addReg(Mips::ZERO).addImm(Imm); | 
| Reed Kotler | 6280d97 | 2014-05-15 21:54:15 +0000 | [diff] [blame] | 389 | return ResultReg; | 
| Reed Kotler | bab3f23 | 2014-05-01 20:39:21 +0000 | [diff] [blame] | 390 | } | 
| Reed Kotler | 6280d97 | 2014-05-15 21:54:15 +0000 | [diff] [blame] | 391 | unsigned Lo = Imm & 0xFFFF; | 
|  | 392 | unsigned Hi = (Imm >> 16) & 0xFFFF; | 
|  | 393 | if (Lo) { | 
|  | 394 | // Both Lo and Hi have nonzero bits. | 
|  | 395 | unsigned TmpReg = createResultReg(RC); | 
| Reed Kotler | fb77bc9 | 2014-06-08 03:04:42 +0000 | [diff] [blame] | 396 | EmitInst(Mips::LUi, TmpReg).addImm(Hi); | 
|  | 397 | EmitInst(Mips::ORi, ResultReg).addReg(TmpReg).addImm(Lo); | 
| Reed Kotler | 6280d97 | 2014-05-15 21:54:15 +0000 | [diff] [blame] | 398 | } else { | 
| Reed Kotler | fb77bc9 | 2014-06-08 03:04:42 +0000 | [diff] [blame] | 399 | EmitInst(Mips::LUi, ResultReg).addImm(Hi); | 
| Reed Kotler | 6280d97 | 2014-05-15 21:54:15 +0000 | [diff] [blame] | 400 | } | 
|  | 401 | return ResultReg; | 
| Reed Kotler | bab3f23 | 2014-05-01 20:39:21 +0000 | [diff] [blame] | 402 | } | 
|  | 403 |  | 
| Reed Kotler | 720c5ca | 2014-04-17 22:15:34 +0000 | [diff] [blame] | 404 | namespace llvm { | 
|  | 405 | FastISel *Mips::createFastISel(FunctionLoweringInfo &funcInfo, | 
|  | 406 | const TargetLibraryInfo *libInfo) { | 
|  | 407 | return new MipsFastISel(funcInfo, libInfo); | 
|  | 408 | } | 
|  | 409 | } |