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 "MipsMachineFunction.h"
18554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka#include "MipsRegisterInfo.h"
19554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka#include "llvm/CodeGen/MachineConstantPool.h"
20554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka#include "llvm/CodeGen/MachineFrameInfo.h"
21554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka#include "llvm/CodeGen/MachineFunction.h"
22554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka#include "llvm/CodeGen/MachineInstrBuilder.h"
23554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka#include "llvm/CodeGen/MachineRegisterInfo.h"
24554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka#include "llvm/CodeGen/SelectionDAGNodes.h"
2536b56886974eae4f9c5ebc96befd3e7bfe5de338Stephen Hines#include "llvm/IR/CFG.h"
26554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka#include "llvm/IR/GlobalValue.h"
27554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka#include "llvm/IR/Instructions.h"
28554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka#include "llvm/IR/Intrinsics.h"
29554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka#include "llvm/IR/Type.h"
30554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka#include "llvm/Support/Debug.h"
31554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka#include "llvm/Support/ErrorHandling.h"
32554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka#include "llvm/Support/raw_ostream.h"
33554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka#include "llvm/Target/TargetMachine.h"
34554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanakausing namespace llvm;
35554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka
36dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines#define DEBUG_TYPE "mips-isel"
37dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines
38a430cb613b6e93c05f128b04323c57acfd08686dReed Kotlerbool Mips16DAGToDAGISel::runOnMachineFunction(MachineFunction &MF) {
39ebe69fe11e48d322045d5949c83283927a0d790bStephen Hines  Subtarget = &static_cast<const MipsSubtarget &>(MF.getSubtarget());
40c6a4f5e819217e1e12c458aed8e7b122e23a3a58Stephen Hines  if (!Subtarget->inMips16Mode())
41a430cb613b6e93c05f128b04323c57acfd08686dReed Kotler    return false;
42a430cb613b6e93c05f128b04323c57acfd08686dReed Kotler  return MipsDAGToDAGISel::runOnMachineFunction(MF);
43a430cb613b6e93c05f128b04323c57acfd08686dReed Kotler}
44554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka/// Select multiply instructions.
45de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainarstd::pair<SDNode *, SDNode *>
46de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga NainarMips16DAGToDAGISel::selectMULT(SDNode *N, unsigned Opc, const SDLoc &DL, EVT Ty,
47554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka                               bool HasLo, bool HasHi) {
48dce4a407a24b04eebc6a376f8e62b41aaa7b071fStephen Hines  SDNode *Lo = nullptr, *Hi = nullptr;
49f283512d72757aac5bedcb270f9199194e6a12c0Akira Hatanaka  SDNode *Mul = CurDAG->getMachineNode(Opc, DL, MVT::Glue, N->getOperand(0),
50554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka                                       N->getOperand(1));
51554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  SDValue InFlag = SDValue(Mul, 0);
52554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka
53554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  if (HasLo) {
54554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka    unsigned Opcode = Mips::Mflo16;
55f283512d72757aac5bedcb270f9199194e6a12c0Akira Hatanaka    Lo = CurDAG->getMachineNode(Opcode, DL, Ty, MVT::Glue, InFlag);
56554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka    InFlag = SDValue(Lo, 1);
57554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  }
58554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  if (HasHi) {
59554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka    unsigned Opcode = Mips::Mfhi16;
60f283512d72757aac5bedcb270f9199194e6a12c0Akira Hatanaka    Hi = CurDAG->getMachineNode(Opcode, DL, Ty, InFlag);
61554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  }
62554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  return std::make_pair(Lo, Hi);
63554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka}
64554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka
65f283512d72757aac5bedcb270f9199194e6a12c0Akira Hatanakavoid Mips16DAGToDAGISel::initGlobalBaseReg(MachineFunction &MF) {
66554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  MipsFunctionInfo *MipsFI = MF.getInfo<MipsFunctionInfo>();
67554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka
68554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  if (!MipsFI->globalBaseRegSet())
69554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka    return;
70554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka
71554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  MachineBasicBlock &MBB = MF.front();
72554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  MachineBasicBlock::iterator I = MBB.begin();
73554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  MachineRegisterInfo &RegInfo = MF.getRegInfo();
74ebe69fe11e48d322045d5949c83283927a0d790bStephen Hines  const TargetInstrInfo &TII = *Subtarget->getInstrInfo();
75f3ef5332fa3f4d5ec72c178a2b19dac363a19383Pirama Arumuga Nainar  DebugLoc DL;
76554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  unsigned V0, V1, V2, GlobalBaseReg = MipsFI->getGlobalBaseReg();
77ebe69fe11e48d322045d5949c83283927a0d790bStephen Hines  const TargetRegisterClass *RC = &Mips::CPU16RegsRegClass;
78554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka
79554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  V0 = RegInfo.createVirtualRegister(RC);
80554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  V1 = RegInfo.createVirtualRegister(RC);
81554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  V2 = RegInfo.createVirtualRegister(RC);
82554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka
83de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar  BuildMI(MBB, I, DL, TII.get(Mips::GotPrologue16), V0)
84de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar      .addReg(V1, RegState::Define)
85de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar      .addExternalSymbol("_gp_disp", MipsII::MO_ABS_HI)
86de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar      .addExternalSymbol("_gp_disp", MipsII::MO_ABS_LO);
87c1fe3e3b330d9404530abc2fbbd0f6d1fa64ce01Reed Kotler
88554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  BuildMI(MBB, I, DL, TII.get(Mips::SllX16), V2).addReg(V0).addImm(16);
89554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  BuildMI(MBB, I, DL, TII.get(Mips::AdduRxRyRz16), GlobalBaseReg)
90de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar      .addReg(V1)
91de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar      .addReg(V2);
92554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka}
93554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka
94f283512d72757aac5bedcb270f9199194e6a12c0Akira Hatanakavoid Mips16DAGToDAGISel::processFunctionAfterISel(MachineFunction &MF) {
95f283512d72757aac5bedcb270f9199194e6a12c0Akira Hatanaka  initGlobalBaseReg(MF);
96554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka}
97554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka
98de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainarbool Mips16DAGToDAGISel::selectAddr(bool SPAllowed, SDValue Addr, SDValue &Base,
99de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar                                    SDValue &Offset) {
1006948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar  SDLoc DL(Addr);
101554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  EVT ValTy = Addr.getValueType();
102554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka
103554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  // if Address is FI, get the TargetFrameIndex.
104de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar  if (SPAllowed) {
105de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar    if (FrameIndexSDNode *FIN = dyn_cast<FrameIndexSDNode>(Addr)) {
106de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar      Base = CurDAG->getTargetFrameIndex(FIN->getIndex(), ValTy);
107de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar      Offset = CurDAG->getTargetConstant(0, DL, ValTy);
108de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar      return true;
109de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar    }
110554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  }
111554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  // on PIC code Load GA
112554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  if (Addr.getOpcode() == MipsISD::Wrapper) {
113de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar    Base = Addr.getOperand(0);
114554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka    Offset = Addr.getOperand(1);
115554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka    return true;
116554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  }
117de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar  if (!TM.isPositionIndependent()) {
118554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka    if ((Addr.getOpcode() == ISD::TargetExternalSymbol ||
119de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar         Addr.getOpcode() == ISD::TargetGlobalAddress))
120554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka      return false;
121554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  }
122554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  // Addresses of the form FI+const or FI|const
123554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  if (CurDAG->isBaseWithConstantOffset(Addr)) {
124554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka    ConstantSDNode *CN = dyn_cast<ConstantSDNode>(Addr.getOperand(1));
125554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka    if (isInt<16>(CN->getSExtValue())) {
126554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka      // If the first operand is a FI, get the TargetFI Node
127de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar      if (SPAllowed) {
128de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar        if (FrameIndexSDNode *FIN =
129de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar                dyn_cast<FrameIndexSDNode>(Addr.getOperand(0))) {
130de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar          Base = CurDAG->getTargetFrameIndex(FIN->getIndex(), ValTy);
131de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar          Offset = CurDAG->getTargetConstant(CN->getZExtValue(), DL, ValTy);
132de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar          return true;
133de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar        }
134554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka      }
135554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka
136de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar      Base = Addr.getOperand(0);
1376948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar      Offset = CurDAG->getTargetConstant(CN->getZExtValue(), DL, ValTy);
138554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka      return true;
139554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka    }
140554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  }
141554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  // Operand is a result from an ADD.
142554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  if (Addr.getOpcode() == ISD::ADD) {
143554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka    // When loading from constant pools, load the lower address part in
144554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka    // the instruction itself. Example, instead of:
145554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka    //  lui $2, %hi($CPI1_0)
146554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka    //  addiu $2, $2, %lo($CPI1_0)
147554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka    //  lwc1 $f0, 0($2)
148554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka    // Generate:
149554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka    //  lui $2, %hi($CPI1_0)
150554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka    //  lwc1 $f0, %lo($CPI1_0)($2)
151554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka    if (Addr.getOperand(1).getOpcode() == MipsISD::Lo ||
152554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka        Addr.getOperand(1).getOpcode() == MipsISD::GPRel) {
153554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka      SDValue Opnd0 = Addr.getOperand(1).getOperand(0);
154554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka      if (isa<ConstantPoolSDNode>(Opnd0) || isa<GlobalAddressSDNode>(Opnd0) ||
155554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka          isa<JumpTableSDNode>(Opnd0)) {
156554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka        Base = Addr.getOperand(0);
157554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka        Offset = Opnd0;
158554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka        return true;
159554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka      }
160554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka    }
161554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  }
162de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar  Base = Addr;
1636948897e478cbd66626159776a8017b3c18579b9Pirama Arumuga Nainar  Offset = CurDAG->getTargetConstant(0, DL, ValTy);
164554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  return true;
165554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka}
166554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka
167de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainarbool Mips16DAGToDAGISel::selectAddr16(SDValue Addr, SDValue &Base,
168de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar                                      SDValue &Offset) {
169de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar  return selectAddr(false, Addr, Base, Offset);
170de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar}
171de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar
172de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainarbool Mips16DAGToDAGISel::selectAddr16SP(SDValue Addr, SDValue &Base,
173de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar                                        SDValue &Offset) {
174de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar  return selectAddr(true, Addr, Base, Offset);
175de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar}
176de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar
177554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka/// Select instructions not customized! Used for
178554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka/// expanded, promoted and normal instructions
179de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainarbool Mips16DAGToDAGISel::trySelect(SDNode *Node) {
180554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  unsigned Opcode = Node->getOpcode();
181ac6d9bec671252dd1e596fa71180ff6b39d06b5dAndrew Trick  SDLoc DL(Node);
182554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka
183554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  ///
184554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  // Instruction Selection not handled by the auto-generated
185554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  // tablegen selection should be handled here.
186554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  ///
187554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  EVT NodeTy = Node->getValueType(0);
188554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  unsigned MultOpc;
189554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka
190de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar  switch (Opcode) {
191de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar  default:
192de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar    break;
193554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka
194554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  case ISD::SUBE:
195554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  case ISD::ADDE: {
196554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka    SDValue InFlag = Node->getOperand(2), CmpLHS;
197de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar    unsigned Opc = InFlag.getOpcode();
198de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar    (void)Opc;
199554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka    assert(((Opc == ISD::ADDC || Opc == ISD::ADDE) ||
200554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka            (Opc == ISD::SUBC || Opc == ISD::SUBE)) &&
201554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka           "(ADD|SUB)E flag operand must come from (ADD|SUB)C/E insn");
202554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka
203554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka    unsigned MOp;
204554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka    if (Opcode == ISD::ADDE) {
205554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka      CmpLHS = InFlag.getValue(0);
206554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka      MOp = Mips::AdduRxRyRz16;
207554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka    } else {
208554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka      CmpLHS = InFlag.getOperand(0);
209554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka      MOp = Mips::SubuRxRyRz16;
210554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka    }
211554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka
212de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar    SDValue Ops[] = {CmpLHS, InFlag.getOperand(1)};
213554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka
214554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka    SDValue LHS = Node->getOperand(0);
215554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka    SDValue RHS = Node->getOperand(1);
216554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka
217554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka    EVT VT = LHS.getValueType();
218554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka
219554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka    unsigned Sltu_op = Mips::SltuRxRyRz16;
2202a8bea7a8eba9bfa05dcc7a87e9152a0043841b2Michael Liao    SDNode *Carry = CurDAG->getMachineNode(Sltu_op, DL, VT, Ops);
221554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka    unsigned Addu_op = Mips::AdduRxRyRz16;
222de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar    SDNode *AddCarry =
223de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar        CurDAG->getMachineNode(Addu_op, DL, VT, SDValue(Carry, 0), RHS);
224554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka
225de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar    CurDAG->SelectNodeTo(Node, MOp, VT, MVT::Glue, LHS, SDValue(AddCarry, 0));
226de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar    return true;
227554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  }
228554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka
229554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  /// Mul with two results
230554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  case ISD::SMUL_LOHI:
231554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  case ISD::UMUL_LOHI: {
232554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka    MultOpc = (Opcode == ISD::UMUL_LOHI ? Mips::MultuRxRy16 : Mips::MultRxRy16);
233de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar    std::pair<SDNode *, SDNode *> LoHi =
234de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar        selectMULT(Node, MultOpc, DL, NodeTy, true, true);
235554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka    if (!SDValue(Node, 0).use_empty())
236554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka      ReplaceUses(SDValue(Node, 0), SDValue(LoHi.first, 0));
237554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka
238554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka    if (!SDValue(Node, 1).use_empty())
239554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka      ReplaceUses(SDValue(Node, 1), SDValue(LoHi.second, 0));
240554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka
241de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar    CurDAG->RemoveDeadNode(Node);
242de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar    return true;
243554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  }
244554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka
245554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  case ISD::MULHS:
246554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  case ISD::MULHU: {
247554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka    MultOpc = (Opcode == ISD::MULHU ? Mips::MultuRxRy16 : Mips::MultRxRy16);
248de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar    auto LoHi = selectMULT(Node, MultOpc, DL, NodeTy, false, true);
249de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar    ReplaceNode(Node, LoHi.second);
250de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar    return true;
251554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  }
252554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka  }
253554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka
254de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar  return false;
255554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka}
256554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka
257de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga NainarFunctionPass *llvm::createMips16ISelDag(MipsTargetMachine &TM,
258de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar                                        CodeGenOpt::Level OptLevel) {
259de2d8694e25a814696358e95141f4b1aa4d8847ePirama Arumuga Nainar  return new Mips16DAGToDAGISel(TM, OptLevel);
260554d9312b284265f91ac5ee5bf0351d446f669b1Akira Hatanaka}
261