1064859bdSKazushi (Jam) Marukawa //===-- VEInstrInfo.cpp - VE Instruction Information ----------------------===// 2064859bdSKazushi (Jam) Marukawa // 3064859bdSKazushi (Jam) Marukawa // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4064859bdSKazushi (Jam) Marukawa // See https://llvm.org/LICENSE.txt for license information. 5064859bdSKazushi (Jam) Marukawa // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6064859bdSKazushi (Jam) Marukawa // 7064859bdSKazushi (Jam) Marukawa //===----------------------------------------------------------------------===// 8064859bdSKazushi (Jam) Marukawa // 9064859bdSKazushi (Jam) Marukawa // This file contains the VE implementation of the TargetInstrInfo class. 10064859bdSKazushi (Jam) Marukawa // 11064859bdSKazushi (Jam) Marukawa //===----------------------------------------------------------------------===// 12064859bdSKazushi (Jam) Marukawa 13064859bdSKazushi (Jam) Marukawa #include "VEInstrInfo.h" 14064859bdSKazushi (Jam) Marukawa #include "VE.h" 1560431bd7SKazushi (Jam) Marukawa #include "VEMachineFunctionInfo.h" 16064859bdSKazushi (Jam) Marukawa #include "VESubtarget.h" 17064859bdSKazushi (Jam) Marukawa #include "llvm/ADT/STLExtras.h" 18064859bdSKazushi (Jam) Marukawa #include "llvm/ADT/SmallVector.h" 19064859bdSKazushi (Jam) Marukawa #include "llvm/CodeGen/MachineFrameInfo.h" 20064859bdSKazushi (Jam) Marukawa #include "llvm/CodeGen/MachineInstrBuilder.h" 21064859bdSKazushi (Jam) Marukawa #include "llvm/CodeGen/MachineMemOperand.h" 22064859bdSKazushi (Jam) Marukawa #include "llvm/CodeGen/MachineRegisterInfo.h" 23064859bdSKazushi (Jam) Marukawa #include "llvm/Support/CommandLine.h" 24064859bdSKazushi (Jam) Marukawa #include "llvm/Support/Debug.h" 25064859bdSKazushi (Jam) Marukawa #include "llvm/Support/ErrorHandling.h" 26064859bdSKazushi (Jam) Marukawa #include "llvm/Support/TargetRegistry.h" 27064859bdSKazushi (Jam) Marukawa 28dedaf3a2SKazushi (Jam) Marukawa #define DEBUG_TYPE "ve-instr-info" 29064859bdSKazushi (Jam) Marukawa 30064859bdSKazushi (Jam) Marukawa using namespace llvm; 31064859bdSKazushi (Jam) Marukawa 32064859bdSKazushi (Jam) Marukawa #define GET_INSTRINFO_CTOR_DTOR 33064859bdSKazushi (Jam) Marukawa #include "VEGenInstrInfo.inc" 34064859bdSKazushi (Jam) Marukawa 35064859bdSKazushi (Jam) Marukawa // Pin the vtable to this file. 36064859bdSKazushi (Jam) Marukawa void VEInstrInfo::anchor() {} 37064859bdSKazushi (Jam) Marukawa 38064859bdSKazushi (Jam) Marukawa VEInstrInfo::VEInstrInfo(VESubtarget &ST) 39df4cc35eSFangrui Song : VEGenInstrInfo(VE::ADJCALLSTACKDOWN, VE::ADJCALLSTACKUP), RI() {} 40064859bdSKazushi (Jam) Marukawa 41fef80a29SKazushi (Jam) Marukawa static bool IsIntegerCC(unsigned CC) { return (CC < VECC::CC_AF); } 42fef80a29SKazushi (Jam) Marukawa 4328a42dd1SKazushi (Jam) Marukawa static VECC::CondCode GetOppositeBranchCondition(VECC::CondCode CC) { 44fef80a29SKazushi (Jam) Marukawa switch (CC) { 45117c0d7cSKazushi (Jam) Marukawa case VECC::CC_IG: 46117c0d7cSKazushi (Jam) Marukawa return VECC::CC_ILE; 47117c0d7cSKazushi (Jam) Marukawa case VECC::CC_IL: 48117c0d7cSKazushi (Jam) Marukawa return VECC::CC_IGE; 49117c0d7cSKazushi (Jam) Marukawa case VECC::CC_INE: 50117c0d7cSKazushi (Jam) Marukawa return VECC::CC_IEQ; 51117c0d7cSKazushi (Jam) Marukawa case VECC::CC_IEQ: 52117c0d7cSKazushi (Jam) Marukawa return VECC::CC_INE; 53117c0d7cSKazushi (Jam) Marukawa case VECC::CC_IGE: 54117c0d7cSKazushi (Jam) Marukawa return VECC::CC_IL; 55117c0d7cSKazushi (Jam) Marukawa case VECC::CC_ILE: 56117c0d7cSKazushi (Jam) Marukawa return VECC::CC_IG; 57117c0d7cSKazushi (Jam) Marukawa case VECC::CC_AF: 58117c0d7cSKazushi (Jam) Marukawa return VECC::CC_AT; 59117c0d7cSKazushi (Jam) Marukawa case VECC::CC_G: 60117c0d7cSKazushi (Jam) Marukawa return VECC::CC_LENAN; 61117c0d7cSKazushi (Jam) Marukawa case VECC::CC_L: 62117c0d7cSKazushi (Jam) Marukawa return VECC::CC_GENAN; 63117c0d7cSKazushi (Jam) Marukawa case VECC::CC_NE: 64117c0d7cSKazushi (Jam) Marukawa return VECC::CC_EQNAN; 65117c0d7cSKazushi (Jam) Marukawa case VECC::CC_EQ: 66117c0d7cSKazushi (Jam) Marukawa return VECC::CC_NENAN; 67117c0d7cSKazushi (Jam) Marukawa case VECC::CC_GE: 68117c0d7cSKazushi (Jam) Marukawa return VECC::CC_LNAN; 69117c0d7cSKazushi (Jam) Marukawa case VECC::CC_LE: 70117c0d7cSKazushi (Jam) Marukawa return VECC::CC_GNAN; 71117c0d7cSKazushi (Jam) Marukawa case VECC::CC_NUM: 72117c0d7cSKazushi (Jam) Marukawa return VECC::CC_NAN; 73117c0d7cSKazushi (Jam) Marukawa case VECC::CC_NAN: 74117c0d7cSKazushi (Jam) Marukawa return VECC::CC_NUM; 75117c0d7cSKazushi (Jam) Marukawa case VECC::CC_GNAN: 76117c0d7cSKazushi (Jam) Marukawa return VECC::CC_LE; 77117c0d7cSKazushi (Jam) Marukawa case VECC::CC_LNAN: 78117c0d7cSKazushi (Jam) Marukawa return VECC::CC_GE; 79117c0d7cSKazushi (Jam) Marukawa case VECC::CC_NENAN: 80117c0d7cSKazushi (Jam) Marukawa return VECC::CC_EQ; 81117c0d7cSKazushi (Jam) Marukawa case VECC::CC_EQNAN: 82117c0d7cSKazushi (Jam) Marukawa return VECC::CC_NE; 83117c0d7cSKazushi (Jam) Marukawa case VECC::CC_GENAN: 84117c0d7cSKazushi (Jam) Marukawa return VECC::CC_L; 85117c0d7cSKazushi (Jam) Marukawa case VECC::CC_LENAN: 86117c0d7cSKazushi (Jam) Marukawa return VECC::CC_G; 87117c0d7cSKazushi (Jam) Marukawa case VECC::CC_AT: 88117c0d7cSKazushi (Jam) Marukawa return VECC::CC_AF; 89117c0d7cSKazushi (Jam) Marukawa case VECC::UNKNOWN: 90117c0d7cSKazushi (Jam) Marukawa return VECC::UNKNOWN; 91fef80a29SKazushi (Jam) Marukawa } 92fef80a29SKazushi (Jam) Marukawa llvm_unreachable("Invalid cond code"); 93fef80a29SKazushi (Jam) Marukawa } 94fef80a29SKazushi (Jam) Marukawa 956fe61053SKazushi (Jam) Marukawa // Treat a branch relative long always instruction as unconditional branch. 966fe61053SKazushi (Jam) Marukawa // For example, br.l.t and br.l. 97fef80a29SKazushi (Jam) Marukawa static bool isUncondBranchOpcode(int Opc) { 986fe61053SKazushi (Jam) Marukawa using namespace llvm::VE; 996fe61053SKazushi (Jam) Marukawa 1006fe61053SKazushi (Jam) Marukawa #define BRKIND(NAME) (Opc == NAME##a || Opc == NAME##a_nt || Opc == NAME##a_t) 1016fe61053SKazushi (Jam) Marukawa // VE has other branch relative always instructions for word/double/float, 1026fe61053SKazushi (Jam) Marukawa // but we use only long branches in our lower. So, sanity check it here. 1036fe61053SKazushi (Jam) Marukawa assert(!BRKIND(BRCFW) && !BRKIND(BRCFD) && !BRKIND(BRCFS) && 1046fe61053SKazushi (Jam) Marukawa "Branch relative word/double/float always instructions should not be " 1056fe61053SKazushi (Jam) Marukawa "used!"); 1066fe61053SKazushi (Jam) Marukawa return BRKIND(BRCFL); 1076fe61053SKazushi (Jam) Marukawa #undef BRKIND 108fef80a29SKazushi (Jam) Marukawa } 109fef80a29SKazushi (Jam) Marukawa 1106fe61053SKazushi (Jam) Marukawa // Treat branch relative conditional as conditional branch instructions. 1116fe61053SKazushi (Jam) Marukawa // For example, brgt.l.t and brle.s.nt. 112fef80a29SKazushi (Jam) Marukawa static bool isCondBranchOpcode(int Opc) { 1136fe61053SKazushi (Jam) Marukawa using namespace llvm::VE; 1146fe61053SKazushi (Jam) Marukawa 1156fe61053SKazushi (Jam) Marukawa #define BRKIND(NAME) \ 1166fe61053SKazushi (Jam) Marukawa (Opc == NAME##rr || Opc == NAME##rr_nt || Opc == NAME##rr_t || \ 1176fe61053SKazushi (Jam) Marukawa Opc == NAME##ir || Opc == NAME##ir_nt || Opc == NAME##ir_t) 1186fe61053SKazushi (Jam) Marukawa return BRKIND(BRCFL) || BRKIND(BRCFW) || BRKIND(BRCFD) || BRKIND(BRCFS); 1196fe61053SKazushi (Jam) Marukawa #undef BRKIND 1203c80478dSKazushi (Jam) Marukawa } 1213c80478dSKazushi (Jam) Marukawa 1226fe61053SKazushi (Jam) Marukawa // Treat branch long always instructions as indirect branch. 1236fe61053SKazushi (Jam) Marukawa // For example, b.l.t and b.l. 1243c80478dSKazushi (Jam) Marukawa static bool isIndirectBranchOpcode(int Opc) { 1256fe61053SKazushi (Jam) Marukawa using namespace llvm::VE; 1266fe61053SKazushi (Jam) Marukawa 1276fe61053SKazushi (Jam) Marukawa #define BRKIND(NAME) \ 1286fe61053SKazushi (Jam) Marukawa (Opc == NAME##ari || Opc == NAME##ari_nt || Opc == NAME##ari_t) 1296fe61053SKazushi (Jam) Marukawa // VE has other branch always instructions for word/double/float, but 1306fe61053SKazushi (Jam) Marukawa // we use only long branches in our lower. So, sanity check it here. 1316fe61053SKazushi (Jam) Marukawa assert(!BRKIND(BCFW) && !BRKIND(BCFD) && !BRKIND(BCFS) && 1326fe61053SKazushi (Jam) Marukawa "Branch word/double/float always instructions should not be used!"); 1336fe61053SKazushi (Jam) Marukawa return BRKIND(BCFL); 1346fe61053SKazushi (Jam) Marukawa #undef BRKIND 135fef80a29SKazushi (Jam) Marukawa } 136fef80a29SKazushi (Jam) Marukawa 137fef80a29SKazushi (Jam) Marukawa static void parseCondBranch(MachineInstr *LastInst, MachineBasicBlock *&Target, 138fef80a29SKazushi (Jam) Marukawa SmallVectorImpl<MachineOperand> &Cond) { 139fef80a29SKazushi (Jam) Marukawa Cond.push_back(MachineOperand::CreateImm(LastInst->getOperand(0).getImm())); 140fef80a29SKazushi (Jam) Marukawa Cond.push_back(LastInst->getOperand(1)); 141fef80a29SKazushi (Jam) Marukawa Cond.push_back(LastInst->getOperand(2)); 142fef80a29SKazushi (Jam) Marukawa Target = LastInst->getOperand(3).getMBB(); 143fef80a29SKazushi (Jam) Marukawa } 144fef80a29SKazushi (Jam) Marukawa 14524215fecSSimon Moll bool VEInstrInfo::analyzeBranch(MachineBasicBlock &MBB, MachineBasicBlock *&TBB, 146fef80a29SKazushi (Jam) Marukawa MachineBasicBlock *&FBB, 147fef80a29SKazushi (Jam) Marukawa SmallVectorImpl<MachineOperand> &Cond, 148fef80a29SKazushi (Jam) Marukawa bool AllowModify) const { 149fef80a29SKazushi (Jam) Marukawa MachineBasicBlock::iterator I = MBB.getLastNonDebugInstr(); 150fef80a29SKazushi (Jam) Marukawa if (I == MBB.end()) 151fef80a29SKazushi (Jam) Marukawa return false; 152fef80a29SKazushi (Jam) Marukawa 153fef80a29SKazushi (Jam) Marukawa if (!isUnpredicatedTerminator(*I)) 154fef80a29SKazushi (Jam) Marukawa return false; 155fef80a29SKazushi (Jam) Marukawa 156fef80a29SKazushi (Jam) Marukawa // Get the last instruction in the block. 157fef80a29SKazushi (Jam) Marukawa MachineInstr *LastInst = &*I; 158fef80a29SKazushi (Jam) Marukawa unsigned LastOpc = LastInst->getOpcode(); 159fef80a29SKazushi (Jam) Marukawa 160fef80a29SKazushi (Jam) Marukawa // If there is only one terminator instruction, process it. 161fef80a29SKazushi (Jam) Marukawa if (I == MBB.begin() || !isUnpredicatedTerminator(*--I)) { 162fef80a29SKazushi (Jam) Marukawa if (isUncondBranchOpcode(LastOpc)) { 163fef80a29SKazushi (Jam) Marukawa TBB = LastInst->getOperand(0).getMBB(); 164fef80a29SKazushi (Jam) Marukawa return false; 165fef80a29SKazushi (Jam) Marukawa } 166fef80a29SKazushi (Jam) Marukawa if (isCondBranchOpcode(LastOpc)) { 167fef80a29SKazushi (Jam) Marukawa // Block ends with fall-through condbranch. 168fef80a29SKazushi (Jam) Marukawa parseCondBranch(LastInst, TBB, Cond); 169fef80a29SKazushi (Jam) Marukawa return false; 170fef80a29SKazushi (Jam) Marukawa } 171fef80a29SKazushi (Jam) Marukawa return true; // Can't handle indirect branch. 172fef80a29SKazushi (Jam) Marukawa } 173fef80a29SKazushi (Jam) Marukawa 174fef80a29SKazushi (Jam) Marukawa // Get the instruction before it if it is a terminator. 175fef80a29SKazushi (Jam) Marukawa MachineInstr *SecondLastInst = &*I; 176fef80a29SKazushi (Jam) Marukawa unsigned SecondLastOpc = SecondLastInst->getOpcode(); 177fef80a29SKazushi (Jam) Marukawa 178fef80a29SKazushi (Jam) Marukawa // If AllowModify is true and the block ends with two or more unconditional 179fef80a29SKazushi (Jam) Marukawa // branches, delete all but the first unconditional branch. 180fef80a29SKazushi (Jam) Marukawa if (AllowModify && isUncondBranchOpcode(LastOpc)) { 181fef80a29SKazushi (Jam) Marukawa while (isUncondBranchOpcode(SecondLastOpc)) { 182fef80a29SKazushi (Jam) Marukawa LastInst->eraseFromParent(); 183fef80a29SKazushi (Jam) Marukawa LastInst = SecondLastInst; 184fef80a29SKazushi (Jam) Marukawa LastOpc = LastInst->getOpcode(); 185fef80a29SKazushi (Jam) Marukawa if (I == MBB.begin() || !isUnpredicatedTerminator(*--I)) { 186fef80a29SKazushi (Jam) Marukawa // Return now the only terminator is an unconditional branch. 187fef80a29SKazushi (Jam) Marukawa TBB = LastInst->getOperand(0).getMBB(); 188fef80a29SKazushi (Jam) Marukawa return false; 189fef80a29SKazushi (Jam) Marukawa } 190fef80a29SKazushi (Jam) Marukawa SecondLastInst = &*I; 191fef80a29SKazushi (Jam) Marukawa SecondLastOpc = SecondLastInst->getOpcode(); 192fef80a29SKazushi (Jam) Marukawa } 193fef80a29SKazushi (Jam) Marukawa } 194fef80a29SKazushi (Jam) Marukawa 195fef80a29SKazushi (Jam) Marukawa // If there are three terminators, we don't know what sort of block this is. 196fef80a29SKazushi (Jam) Marukawa if (SecondLastInst && I != MBB.begin() && isUnpredicatedTerminator(*--I)) 197fef80a29SKazushi (Jam) Marukawa return true; 198fef80a29SKazushi (Jam) Marukawa 199fef80a29SKazushi (Jam) Marukawa // If the block ends with a B and a Bcc, handle it. 200fef80a29SKazushi (Jam) Marukawa if (isCondBranchOpcode(SecondLastOpc) && isUncondBranchOpcode(LastOpc)) { 201fef80a29SKazushi (Jam) Marukawa parseCondBranch(SecondLastInst, TBB, Cond); 202fef80a29SKazushi (Jam) Marukawa FBB = LastInst->getOperand(0).getMBB(); 203fef80a29SKazushi (Jam) Marukawa return false; 204fef80a29SKazushi (Jam) Marukawa } 205fef80a29SKazushi (Jam) Marukawa 206fef80a29SKazushi (Jam) Marukawa // If the block ends with two unconditional branches, handle it. The second 207fef80a29SKazushi (Jam) Marukawa // one is not executed. 208fef80a29SKazushi (Jam) Marukawa if (isUncondBranchOpcode(SecondLastOpc) && isUncondBranchOpcode(LastOpc)) { 209fef80a29SKazushi (Jam) Marukawa TBB = SecondLastInst->getOperand(0).getMBB(); 210fef80a29SKazushi (Jam) Marukawa return false; 211fef80a29SKazushi (Jam) Marukawa } 212fef80a29SKazushi (Jam) Marukawa 2133c80478dSKazushi (Jam) Marukawa // ...likewise if it ends with an indirect branch followed by an unconditional 214fef80a29SKazushi (Jam) Marukawa // branch. 2153c80478dSKazushi (Jam) Marukawa if (isIndirectBranchOpcode(SecondLastOpc) && isUncondBranchOpcode(LastOpc)) { 2163c80478dSKazushi (Jam) Marukawa I = LastInst; 2173c80478dSKazushi (Jam) Marukawa if (AllowModify) 2183c80478dSKazushi (Jam) Marukawa I->eraseFromParent(); 2193c80478dSKazushi (Jam) Marukawa return true; 2203c80478dSKazushi (Jam) Marukawa } 221fef80a29SKazushi (Jam) Marukawa 222fef80a29SKazushi (Jam) Marukawa // Otherwise, can't handle this. 223fef80a29SKazushi (Jam) Marukawa return true; 224fef80a29SKazushi (Jam) Marukawa } 225fef80a29SKazushi (Jam) Marukawa 226fef80a29SKazushi (Jam) Marukawa unsigned VEInstrInfo::insertBranch(MachineBasicBlock &MBB, 227fef80a29SKazushi (Jam) Marukawa MachineBasicBlock *TBB, 228fef80a29SKazushi (Jam) Marukawa MachineBasicBlock *FBB, 229fef80a29SKazushi (Jam) Marukawa ArrayRef<MachineOperand> Cond, 23024215fecSSimon Moll const DebugLoc &DL, int *BytesAdded) const { 231fef80a29SKazushi (Jam) Marukawa assert(TBB && "insertBranch must not be told to insert a fallthrough"); 232fef80a29SKazushi (Jam) Marukawa assert((Cond.size() == 3 || Cond.size() == 0) && 233fef80a29SKazushi (Jam) Marukawa "VE branch conditions should have three component!"); 234fef80a29SKazushi (Jam) Marukawa assert(!BytesAdded && "code size not handled"); 235fef80a29SKazushi (Jam) Marukawa if (Cond.empty()) { 236fef80a29SKazushi (Jam) Marukawa // Uncondition branch 237fef80a29SKazushi (Jam) Marukawa assert(!FBB && "Unconditional branch with multiple successors!"); 2383c80478dSKazushi (Jam) Marukawa BuildMI(&MBB, DL, get(VE::BRCFLa_t)) 239fef80a29SKazushi (Jam) Marukawa .addMBB(TBB); 240fef80a29SKazushi (Jam) Marukawa return 1; 241fef80a29SKazushi (Jam) Marukawa } 242fef80a29SKazushi (Jam) Marukawa 243fef80a29SKazushi (Jam) Marukawa // Conditional branch 2443c80478dSKazushi (Jam) Marukawa // (BRCFir CC sy sz addr) 245fef80a29SKazushi (Jam) Marukawa assert(Cond[0].isImm() && Cond[2].isReg() && "not implemented"); 246fef80a29SKazushi (Jam) Marukawa 247fef80a29SKazushi (Jam) Marukawa unsigned opc[2]; 248fef80a29SKazushi (Jam) Marukawa const TargetRegisterInfo *TRI = &getRegisterInfo(); 249fef80a29SKazushi (Jam) Marukawa MachineFunction *MF = MBB.getParent(); 250fef80a29SKazushi (Jam) Marukawa const MachineRegisterInfo &MRI = MF->getRegInfo(); 251fef80a29SKazushi (Jam) Marukawa unsigned Reg = Cond[2].getReg(); 252fef80a29SKazushi (Jam) Marukawa if (IsIntegerCC(Cond[0].getImm())) { 253fef80a29SKazushi (Jam) Marukawa if (TRI->getRegSizeInBits(Reg, MRI) == 32) { 2543c80478dSKazushi (Jam) Marukawa opc[0] = VE::BRCFWir; 2553c80478dSKazushi (Jam) Marukawa opc[1] = VE::BRCFWrr; 256fef80a29SKazushi (Jam) Marukawa } else { 2573c80478dSKazushi (Jam) Marukawa opc[0] = VE::BRCFLir; 2583c80478dSKazushi (Jam) Marukawa opc[1] = VE::BRCFLrr; 259fef80a29SKazushi (Jam) Marukawa } 260fef80a29SKazushi (Jam) Marukawa } else { 261fef80a29SKazushi (Jam) Marukawa if (TRI->getRegSizeInBits(Reg, MRI) == 32) { 2623c80478dSKazushi (Jam) Marukawa opc[0] = VE::BRCFSir; 2633c80478dSKazushi (Jam) Marukawa opc[1] = VE::BRCFSrr; 264fef80a29SKazushi (Jam) Marukawa } else { 2653c80478dSKazushi (Jam) Marukawa opc[0] = VE::BRCFDir; 2663c80478dSKazushi (Jam) Marukawa opc[1] = VE::BRCFDrr; 267fef80a29SKazushi (Jam) Marukawa } 268fef80a29SKazushi (Jam) Marukawa } 269fef80a29SKazushi (Jam) Marukawa if (Cond[1].isImm()) { 270fef80a29SKazushi (Jam) Marukawa BuildMI(&MBB, DL, get(opc[0])) 271fef80a29SKazushi (Jam) Marukawa .add(Cond[0]) // condition code 272fef80a29SKazushi (Jam) Marukawa .add(Cond[1]) // lhs 273fef80a29SKazushi (Jam) Marukawa .add(Cond[2]) // rhs 274fef80a29SKazushi (Jam) Marukawa .addMBB(TBB); 275fef80a29SKazushi (Jam) Marukawa } else { 276fef80a29SKazushi (Jam) Marukawa BuildMI(&MBB, DL, get(opc[1])) 277fef80a29SKazushi (Jam) Marukawa .add(Cond[0]) 278fef80a29SKazushi (Jam) Marukawa .add(Cond[1]) 279fef80a29SKazushi (Jam) Marukawa .add(Cond[2]) 280fef80a29SKazushi (Jam) Marukawa .addMBB(TBB); 281fef80a29SKazushi (Jam) Marukawa } 282fef80a29SKazushi (Jam) Marukawa 283fef80a29SKazushi (Jam) Marukawa if (!FBB) 284fef80a29SKazushi (Jam) Marukawa return 1; 285fef80a29SKazushi (Jam) Marukawa 2863c80478dSKazushi (Jam) Marukawa BuildMI(&MBB, DL, get(VE::BRCFLa_t)) 287fef80a29SKazushi (Jam) Marukawa .addMBB(FBB); 288fef80a29SKazushi (Jam) Marukawa return 2; 289fef80a29SKazushi (Jam) Marukawa } 290fef80a29SKazushi (Jam) Marukawa 291fef80a29SKazushi (Jam) Marukawa unsigned VEInstrInfo::removeBranch(MachineBasicBlock &MBB, 292fef80a29SKazushi (Jam) Marukawa int *BytesRemoved) const { 293fef80a29SKazushi (Jam) Marukawa assert(!BytesRemoved && "code size not handled"); 294fef80a29SKazushi (Jam) Marukawa 295fef80a29SKazushi (Jam) Marukawa MachineBasicBlock::iterator I = MBB.end(); 296fef80a29SKazushi (Jam) Marukawa unsigned Count = 0; 297fef80a29SKazushi (Jam) Marukawa while (I != MBB.begin()) { 298fef80a29SKazushi (Jam) Marukawa --I; 299fef80a29SKazushi (Jam) Marukawa 300fef80a29SKazushi (Jam) Marukawa if (I->isDebugValue()) 301fef80a29SKazushi (Jam) Marukawa continue; 302fef80a29SKazushi (Jam) Marukawa 303fef80a29SKazushi (Jam) Marukawa if (!isUncondBranchOpcode(I->getOpcode()) && 304fef80a29SKazushi (Jam) Marukawa !isCondBranchOpcode(I->getOpcode())) 305fef80a29SKazushi (Jam) Marukawa break; // Not a branch 306fef80a29SKazushi (Jam) Marukawa 307fef80a29SKazushi (Jam) Marukawa I->eraseFromParent(); 308fef80a29SKazushi (Jam) Marukawa I = MBB.end(); 309fef80a29SKazushi (Jam) Marukawa ++Count; 310fef80a29SKazushi (Jam) Marukawa } 311fef80a29SKazushi (Jam) Marukawa return Count; 312fef80a29SKazushi (Jam) Marukawa } 313fef80a29SKazushi (Jam) Marukawa 314fef80a29SKazushi (Jam) Marukawa bool VEInstrInfo::reverseBranchCondition( 315fef80a29SKazushi (Jam) Marukawa SmallVectorImpl<MachineOperand> &Cond) const { 31628a42dd1SKazushi (Jam) Marukawa VECC::CondCode CC = static_cast<VECC::CondCode>(Cond[0].getImm()); 317fef80a29SKazushi (Jam) Marukawa Cond[0].setImm(GetOppositeBranchCondition(CC)); 318fef80a29SKazushi (Jam) Marukawa return false; 319fef80a29SKazushi (Jam) Marukawa } 320fef80a29SKazushi (Jam) Marukawa 3213a906a9fSKazushi (Jam) Marukawa static bool IsAliasOfSX(Register Reg) { 3222f01af76SKazushi (Jam) Marukawa return VE::I32RegClass.contains(Reg) || VE::I64RegClass.contains(Reg) || 3233a906a9fSKazushi (Jam) Marukawa VE::F32RegClass.contains(Reg); 3243a906a9fSKazushi (Jam) Marukawa } 3253a906a9fSKazushi (Jam) Marukawa 32640f1e7e8SKazushi (Jam) Marukawa static void copyPhysSubRegs(MachineBasicBlock &MBB, 32740f1e7e8SKazushi (Jam) Marukawa MachineBasicBlock::iterator I, const DebugLoc &DL, 32840f1e7e8SKazushi (Jam) Marukawa MCRegister DestReg, MCRegister SrcReg, bool KillSrc, 32940f1e7e8SKazushi (Jam) Marukawa const MCInstrDesc &MCID, unsigned int NumSubRegs, 33040f1e7e8SKazushi (Jam) Marukawa const unsigned *SubRegIdx, 33140f1e7e8SKazushi (Jam) Marukawa const TargetRegisterInfo *TRI) { 33240f1e7e8SKazushi (Jam) Marukawa MachineInstr *MovMI = nullptr; 33340f1e7e8SKazushi (Jam) Marukawa 33440f1e7e8SKazushi (Jam) Marukawa for (unsigned Idx = 0; Idx != NumSubRegs; ++Idx) { 33540f1e7e8SKazushi (Jam) Marukawa Register SubDest = TRI->getSubReg(DestReg, SubRegIdx[Idx]); 33640f1e7e8SKazushi (Jam) Marukawa Register SubSrc = TRI->getSubReg(SrcReg, SubRegIdx[Idx]); 33740f1e7e8SKazushi (Jam) Marukawa assert(SubDest && SubSrc && "Bad sub-register"); 33840f1e7e8SKazushi (Jam) Marukawa 33940f1e7e8SKazushi (Jam) Marukawa if (MCID.getOpcode() == VE::ORri) { 34040f1e7e8SKazushi (Jam) Marukawa // generate "ORri, dest, src, 0" instruction. 34140f1e7e8SKazushi (Jam) Marukawa MachineInstrBuilder MIB = 34240f1e7e8SKazushi (Jam) Marukawa BuildMI(MBB, I, DL, MCID, SubDest).addReg(SubSrc).addImm(0); 34340f1e7e8SKazushi (Jam) Marukawa MovMI = MIB.getInstr(); 34440f1e7e8SKazushi (Jam) Marukawa } else { 34540f1e7e8SKazushi (Jam) Marukawa llvm_unreachable("Unexpected reg-to-reg copy instruction"); 34640f1e7e8SKazushi (Jam) Marukawa } 34740f1e7e8SKazushi (Jam) Marukawa } 34840f1e7e8SKazushi (Jam) Marukawa // Add implicit super-register defs and kills to the last MovMI. 34940f1e7e8SKazushi (Jam) Marukawa MovMI->addRegisterDefined(DestReg, TRI); 35040f1e7e8SKazushi (Jam) Marukawa if (KillSrc) 35140f1e7e8SKazushi (Jam) Marukawa MovMI->addRegisterKilled(SrcReg, TRI, true); 35240f1e7e8SKazushi (Jam) Marukawa } 35340f1e7e8SKazushi (Jam) Marukawa 354773ae62fSKazushi (Jam) Marukawa void VEInstrInfo::copyPhysReg(MachineBasicBlock &MBB, 355773ae62fSKazushi (Jam) Marukawa MachineBasicBlock::iterator I, const DebugLoc &DL, 356773ae62fSKazushi (Jam) Marukawa MCRegister DestReg, MCRegister SrcReg, 357773ae62fSKazushi (Jam) Marukawa bool KillSrc) const { 358773ae62fSKazushi (Jam) Marukawa 3593a906a9fSKazushi (Jam) Marukawa if (IsAliasOfSX(SrcReg) && IsAliasOfSX(DestReg)) { 360773ae62fSKazushi (Jam) Marukawa BuildMI(MBB, I, DL, get(VE::ORri), DestReg) 361773ae62fSKazushi (Jam) Marukawa .addReg(SrcReg, getKillRegState(KillSrc)) 362773ae62fSKazushi (Jam) Marukawa .addImm(0); 363a598c08aSSimon Moll } else if (VE::V64RegClass.contains(DestReg, SrcReg)) { 364a598c08aSSimon Moll // Generate following instructions 365a598c08aSSimon Moll // %sw16 = LEA32zii 256 366a598c08aSSimon Moll // VORmvl %dest, (0)1, %src, %sw16 367a598c08aSSimon Moll // TODO: reuse a register if vl is already assigned to a register 368a598c08aSSimon Moll // FIXME: it would be better to scavenge a register here instead of 369a598c08aSSimon Moll // reserving SX16 all of the time. 370a598c08aSSimon Moll const TargetRegisterInfo *TRI = &getRegisterInfo(); 371a598c08aSSimon Moll Register TmpReg = VE::SX16; 372a598c08aSSimon Moll Register SubTmp = TRI->getSubReg(TmpReg, VE::sub_i32); 373a598c08aSSimon Moll BuildMI(MBB, I, DL, get(VE::LEAzii), TmpReg) 374a598c08aSSimon Moll .addImm(0) 375a598c08aSSimon Moll .addImm(0) 376a598c08aSSimon Moll .addImm(256); 377a598c08aSSimon Moll MachineInstrBuilder MIB = BuildMI(MBB, I, DL, get(VE::VORmvl), DestReg) 378a598c08aSSimon Moll .addImm(M1(0)) // Represent (0)1. 379a598c08aSSimon Moll .addReg(SrcReg, getKillRegState(KillSrc)) 380a598c08aSSimon Moll .addReg(SubTmp, getKillRegState(true)); 381a598c08aSSimon Moll MIB.getInstr()->addRegisterKilled(TmpReg, TRI, true); 38240f1e7e8SKazushi (Jam) Marukawa } else if (VE::F128RegClass.contains(DestReg, SrcReg)) { 38340f1e7e8SKazushi (Jam) Marukawa // Use two instructions. 38440f1e7e8SKazushi (Jam) Marukawa const unsigned SubRegIdx[] = {VE::sub_even, VE::sub_odd}; 38540f1e7e8SKazushi (Jam) Marukawa unsigned int NumSubRegs = 2; 38640f1e7e8SKazushi (Jam) Marukawa copyPhysSubRegs(MBB, I, DL, DestReg, SrcReg, KillSrc, get(VE::ORri), 38740f1e7e8SKazushi (Jam) Marukawa NumSubRegs, SubRegIdx, &getRegisterInfo()); 388773ae62fSKazushi (Jam) Marukawa } else { 389773ae62fSKazushi (Jam) Marukawa const TargetRegisterInfo *TRI = &getRegisterInfo(); 390773ae62fSKazushi (Jam) Marukawa dbgs() << "Impossible reg-to-reg copy from " << printReg(SrcReg, TRI) 391773ae62fSKazushi (Jam) Marukawa << " to " << printReg(DestReg, TRI) << "\n"; 392773ae62fSKazushi (Jam) Marukawa llvm_unreachable("Impossible reg-to-reg copy"); 393773ae62fSKazushi (Jam) Marukawa } 394773ae62fSKazushi (Jam) Marukawa } 395773ae62fSKazushi (Jam) Marukawa 39607c9f757SKazushi (Jam) Marukawa /// isLoadFromStackSlot - If the specified machine instruction is a direct 39707c9f757SKazushi (Jam) Marukawa /// load from a stack slot, return the virtual or physical register number of 39807c9f757SKazushi (Jam) Marukawa /// the destination along with the FrameIndex of the loaded stack slot. If 39907c9f757SKazushi (Jam) Marukawa /// not, return 0. This predicate must return 0 if the instruction has 40007c9f757SKazushi (Jam) Marukawa /// any side effects other than loading from the stack slot. 40107c9f757SKazushi (Jam) Marukawa unsigned VEInstrInfo::isLoadFromStackSlot(const MachineInstr &MI, 40207c9f757SKazushi (Jam) Marukawa int &FrameIndex) const { 403e981a46aSKazushi (Jam) Marukawa if (MI.getOpcode() == VE::LDrii || // I64 404e981a46aSKazushi (Jam) Marukawa MI.getOpcode() == VE::LDLSXrii || // I32 40540f1e7e8SKazushi (Jam) Marukawa MI.getOpcode() == VE::LDUrii || // F32 40640f1e7e8SKazushi (Jam) Marukawa MI.getOpcode() == VE::LDQrii // F128 (pseudo) 407e981a46aSKazushi (Jam) Marukawa ) { 40807c9f757SKazushi (Jam) Marukawa if (MI.getOperand(1).isFI() && MI.getOperand(2).isImm() && 409e981a46aSKazushi (Jam) Marukawa MI.getOperand(2).getImm() == 0 && MI.getOperand(3).isImm() && 410e981a46aSKazushi (Jam) Marukawa MI.getOperand(3).getImm() == 0) { 41107c9f757SKazushi (Jam) Marukawa FrameIndex = MI.getOperand(1).getIndex(); 41207c9f757SKazushi (Jam) Marukawa return MI.getOperand(0).getReg(); 41307c9f757SKazushi (Jam) Marukawa } 41407c9f757SKazushi (Jam) Marukawa } 41507c9f757SKazushi (Jam) Marukawa return 0; 41607c9f757SKazushi (Jam) Marukawa } 41707c9f757SKazushi (Jam) Marukawa 41807c9f757SKazushi (Jam) Marukawa /// isStoreToStackSlot - If the specified machine instruction is a direct 41907c9f757SKazushi (Jam) Marukawa /// store to a stack slot, return the virtual or physical register number of 42007c9f757SKazushi (Jam) Marukawa /// the source reg along with the FrameIndex of the loaded stack slot. If 42107c9f757SKazushi (Jam) Marukawa /// not, return 0. This predicate must return 0 if the instruction has 42207c9f757SKazushi (Jam) Marukawa /// any side effects other than storing to the stack slot. 42307c9f757SKazushi (Jam) Marukawa unsigned VEInstrInfo::isStoreToStackSlot(const MachineInstr &MI, 42407c9f757SKazushi (Jam) Marukawa int &FrameIndex) const { 425e981a46aSKazushi (Jam) Marukawa if (MI.getOpcode() == VE::STrii || // I64 426e981a46aSKazushi (Jam) Marukawa MI.getOpcode() == VE::STLrii || // I32 42740f1e7e8SKazushi (Jam) Marukawa MI.getOpcode() == VE::STUrii || // F32 42840f1e7e8SKazushi (Jam) Marukawa MI.getOpcode() == VE::STQrii // F128 (pseudo) 429e981a46aSKazushi (Jam) Marukawa ) { 43007c9f757SKazushi (Jam) Marukawa if (MI.getOperand(0).isFI() && MI.getOperand(1).isImm() && 431e981a46aSKazushi (Jam) Marukawa MI.getOperand(1).getImm() == 0 && MI.getOperand(2).isImm() && 432e981a46aSKazushi (Jam) Marukawa MI.getOperand(2).getImm() == 0) { 43307c9f757SKazushi (Jam) Marukawa FrameIndex = MI.getOperand(0).getIndex(); 434e981a46aSKazushi (Jam) Marukawa return MI.getOperand(3).getReg(); 43507c9f757SKazushi (Jam) Marukawa } 43607c9f757SKazushi (Jam) Marukawa } 43707c9f757SKazushi (Jam) Marukawa return 0; 43807c9f757SKazushi (Jam) Marukawa } 43907c9f757SKazushi (Jam) Marukawa 44007c9f757SKazushi (Jam) Marukawa void VEInstrInfo::storeRegToStackSlot(MachineBasicBlock &MBB, 44107c9f757SKazushi (Jam) Marukawa MachineBasicBlock::iterator I, 44207c9f757SKazushi (Jam) Marukawa Register SrcReg, bool isKill, int FI, 44307c9f757SKazushi (Jam) Marukawa const TargetRegisterClass *RC, 44407c9f757SKazushi (Jam) Marukawa const TargetRegisterInfo *TRI) const { 44507c9f757SKazushi (Jam) Marukawa DebugLoc DL; 44607c9f757SKazushi (Jam) Marukawa if (I != MBB.end()) 44707c9f757SKazushi (Jam) Marukawa DL = I->getDebugLoc(); 44807c9f757SKazushi (Jam) Marukawa 44907c9f757SKazushi (Jam) Marukawa MachineFunction *MF = MBB.getParent(); 45007c9f757SKazushi (Jam) Marukawa const MachineFrameInfo &MFI = MF->getFrameInfo(); 45107c9f757SKazushi (Jam) Marukawa MachineMemOperand *MMO = MF->getMachineMemOperand( 45207c9f757SKazushi (Jam) Marukawa MachinePointerInfo::getFixedStack(*MF, FI), MachineMemOperand::MOStore, 453624654fdSFangrui Song MFI.getObjectSize(FI), MFI.getObjectAlign(FI)); 45407c9f757SKazushi (Jam) Marukawa 45507c9f757SKazushi (Jam) Marukawa // On the order of operands here: think "[FrameIdx + 0] = SrcReg". 45607c9f757SKazushi (Jam) Marukawa if (RC == &VE::I64RegClass) { 457e981a46aSKazushi (Jam) Marukawa BuildMI(MBB, I, DL, get(VE::STrii)) 45807c9f757SKazushi (Jam) Marukawa .addFrameIndex(FI) 45907c9f757SKazushi (Jam) Marukawa .addImm(0) 460e981a46aSKazushi (Jam) Marukawa .addImm(0) 46107c9f757SKazushi (Jam) Marukawa .addReg(SrcReg, getKillRegState(isKill)) 46207c9f757SKazushi (Jam) Marukawa .addMemOperand(MMO); 46307c9f757SKazushi (Jam) Marukawa } else if (RC == &VE::I32RegClass) { 464e981a46aSKazushi (Jam) Marukawa BuildMI(MBB, I, DL, get(VE::STLrii)) 46507c9f757SKazushi (Jam) Marukawa .addFrameIndex(FI) 46607c9f757SKazushi (Jam) Marukawa .addImm(0) 467e981a46aSKazushi (Jam) Marukawa .addImm(0) 46807c9f757SKazushi (Jam) Marukawa .addReg(SrcReg, getKillRegState(isKill)) 46907c9f757SKazushi (Jam) Marukawa .addMemOperand(MMO); 47007c9f757SKazushi (Jam) Marukawa } else if (RC == &VE::F32RegClass) { 471e981a46aSKazushi (Jam) Marukawa BuildMI(MBB, I, DL, get(VE::STUrii)) 47207c9f757SKazushi (Jam) Marukawa .addFrameIndex(FI) 47307c9f757SKazushi (Jam) Marukawa .addImm(0) 474e981a46aSKazushi (Jam) Marukawa .addImm(0) 47507c9f757SKazushi (Jam) Marukawa .addReg(SrcReg, getKillRegState(isKill)) 47607c9f757SKazushi (Jam) Marukawa .addMemOperand(MMO); 47740f1e7e8SKazushi (Jam) Marukawa } else if (VE::F128RegClass.hasSubClassEq(RC)) { 47840f1e7e8SKazushi (Jam) Marukawa BuildMI(MBB, I, DL, get(VE::STQrii)) 47940f1e7e8SKazushi (Jam) Marukawa .addFrameIndex(FI) 48040f1e7e8SKazushi (Jam) Marukawa .addImm(0) 48140f1e7e8SKazushi (Jam) Marukawa .addImm(0) 48240f1e7e8SKazushi (Jam) Marukawa .addReg(SrcReg, getKillRegState(isKill)) 48340f1e7e8SKazushi (Jam) Marukawa .addMemOperand(MMO); 48407c9f757SKazushi (Jam) Marukawa } else 48507c9f757SKazushi (Jam) Marukawa report_fatal_error("Can't store this register to stack slot"); 48607c9f757SKazushi (Jam) Marukawa } 48707c9f757SKazushi (Jam) Marukawa 48807c9f757SKazushi (Jam) Marukawa void VEInstrInfo::loadRegFromStackSlot(MachineBasicBlock &MBB, 48907c9f757SKazushi (Jam) Marukawa MachineBasicBlock::iterator I, 49007c9f757SKazushi (Jam) Marukawa Register DestReg, int FI, 49107c9f757SKazushi (Jam) Marukawa const TargetRegisterClass *RC, 49207c9f757SKazushi (Jam) Marukawa const TargetRegisterInfo *TRI) const { 49307c9f757SKazushi (Jam) Marukawa DebugLoc DL; 49407c9f757SKazushi (Jam) Marukawa if (I != MBB.end()) 49507c9f757SKazushi (Jam) Marukawa DL = I->getDebugLoc(); 49607c9f757SKazushi (Jam) Marukawa 49707c9f757SKazushi (Jam) Marukawa MachineFunction *MF = MBB.getParent(); 49807c9f757SKazushi (Jam) Marukawa const MachineFrameInfo &MFI = MF->getFrameInfo(); 49907c9f757SKazushi (Jam) Marukawa MachineMemOperand *MMO = MF->getMachineMemOperand( 50007c9f757SKazushi (Jam) Marukawa MachinePointerInfo::getFixedStack(*MF, FI), MachineMemOperand::MOLoad, 501624654fdSFangrui Song MFI.getObjectSize(FI), MFI.getObjectAlign(FI)); 50207c9f757SKazushi (Jam) Marukawa 50307c9f757SKazushi (Jam) Marukawa if (RC == &VE::I64RegClass) { 504e981a46aSKazushi (Jam) Marukawa BuildMI(MBB, I, DL, get(VE::LDrii), DestReg) 50507c9f757SKazushi (Jam) Marukawa .addFrameIndex(FI) 50607c9f757SKazushi (Jam) Marukawa .addImm(0) 507e981a46aSKazushi (Jam) Marukawa .addImm(0) 50807c9f757SKazushi (Jam) Marukawa .addMemOperand(MMO); 50907c9f757SKazushi (Jam) Marukawa } else if (RC == &VE::I32RegClass) { 510e981a46aSKazushi (Jam) Marukawa BuildMI(MBB, I, DL, get(VE::LDLSXrii), DestReg) 51107c9f757SKazushi (Jam) Marukawa .addFrameIndex(FI) 51207c9f757SKazushi (Jam) Marukawa .addImm(0) 513e981a46aSKazushi (Jam) Marukawa .addImm(0) 51407c9f757SKazushi (Jam) Marukawa .addMemOperand(MMO); 51507c9f757SKazushi (Jam) Marukawa } else if (RC == &VE::F32RegClass) { 516e981a46aSKazushi (Jam) Marukawa BuildMI(MBB, I, DL, get(VE::LDUrii), DestReg) 51707c9f757SKazushi (Jam) Marukawa .addFrameIndex(FI) 51807c9f757SKazushi (Jam) Marukawa .addImm(0) 519e981a46aSKazushi (Jam) Marukawa .addImm(0) 52007c9f757SKazushi (Jam) Marukawa .addMemOperand(MMO); 52140f1e7e8SKazushi (Jam) Marukawa } else if (VE::F128RegClass.hasSubClassEq(RC)) { 52240f1e7e8SKazushi (Jam) Marukawa BuildMI(MBB, I, DL, get(VE::LDQrii), DestReg) 52340f1e7e8SKazushi (Jam) Marukawa .addFrameIndex(FI) 52440f1e7e8SKazushi (Jam) Marukawa .addImm(0) 52540f1e7e8SKazushi (Jam) Marukawa .addImm(0) 52640f1e7e8SKazushi (Jam) Marukawa .addMemOperand(MMO); 52707c9f757SKazushi (Jam) Marukawa } else 52807c9f757SKazushi (Jam) Marukawa report_fatal_error("Can't load this register from stack slot"); 52907c9f757SKazushi (Jam) Marukawa } 53007c9f757SKazushi (Jam) Marukawa 531dd6f607eSKazushi (Jam) Marukawa bool VEInstrInfo::FoldImmediate(MachineInstr &UseMI, MachineInstr &DefMI, 532dd6f607eSKazushi (Jam) Marukawa Register Reg, MachineRegisterInfo *MRI) const { 533dd6f607eSKazushi (Jam) Marukawa LLVM_DEBUG(dbgs() << "FoldImmediate\n"); 534dd6f607eSKazushi (Jam) Marukawa 535dd6f607eSKazushi (Jam) Marukawa LLVM_DEBUG(dbgs() << "checking DefMI\n"); 536dd6f607eSKazushi (Jam) Marukawa int64_t ImmVal; 537dd6f607eSKazushi (Jam) Marukawa switch (DefMI.getOpcode()) { 538dd6f607eSKazushi (Jam) Marukawa default: 539dd6f607eSKazushi (Jam) Marukawa return false; 540dd6f607eSKazushi (Jam) Marukawa case VE::ORim: 541dd6f607eSKazushi (Jam) Marukawa // General move small immediate instruction on VE. 542dd6f607eSKazushi (Jam) Marukawa LLVM_DEBUG(dbgs() << "checking ORim\n"); 543dd6f607eSKazushi (Jam) Marukawa LLVM_DEBUG(DefMI.dump()); 544dd6f607eSKazushi (Jam) Marukawa // FIXME: We may need to support FPImm too. 545dd6f607eSKazushi (Jam) Marukawa assert(DefMI.getOperand(1).isImm()); 546dd6f607eSKazushi (Jam) Marukawa assert(DefMI.getOperand(2).isImm()); 547dd6f607eSKazushi (Jam) Marukawa ImmVal = 548dd6f607eSKazushi (Jam) Marukawa DefMI.getOperand(1).getImm() + mimm2Val(DefMI.getOperand(2).getImm()); 549dd6f607eSKazushi (Jam) Marukawa LLVM_DEBUG(dbgs() << "ImmVal is " << ImmVal << "\n"); 550dd6f607eSKazushi (Jam) Marukawa break; 551dd6f607eSKazushi (Jam) Marukawa case VE::LEAzii: 552dd6f607eSKazushi (Jam) Marukawa // General move immediate instruction on VE. 553dd6f607eSKazushi (Jam) Marukawa LLVM_DEBUG(dbgs() << "checking LEAzii\n"); 554dd6f607eSKazushi (Jam) Marukawa LLVM_DEBUG(DefMI.dump()); 555dd6f607eSKazushi (Jam) Marukawa // FIXME: We may need to support FPImm too. 556dd6f607eSKazushi (Jam) Marukawa assert(DefMI.getOperand(2).isImm()); 557dd6f607eSKazushi (Jam) Marukawa if (!DefMI.getOperand(3).isImm()) 558dd6f607eSKazushi (Jam) Marukawa // LEAzii may refer label 559dd6f607eSKazushi (Jam) Marukawa return false; 560dd6f607eSKazushi (Jam) Marukawa ImmVal = DefMI.getOperand(2).getImm() + DefMI.getOperand(3).getImm(); 561dd6f607eSKazushi (Jam) Marukawa LLVM_DEBUG(dbgs() << "ImmVal is " << ImmVal << "\n"); 562dd6f607eSKazushi (Jam) Marukawa break; 563dd6f607eSKazushi (Jam) Marukawa } 564dd6f607eSKazushi (Jam) Marukawa 565dd6f607eSKazushi (Jam) Marukawa // Try to fold like below: 566dd6f607eSKazushi (Jam) Marukawa // %1:i64 = ORim 0, 0(1) 567dd6f607eSKazushi (Jam) Marukawa // %2:i64 = CMPSLrr %0, %1 568dd6f607eSKazushi (Jam) Marukawa // To 569dd6f607eSKazushi (Jam) Marukawa // %2:i64 = CMPSLrm %0, 0(1) 570dd6f607eSKazushi (Jam) Marukawa // 571dd6f607eSKazushi (Jam) Marukawa // Another example: 572dd6f607eSKazushi (Jam) Marukawa // %1:i64 = ORim 6, 0(1) 573dd6f607eSKazushi (Jam) Marukawa // %2:i64 = CMPSLrr %1, %0 574dd6f607eSKazushi (Jam) Marukawa // To 575dd6f607eSKazushi (Jam) Marukawa // %2:i64 = CMPSLir 6, %0 576dd6f607eSKazushi (Jam) Marukawa // 577dd6f607eSKazushi (Jam) Marukawa // Support commutable instructions like below: 578dd6f607eSKazushi (Jam) Marukawa // %1:i64 = ORim 6, 0(1) 579dd6f607eSKazushi (Jam) Marukawa // %2:i64 = ADDSLrr %1, %0 580dd6f607eSKazushi (Jam) Marukawa // To 581dd6f607eSKazushi (Jam) Marukawa // %2:i64 = ADDSLri %0, 6 582dd6f607eSKazushi (Jam) Marukawa // 583dd6f607eSKazushi (Jam) Marukawa // FIXME: Need to support i32. Current implementtation requires 584dd6f607eSKazushi (Jam) Marukawa // EXTRACT_SUBREG, so input has following COPY and it avoids folding: 585dd6f607eSKazushi (Jam) Marukawa // %1:i64 = ORim 6, 0(1) 586dd6f607eSKazushi (Jam) Marukawa // %2:i32 = COPY %1.sub_i32 587dd6f607eSKazushi (Jam) Marukawa // %3:i32 = ADDSWSXrr %0, %2 588dd6f607eSKazushi (Jam) Marukawa // FIXME: Need to support shift, cmov, and more instructions. 589dd6f607eSKazushi (Jam) Marukawa // FIXME: Need to support lvl too, but LVLGen runs after peephole-opt. 590dd6f607eSKazushi (Jam) Marukawa 591dd6f607eSKazushi (Jam) Marukawa LLVM_DEBUG(dbgs() << "checking UseMI\n"); 592dd6f607eSKazushi (Jam) Marukawa LLVM_DEBUG(UseMI.dump()); 593dd6f607eSKazushi (Jam) Marukawa unsigned NewUseOpcSImm7; 594dd6f607eSKazushi (Jam) Marukawa unsigned NewUseOpcMImm; 595dd6f607eSKazushi (Jam) Marukawa enum InstType { 596dd6f607eSKazushi (Jam) Marukawa rr2ri_rm, // rr -> ri or rm, commutable 597dd6f607eSKazushi (Jam) Marukawa rr2ir_rm, // rr -> ir or rm 598dd6f607eSKazushi (Jam) Marukawa } InstType; 599dd6f607eSKazushi (Jam) Marukawa 600dd6f607eSKazushi (Jam) Marukawa using namespace llvm::VE; 601dd6f607eSKazushi (Jam) Marukawa #define INSTRKIND(NAME) \ 602dd6f607eSKazushi (Jam) Marukawa case NAME##rr: \ 603dd6f607eSKazushi (Jam) Marukawa NewUseOpcSImm7 = NAME##ri; \ 604dd6f607eSKazushi (Jam) Marukawa NewUseOpcMImm = NAME##rm; \ 605dd6f607eSKazushi (Jam) Marukawa InstType = rr2ri_rm; \ 606dd6f607eSKazushi (Jam) Marukawa break 607dd6f607eSKazushi (Jam) Marukawa #define NCINSTRKIND(NAME) \ 608dd6f607eSKazushi (Jam) Marukawa case NAME##rr: \ 609dd6f607eSKazushi (Jam) Marukawa NewUseOpcSImm7 = NAME##ir; \ 610dd6f607eSKazushi (Jam) Marukawa NewUseOpcMImm = NAME##rm; \ 611dd6f607eSKazushi (Jam) Marukawa InstType = rr2ir_rm; \ 612dd6f607eSKazushi (Jam) Marukawa break 613dd6f607eSKazushi (Jam) Marukawa 614dd6f607eSKazushi (Jam) Marukawa switch (UseMI.getOpcode()) { 615dd6f607eSKazushi (Jam) Marukawa default: 616dd6f607eSKazushi (Jam) Marukawa return false; 617dd6f607eSKazushi (Jam) Marukawa 618dd6f607eSKazushi (Jam) Marukawa INSTRKIND(ADDUL); 619dd6f607eSKazushi (Jam) Marukawa INSTRKIND(ADDSWSX); 620dd6f607eSKazushi (Jam) Marukawa INSTRKIND(ADDSWZX); 621dd6f607eSKazushi (Jam) Marukawa INSTRKIND(ADDSL); 622dd6f607eSKazushi (Jam) Marukawa NCINSTRKIND(SUBUL); 623dd6f607eSKazushi (Jam) Marukawa NCINSTRKIND(SUBSWSX); 624dd6f607eSKazushi (Jam) Marukawa NCINSTRKIND(SUBSWZX); 625dd6f607eSKazushi (Jam) Marukawa NCINSTRKIND(SUBSL); 626dd6f607eSKazushi (Jam) Marukawa INSTRKIND(MULUL); 627dd6f607eSKazushi (Jam) Marukawa INSTRKIND(MULSWSX); 628dd6f607eSKazushi (Jam) Marukawa INSTRKIND(MULSWZX); 629dd6f607eSKazushi (Jam) Marukawa INSTRKIND(MULSL); 630dd6f607eSKazushi (Jam) Marukawa NCINSTRKIND(DIVUL); 631dd6f607eSKazushi (Jam) Marukawa NCINSTRKIND(DIVSWSX); 632dd6f607eSKazushi (Jam) Marukawa NCINSTRKIND(DIVSWZX); 633dd6f607eSKazushi (Jam) Marukawa NCINSTRKIND(DIVSL); 634dd6f607eSKazushi (Jam) Marukawa NCINSTRKIND(CMPUL); 635dd6f607eSKazushi (Jam) Marukawa NCINSTRKIND(CMPSWSX); 636dd6f607eSKazushi (Jam) Marukawa NCINSTRKIND(CMPSWZX); 637dd6f607eSKazushi (Jam) Marukawa NCINSTRKIND(CMPSL); 638dd6f607eSKazushi (Jam) Marukawa INSTRKIND(MAXSWSX); 639dd6f607eSKazushi (Jam) Marukawa INSTRKIND(MAXSWZX); 640dd6f607eSKazushi (Jam) Marukawa INSTRKIND(MAXSL); 641dd6f607eSKazushi (Jam) Marukawa INSTRKIND(MINSWSX); 642dd6f607eSKazushi (Jam) Marukawa INSTRKIND(MINSWZX); 643dd6f607eSKazushi (Jam) Marukawa INSTRKIND(MINSL); 644dd6f607eSKazushi (Jam) Marukawa INSTRKIND(AND); 645dd6f607eSKazushi (Jam) Marukawa INSTRKIND(OR); 646dd6f607eSKazushi (Jam) Marukawa INSTRKIND(XOR); 647dd6f607eSKazushi (Jam) Marukawa INSTRKIND(EQV); 648dd6f607eSKazushi (Jam) Marukawa NCINSTRKIND(NND); 649dd6f607eSKazushi (Jam) Marukawa NCINSTRKIND(MRG); 650dd6f607eSKazushi (Jam) Marukawa } 651dd6f607eSKazushi (Jam) Marukawa 652dd6f607eSKazushi (Jam) Marukawa #undef INSTRKIND 653dd6f607eSKazushi (Jam) Marukawa 654dd6f607eSKazushi (Jam) Marukawa unsigned NewUseOpc; 655dd6f607eSKazushi (Jam) Marukawa unsigned UseIdx; 656dd6f607eSKazushi (Jam) Marukawa bool Commute = false; 657dd6f607eSKazushi (Jam) Marukawa LLVM_DEBUG(dbgs() << "checking UseMI operands\n"); 658dd6f607eSKazushi (Jam) Marukawa switch (InstType) { 659dd6f607eSKazushi (Jam) Marukawa case rr2ri_rm: 660dd6f607eSKazushi (Jam) Marukawa UseIdx = 2; 661dd6f607eSKazushi (Jam) Marukawa if (UseMI.getOperand(1).getReg() == Reg) { 662dd6f607eSKazushi (Jam) Marukawa Commute = true; 663dd6f607eSKazushi (Jam) Marukawa } else { 664dd6f607eSKazushi (Jam) Marukawa assert(UseMI.getOperand(2).getReg() == Reg); 665dd6f607eSKazushi (Jam) Marukawa } 666dd6f607eSKazushi (Jam) Marukawa if (isInt<7>(ImmVal)) { 667dd6f607eSKazushi (Jam) Marukawa // This ImmVal matches to SImm7 slot, so change UseOpc to an instruction 668dd6f607eSKazushi (Jam) Marukawa // holds a simm7 slot. 669dd6f607eSKazushi (Jam) Marukawa NewUseOpc = NewUseOpcSImm7; 670dd6f607eSKazushi (Jam) Marukawa } else if (isMImmVal(ImmVal)) { 671dd6f607eSKazushi (Jam) Marukawa // Similarly, change UseOpc to an instruction holds a mimm slot. 672dd6f607eSKazushi (Jam) Marukawa NewUseOpc = NewUseOpcMImm; 673dd6f607eSKazushi (Jam) Marukawa ImmVal = val2MImm(ImmVal); 674dd6f607eSKazushi (Jam) Marukawa } else 675dd6f607eSKazushi (Jam) Marukawa return false; 676dd6f607eSKazushi (Jam) Marukawa break; 677dd6f607eSKazushi (Jam) Marukawa case rr2ir_rm: 678dd6f607eSKazushi (Jam) Marukawa if (UseMI.getOperand(1).getReg() == Reg) { 679dd6f607eSKazushi (Jam) Marukawa // Check immediate value whether it matchs to the UseMI instruction. 680dd6f607eSKazushi (Jam) Marukawa if (!isInt<7>(ImmVal)) 681dd6f607eSKazushi (Jam) Marukawa return false; 682dd6f607eSKazushi (Jam) Marukawa NewUseOpc = NewUseOpcSImm7; 683dd6f607eSKazushi (Jam) Marukawa UseIdx = 1; 684dd6f607eSKazushi (Jam) Marukawa } else { 685dd6f607eSKazushi (Jam) Marukawa assert(UseMI.getOperand(2).getReg() == Reg); 686dd6f607eSKazushi (Jam) Marukawa // Check immediate value whether it matchs to the UseMI instruction. 687dd6f607eSKazushi (Jam) Marukawa if (!isMImmVal(ImmVal)) 688dd6f607eSKazushi (Jam) Marukawa return false; 689dd6f607eSKazushi (Jam) Marukawa NewUseOpc = NewUseOpcMImm; 690dd6f607eSKazushi (Jam) Marukawa ImmVal = val2MImm(ImmVal); 691dd6f607eSKazushi (Jam) Marukawa UseIdx = 2; 692dd6f607eSKazushi (Jam) Marukawa } 693dd6f607eSKazushi (Jam) Marukawa break; 694dd6f607eSKazushi (Jam) Marukawa } 695dd6f607eSKazushi (Jam) Marukawa 696dd6f607eSKazushi (Jam) Marukawa LLVM_DEBUG(dbgs() << "modifying UseMI\n"); 697dd6f607eSKazushi (Jam) Marukawa bool DeleteDef = MRI->hasOneNonDBGUse(Reg); 698dd6f607eSKazushi (Jam) Marukawa UseMI.setDesc(get(NewUseOpc)); 699dd6f607eSKazushi (Jam) Marukawa if (Commute) { 700dd6f607eSKazushi (Jam) Marukawa UseMI.getOperand(1).setReg(UseMI.getOperand(UseIdx).getReg()); 701dd6f607eSKazushi (Jam) Marukawa } 702dd6f607eSKazushi (Jam) Marukawa UseMI.getOperand(UseIdx).ChangeToImmediate(ImmVal); 703dd6f607eSKazushi (Jam) Marukawa if (DeleteDef) 704dd6f607eSKazushi (Jam) Marukawa DefMI.eraseFromParent(); 705dd6f607eSKazushi (Jam) Marukawa 706dd6f607eSKazushi (Jam) Marukawa return true; 707dd6f607eSKazushi (Jam) Marukawa } 708dd6f607eSKazushi (Jam) Marukawa 70960431bd7SKazushi (Jam) Marukawa Register VEInstrInfo::getGlobalBaseReg(MachineFunction *MF) const { 71060431bd7SKazushi (Jam) Marukawa VEMachineFunctionInfo *VEFI = MF->getInfo<VEMachineFunctionInfo>(); 71160431bd7SKazushi (Jam) Marukawa Register GlobalBaseReg = VEFI->getGlobalBaseReg(); 71260431bd7SKazushi (Jam) Marukawa if (GlobalBaseReg != 0) 71360431bd7SKazushi (Jam) Marukawa return GlobalBaseReg; 71460431bd7SKazushi (Jam) Marukawa 71560431bd7SKazushi (Jam) Marukawa // We use %s15 (%got) as a global base register 71660431bd7SKazushi (Jam) Marukawa GlobalBaseReg = VE::SX15; 71760431bd7SKazushi (Jam) Marukawa 71860431bd7SKazushi (Jam) Marukawa // Insert a pseudo instruction to set the GlobalBaseReg into the first 71960431bd7SKazushi (Jam) Marukawa // MBB of the function 72060431bd7SKazushi (Jam) Marukawa MachineBasicBlock &FirstMBB = MF->front(); 72160431bd7SKazushi (Jam) Marukawa MachineBasicBlock::iterator MBBI = FirstMBB.begin(); 72260431bd7SKazushi (Jam) Marukawa DebugLoc dl; 72360431bd7SKazushi (Jam) Marukawa BuildMI(FirstMBB, MBBI, dl, get(VE::GETGOT), GlobalBaseReg); 72460431bd7SKazushi (Jam) Marukawa VEFI->setGlobalBaseReg(GlobalBaseReg); 72560431bd7SKazushi (Jam) Marukawa return GlobalBaseReg; 72660431bd7SKazushi (Jam) Marukawa } 72760431bd7SKazushi (Jam) Marukawa 72838621c45SKazushi (Jam) Marukawa static Register getVM512Upper(Register reg) { 72938621c45SKazushi (Jam) Marukawa return (reg - VE::VMP0) * 2 + VE::VM0; 73038621c45SKazushi (Jam) Marukawa } 73138621c45SKazushi (Jam) Marukawa 73238621c45SKazushi (Jam) Marukawa static Register getVM512Lower(Register reg) { return getVM512Upper(reg) + 1; } 73338621c45SKazushi (Jam) Marukawa 734*398f29fbSKazushi (Jam) Marukawa static void addOperandsForVFMK(MachineInstrBuilder &MIB, MachineInstr &MI, 735*398f29fbSKazushi (Jam) Marukawa bool Upper) { 736*398f29fbSKazushi (Jam) Marukawa // VM512 737*398f29fbSKazushi (Jam) Marukawa MIB.addReg(Upper ? getVM512Upper(MI.getOperand(0).getReg()) 738*398f29fbSKazushi (Jam) Marukawa : getVM512Lower(MI.getOperand(0).getReg())); 739*398f29fbSKazushi (Jam) Marukawa 740*398f29fbSKazushi (Jam) Marukawa switch (MI.getNumExplicitOperands()) { 741*398f29fbSKazushi (Jam) Marukawa default: 742*398f29fbSKazushi (Jam) Marukawa report_fatal_error("unexpected number of operands for pvfmk"); 743*398f29fbSKazushi (Jam) Marukawa case 2: // _Ml: VM512, VL 744*398f29fbSKazushi (Jam) Marukawa // VL 745*398f29fbSKazushi (Jam) Marukawa MIB.addReg(MI.getOperand(1).getReg()); 746*398f29fbSKazushi (Jam) Marukawa break; 747*398f29fbSKazushi (Jam) Marukawa case 4: // _Mvl: VM512, CC, VR, VL 748*398f29fbSKazushi (Jam) Marukawa // CC 749*398f29fbSKazushi (Jam) Marukawa MIB.addImm(MI.getOperand(1).getImm()); 750*398f29fbSKazushi (Jam) Marukawa // VR 751*398f29fbSKazushi (Jam) Marukawa MIB.addReg(MI.getOperand(2).getReg()); 752*398f29fbSKazushi (Jam) Marukawa // VL 753*398f29fbSKazushi (Jam) Marukawa MIB.addReg(MI.getOperand(3).getReg()); 754*398f29fbSKazushi (Jam) Marukawa break; 755*398f29fbSKazushi (Jam) Marukawa case 5: // _MvMl: VM512, CC, VR, VM512, VL 756*398f29fbSKazushi (Jam) Marukawa // CC 757*398f29fbSKazushi (Jam) Marukawa MIB.addImm(MI.getOperand(1).getImm()); 758*398f29fbSKazushi (Jam) Marukawa // VR 759*398f29fbSKazushi (Jam) Marukawa MIB.addReg(MI.getOperand(2).getReg()); 760*398f29fbSKazushi (Jam) Marukawa // VM512 761*398f29fbSKazushi (Jam) Marukawa MIB.addReg(Upper ? getVM512Upper(MI.getOperand(3).getReg()) 762*398f29fbSKazushi (Jam) Marukawa : getVM512Lower(MI.getOperand(3).getReg())); 763*398f29fbSKazushi (Jam) Marukawa // VL 764*398f29fbSKazushi (Jam) Marukawa MIB.addReg(MI.getOperand(4).getReg()); 765*398f29fbSKazushi (Jam) Marukawa break; 766*398f29fbSKazushi (Jam) Marukawa } 767*398f29fbSKazushi (Jam) Marukawa } 768*398f29fbSKazushi (Jam) Marukawa 769*398f29fbSKazushi (Jam) Marukawa static void expandPseudoVFMK(const TargetInstrInfo &TI, MachineInstr &MI) { 770*398f29fbSKazushi (Jam) Marukawa // replace to pvfmk.w.up and pvfmk.w.lo 771*398f29fbSKazushi (Jam) Marukawa // replace to pvfmk.s.up and pvfmk.s.lo 772*398f29fbSKazushi (Jam) Marukawa 773*398f29fbSKazushi (Jam) Marukawa static std::map<unsigned, std::pair<unsigned, unsigned>> VFMKMap = { 774*398f29fbSKazushi (Jam) Marukawa {VE::VFMKyal, {VE::VFMKLal, VE::VFMKLal}}, 775*398f29fbSKazushi (Jam) Marukawa {VE::VFMKynal, {VE::VFMKLnal, VE::VFMKLnal}}, 776*398f29fbSKazushi (Jam) Marukawa {VE::VFMKWyvl, {VE::PVFMKWUPvl, VE::PVFMKWLOvl}}, 777*398f29fbSKazushi (Jam) Marukawa {VE::VFMKWyvyl, {VE::PVFMKWUPvml, VE::PVFMKWLOvml}}, 778*398f29fbSKazushi (Jam) Marukawa {VE::VFMKSyvl, {VE::PVFMKSUPvl, VE::PVFMKSLOvl}}, 779*398f29fbSKazushi (Jam) Marukawa {VE::VFMKSyvyl, {VE::PVFMKSUPvml, VE::PVFMKSLOvml}}, 780*398f29fbSKazushi (Jam) Marukawa }; 781*398f29fbSKazushi (Jam) Marukawa 782*398f29fbSKazushi (Jam) Marukawa unsigned Opcode = MI.getOpcode(); 783*398f29fbSKazushi (Jam) Marukawa 784*398f29fbSKazushi (Jam) Marukawa auto Found = VFMKMap.find(Opcode); 785*398f29fbSKazushi (Jam) Marukawa if (Found == VFMKMap.end()) 786*398f29fbSKazushi (Jam) Marukawa report_fatal_error("unexpected opcode for pseudo vfmk"); 787*398f29fbSKazushi (Jam) Marukawa 788*398f29fbSKazushi (Jam) Marukawa unsigned OpcodeUpper = (*Found).second.first; 789*398f29fbSKazushi (Jam) Marukawa unsigned OpcodeLower = (*Found).second.second; 790*398f29fbSKazushi (Jam) Marukawa 791*398f29fbSKazushi (Jam) Marukawa MachineBasicBlock *MBB = MI.getParent(); 792*398f29fbSKazushi (Jam) Marukawa DebugLoc DL = MI.getDebugLoc(); 793*398f29fbSKazushi (Jam) Marukawa 794*398f29fbSKazushi (Jam) Marukawa MachineInstrBuilder Bu = BuildMI(*MBB, MI, DL, TI.get(OpcodeUpper)); 795*398f29fbSKazushi (Jam) Marukawa addOperandsForVFMK(Bu, MI, /* Upper */ true); 796*398f29fbSKazushi (Jam) Marukawa MachineInstrBuilder Bl = BuildMI(*MBB, MI, DL, TI.get(OpcodeLower)); 797*398f29fbSKazushi (Jam) Marukawa addOperandsForVFMK(Bl, MI, /* Upper */ false); 798*398f29fbSKazushi (Jam) Marukawa 799*398f29fbSKazushi (Jam) Marukawa MI.eraseFromParent(); 800*398f29fbSKazushi (Jam) Marukawa } 801*398f29fbSKazushi (Jam) Marukawa 802064859bdSKazushi (Jam) Marukawa bool VEInstrInfo::expandPostRAPseudo(MachineInstr &MI) const { 803064859bdSKazushi (Jam) Marukawa switch (MI.getOpcode()) { 804064859bdSKazushi (Jam) Marukawa case VE::EXTEND_STACK: { 805064859bdSKazushi (Jam) Marukawa return expandExtendStackPseudo(MI); 806064859bdSKazushi (Jam) Marukawa } 807064859bdSKazushi (Jam) Marukawa case VE::EXTEND_STACK_GUARD: { 808064859bdSKazushi (Jam) Marukawa MI.eraseFromParent(); // The pseudo instruction is gone now. 809064859bdSKazushi (Jam) Marukawa return true; 810064859bdSKazushi (Jam) Marukawa } 811dedaf3a2SKazushi (Jam) Marukawa case VE::GETSTACKTOP: { 812dedaf3a2SKazushi (Jam) Marukawa return expandGetStackTopPseudo(MI); 813dedaf3a2SKazushi (Jam) Marukawa } 81438621c45SKazushi (Jam) Marukawa 81538621c45SKazushi (Jam) Marukawa case VE::LVMyir: 81638621c45SKazushi (Jam) Marukawa case VE::LVMyim: 81738621c45SKazushi (Jam) Marukawa case VE::LVMyir_y: 81838621c45SKazushi (Jam) Marukawa case VE::LVMyim_y: { 81938621c45SKazushi (Jam) Marukawa Register VMXu = getVM512Upper(MI.getOperand(0).getReg()); 82038621c45SKazushi (Jam) Marukawa Register VMXl = getVM512Lower(MI.getOperand(0).getReg()); 82138621c45SKazushi (Jam) Marukawa int64_t Imm = MI.getOperand(1).getImm(); 82238621c45SKazushi (Jam) Marukawa bool IsSrcReg = 82338621c45SKazushi (Jam) Marukawa MI.getOpcode() == VE::LVMyir || MI.getOpcode() == VE::LVMyir_y; 82438621c45SKazushi (Jam) Marukawa Register Src = IsSrcReg ? MI.getOperand(2).getReg() : VE::NoRegister; 82538621c45SKazushi (Jam) Marukawa int64_t MImm = IsSrcReg ? 0 : MI.getOperand(2).getImm(); 82638621c45SKazushi (Jam) Marukawa bool KillSrc = IsSrcReg ? MI.getOperand(2).isKill() : false; 82738621c45SKazushi (Jam) Marukawa Register VMX = VMXl; 82838621c45SKazushi (Jam) Marukawa if (Imm >= 4) { 82938621c45SKazushi (Jam) Marukawa VMX = VMXu; 83038621c45SKazushi (Jam) Marukawa Imm -= 4; 83138621c45SKazushi (Jam) Marukawa } 83238621c45SKazushi (Jam) Marukawa MachineBasicBlock *MBB = MI.getParent(); 83338621c45SKazushi (Jam) Marukawa DebugLoc DL = MI.getDebugLoc(); 83438621c45SKazushi (Jam) Marukawa switch (MI.getOpcode()) { 83538621c45SKazushi (Jam) Marukawa case VE::LVMyir: 83638621c45SKazushi (Jam) Marukawa BuildMI(*MBB, MI, DL, get(VE::LVMir)) 83738621c45SKazushi (Jam) Marukawa .addDef(VMX) 83838621c45SKazushi (Jam) Marukawa .addImm(Imm) 83938621c45SKazushi (Jam) Marukawa .addReg(Src, getKillRegState(KillSrc)); 84038621c45SKazushi (Jam) Marukawa break; 84138621c45SKazushi (Jam) Marukawa case VE::LVMyim: 84238621c45SKazushi (Jam) Marukawa BuildMI(*MBB, MI, DL, get(VE::LVMim)) 84338621c45SKazushi (Jam) Marukawa .addDef(VMX) 84438621c45SKazushi (Jam) Marukawa .addImm(Imm) 84538621c45SKazushi (Jam) Marukawa .addImm(MImm); 84638621c45SKazushi (Jam) Marukawa break; 84738621c45SKazushi (Jam) Marukawa case VE::LVMyir_y: 84838621c45SKazushi (Jam) Marukawa assert(MI.getOperand(0).getReg() == MI.getOperand(3).getReg() && 84938621c45SKazushi (Jam) Marukawa "LVMyir_y has different register in 3rd operand"); 85038621c45SKazushi (Jam) Marukawa BuildMI(*MBB, MI, DL, get(VE::LVMir_m)) 85138621c45SKazushi (Jam) Marukawa .addDef(VMX) 85238621c45SKazushi (Jam) Marukawa .addImm(Imm) 85338621c45SKazushi (Jam) Marukawa .addReg(Src, getKillRegState(KillSrc)) 85438621c45SKazushi (Jam) Marukawa .addReg(VMX); 85538621c45SKazushi (Jam) Marukawa break; 85638621c45SKazushi (Jam) Marukawa case VE::LVMyim_y: 85738621c45SKazushi (Jam) Marukawa assert(MI.getOperand(0).getReg() == MI.getOperand(3).getReg() && 85838621c45SKazushi (Jam) Marukawa "LVMyim_y has different register in 3rd operand"); 85938621c45SKazushi (Jam) Marukawa BuildMI(*MBB, MI, DL, get(VE::LVMim_m)) 86038621c45SKazushi (Jam) Marukawa .addDef(VMX) 86138621c45SKazushi (Jam) Marukawa .addImm(Imm) 86238621c45SKazushi (Jam) Marukawa .addImm(MImm) 86338621c45SKazushi (Jam) Marukawa .addReg(VMX); 86438621c45SKazushi (Jam) Marukawa break; 86538621c45SKazushi (Jam) Marukawa } 86638621c45SKazushi (Jam) Marukawa MI.eraseFromParent(); 86738621c45SKazushi (Jam) Marukawa return true; 86838621c45SKazushi (Jam) Marukawa } 86938621c45SKazushi (Jam) Marukawa case VE::SVMyi: { 87038621c45SKazushi (Jam) Marukawa Register Dest = MI.getOperand(0).getReg(); 87138621c45SKazushi (Jam) Marukawa Register VMZu = getVM512Upper(MI.getOperand(1).getReg()); 87238621c45SKazushi (Jam) Marukawa Register VMZl = getVM512Lower(MI.getOperand(1).getReg()); 87338621c45SKazushi (Jam) Marukawa bool KillSrc = MI.getOperand(1).isKill(); 87438621c45SKazushi (Jam) Marukawa int64_t Imm = MI.getOperand(2).getImm(); 87538621c45SKazushi (Jam) Marukawa Register VMZ = VMZl; 87638621c45SKazushi (Jam) Marukawa if (Imm >= 4) { 87738621c45SKazushi (Jam) Marukawa VMZ = VMZu; 87838621c45SKazushi (Jam) Marukawa Imm -= 4; 87938621c45SKazushi (Jam) Marukawa } 88038621c45SKazushi (Jam) Marukawa MachineBasicBlock *MBB = MI.getParent(); 88138621c45SKazushi (Jam) Marukawa DebugLoc DL = MI.getDebugLoc(); 88238621c45SKazushi (Jam) Marukawa MachineInstrBuilder MIB = 88338621c45SKazushi (Jam) Marukawa BuildMI(*MBB, MI, DL, get(VE::SVMmi), Dest).addReg(VMZ).addImm(Imm); 88438621c45SKazushi (Jam) Marukawa MachineInstr *Inst = MIB.getInstr(); 88538621c45SKazushi (Jam) Marukawa MI.eraseFromParent(); 88638621c45SKazushi (Jam) Marukawa if (KillSrc) { 88738621c45SKazushi (Jam) Marukawa const TargetRegisterInfo *TRI = &getRegisterInfo(); 88838621c45SKazushi (Jam) Marukawa Inst->addRegisterKilled(MI.getOperand(1).getReg(), TRI, true); 88938621c45SKazushi (Jam) Marukawa } 89038621c45SKazushi (Jam) Marukawa return true; 89138621c45SKazushi (Jam) Marukawa } 892*398f29fbSKazushi (Jam) Marukawa case VE::VFMKyal: 893*398f29fbSKazushi (Jam) Marukawa case VE::VFMKynal: 894*398f29fbSKazushi (Jam) Marukawa case VE::VFMKWyvl: 895*398f29fbSKazushi (Jam) Marukawa case VE::VFMKWyvyl: 896*398f29fbSKazushi (Jam) Marukawa case VE::VFMKSyvl: 897*398f29fbSKazushi (Jam) Marukawa case VE::VFMKSyvyl: 898*398f29fbSKazushi (Jam) Marukawa expandPseudoVFMK(*this, MI); 899064859bdSKazushi (Jam) Marukawa } 900064859bdSKazushi (Jam) Marukawa return false; 901064859bdSKazushi (Jam) Marukawa } 902064859bdSKazushi (Jam) Marukawa 903064859bdSKazushi (Jam) Marukawa bool VEInstrInfo::expandExtendStackPseudo(MachineInstr &MI) const { 904064859bdSKazushi (Jam) Marukawa MachineBasicBlock &MBB = *MI.getParent(); 905064859bdSKazushi (Jam) Marukawa MachineFunction &MF = *MBB.getParent(); 906dedaf3a2SKazushi (Jam) Marukawa const VESubtarget &STI = MF.getSubtarget<VESubtarget>(); 907dedaf3a2SKazushi (Jam) Marukawa const VEInstrInfo &TII = *STI.getInstrInfo(); 908064859bdSKazushi (Jam) Marukawa DebugLoc dl = MBB.findDebugLoc(MI); 909064859bdSKazushi (Jam) Marukawa 910064859bdSKazushi (Jam) Marukawa // Create following instructions and multiple basic blocks. 911064859bdSKazushi (Jam) Marukawa // 912064859bdSKazushi (Jam) Marukawa // thisBB: 913064859bdSKazushi (Jam) Marukawa // brge.l.t %sp, %sl, sinkBB 914064859bdSKazushi (Jam) Marukawa // syscallBB: 915064859bdSKazushi (Jam) Marukawa // ld %s61, 0x18(, %tp) // load param area 916064859bdSKazushi (Jam) Marukawa // or %s62, 0, %s0 // spill the value of %s0 917064859bdSKazushi (Jam) Marukawa // lea %s63, 0x13b // syscall # of grow 918064859bdSKazushi (Jam) Marukawa // shm.l %s63, 0x0(%s61) // store syscall # at addr:0 919064859bdSKazushi (Jam) Marukawa // shm.l %sl, 0x8(%s61) // store old limit at addr:8 920064859bdSKazushi (Jam) Marukawa // shm.l %sp, 0x10(%s61) // store new limit at addr:16 921064859bdSKazushi (Jam) Marukawa // monc // call monitor 922064859bdSKazushi (Jam) Marukawa // or %s0, 0, %s62 // restore the value of %s0 923064859bdSKazushi (Jam) Marukawa // sinkBB: 924064859bdSKazushi (Jam) Marukawa 925064859bdSKazushi (Jam) Marukawa // Create new MBB 926064859bdSKazushi (Jam) Marukawa MachineBasicBlock *BB = &MBB; 927064859bdSKazushi (Jam) Marukawa const BasicBlock *LLVM_BB = BB->getBasicBlock(); 928064859bdSKazushi (Jam) Marukawa MachineBasicBlock *syscallMBB = MF.CreateMachineBasicBlock(LLVM_BB); 929064859bdSKazushi (Jam) Marukawa MachineBasicBlock *sinkMBB = MF.CreateMachineBasicBlock(LLVM_BB); 930064859bdSKazushi (Jam) Marukawa MachineFunction::iterator It = ++(BB->getIterator()); 931064859bdSKazushi (Jam) Marukawa MF.insert(It, syscallMBB); 932064859bdSKazushi (Jam) Marukawa MF.insert(It, sinkMBB); 933064859bdSKazushi (Jam) Marukawa 934064859bdSKazushi (Jam) Marukawa // Transfer the remainder of BB and its successor edges to sinkMBB. 935064859bdSKazushi (Jam) Marukawa sinkMBB->splice(sinkMBB->begin(), BB, 936064859bdSKazushi (Jam) Marukawa std::next(std::next(MachineBasicBlock::iterator(MI))), 937064859bdSKazushi (Jam) Marukawa BB->end()); 938064859bdSKazushi (Jam) Marukawa sinkMBB->transferSuccessorsAndUpdatePHIs(BB); 939064859bdSKazushi (Jam) Marukawa 940064859bdSKazushi (Jam) Marukawa // Next, add the true and fallthrough blocks as its successors. 941064859bdSKazushi (Jam) Marukawa BB->addSuccessor(syscallMBB); 942064859bdSKazushi (Jam) Marukawa BB->addSuccessor(sinkMBB); 9433c80478dSKazushi (Jam) Marukawa BuildMI(BB, dl, TII.get(VE::BRCFLrr_t)) 944064859bdSKazushi (Jam) Marukawa .addImm(VECC::CC_IGE) 945064859bdSKazushi (Jam) Marukawa .addReg(VE::SX11) // %sp 946064859bdSKazushi (Jam) Marukawa .addReg(VE::SX8) // %sl 947064859bdSKazushi (Jam) Marukawa .addMBB(sinkMBB); 948064859bdSKazushi (Jam) Marukawa 949064859bdSKazushi (Jam) Marukawa BB = syscallMBB; 950064859bdSKazushi (Jam) Marukawa 951064859bdSKazushi (Jam) Marukawa // Update machine-CFG edges 952064859bdSKazushi (Jam) Marukawa BB->addSuccessor(sinkMBB); 953064859bdSKazushi (Jam) Marukawa 954e981a46aSKazushi (Jam) Marukawa BuildMI(BB, dl, TII.get(VE::LDrii), VE::SX61) 955064859bdSKazushi (Jam) Marukawa .addReg(VE::SX14) 956e981a46aSKazushi (Jam) Marukawa .addImm(0) 957064859bdSKazushi (Jam) Marukawa .addImm(0x18); 958064859bdSKazushi (Jam) Marukawa BuildMI(BB, dl, TII.get(VE::ORri), VE::SX62) 959064859bdSKazushi (Jam) Marukawa .addReg(VE::SX0) 960064859bdSKazushi (Jam) Marukawa .addImm(0); 961e981a46aSKazushi (Jam) Marukawa BuildMI(BB, dl, TII.get(VE::LEAzii), VE::SX63) 962e981a46aSKazushi (Jam) Marukawa .addImm(0) 963e981a46aSKazushi (Jam) Marukawa .addImm(0) 964064859bdSKazushi (Jam) Marukawa .addImm(0x13b); 96549e4faa0SKazushi (Jam) Marukawa BuildMI(BB, dl, TII.get(VE::SHMLri)) 966064859bdSKazushi (Jam) Marukawa .addReg(VE::SX61) 967064859bdSKazushi (Jam) Marukawa .addImm(0) 968064859bdSKazushi (Jam) Marukawa .addReg(VE::SX63); 96949e4faa0SKazushi (Jam) Marukawa BuildMI(BB, dl, TII.get(VE::SHMLri)) 970064859bdSKazushi (Jam) Marukawa .addReg(VE::SX61) 971064859bdSKazushi (Jam) Marukawa .addImm(8) 972064859bdSKazushi (Jam) Marukawa .addReg(VE::SX8); 97349e4faa0SKazushi (Jam) Marukawa BuildMI(BB, dl, TII.get(VE::SHMLri)) 974064859bdSKazushi (Jam) Marukawa .addReg(VE::SX61) 975064859bdSKazushi (Jam) Marukawa .addImm(16) 976064859bdSKazushi (Jam) Marukawa .addReg(VE::SX11); 977064859bdSKazushi (Jam) Marukawa BuildMI(BB, dl, TII.get(VE::MONC)); 978064859bdSKazushi (Jam) Marukawa 979064859bdSKazushi (Jam) Marukawa BuildMI(BB, dl, TII.get(VE::ORri), VE::SX0) 980064859bdSKazushi (Jam) Marukawa .addReg(VE::SX62) 981064859bdSKazushi (Jam) Marukawa .addImm(0); 982064859bdSKazushi (Jam) Marukawa 983064859bdSKazushi (Jam) Marukawa MI.eraseFromParent(); // The pseudo instruction is gone now. 984064859bdSKazushi (Jam) Marukawa return true; 985064859bdSKazushi (Jam) Marukawa } 986dedaf3a2SKazushi (Jam) Marukawa 987dedaf3a2SKazushi (Jam) Marukawa bool VEInstrInfo::expandGetStackTopPseudo(MachineInstr &MI) const { 988dedaf3a2SKazushi (Jam) Marukawa MachineBasicBlock *MBB = MI.getParent(); 989dedaf3a2SKazushi (Jam) Marukawa MachineFunction &MF = *MBB->getParent(); 990dedaf3a2SKazushi (Jam) Marukawa const VESubtarget &STI = MF.getSubtarget<VESubtarget>(); 991dedaf3a2SKazushi (Jam) Marukawa const VEInstrInfo &TII = *STI.getInstrInfo(); 992dedaf3a2SKazushi (Jam) Marukawa DebugLoc DL = MBB->findDebugLoc(MI); 993dedaf3a2SKazushi (Jam) Marukawa 994dedaf3a2SKazushi (Jam) Marukawa // Create following instruction 995dedaf3a2SKazushi (Jam) Marukawa // 996dedaf3a2SKazushi (Jam) Marukawa // dst = %sp + target specific frame + the size of parameter area 997dedaf3a2SKazushi (Jam) Marukawa 998dedaf3a2SKazushi (Jam) Marukawa const MachineFrameInfo &MFI = MF.getFrameInfo(); 999dedaf3a2SKazushi (Jam) Marukawa const VEFrameLowering &TFL = *STI.getFrameLowering(); 1000dedaf3a2SKazushi (Jam) Marukawa 1001590aaa50SKazushi (Jam) Marukawa // The VE ABI requires a reserved area at the top of stack as described 1002590aaa50SKazushi (Jam) Marukawa // in VEFrameLowering.cpp. So, we adjust it here. 1003dedaf3a2SKazushi (Jam) Marukawa unsigned NumBytes = STI.getAdjustedFrameSize(0); 1004dedaf3a2SKazushi (Jam) Marukawa 1005dedaf3a2SKazushi (Jam) Marukawa // Also adds the size of parameter area. 1006dedaf3a2SKazushi (Jam) Marukawa if (MFI.adjustsStack() && TFL.hasReservedCallFrame(MF)) 1007dedaf3a2SKazushi (Jam) Marukawa NumBytes += MFI.getMaxCallFrameSize(); 1008dedaf3a2SKazushi (Jam) Marukawa 1009dedaf3a2SKazushi (Jam) Marukawa BuildMI(*MBB, MI, DL, TII.get(VE::LEArii)) 1010dedaf3a2SKazushi (Jam) Marukawa .addDef(MI.getOperand(0).getReg()) 1011dedaf3a2SKazushi (Jam) Marukawa .addReg(VE::SX11) 1012dedaf3a2SKazushi (Jam) Marukawa .addImm(0) 1013dedaf3a2SKazushi (Jam) Marukawa .addImm(NumBytes); 1014dedaf3a2SKazushi (Jam) Marukawa 1015dedaf3a2SKazushi (Jam) Marukawa MI.eraseFromParent(); // The pseudo instruction is gone now. 1016dedaf3a2SKazushi (Jam) Marukawa return true; 1017dedaf3a2SKazushi (Jam) Marukawa } 1018