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