1 //===-- MipsSEInstrInfo.cpp - Mips32/64 Instruction Information -----------===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is distributed under the University of Illinois Open Source 6 // License. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 // 10 // This file contains the Mips32/64 implementation of the TargetInstrInfo class. 11 // 12 //===----------------------------------------------------------------------===// 13 14 #include "MipsSEInstrInfo.h" 15 #include "InstPrinter/MipsInstPrinter.h" 16 #include "MipsMachineFunction.h" 17 #include "MipsTargetMachine.h" 18 #include "llvm/ADT/STLExtras.h" 19 #include "llvm/CodeGen/MachineInstrBuilder.h" 20 #include "llvm/CodeGen/MachineRegisterInfo.h" 21 #include "llvm/Support/CommandLine.h" 22 #include "llvm/Support/ErrorHandling.h" 23 #include "llvm/Support/TargetRegistry.h" 24 25 using namespace llvm; 26 27 MipsSEInstrInfo::MipsSEInstrInfo(const MipsSubtarget &STI) 28 : MipsInstrInfo(STI, STI.getRelocationModel() == Reloc::PIC_ ? Mips::B 29 : Mips::J), 30 RI(STI), IsN64(STI.isABI_N64()) {} 31 32 const MipsRegisterInfo &MipsSEInstrInfo::getRegisterInfo() const { 33 return RI; 34 } 35 36 /// isLoadFromStackSlot - If the specified machine instruction is a direct 37 /// load from a stack slot, return the virtual or physical register number of 38 /// the destination along with the FrameIndex of the loaded stack slot. If 39 /// not, return 0. This predicate must return 0 if the instruction has 40 /// any side effects other than loading from the stack slot. 41 unsigned MipsSEInstrInfo:: 42 isLoadFromStackSlot(const MachineInstr *MI, int &FrameIndex) const 43 { 44 unsigned Opc = MI->getOpcode(); 45 46 if ((Opc == Mips::LW) || (Opc == Mips::LD) || 47 (Opc == Mips::LWC1) || (Opc == Mips::LDC1) || (Opc == Mips::LDC164)) { 48 if ((MI->getOperand(1).isFI()) && // is a stack slot 49 (MI->getOperand(2).isImm()) && // the imm is zero 50 (isZeroImm(MI->getOperand(2)))) { 51 FrameIndex = MI->getOperand(1).getIndex(); 52 return MI->getOperand(0).getReg(); 53 } 54 } 55 56 return 0; 57 } 58 59 /// isStoreToStackSlot - If the specified machine instruction is a direct 60 /// store to a stack slot, return the virtual or physical register number of 61 /// the source reg along with the FrameIndex of the loaded stack slot. If 62 /// not, return 0. This predicate must return 0 if the instruction has 63 /// any side effects other than storing to the stack slot. 64 unsigned MipsSEInstrInfo:: 65 isStoreToStackSlot(const MachineInstr *MI, int &FrameIndex) const 66 { 67 unsigned Opc = MI->getOpcode(); 68 69 if ((Opc == Mips::SW) || (Opc == Mips::SD) || 70 (Opc == Mips::SWC1) || (Opc == Mips::SDC1) || (Opc == Mips::SDC164)) { 71 if ((MI->getOperand(1).isFI()) && // is a stack slot 72 (MI->getOperand(2).isImm()) && // the imm is zero 73 (isZeroImm(MI->getOperand(2)))) { 74 FrameIndex = MI->getOperand(1).getIndex(); 75 return MI->getOperand(0).getReg(); 76 } 77 } 78 return 0; 79 } 80 81 void MipsSEInstrInfo::copyPhysReg(MachineBasicBlock &MBB, 82 MachineBasicBlock::iterator I, DebugLoc DL, 83 unsigned DestReg, unsigned SrcReg, 84 bool KillSrc) const { 85 unsigned Opc = 0, ZeroReg = 0; 86 bool isMicroMips = Subtarget.inMicroMipsMode(); 87 88 if (Mips::GPR32RegClass.contains(DestReg)) { // Copy to CPU Reg. 89 if (Mips::GPR32RegClass.contains(SrcReg)) { 90 if (isMicroMips) 91 Opc = Mips::MOVE16_MM; 92 else 93 Opc = Mips::ADDu, ZeroReg = Mips::ZERO; 94 } else if (Mips::CCRRegClass.contains(SrcReg)) 95 Opc = Mips::CFC1; 96 else if (Mips::FGR32RegClass.contains(SrcReg)) 97 Opc = Mips::MFC1; 98 else if (Mips::HI32RegClass.contains(SrcReg)) { 99 Opc = isMicroMips ? Mips::MFHI16_MM : Mips::MFHI; 100 SrcReg = 0; 101 } else if (Mips::LO32RegClass.contains(SrcReg)) { 102 Opc = isMicroMips ? Mips::MFLO16_MM : Mips::MFLO; 103 SrcReg = 0; 104 } else if (Mips::HI32DSPRegClass.contains(SrcReg)) 105 Opc = Mips::MFHI_DSP; 106 else if (Mips::LO32DSPRegClass.contains(SrcReg)) 107 Opc = Mips::MFLO_DSP; 108 else if (Mips::DSPCCRegClass.contains(SrcReg)) { 109 BuildMI(MBB, I, DL, get(Mips::RDDSP), DestReg).addImm(1 << 4) 110 .addReg(SrcReg, RegState::Implicit | getKillRegState(KillSrc)); 111 return; 112 } 113 else if (Mips::MSACtrlRegClass.contains(SrcReg)) 114 Opc = Mips::CFCMSA; 115 } 116 else if (Mips::GPR32RegClass.contains(SrcReg)) { // Copy from CPU Reg. 117 if (Mips::CCRRegClass.contains(DestReg)) 118 Opc = Mips::CTC1; 119 else if (Mips::FGR32RegClass.contains(DestReg)) 120 Opc = Mips::MTC1; 121 else if (Mips::HI32RegClass.contains(DestReg)) 122 Opc = Mips::MTHI, DestReg = 0; 123 else if (Mips::LO32RegClass.contains(DestReg)) 124 Opc = Mips::MTLO, DestReg = 0; 125 else if (Mips::HI32DSPRegClass.contains(DestReg)) 126 Opc = Mips::MTHI_DSP; 127 else if (Mips::LO32DSPRegClass.contains(DestReg)) 128 Opc = Mips::MTLO_DSP; 129 else if (Mips::DSPCCRegClass.contains(DestReg)) { 130 BuildMI(MBB, I, DL, get(Mips::WRDSP)) 131 .addReg(SrcReg, getKillRegState(KillSrc)).addImm(1 << 4) 132 .addReg(DestReg, RegState::ImplicitDefine); 133 return; 134 } 135 else if (Mips::MSACtrlRegClass.contains(DestReg)) 136 Opc = Mips::CTCMSA; 137 } 138 else if (Mips::FGR32RegClass.contains(DestReg, SrcReg)) 139 Opc = Mips::FMOV_S; 140 else if (Mips::AFGR64RegClass.contains(DestReg, SrcReg)) 141 Opc = Mips::FMOV_D32; 142 else if (Mips::FGR64RegClass.contains(DestReg, SrcReg)) 143 Opc = Mips::FMOV_D64; 144 else if (Mips::GPR64RegClass.contains(DestReg)) { // Copy to CPU64 Reg. 145 if (Mips::GPR64RegClass.contains(SrcReg)) 146 Opc = Mips::DADDu, ZeroReg = Mips::ZERO_64; 147 else if (Mips::HI64RegClass.contains(SrcReg)) 148 Opc = Mips::MFHI64, SrcReg = 0; 149 else if (Mips::LO64RegClass.contains(SrcReg)) 150 Opc = Mips::MFLO64, SrcReg = 0; 151 else if (Mips::FGR64RegClass.contains(SrcReg)) 152 Opc = Mips::DMFC1; 153 } 154 else if (Mips::GPR64RegClass.contains(SrcReg)) { // Copy from CPU64 Reg. 155 if (Mips::HI64RegClass.contains(DestReg)) 156 Opc = Mips::MTHI64, DestReg = 0; 157 else if (Mips::LO64RegClass.contains(DestReg)) 158 Opc = Mips::MTLO64, DestReg = 0; 159 else if (Mips::FGR64RegClass.contains(DestReg)) 160 Opc = Mips::DMTC1; 161 } 162 else if (Mips::MSA128BRegClass.contains(DestReg)) { // Copy to MSA reg 163 if (Mips::MSA128BRegClass.contains(SrcReg)) 164 Opc = Mips::MOVE_V; 165 } 166 167 assert(Opc && "Cannot copy registers"); 168 169 MachineInstrBuilder MIB = BuildMI(MBB, I, DL, get(Opc)); 170 171 if (DestReg) 172 MIB.addReg(DestReg, RegState::Define); 173 174 if (SrcReg) 175 MIB.addReg(SrcReg, getKillRegState(KillSrc)); 176 177 if (ZeroReg) 178 MIB.addReg(ZeroReg); 179 } 180 181 void MipsSEInstrInfo:: 182 storeRegToStack(MachineBasicBlock &MBB, MachineBasicBlock::iterator I, 183 unsigned SrcReg, bool isKill, int FI, 184 const TargetRegisterClass *RC, const TargetRegisterInfo *TRI, 185 int64_t Offset) const { 186 DebugLoc DL; 187 if (I != MBB.end()) DL = I->getDebugLoc(); 188 MachineMemOperand *MMO = GetMemOperand(MBB, FI, MachineMemOperand::MOStore); 189 190 unsigned Opc = 0; 191 192 if (Mips::GPR32RegClass.hasSubClassEq(RC)) 193 Opc = Mips::SW; 194 else if (Mips::GPR64RegClass.hasSubClassEq(RC)) 195 Opc = Mips::SD; 196 else if (Mips::ACC64RegClass.hasSubClassEq(RC)) 197 Opc = Mips::STORE_ACC64; 198 else if (Mips::ACC64DSPRegClass.hasSubClassEq(RC)) 199 Opc = Mips::STORE_ACC64DSP; 200 else if (Mips::ACC128RegClass.hasSubClassEq(RC)) 201 Opc = Mips::STORE_ACC128; 202 else if (Mips::DSPCCRegClass.hasSubClassEq(RC)) 203 Opc = Mips::STORE_CCOND_DSP; 204 else if (Mips::FGR32RegClass.hasSubClassEq(RC)) 205 Opc = Mips::SWC1; 206 else if (Mips::AFGR64RegClass.hasSubClassEq(RC)) 207 Opc = Mips::SDC1; 208 else if (Mips::FGR64RegClass.hasSubClassEq(RC)) 209 Opc = Mips::SDC164; 210 else if (RC->hasType(MVT::v16i8)) 211 Opc = Mips::ST_B; 212 else if (RC->hasType(MVT::v8i16) || RC->hasType(MVT::v8f16)) 213 Opc = Mips::ST_H; 214 else if (RC->hasType(MVT::v4i32) || RC->hasType(MVT::v4f32)) 215 Opc = Mips::ST_W; 216 else if (RC->hasType(MVT::v2i64) || RC->hasType(MVT::v2f64)) 217 Opc = Mips::ST_D; 218 219 assert(Opc && "Register class not handled!"); 220 BuildMI(MBB, I, DL, get(Opc)).addReg(SrcReg, getKillRegState(isKill)) 221 .addFrameIndex(FI).addImm(Offset).addMemOperand(MMO); 222 } 223 224 void MipsSEInstrInfo:: 225 loadRegFromStack(MachineBasicBlock &MBB, MachineBasicBlock::iterator I, 226 unsigned DestReg, int FI, const TargetRegisterClass *RC, 227 const TargetRegisterInfo *TRI, int64_t Offset) const { 228 DebugLoc DL; 229 if (I != MBB.end()) DL = I->getDebugLoc(); 230 MachineMemOperand *MMO = GetMemOperand(MBB, FI, MachineMemOperand::MOLoad); 231 unsigned Opc = 0; 232 233 if (Mips::GPR32RegClass.hasSubClassEq(RC)) 234 Opc = Mips::LW; 235 else if (Mips::GPR64RegClass.hasSubClassEq(RC)) 236 Opc = Mips::LD; 237 else if (Mips::ACC64RegClass.hasSubClassEq(RC)) 238 Opc = Mips::LOAD_ACC64; 239 else if (Mips::ACC64DSPRegClass.hasSubClassEq(RC)) 240 Opc = Mips::LOAD_ACC64DSP; 241 else if (Mips::ACC128RegClass.hasSubClassEq(RC)) 242 Opc = Mips::LOAD_ACC128; 243 else if (Mips::DSPCCRegClass.hasSubClassEq(RC)) 244 Opc = Mips::LOAD_CCOND_DSP; 245 else if (Mips::FGR32RegClass.hasSubClassEq(RC)) 246 Opc = Mips::LWC1; 247 else if (Mips::AFGR64RegClass.hasSubClassEq(RC)) 248 Opc = Mips::LDC1; 249 else if (Mips::FGR64RegClass.hasSubClassEq(RC)) 250 Opc = Mips::LDC164; 251 else if (RC->hasType(MVT::v16i8)) 252 Opc = Mips::LD_B; 253 else if (RC->hasType(MVT::v8i16) || RC->hasType(MVT::v8f16)) 254 Opc = Mips::LD_H; 255 else if (RC->hasType(MVT::v4i32) || RC->hasType(MVT::v4f32)) 256 Opc = Mips::LD_W; 257 else if (RC->hasType(MVT::v2i64) || RC->hasType(MVT::v2f64)) 258 Opc = Mips::LD_D; 259 260 assert(Opc && "Register class not handled!"); 261 BuildMI(MBB, I, DL, get(Opc), DestReg).addFrameIndex(FI).addImm(Offset) 262 .addMemOperand(MMO); 263 } 264 265 bool MipsSEInstrInfo::expandPostRAPseudo(MachineBasicBlock::iterator MI) const { 266 MachineBasicBlock &MBB = *MI->getParent(); 267 bool isMicroMips = Subtarget.inMicroMipsMode(); 268 unsigned Opc; 269 270 switch(MI->getDesc().getOpcode()) { 271 default: 272 return false; 273 case Mips::RetRA: 274 expandRetRA(MBB, MI); 275 break; 276 case Mips::PseudoMFHI: 277 Opc = isMicroMips ? Mips::MFHI16_MM : Mips::MFHI; 278 expandPseudoMFHiLo(MBB, MI, Opc); 279 break; 280 case Mips::PseudoMFLO: 281 Opc = isMicroMips ? Mips::MFLO16_MM : Mips::MFLO; 282 expandPseudoMFHiLo(MBB, MI, Opc); 283 break; 284 case Mips::PseudoMFHI64: 285 expandPseudoMFHiLo(MBB, MI, Mips::MFHI64); 286 break; 287 case Mips::PseudoMFLO64: 288 expandPseudoMFHiLo(MBB, MI, Mips::MFLO64); 289 break; 290 case Mips::PseudoMTLOHI: 291 expandPseudoMTLoHi(MBB, MI, Mips::MTLO, Mips::MTHI, false); 292 break; 293 case Mips::PseudoMTLOHI64: 294 expandPseudoMTLoHi(MBB, MI, Mips::MTLO64, Mips::MTHI64, false); 295 break; 296 case Mips::PseudoMTLOHI_DSP: 297 expandPseudoMTLoHi(MBB, MI, Mips::MTLO_DSP, Mips::MTHI_DSP, true); 298 break; 299 case Mips::PseudoCVT_S_W: 300 expandCvtFPInt(MBB, MI, Mips::CVT_S_W, Mips::MTC1, false); 301 break; 302 case Mips::PseudoCVT_D32_W: 303 expandCvtFPInt(MBB, MI, Mips::CVT_D32_W, Mips::MTC1, false); 304 break; 305 case Mips::PseudoCVT_S_L: 306 expandCvtFPInt(MBB, MI, Mips::CVT_S_L, Mips::DMTC1, true); 307 break; 308 case Mips::PseudoCVT_D64_W: 309 expandCvtFPInt(MBB, MI, Mips::CVT_D64_W, Mips::MTC1, true); 310 break; 311 case Mips::PseudoCVT_D64_L: 312 expandCvtFPInt(MBB, MI, Mips::CVT_D64_L, Mips::DMTC1, true); 313 break; 314 case Mips::BuildPairF64: 315 expandBuildPairF64(MBB, MI, false); 316 break; 317 case Mips::BuildPairF64_64: 318 expandBuildPairF64(MBB, MI, true); 319 break; 320 case Mips::ExtractElementF64: 321 expandExtractElementF64(MBB, MI, false); 322 break; 323 case Mips::ExtractElementF64_64: 324 expandExtractElementF64(MBB, MI, true); 325 break; 326 case Mips::MIPSeh_return32: 327 case Mips::MIPSeh_return64: 328 expandEhReturn(MBB, MI); 329 break; 330 } 331 332 MBB.erase(MI); 333 return true; 334 } 335 336 /// getOppositeBranchOpc - Return the inverse of the specified 337 /// opcode, e.g. turning BEQ to BNE. 338 unsigned MipsSEInstrInfo::getOppositeBranchOpc(unsigned Opc) const { 339 switch (Opc) { 340 default: llvm_unreachable("Illegal opcode!"); 341 case Mips::BEQ: return Mips::BNE; 342 case Mips::BNE: return Mips::BEQ; 343 case Mips::BGTZ: return Mips::BLEZ; 344 case Mips::BGEZ: return Mips::BLTZ; 345 case Mips::BLTZ: return Mips::BGEZ; 346 case Mips::BLEZ: return Mips::BGTZ; 347 case Mips::BEQ64: return Mips::BNE64; 348 case Mips::BNE64: return Mips::BEQ64; 349 case Mips::BGTZ64: return Mips::BLEZ64; 350 case Mips::BGEZ64: return Mips::BLTZ64; 351 case Mips::BLTZ64: return Mips::BGEZ64; 352 case Mips::BLEZ64: return Mips::BGTZ64; 353 case Mips::BC1T: return Mips::BC1F; 354 case Mips::BC1F: return Mips::BC1T; 355 } 356 } 357 358 /// Adjust SP by Amount bytes. 359 void MipsSEInstrInfo::adjustStackPtr(unsigned SP, int64_t Amount, 360 MachineBasicBlock &MBB, 361 MachineBasicBlock::iterator I) const { 362 const MipsSubtarget &STI = Subtarget; 363 DebugLoc DL = I != MBB.end() ? I->getDebugLoc() : DebugLoc(); 364 unsigned ADDu = STI.isABI_N64() ? Mips::DADDu : Mips::ADDu; 365 unsigned ADDiu = STI.isABI_N64() ? Mips::DADDiu : Mips::ADDiu; 366 367 if (isInt<16>(Amount))// addi sp, sp, amount 368 BuildMI(MBB, I, DL, get(ADDiu), SP).addReg(SP).addImm(Amount); 369 else { // Expand immediate that doesn't fit in 16-bit. 370 unsigned Reg = loadImmediate(Amount, MBB, I, DL, nullptr); 371 BuildMI(MBB, I, DL, get(ADDu), SP).addReg(SP).addReg(Reg, RegState::Kill); 372 } 373 } 374 375 /// This function generates the sequence of instructions needed to get the 376 /// result of adding register REG and immediate IMM. 377 unsigned 378 MipsSEInstrInfo::loadImmediate(int64_t Imm, MachineBasicBlock &MBB, 379 MachineBasicBlock::iterator II, DebugLoc DL, 380 unsigned *NewImm) const { 381 MipsAnalyzeImmediate AnalyzeImm; 382 const MipsSubtarget &STI = Subtarget; 383 MachineRegisterInfo &RegInfo = MBB.getParent()->getRegInfo(); 384 unsigned Size = STI.isABI_N64() ? 64 : 32; 385 unsigned LUi = STI.isABI_N64() ? Mips::LUi64 : Mips::LUi; 386 unsigned ZEROReg = STI.isABI_N64() ? Mips::ZERO_64 : Mips::ZERO; 387 const TargetRegisterClass *RC = STI.isABI_N64() ? 388 &Mips::GPR64RegClass : &Mips::GPR32RegClass; 389 bool LastInstrIsADDiu = NewImm; 390 391 const MipsAnalyzeImmediate::InstSeq &Seq = 392 AnalyzeImm.Analyze(Imm, Size, LastInstrIsADDiu); 393 MipsAnalyzeImmediate::InstSeq::const_iterator Inst = Seq.begin(); 394 395 assert(Seq.size() && (!LastInstrIsADDiu || (Seq.size() > 1))); 396 397 // The first instruction can be a LUi, which is different from other 398 // instructions (ADDiu, ORI and SLL) in that it does not have a register 399 // operand. 400 unsigned Reg = RegInfo.createVirtualRegister(RC); 401 402 if (Inst->Opc == LUi) 403 BuildMI(MBB, II, DL, get(LUi), Reg).addImm(SignExtend64<16>(Inst->ImmOpnd)); 404 else 405 BuildMI(MBB, II, DL, get(Inst->Opc), Reg).addReg(ZEROReg) 406 .addImm(SignExtend64<16>(Inst->ImmOpnd)); 407 408 // Build the remaining instructions in Seq. 409 for (++Inst; Inst != Seq.end() - LastInstrIsADDiu; ++Inst) 410 BuildMI(MBB, II, DL, get(Inst->Opc), Reg).addReg(Reg, RegState::Kill) 411 .addImm(SignExtend64<16>(Inst->ImmOpnd)); 412 413 if (LastInstrIsADDiu) 414 *NewImm = Inst->ImmOpnd; 415 416 return Reg; 417 } 418 419 unsigned MipsSEInstrInfo::getAnalyzableBrOpc(unsigned Opc) const { 420 return (Opc == Mips::BEQ || Opc == Mips::BNE || Opc == Mips::BGTZ || 421 Opc == Mips::BGEZ || Opc == Mips::BLTZ || Opc == Mips::BLEZ || 422 Opc == Mips::BEQ64 || Opc == Mips::BNE64 || Opc == Mips::BGTZ64 || 423 Opc == Mips::BGEZ64 || Opc == Mips::BLTZ64 || Opc == Mips::BLEZ64 || 424 Opc == Mips::BC1T || Opc == Mips::BC1F || Opc == Mips::B || 425 Opc == Mips::J) ? 426 Opc : 0; 427 } 428 429 void MipsSEInstrInfo::expandRetRA(MachineBasicBlock &MBB, 430 MachineBasicBlock::iterator I) const { 431 if (Subtarget.isGP64bit()) 432 BuildMI(MBB, I, I->getDebugLoc(), get(Mips::PseudoReturn64)) 433 .addReg(Mips::RA_64); 434 else 435 BuildMI(MBB, I, I->getDebugLoc(), get(Mips::PseudoReturn)).addReg(Mips::RA); 436 } 437 438 std::pair<bool, bool> 439 MipsSEInstrInfo::compareOpndSize(unsigned Opc, 440 const MachineFunction &MF) const { 441 const MCInstrDesc &Desc = get(Opc); 442 assert(Desc.NumOperands == 2 && "Unary instruction expected."); 443 const MipsRegisterInfo *RI = &getRegisterInfo(); 444 unsigned DstRegSize = getRegClass(Desc, 0, RI, MF)->getSize(); 445 unsigned SrcRegSize = getRegClass(Desc, 1, RI, MF)->getSize(); 446 447 return std::make_pair(DstRegSize > SrcRegSize, DstRegSize < SrcRegSize); 448 } 449 450 void MipsSEInstrInfo::expandPseudoMFHiLo(MachineBasicBlock &MBB, 451 MachineBasicBlock::iterator I, 452 unsigned NewOpc) const { 453 BuildMI(MBB, I, I->getDebugLoc(), get(NewOpc), I->getOperand(0).getReg()); 454 } 455 456 void MipsSEInstrInfo::expandPseudoMTLoHi(MachineBasicBlock &MBB, 457 MachineBasicBlock::iterator I, 458 unsigned LoOpc, 459 unsigned HiOpc, 460 bool HasExplicitDef) const { 461 // Expand 462 // lo_hi pseudomtlohi $gpr0, $gpr1 463 // to these two instructions: 464 // mtlo $gpr0 465 // mthi $gpr1 466 467 DebugLoc DL = I->getDebugLoc(); 468 const MachineOperand &SrcLo = I->getOperand(1), &SrcHi = I->getOperand(2); 469 MachineInstrBuilder LoInst = BuildMI(MBB, I, DL, get(LoOpc)); 470 MachineInstrBuilder HiInst = BuildMI(MBB, I, DL, get(HiOpc)); 471 LoInst.addReg(SrcLo.getReg(), getKillRegState(SrcLo.isKill())); 472 HiInst.addReg(SrcHi.getReg(), getKillRegState(SrcHi.isKill())); 473 474 // Add lo/hi registers if the mtlo/hi instructions created have explicit 475 // def registers. 476 if (HasExplicitDef) { 477 unsigned DstReg = I->getOperand(0).getReg(); 478 unsigned DstLo = getRegisterInfo().getSubReg(DstReg, Mips::sub_lo); 479 unsigned DstHi = getRegisterInfo().getSubReg(DstReg, Mips::sub_hi); 480 LoInst.addReg(DstLo, RegState::Define); 481 HiInst.addReg(DstHi, RegState::Define); 482 } 483 } 484 485 void MipsSEInstrInfo::expandCvtFPInt(MachineBasicBlock &MBB, 486 MachineBasicBlock::iterator I, 487 unsigned CvtOpc, unsigned MovOpc, 488 bool IsI64) const { 489 const MCInstrDesc &CvtDesc = get(CvtOpc), &MovDesc = get(MovOpc); 490 const MachineOperand &Dst = I->getOperand(0), &Src = I->getOperand(1); 491 unsigned DstReg = Dst.getReg(), SrcReg = Src.getReg(), TmpReg = DstReg; 492 unsigned KillSrc = getKillRegState(Src.isKill()); 493 DebugLoc DL = I->getDebugLoc(); 494 bool DstIsLarger, SrcIsLarger; 495 496 std::tie(DstIsLarger, SrcIsLarger) = 497 compareOpndSize(CvtOpc, *MBB.getParent()); 498 499 if (DstIsLarger) 500 TmpReg = getRegisterInfo().getSubReg(DstReg, Mips::sub_lo); 501 502 if (SrcIsLarger) 503 DstReg = getRegisterInfo().getSubReg(DstReg, Mips::sub_lo); 504 505 BuildMI(MBB, I, DL, MovDesc, TmpReg).addReg(SrcReg, KillSrc); 506 BuildMI(MBB, I, DL, CvtDesc, DstReg).addReg(TmpReg, RegState::Kill); 507 } 508 509 void MipsSEInstrInfo::expandExtractElementF64(MachineBasicBlock &MBB, 510 MachineBasicBlock::iterator I, 511 bool FP64) const { 512 unsigned DstReg = I->getOperand(0).getReg(); 513 unsigned SrcReg = I->getOperand(1).getReg(); 514 unsigned N = I->getOperand(2).getImm(); 515 DebugLoc dl = I->getDebugLoc(); 516 517 assert(N < 2 && "Invalid immediate"); 518 unsigned SubIdx = N ? Mips::sub_hi : Mips::sub_lo; 519 unsigned SubReg = getRegisterInfo().getSubReg(SrcReg, SubIdx); 520 521 // FPXX on MIPS-II or MIPS32r1 should have been handled with a spill/reload 522 // in MipsSEFrameLowering.cpp. 523 assert(!(Subtarget.isABI_FPXX() && !Subtarget.hasMips32r2())); 524 525 // FP64A (FP64 with nooddspreg) should have been handled with a spill/reload 526 // in MipsSEFrameLowering.cpp. 527 assert(!(Subtarget.isFP64bit() && !Subtarget.useOddSPReg())); 528 529 if (SubIdx == Mips::sub_hi && Subtarget.hasMTHC1()) { 530 // FIXME: Strictly speaking MFHC1 only reads the top 32-bits however, we 531 // claim to read the whole 64-bits as part of a white lie used to 532 // temporarily work around a widespread bug in the -mfp64 support. 533 // The problem is that none of the 32-bit fpu ops mention the fact 534 // that they clobber the upper 32-bits of the 64-bit FPR. Fixing that 535 // requires a major overhaul of the FPU implementation which can't 536 // be done right now due to time constraints. 537 // MFHC1 is one of two instructions that are affected since they are 538 // the only instructions that don't read the lower 32-bits. 539 // We therefore pretend that it reads the bottom 32-bits to 540 // artificially create a dependency and prevent the scheduler 541 // changing the behaviour of the code. 542 BuildMI(MBB, I, dl, get(FP64 ? Mips::MFHC1_D64 : Mips::MFHC1_D32), DstReg) 543 .addReg(SrcReg); 544 } else 545 BuildMI(MBB, I, dl, get(Mips::MFC1), DstReg).addReg(SubReg); 546 } 547 548 void MipsSEInstrInfo::expandBuildPairF64(MachineBasicBlock &MBB, 549 MachineBasicBlock::iterator I, 550 bool FP64) const { 551 unsigned DstReg = I->getOperand(0).getReg(); 552 unsigned LoReg = I->getOperand(1).getReg(), HiReg = I->getOperand(2).getReg(); 553 const MCInstrDesc& Mtc1Tdd = get(Mips::MTC1); 554 DebugLoc dl = I->getDebugLoc(); 555 const TargetRegisterInfo &TRI = getRegisterInfo(); 556 557 // When mthc1 is available, use: 558 // mtc1 Lo, $fp 559 // mthc1 Hi, $fp 560 // 561 // Otherwise, for O32 FPXX ABI: 562 // spill + reload via ldc1 563 // This case is handled by the frame lowering code. 564 // 565 // Otherwise, for FP32: 566 // mtc1 Lo, $fp 567 // mtc1 Hi, $fp + 1 568 // 569 // The case where dmtc1 is available doesn't need to be handled here 570 // because it never creates a BuildPairF64 node. 571 572 // FPXX on MIPS-II or MIPS32r1 should have been handled with a spill/reload 573 // in MipsSEFrameLowering.cpp. 574 assert(!(Subtarget.isABI_FPXX() && !Subtarget.hasMips32r2())); 575 576 // FP64A (FP64 with nooddspreg) should have been handled with a spill/reload 577 // in MipsSEFrameLowering.cpp. 578 assert(!(Subtarget.isFP64bit() && !Subtarget.useOddSPReg())); 579 580 BuildMI(MBB, I, dl, Mtc1Tdd, TRI.getSubReg(DstReg, Mips::sub_lo)) 581 .addReg(LoReg); 582 583 if (Subtarget.hasMTHC1()) { 584 // FIXME: The .addReg(DstReg) is a white lie used to temporarily work 585 // around a widespread bug in the -mfp64 support. 586 // The problem is that none of the 32-bit fpu ops mention the fact 587 // that they clobber the upper 32-bits of the 64-bit FPR. Fixing that 588 // requires a major overhaul of the FPU implementation which can't 589 // be done right now due to time constraints. 590 // MTHC1 is one of two instructions that are affected since they are 591 // the only instructions that don't read the lower 32-bits. 592 // We therefore pretend that it reads the bottom 32-bits to 593 // artificially create a dependency and prevent the scheduler 594 // changing the behaviour of the code. 595 BuildMI(MBB, I, dl, get(FP64 ? Mips::MTHC1_D64 : Mips::MTHC1_D32), DstReg) 596 .addReg(DstReg) 597 .addReg(HiReg); 598 } else if (Subtarget.isABI_FPXX()) 599 llvm_unreachable("BuildPairF64 not expanded in frame lowering code!"); 600 else 601 BuildMI(MBB, I, dl, Mtc1Tdd, TRI.getSubReg(DstReg, Mips::sub_hi)) 602 .addReg(HiReg); 603 } 604 605 void MipsSEInstrInfo::expandEhReturn(MachineBasicBlock &MBB, 606 MachineBasicBlock::iterator I) const { 607 // This pseudo instruction is generated as part of the lowering of 608 // ISD::EH_RETURN. We convert it to a stack increment by OffsetReg, and 609 // indirect jump to TargetReg 610 unsigned ADDU = Subtarget.isABI_N64() ? Mips::DADDu : Mips::ADDu; 611 unsigned SP = Subtarget.isGP64bit() ? Mips::SP_64 : Mips::SP; 612 unsigned RA = Subtarget.isGP64bit() ? Mips::RA_64 : Mips::RA; 613 unsigned T9 = Subtarget.isGP64bit() ? Mips::T9_64 : Mips::T9; 614 unsigned ZERO = Subtarget.isGP64bit() ? Mips::ZERO_64 : Mips::ZERO; 615 unsigned OffsetReg = I->getOperand(0).getReg(); 616 unsigned TargetReg = I->getOperand(1).getReg(); 617 618 // addu $ra, $v0, $zero 619 // addu $sp, $sp, $v1 620 // jr $ra (via RetRA) 621 const TargetMachine &TM = MBB.getParent()->getTarget(); 622 if (TM.getRelocationModel() == Reloc::PIC_) 623 BuildMI(MBB, I, I->getDebugLoc(), 624 TM.getSubtargetImpl()->getInstrInfo()->get(ADDU), T9) 625 .addReg(TargetReg) 626 .addReg(ZERO); 627 BuildMI(MBB, I, I->getDebugLoc(), 628 TM.getSubtargetImpl()->getInstrInfo()->get(ADDU), RA) 629 .addReg(TargetReg) 630 .addReg(ZERO); 631 BuildMI(MBB, I, I->getDebugLoc(), 632 TM.getSubtargetImpl()->getInstrInfo()->get(ADDU), SP) 633 .addReg(SP) 634 .addReg(OffsetReg); 635 expandRetRA(MBB, I); 636 } 637 638 const MipsInstrInfo *llvm::createMipsSEInstrInfo(const MipsSubtarget &STI) { 639 return new MipsSEInstrInfo(STI); 640 } 641