Mips16ISelDAGToDAG.cpp revision 6948897e478cbd66626159776a8017b3c18579b9
1554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka//===-- Mips16ISelDAGToDAG.cpp - A Dag to Dag Inst Selector for Mips16 ----===// 2554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka// 3554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka// The LLVM Compiler Infrastructure 4554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka// 5554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka// This file is distributed under the University of Illinois Open Source 6554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka// License. See LICENSE.TXT for details. 7554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka// 8554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka//===----------------------------------------------------------------------===// 9554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka// 10554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka// Subclass of MipsDAGToDAGISel specialized for mips16. 11554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka// 12554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka//===----------------------------------------------------------------------===// 13554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 14554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka#include "Mips16ISelDAGToDAG.h" 15554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka#include "MCTargetDesc/MipsBaseInfo.h" 1636b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines#include "Mips.h" 17554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka#include "MipsAnalyzeImmediate.h" 18554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka#include "MipsMachineFunction.h" 19554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka#include "MipsRegisterInfo.h" 20554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka#include "llvm/CodeGen/MachineConstantPool.h" 21554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka#include "llvm/CodeGen/MachineFrameInfo.h" 22554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka#include "llvm/CodeGen/MachineFunction.h" 23554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka#include "llvm/CodeGen/MachineInstrBuilder.h" 24554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka#include "llvm/CodeGen/MachineRegisterInfo.h" 25554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka#include "llvm/CodeGen/SelectionDAGNodes.h" 2636b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines#include "llvm/IR/CFG.h" 27554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka#include "llvm/IR/GlobalValue.h" 28554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka#include "llvm/IR/Instructions.h" 29554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka#include "llvm/IR/Intrinsics.h" 30554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka#include "llvm/IR/Type.h" 31554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka#include "llvm/Support/Debug.h" 32554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka#include "llvm/Support/ErrorHandling.h" 33554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka#include "llvm/Support/raw_ostream.h" 34554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka#include "llvm/Target/TargetMachine.h" 35554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanakausing namespace llvm; 36554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 37dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines#define DEBUG_TYPE "mips-isel" 38dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines 39a430cb613b6e93c05f128b04323c57acfd08686dReed Kotlerbool Mips16DAGToDAGISel::runOnMachineFunction(MachineFunction &MF) { 40ebe69fe11e48d322045d5949c83283927a0d790bStephen Hines Subtarget = &static_cast<const MipsSubtarget &>(MF.getSubtarget()); 41c6a4f5e819217e1e12c458aed8e7b122e23a3a58Stephen Hines if (!Subtarget->inMips16Mode()) 42a430cb613b6e93c05f128b04323c57acfd08686dReed Kotler return false; 43a430cb613b6e93c05f128b04323c57acfd08686dReed Kotler return MipsDAGToDAGISel::runOnMachineFunction(MF); 44a430cb613b6e93c05f128b04323c57acfd08686dReed Kotler} 45554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka/// Select multiply instructions. 46554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanakastd::pair<SDNode*, SDNode*> 47ac6d9bec671252dd1e596fa71180ff6b39d06b5dAndrew TrickMips16DAGToDAGISel::selectMULT(SDNode *N, unsigned Opc, SDLoc DL, EVT Ty, 48554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka bool HasLo, bool HasHi) { 49dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines SDNode *Lo = nullptr, *Hi = nullptr; 50f283512d72757aac5bedcb270f9199194e6a12c0Akira Hatanaka SDNode *Mul = CurDAG->getMachineNode(Opc, DL, MVT::Glue, N->getOperand(0), 51554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka N->getOperand(1)); 52554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka SDValue InFlag = SDValue(Mul, 0); 53554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 54554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka if (HasLo) { 55554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka unsigned Opcode = Mips::Mflo16; 56f283512d72757aac5bedcb270f9199194e6a12c0Akira Hatanaka Lo = CurDAG->getMachineNode(Opcode, DL, Ty, MVT::Glue, InFlag); 57554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka InFlag = SDValue(Lo, 1); 58554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka } 59554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka if (HasHi) { 60554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka unsigned Opcode = Mips::Mfhi16; 61f283512d72757aac5bedcb270f9199194e6a12c0Akira Hatanaka Hi = CurDAG->getMachineNode(Opcode, DL, Ty, InFlag); 62554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka } 63554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka return std::make_pair(Lo, Hi); 64554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka} 65554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 66f283512d72757aac5bedcb270f9199194e6a12c0Akira Hatanakavoid Mips16DAGToDAGISel::initGlobalBaseReg(MachineFunction &MF) { 67554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka MipsFunctionInfo *MipsFI = MF.getInfo<MipsFunctionInfo>(); 68554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 69554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka if (!MipsFI->globalBaseRegSet()) 70554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka return; 71554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 72554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka MachineBasicBlock &MBB = MF.front(); 73554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka MachineBasicBlock::iterator I = MBB.begin(); 74554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka MachineRegisterInfo &RegInfo = MF.getRegInfo(); 75ebe69fe11e48d322045d5949c83283927a0d790bStephen Hines const TargetInstrInfo &TII = *Subtarget->getInstrInfo(); 76554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka DebugLoc DL = I != MBB.end() ? I->getDebugLoc() : DebugLoc(); 77554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka unsigned V0, V1, V2, GlobalBaseReg = MipsFI->getGlobalBaseReg(); 78ebe69fe11e48d322045d5949c83283927a0d790bStephen Hines const TargetRegisterClass *RC = &Mips::CPU16RegsRegClass; 79554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 80554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka V0 = RegInfo.createVirtualRegister(RC); 81554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka V1 = RegInfo.createVirtualRegister(RC); 82554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka V2 = RegInfo.createVirtualRegister(RC); 83554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 84c1fe3e3b330d9404530abc2fbbd0f6d1fa64ce01Reed Kotler BuildMI(MBB, I, DL, TII.get(Mips::GotPrologue16), V0). 85c1fe3e3b330d9404530abc2fbbd0f6d1fa64ce01Reed Kotler addReg(V1, RegState::Define). 86c1fe3e3b330d9404530abc2fbbd0f6d1fa64ce01Reed Kotler addExternalSymbol("_gp_disp", MipsII::MO_ABS_HI). 87c1fe3e3b330d9404530abc2fbbd0f6d1fa64ce01Reed Kotler addExternalSymbol("_gp_disp", MipsII::MO_ABS_LO); 88c1fe3e3b330d9404530abc2fbbd0f6d1fa64ce01Reed Kotler 89554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka BuildMI(MBB, I, DL, TII.get(Mips::SllX16), V2).addReg(V0).addImm(16); 90554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka BuildMI(MBB, I, DL, TII.get(Mips::AdduRxRyRz16), GlobalBaseReg) 91554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka .addReg(V1).addReg(V2); 92554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka} 93554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 94554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka// Insert instructions to initialize the Mips16 SP Alias register in the 95554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka// first MBB of the function. 96554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka// 97f283512d72757aac5bedcb270f9199194e6a12c0Akira Hatanakavoid Mips16DAGToDAGISel::initMips16SPAliasReg(MachineFunction &MF) { 98554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka MipsFunctionInfo *MipsFI = MF.getInfo<MipsFunctionInfo>(); 99554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 100554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka if (!MipsFI->mips16SPAliasRegSet()) 101554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka return; 102554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 103554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka MachineBasicBlock &MBB = MF.front(); 104554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka MachineBasicBlock::iterator I = MBB.begin(); 105ebe69fe11e48d322045d5949c83283927a0d790bStephen Hines const TargetInstrInfo &TII = *Subtarget->getInstrInfo(); 106554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka DebugLoc DL = I != MBB.end() ? I->getDebugLoc() : DebugLoc(); 107554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka unsigned Mips16SPAliasReg = MipsFI->getMips16SPAliasReg(); 108554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 109554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka BuildMI(MBB, I, DL, TII.get(Mips::MoveR3216), Mips16SPAliasReg) 110554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka .addReg(Mips::SP); 111554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka} 112554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 113f283512d72757aac5bedcb270f9199194e6a12c0Akira Hatanakavoid Mips16DAGToDAGISel::processFunctionAfterISel(MachineFunction &MF) { 114f283512d72757aac5bedcb270f9199194e6a12c0Akira Hatanaka initGlobalBaseReg(MF); 115f283512d72757aac5bedcb270f9199194e6a12c0Akira Hatanaka initMips16SPAliasReg(MF); 116554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka} 117554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 118554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka/// getMips16SPAliasReg - Output the instructions required to put the 119554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka/// SP into a Mips16 accessible aliased register. 120554d9312b284265f91ac5ee5bf0351d446f669b1Akira HatanakaSDValue Mips16DAGToDAGISel::getMips16SPAliasReg() { 121554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka unsigned Mips16SPAliasReg = 122554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka MF->getInfo<MipsFunctionInfo>()->getMips16SPAliasReg(); 123ba54bca472a15d0657e1b88776f7069042b60b4eBill Wendling return CurDAG->getRegister(Mips16SPAliasReg, 124ba54bca472a15d0657e1b88776f7069042b60b4eBill Wendling getTargetLowering()->getPointerTy()); 125554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka} 126554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 127554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanakavoid Mips16DAGToDAGISel::getMips16SPRefReg(SDNode *Parent, SDValue &AliasReg) { 128ba54bca472a15d0657e1b88776f7069042b60b4eBill Wendling SDValue AliasFPReg = CurDAG->getRegister(Mips::S0, 129ba54bca472a15d0657e1b88776f7069042b60b4eBill Wendling getTargetLowering()->getPointerTy()); 130554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka if (Parent) { 131554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka switch (Parent->getOpcode()) { 132554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka case ISD::LOAD: { 133554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka LoadSDNode *SD = dyn_cast<LoadSDNode>(Parent); 134554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka switch (SD->getMemoryVT().getSizeInBits()) { 135554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka case 8: 136554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka case 16: 137ebe69fe11e48d322045d5949c83283927a0d790bStephen Hines AliasReg = Subtarget->getFrameLowering()->hasFP(*MF) 13837ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines ? AliasFPReg 13937ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines : getMips16SPAliasReg(); 140554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka return; 141554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka } 142554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka break; 143554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka } 144554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka case ISD::STORE: { 145554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka StoreSDNode *SD = dyn_cast<StoreSDNode>(Parent); 146554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka switch (SD->getMemoryVT().getSizeInBits()) { 147554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka case 8: 148554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka case 16: 149ebe69fe11e48d322045d5949c83283927a0d790bStephen Hines AliasReg = Subtarget->getFrameLowering()->hasFP(*MF) 15037ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines ? AliasFPReg 15137ed9c199ca639565f6ce88105f9e39e898d82d0Stephen Hines : getMips16SPAliasReg(); 152554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka return; 153554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka } 154554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka break; 155554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka } 156554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka } 157554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka } 158ba54bca472a15d0657e1b88776f7069042b60b4eBill Wendling AliasReg = CurDAG->getRegister(Mips::SP, getTargetLowering()->getPointerTy()); 159554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka return; 160554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 161554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka} 162554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 163f283512d72757aac5bedcb270f9199194e6a12c0Akira Hatanakabool Mips16DAGToDAGISel::selectAddr16( 164554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka SDNode *Parent, SDValue Addr, SDValue &Base, SDValue &Offset, 165554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka SDValue &Alias) { 1666948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar SDLoc DL(Addr); 167554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka EVT ValTy = Addr.getValueType(); 168554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 1696948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar Alias = CurDAG->getTargetConstant(0, DL, ValTy); 170554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 171554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka // if Address is FI, get the TargetFrameIndex. 172554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka if (FrameIndexSDNode *FIN = dyn_cast<FrameIndexSDNode>(Addr)) { 173554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka Base = CurDAG->getTargetFrameIndex(FIN->getIndex(), ValTy); 1746948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar Offset = CurDAG->getTargetConstant(0, DL, ValTy); 175554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka getMips16SPRefReg(Parent, Alias); 176554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka return true; 177554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka } 178554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka // on PIC code Load GA 179554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka if (Addr.getOpcode() == MipsISD::Wrapper) { 180554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka Base = Addr.getOperand(0); 181554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka Offset = Addr.getOperand(1); 182554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka return true; 183554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka } 184554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka if (TM.getRelocationModel() != Reloc::PIC_) { 185554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka if ((Addr.getOpcode() == ISD::TargetExternalSymbol || 186554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka Addr.getOpcode() == ISD::TargetGlobalAddress)) 187554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka return false; 188554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka } 189554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka // Addresses of the form FI+const or FI|const 190554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka if (CurDAG->isBaseWithConstantOffset(Addr)) { 191554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka ConstantSDNode *CN = dyn_cast<ConstantSDNode>(Addr.getOperand(1)); 192554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka if (isInt<16>(CN->getSExtValue())) { 193554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 194554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka // If the first operand is a FI, get the TargetFI Node 195554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka if (FrameIndexSDNode *FIN = dyn_cast<FrameIndexSDNode> 196554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka (Addr.getOperand(0))) { 197554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka Base = CurDAG->getTargetFrameIndex(FIN->getIndex(), ValTy); 198554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka getMips16SPRefReg(Parent, Alias); 199554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka } 200554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka else 201554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka Base = Addr.getOperand(0); 202554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 2036948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar Offset = CurDAG->getTargetConstant(CN->getZExtValue(), DL, ValTy); 204554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka return true; 205554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka } 206554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka } 207554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka // Operand is a result from an ADD. 208554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka if (Addr.getOpcode() == ISD::ADD) { 209554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka // When loading from constant pools, load the lower address part in 210554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka // the instruction itself. Example, instead of: 211554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka // lui $2, %hi($CPI1_0) 212554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka // addiu $2, $2, %lo($CPI1_0) 213554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka // lwc1 $f0, 0($2) 214554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka // Generate: 215554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka // lui $2, %hi($CPI1_0) 216554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka // lwc1 $f0, %lo($CPI1_0)($2) 217554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka if (Addr.getOperand(1).getOpcode() == MipsISD::Lo || 218554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka Addr.getOperand(1).getOpcode() == MipsISD::GPRel) { 219554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka SDValue Opnd0 = Addr.getOperand(1).getOperand(0); 220554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka if (isa<ConstantPoolSDNode>(Opnd0) || isa<GlobalAddressSDNode>(Opnd0) || 221554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka isa<JumpTableSDNode>(Opnd0)) { 222554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka Base = Addr.getOperand(0); 223554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka Offset = Opnd0; 224554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka return true; 225554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka } 226554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka } 227554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 228554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka // If an indexed floating point load/store can be emitted, return false. 229554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka const LSBaseSDNode *LS = dyn_cast<LSBaseSDNode>(Parent); 230554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 231dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines if (LS) { 232c6a4f5e819217e1e12c458aed8e7b122e23a3a58Stephen Hines if (LS->getMemoryVT() == MVT::f32 && Subtarget->hasMips4_32r2()) 233dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines return false; 234c6a4f5e819217e1e12c458aed8e7b122e23a3a58Stephen Hines if (LS->getMemoryVT() == MVT::f64 && Subtarget->hasMips4_32r2()) 235dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines return false; 236dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines } 237554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka } 238554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka Base = Addr; 2396948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar Offset = CurDAG->getTargetConstant(0, DL, ValTy); 240554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka return true; 241554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka} 242554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 243554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka/// Select instructions not customized! Used for 244554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka/// expanded, promoted and normal instructions 245f283512d72757aac5bedcb270f9199194e6a12c0Akira Hatanakastd::pair<bool, SDNode*> Mips16DAGToDAGISel::selectNode(SDNode *Node) { 246554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka unsigned Opcode = Node->getOpcode(); 247ac6d9bec671252dd1e596fa71180ff6b39d06b5dAndrew Trick SDLoc DL(Node); 248554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 249554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka /// 250554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka // Instruction Selection not handled by the auto-generated 251554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka // tablegen selection should be handled here. 252554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka /// 253554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka EVT NodeTy = Node->getValueType(0); 254554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka unsigned MultOpc; 255554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 256554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka switch(Opcode) { 257554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka default: break; 258554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 259554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka case ISD::SUBE: 260554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka case ISD::ADDE: { 261554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka SDValue InFlag = Node->getOperand(2), CmpLHS; 262554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka unsigned Opc = InFlag.getOpcode(); (void)Opc; 263554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka assert(((Opc == ISD::ADDC || Opc == ISD::ADDE) || 264554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka (Opc == ISD::SUBC || Opc == ISD::SUBE)) && 265554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka "(ADD|SUB)E flag operand must come from (ADD|SUB)C/E insn"); 266554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 267554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka unsigned MOp; 268554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka if (Opcode == ISD::ADDE) { 269554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka CmpLHS = InFlag.getValue(0); 270554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka MOp = Mips::AdduRxRyRz16; 271554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka } else { 272554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka CmpLHS = InFlag.getOperand(0); 273554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka MOp = Mips::SubuRxRyRz16; 274554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka } 275554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 276554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka SDValue Ops[] = { CmpLHS, InFlag.getOperand(1) }; 277554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 278554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka SDValue LHS = Node->getOperand(0); 279554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka SDValue RHS = Node->getOperand(1); 280554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 281554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka EVT VT = LHS.getValueType(); 282554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 283554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka unsigned Sltu_op = Mips::SltuRxRyRz16; 2842a8bea7a8eba9bfa05dcc7a87e9152a0043841b2Michael Liao SDNode *Carry = CurDAG->getMachineNode(Sltu_op, DL, VT, Ops); 285554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka unsigned Addu_op = Mips::AdduRxRyRz16; 286f283512d72757aac5bedcb270f9199194e6a12c0Akira Hatanaka SDNode *AddCarry = CurDAG->getMachineNode(Addu_op, DL, VT, 287554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka SDValue(Carry,0), RHS); 288554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 289554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka SDNode *Result = CurDAG->SelectNodeTo(Node, MOp, VT, MVT::Glue, LHS, 290554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka SDValue(AddCarry,0)); 291554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka return std::make_pair(true, Result); 292554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka } 293554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 294554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka /// Mul with two results 295554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka case ISD::SMUL_LOHI: 296554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka case ISD::UMUL_LOHI: { 297554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka MultOpc = (Opcode == ISD::UMUL_LOHI ? Mips::MultuRxRy16 : Mips::MultRxRy16); 298f283512d72757aac5bedcb270f9199194e6a12c0Akira Hatanaka std::pair<SDNode*, SDNode*> LoHi = selectMULT(Node, MultOpc, DL, NodeTy, 299554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka true, true); 300554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka if (!SDValue(Node, 0).use_empty()) 301554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka ReplaceUses(SDValue(Node, 0), SDValue(LoHi.first, 0)); 302554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 303554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka if (!SDValue(Node, 1).use_empty()) 304554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka ReplaceUses(SDValue(Node, 1), SDValue(LoHi.second, 0)); 305554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 306dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines return std::make_pair(true, nullptr); 307554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka } 308554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 309554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka case ISD::MULHS: 310554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka case ISD::MULHU: { 311554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka MultOpc = (Opcode == ISD::MULHU ? Mips::MultuRxRy16 : Mips::MultRxRy16); 312f283512d72757aac5bedcb270f9199194e6a12c0Akira Hatanaka SDNode *Result = selectMULT(Node, MultOpc, DL, NodeTy, false, true).second; 313554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka return std::make_pair(true, Result); 314554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka } 315554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka } 316554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 317dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines return std::make_pair(false, nullptr); 318554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka} 319554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka 320554d9312b284265f91ac5ee5bf0351d446f669b1Akira HatanakaFunctionPass *llvm::createMips16ISelDag(MipsTargetMachine &TM) { 321554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka return new Mips16DAGToDAGISel(TM); 322554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka} 323