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();
76cddc3e03e4ec99c0268c03a126195173e519ed58Pirama Arumuga Nainar  DebugLoc DL;
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();
123cddc3e03e4ec99c0268c03a126195173e519ed58Pirama Arumuga Nainar  auto PtrVT = getTargetLowering()->getPointerTy(CurDAG->getDataLayout());
124cddc3e03e4ec99c0268c03a126195173e519ed58Pirama Arumuga Nainar  return CurDAG->getRegister(Mips16SPAliasReg, PtrVT);
125554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka}
126554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka
127554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanakavoid Mips16DAGToDAGISel::getMips16SPRefReg(SDNode *Parent, SDValue &AliasReg) {
128cddc3e03e4ec99c0268c03a126195173e519ed58Pirama Arumuga Nainar  auto PtrVT = getTargetLowering()->getPointerTy(CurDAG->getDataLayout());
129cddc3e03e4ec99c0268c03a126195173e519ed58Pirama Arumuga Nainar  SDValue AliasFPReg = CurDAG->getRegister(Mips::S0, PtrVT);
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  }
158cddc3e03e4ec99c0268c03a126195173e519ed58Pirama Arumuga Nainar  AliasReg = CurDAG->getRegister(Mips::SP, PtrVT);
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