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