1 //=- HexagonInstrInfo.cpp - Hexagon Instruction Information -------*- C++ -*-=//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // This file contains the Hexagon implementation of the TargetInstrInfo class.
12 //===----------------------------------------------------------------------===//
14 #include "HexagonRegisterInfo.h"
15 #include "HexagonInstrInfo.h"
16 #include "HexagonSubtarget.h"
18 #include "llvm/Support/MathExtras.h"
19 #include "llvm/ADT/STLExtras.h"
20 #include "llvm/ADT/SmallVector.h"
21 #include "llvm/CodeGen/MachineInstrBuilder.h"
22 #include "llvm/CodeGen/MachineRegisterInfo.h"
23 #include "llvm/CodeGen/MachineFrameInfo.h"
24 #include "llvm/CodeGen/MachineMemOperand.h"
25 #include "llvm/CodeGen/PseudoSourceValue.h"
26 #define GET_INSTRINFO_CTOR
27 #include "HexagonGenInstrInfo.inc"
35 /// Constants for Hexagon instructions.
37 const int Hexagon_MEMW_OFFSET_MAX = 4095;
38 const int Hexagon_MEMW_OFFSET_MIN = 4096;
39 const int Hexagon_MEMD_OFFSET_MAX = 8191;
40 const int Hexagon_MEMD_OFFSET_MIN = 8192;
41 const int Hexagon_MEMH_OFFSET_MAX = 2047;
42 const int Hexagon_MEMH_OFFSET_MIN = 2048;
43 const int Hexagon_MEMB_OFFSET_MAX = 1023;
44 const int Hexagon_MEMB_OFFSET_MIN = 1024;
45 const int Hexagon_ADDI_OFFSET_MAX = 32767;
46 const int Hexagon_ADDI_OFFSET_MIN = 32768;
47 const int Hexagon_MEMD_AUTOINC_MAX = 56;
48 const int Hexagon_MEMD_AUTOINC_MIN = 64;
49 const int Hexagon_MEMW_AUTOINC_MAX = 28;
50 const int Hexagon_MEMW_AUTOINC_MIN = 32;
51 const int Hexagon_MEMH_AUTOINC_MAX = 14;
52 const int Hexagon_MEMH_AUTOINC_MIN = 16;
53 const int Hexagon_MEMB_AUTOINC_MAX = 7;
54 const int Hexagon_MEMB_AUTOINC_MIN = 8;
58 HexagonInstrInfo::HexagonInstrInfo(HexagonSubtarget &ST)
59 : HexagonGenInstrInfo(Hexagon::ADJCALLSTACKDOWN, Hexagon::ADJCALLSTACKUP),
60 RI(ST, *this), Subtarget(ST) {
64 /// isLoadFromStackSlot - If the specified machine instruction is a direct
65 /// load from a stack slot, return the virtual or physical register number of
66 /// the destination along with the FrameIndex of the loaded stack slot. If
67 /// not, return 0. This predicate must return 0 if the instruction has
68 /// any side effects other than loading from the stack slot.
69 unsigned HexagonInstrInfo::isLoadFromStackSlot(const MachineInstr *MI,
70 int &FrameIndex) const {
73 switch (MI->getOpcode()) {
79 if (MI->getOperand(2).isFI() &&
80 MI->getOperand(1).isImm() && (MI->getOperand(1).getImm() == 0)) {
81 FrameIndex = MI->getOperand(2).getIndex();
82 return MI->getOperand(0).getReg();
94 /// isStoreToStackSlot - If the specified machine instruction is a direct
95 /// store to a stack slot, return the virtual or physical register number of
96 /// the source reg along with the FrameIndex of the loaded stack slot. If
97 /// not, return 0. This predicate must return 0 if the instruction has
98 /// any side effects other than storing to the stack slot.
99 unsigned HexagonInstrInfo::isStoreToStackSlot(const MachineInstr *MI,
100 int &FrameIndex) const {
101 switch (MI->getOpcode()) {
106 if (MI->getOperand(2).isFI() &&
107 MI->getOperand(1).isImm() && (MI->getOperand(1).getImm() == 0)) {
108 FrameIndex = MI->getOperand(2).getIndex();
109 return MI->getOperand(0).getReg();
122 HexagonInstrInfo::InsertBranch(MachineBasicBlock &MBB,MachineBasicBlock *TBB,
123 MachineBasicBlock *FBB,
124 const SmallVectorImpl<MachineOperand> &Cond,
127 int BOpc = Hexagon::JMP;
128 int BccOpc = Hexagon::JMP_Pred;
130 assert(TBB && "InsertBranch must not be told to insert a fallthrough");
133 // Check if ReverseBranchCondition has asked to reverse this branch
134 // If we want to reverse the branch an odd number of times, we want
136 if (!Cond.empty() && Cond[0].isImm() && Cond[0].getImm() == 0) {
137 BccOpc = Hexagon::JMP_PredNot;
143 // Due to a bug in TailMerging/CFG Optimization, we need to add a
144 // special case handling of a predicated jump followed by an
145 // unconditional jump. If not, Tail Merging and CFG Optimization go
146 // into an infinite loop.
147 MachineBasicBlock *NewTBB, *NewFBB;
148 SmallVector<MachineOperand, 4> Cond;
149 MachineInstr *Term = MBB.getFirstTerminator();
150 if (isPredicated(Term) && !AnalyzeBranch(MBB, NewTBB, NewFBB, Cond,
152 MachineBasicBlock *NextBB =
153 llvm::next(MachineFunction::iterator(&MBB));
154 if (NewTBB == NextBB) {
155 ReverseBranchCondition(Cond);
157 return InsertBranch(MBB, TBB, 0, Cond, DL);
160 BuildMI(&MBB, DL, get(BOpc)).addMBB(TBB);
163 get(BccOpc)).addReg(Cond[regPos].getReg()).addMBB(TBB);
168 BuildMI(&MBB, DL, get(BccOpc)).addReg(Cond[regPos].getReg()).addMBB(TBB);
169 BuildMI(&MBB, DL, get(BOpc)).addMBB(FBB);
175 bool HexagonInstrInfo::AnalyzeBranch(MachineBasicBlock &MBB,
176 MachineBasicBlock *&TBB,
177 MachineBasicBlock *&FBB,
178 SmallVectorImpl<MachineOperand> &Cond,
179 bool AllowModify) const {
182 // If the block has no terminators, it just falls into the block after it.
183 MachineBasicBlock::iterator I = MBB.end();
184 if (I == MBB.begin())
187 // A basic block may looks like this:
197 // It has two succs but does not have a terminator
198 // Don't know how to handle it.
203 } while (I != MBB.begin());
208 while (I->isDebugValue()) {
209 if (I == MBB.begin())
213 if (!isUnpredicatedTerminator(I))
216 // Get the last instruction in the block.
217 MachineInstr *LastInst = I;
219 // If there is only one terminator instruction, process it.
220 if (I == MBB.begin() || !isUnpredicatedTerminator(--I)) {
221 if (LastInst->getOpcode() == Hexagon::JMP) {
222 TBB = LastInst->getOperand(0).getMBB();
225 if (LastInst->getOpcode() == Hexagon::JMP_Pred) {
226 // Block ends with fall-through true condbranch.
227 TBB = LastInst->getOperand(1).getMBB();
228 Cond.push_back(LastInst->getOperand(0));
231 if (LastInst->getOpcode() == Hexagon::JMP_PredNot) {
232 // Block ends with fall-through false condbranch.
233 TBB = LastInst->getOperand(1).getMBB();
234 Cond.push_back(MachineOperand::CreateImm(0));
235 Cond.push_back(LastInst->getOperand(0));
238 // Otherwise, don't know what this is.
242 // Get the instruction before it if it's a terminator.
243 MachineInstr *SecondLastInst = I;
245 // If there are three terminators, we don't know what sort of block this is.
246 if (SecondLastInst && I != MBB.begin() &&
247 isUnpredicatedTerminator(--I))
250 // If the block ends with Hexagon::BRCOND and Hexagon:JMP, handle it.
251 if (((SecondLastInst->getOpcode() == Hexagon::BRCOND) ||
252 (SecondLastInst->getOpcode() == Hexagon::JMP_Pred)) &&
253 LastInst->getOpcode() == Hexagon::JMP) {
254 TBB = SecondLastInst->getOperand(1).getMBB();
255 Cond.push_back(SecondLastInst->getOperand(0));
256 FBB = LastInst->getOperand(0).getMBB();
260 // If the block ends with Hexagon::JMP_PredNot and Hexagon:JMP, handle it.
261 if ((SecondLastInst->getOpcode() == Hexagon::JMP_PredNot) &&
262 LastInst->getOpcode() == Hexagon::JMP) {
263 TBB = SecondLastInst->getOperand(1).getMBB();
264 Cond.push_back(MachineOperand::CreateImm(0));
265 Cond.push_back(SecondLastInst->getOperand(0));
266 FBB = LastInst->getOperand(0).getMBB();
270 // If the block ends with two Hexagon:JMPs, handle it. The second one is not
271 // executed, so remove it.
272 if (SecondLastInst->getOpcode() == Hexagon::JMP &&
273 LastInst->getOpcode() == Hexagon::JMP) {
274 TBB = SecondLastInst->getOperand(0).getMBB();
277 I->eraseFromParent();
281 // Otherwise, can't handle this.
286 unsigned HexagonInstrInfo::RemoveBranch(MachineBasicBlock &MBB) const {
287 int BOpc = Hexagon::JMP;
288 int BccOpc = Hexagon::JMP_Pred;
289 int BccOpcNot = Hexagon::JMP_PredNot;
291 MachineBasicBlock::iterator I = MBB.end();
292 if (I == MBB.begin()) return 0;
294 if (I->getOpcode() != BOpc && I->getOpcode() != BccOpc &&
295 I->getOpcode() != BccOpcNot)
298 // Remove the branch.
299 I->eraseFromParent();
303 if (I == MBB.begin()) return 1;
305 if (I->getOpcode() != BccOpc && I->getOpcode() != BccOpcNot)
308 // Remove the branch.
309 I->eraseFromParent();
314 void HexagonInstrInfo::copyPhysReg(MachineBasicBlock &MBB,
315 MachineBasicBlock::iterator I, DebugLoc DL,
316 unsigned DestReg, unsigned SrcReg,
317 bool KillSrc) const {
318 if (Hexagon::IntRegsRegClass.contains(SrcReg, DestReg)) {
319 BuildMI(MBB, I, DL, get(Hexagon::TFR), DestReg).addReg(SrcReg);
322 if (Hexagon::DoubleRegsRegClass.contains(SrcReg, DestReg)) {
323 BuildMI(MBB, I, DL, get(Hexagon::TFR_64), DestReg).addReg(SrcReg);
326 if (Hexagon::PredRegsRegClass.contains(SrcReg, DestReg)) {
327 // Map Pd = Ps to Pd = or(Ps, Ps).
328 BuildMI(MBB, I, DL, get(Hexagon::OR_pp),
329 DestReg).addReg(SrcReg).addReg(SrcReg);
332 if (Hexagon::DoubleRegsRegClass.contains(DestReg, SrcReg)) {
333 // We can have an overlap between single and double reg: r1:0 = r0.
334 if(SrcReg == RI.getSubReg(DestReg, Hexagon::subreg_loreg)) {
336 BuildMI(MBB, I, DL, get(Hexagon::TFRI), (RI.getSubReg(DestReg,
337 Hexagon::subreg_hireg))).addImm(0);
339 // r1:0 = r1 or no overlap.
340 BuildMI(MBB, I, DL, get(Hexagon::TFR), (RI.getSubReg(DestReg,
341 Hexagon::subreg_loreg))).addReg(SrcReg);
342 BuildMI(MBB, I, DL, get(Hexagon::TFRI), (RI.getSubReg(DestReg,
343 Hexagon::subreg_hireg))).addImm(0);
347 if (Hexagon::CRRegsRegClass.contains(DestReg, SrcReg)) {
348 BuildMI(MBB, I, DL, get(Hexagon::TFCR), DestReg).addReg(SrcReg);
352 assert (0 && "Unimplemented");
356 void HexagonInstrInfo::
357 storeRegToStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator I,
358 unsigned SrcReg, bool isKill, int FI,
359 const TargetRegisterClass *RC,
360 const TargetRegisterInfo *TRI) const {
362 DebugLoc DL = MBB.findDebugLoc(I);
363 MachineFunction &MF = *MBB.getParent();
364 MachineFrameInfo &MFI = *MF.getFrameInfo();
365 unsigned Align = MFI.getObjectAlignment(FI);
367 MachineMemOperand *MMO =
368 MF.getMachineMemOperand(
369 MachinePointerInfo(PseudoSourceValue::getFixedStack(FI)),
370 MachineMemOperand::MOStore,
371 MFI.getObjectSize(FI),
374 if (Hexagon::IntRegsRegisterClass->hasSubClassEq(RC)) {
375 BuildMI(MBB, I, DL, get(Hexagon::STriw))
376 .addFrameIndex(FI).addImm(0)
377 .addReg(SrcReg, getKillRegState(isKill)).addMemOperand(MMO);
378 } else if (Hexagon::DoubleRegsRegisterClass->hasSubClassEq(RC)) {
379 BuildMI(MBB, I, DL, get(Hexagon::STrid))
380 .addFrameIndex(FI).addImm(0)
381 .addReg(SrcReg, getKillRegState(isKill)).addMemOperand(MMO);
382 } else if (Hexagon::PredRegsRegisterClass->hasSubClassEq(RC)) {
383 BuildMI(MBB, I, DL, get(Hexagon::STriw_pred))
384 .addFrameIndex(FI).addImm(0)
385 .addReg(SrcReg, getKillRegState(isKill)).addMemOperand(MMO);
387 assert(0 && "Unimplemented");
392 void HexagonInstrInfo::storeRegToAddr(
393 MachineFunction &MF, unsigned SrcReg,
395 SmallVectorImpl<MachineOperand> &Addr,
396 const TargetRegisterClass *RC,
397 SmallVectorImpl<MachineInstr*> &NewMIs) const
399 assert(0 && "Unimplemented");
404 void HexagonInstrInfo::
405 loadRegFromStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator I,
406 unsigned DestReg, int FI,
407 const TargetRegisterClass *RC,
408 const TargetRegisterInfo *TRI) const {
409 DebugLoc DL = MBB.findDebugLoc(I);
410 MachineFunction &MF = *MBB.getParent();
411 MachineFrameInfo &MFI = *MF.getFrameInfo();
412 unsigned Align = MFI.getObjectAlignment(FI);
414 MachineMemOperand *MMO =
415 MF.getMachineMemOperand(
416 MachinePointerInfo(PseudoSourceValue::getFixedStack(FI)),
417 MachineMemOperand::MOLoad,
418 MFI.getObjectSize(FI),
421 if (RC == Hexagon::IntRegsRegisterClass) {
422 BuildMI(MBB, I, DL, get(Hexagon::LDriw), DestReg)
423 .addFrameIndex(FI).addImm(0).addMemOperand(MMO);
424 } else if (RC == Hexagon::DoubleRegsRegisterClass) {
425 BuildMI(MBB, I, DL, get(Hexagon::LDrid), DestReg)
426 .addFrameIndex(FI).addImm(0).addMemOperand(MMO);
427 } else if (RC == Hexagon::PredRegsRegisterClass) {
428 BuildMI(MBB, I, DL, get(Hexagon::LDriw_pred), DestReg)
429 .addFrameIndex(FI).addImm(0).addMemOperand(MMO);
431 assert(0 && "Can't store this register to stack slot");
436 void HexagonInstrInfo::loadRegFromAddr(MachineFunction &MF, unsigned DestReg,
437 SmallVectorImpl<MachineOperand> &Addr,
438 const TargetRegisterClass *RC,
439 SmallVectorImpl<MachineInstr*> &NewMIs) const {
440 assert(0 && "Unimplemented");
444 MachineInstr *HexagonInstrInfo::foldMemoryOperandImpl(MachineFunction &MF,
446 const SmallVectorImpl<unsigned> &Ops,
448 // Hexagon_TODO: Implement.
453 unsigned HexagonInstrInfo::createVR(MachineFunction* MF, MVT VT) const {
455 MachineRegisterInfo &RegInfo = MF->getRegInfo();
456 const TargetRegisterClass *TRC;
458 TRC = Hexagon::PredRegsRegisterClass;
459 } else if (VT == MVT::i32) {
460 TRC = Hexagon::IntRegsRegisterClass;
461 } else if (VT == MVT::i64) {
462 TRC = Hexagon::DoubleRegsRegisterClass;
464 assert(0 && "Cannot handle this register class");
467 unsigned NewReg = RegInfo.createVirtualRegister(TRC);
472 bool HexagonInstrInfo::isPredicable(MachineInstr *MI) const {
473 bool isPred = MI->getDesc().isPredicable();
478 const int Opc = MI->getOpcode();
482 return isInt<12>(MI->getOperand(1).getImm());
485 case Hexagon::STrid_indexed:
486 return isShiftedUInt<6,3>(MI->getOperand(1).getImm());
489 case Hexagon::STriw_indexed:
490 case Hexagon::STriw_nv_V4:
491 return isShiftedUInt<6,2>(MI->getOperand(1).getImm());
494 case Hexagon::STrih_indexed:
495 case Hexagon::STrih_nv_V4:
496 return isShiftedUInt<6,1>(MI->getOperand(1).getImm());
499 case Hexagon::STrib_indexed:
500 case Hexagon::STrib_nv_V4:
501 return isUInt<6>(MI->getOperand(1).getImm());
504 case Hexagon::LDrid_indexed:
505 return isShiftedUInt<6,3>(MI->getOperand(2).getImm());
508 case Hexagon::LDriw_indexed:
509 return isShiftedUInt<6,2>(MI->getOperand(2).getImm());
512 case Hexagon::LDriuh:
513 case Hexagon::LDrih_indexed:
514 case Hexagon::LDriuh_indexed:
515 return isShiftedUInt<6,1>(MI->getOperand(2).getImm());
518 case Hexagon::LDriub:
519 case Hexagon::LDrib_indexed:
520 case Hexagon::LDriub_indexed:
521 return isUInt<6>(MI->getOperand(2).getImm());
523 case Hexagon::POST_LDrid:
524 return isShiftedInt<4,3>(MI->getOperand(3).getImm());
526 case Hexagon::POST_LDriw:
527 return isShiftedInt<4,2>(MI->getOperand(3).getImm());
529 case Hexagon::POST_LDrih:
530 case Hexagon::POST_LDriuh:
531 return isShiftedInt<4,1>(MI->getOperand(3).getImm());
533 case Hexagon::POST_LDrib:
534 case Hexagon::POST_LDriub:
535 return isInt<4>(MI->getOperand(3).getImm());
537 case Hexagon::STrib_imm_V4:
538 case Hexagon::STrih_imm_V4:
539 case Hexagon::STriw_imm_V4:
540 return (isUInt<6>(MI->getOperand(1).getImm()) &&
541 isInt<6>(MI->getOperand(2).getImm()));
543 case Hexagon::ADD_ri:
544 return isInt<8>(MI->getOperand(2).getImm());
552 return Subtarget.getHexagonArchVersion() == HexagonSubtarget::V4;
566 int HexagonInstrInfo::
567 getMatchingCondBranchOpcode(int Opc, bool invertPredicate) const {
570 return !invertPredicate ? Hexagon::TFR_cPt :
573 return !invertPredicate ? Hexagon::TFRI_cPt :
574 Hexagon::TFRI_cNotPt;
576 return !invertPredicate ? Hexagon::JMP_Pred :
577 Hexagon::JMP_PredNot;
578 case Hexagon::ADD_ri:
579 return !invertPredicate ? Hexagon::ADD_ri_cPt :
580 Hexagon::ADD_ri_cNotPt;
581 case Hexagon::ADD_rr:
582 return !invertPredicate ? Hexagon::ADD_rr_cPt :
583 Hexagon::ADD_rr_cNotPt;
584 case Hexagon::XOR_rr:
585 return !invertPredicate ? Hexagon::XOR_rr_cPt :
586 Hexagon::XOR_rr_cNotPt;
587 case Hexagon::AND_rr:
588 return !invertPredicate ? Hexagon::AND_rr_cPt :
589 Hexagon::AND_rr_cNotPt;
591 return !invertPredicate ? Hexagon::OR_rr_cPt :
592 Hexagon::OR_rr_cNotPt;
593 case Hexagon::SUB_rr:
594 return !invertPredicate ? Hexagon::SUB_rr_cPt :
595 Hexagon::SUB_rr_cNotPt;
596 case Hexagon::COMBINE_rr:
597 return !invertPredicate ? Hexagon::COMBINE_rr_cPt :
598 Hexagon::COMBINE_rr_cNotPt;
600 return !invertPredicate ? Hexagon::ASLH_cPt_V4 :
601 Hexagon::ASLH_cNotPt_V4;
603 return !invertPredicate ? Hexagon::ASRH_cPt_V4 :
604 Hexagon::ASRH_cNotPt_V4;
606 return !invertPredicate ? Hexagon::SXTB_cPt_V4 :
607 Hexagon::SXTB_cNotPt_V4;
609 return !invertPredicate ? Hexagon::SXTH_cPt_V4 :
610 Hexagon::SXTH_cNotPt_V4;
612 return !invertPredicate ? Hexagon::ZXTB_cPt_V4 :
613 Hexagon::ZXTB_cNotPt_V4;
615 return !invertPredicate ? Hexagon::ZXTH_cPt_V4 :
616 Hexagon::ZXTH_cNotPt_V4;
619 return !invertPredicate ? Hexagon::JMPR_cPt :
620 Hexagon::JMPR_cNotPt;
622 // V4 indexed+scaled load.
623 case Hexagon::LDrid_indexed_V4:
624 return !invertPredicate ? Hexagon::LDrid_indexed_cPt_V4 :
625 Hexagon::LDrid_indexed_cNotPt_V4;
626 case Hexagon::LDrid_indexed_shl_V4:
627 return !invertPredicate ? Hexagon::LDrid_indexed_shl_cPt_V4 :
628 Hexagon::LDrid_indexed_shl_cNotPt_V4;
629 case Hexagon::LDrib_indexed_V4:
630 return !invertPredicate ? Hexagon::LDrib_indexed_cPt_V4 :
631 Hexagon::LDrib_indexed_cNotPt_V4;
632 case Hexagon::LDriub_indexed_V4:
633 return !invertPredicate ? Hexagon::LDriub_indexed_cPt_V4 :
634 Hexagon::LDriub_indexed_cNotPt_V4;
635 case Hexagon::LDriub_ae_indexed_V4:
636 return !invertPredicate ? Hexagon::LDriub_indexed_cPt_V4 :
637 Hexagon::LDriub_indexed_cNotPt_V4;
638 case Hexagon::LDrib_indexed_shl_V4:
639 return !invertPredicate ? Hexagon::LDrib_indexed_shl_cPt_V4 :
640 Hexagon::LDrib_indexed_shl_cNotPt_V4;
641 case Hexagon::LDriub_indexed_shl_V4:
642 return !invertPredicate ? Hexagon::LDriub_indexed_shl_cPt_V4 :
643 Hexagon::LDriub_indexed_shl_cNotPt_V4;
644 case Hexagon::LDriub_ae_indexed_shl_V4:
645 return !invertPredicate ? Hexagon::LDriub_indexed_shl_cPt_V4 :
646 Hexagon::LDriub_indexed_shl_cNotPt_V4;
647 case Hexagon::LDrih_indexed_V4:
648 return !invertPredicate ? Hexagon::LDrih_indexed_cPt_V4 :
649 Hexagon::LDrih_indexed_cNotPt_V4;
650 case Hexagon::LDriuh_indexed_V4:
651 return !invertPredicate ? Hexagon::LDriuh_indexed_cPt_V4 :
652 Hexagon::LDriuh_indexed_cNotPt_V4;
653 case Hexagon::LDriuh_ae_indexed_V4:
654 return !invertPredicate ? Hexagon::LDriuh_indexed_cPt_V4 :
655 Hexagon::LDriuh_indexed_cNotPt_V4;
656 case Hexagon::LDrih_indexed_shl_V4:
657 return !invertPredicate ? Hexagon::LDrih_indexed_shl_cPt_V4 :
658 Hexagon::LDrih_indexed_shl_cNotPt_V4;
659 case Hexagon::LDriuh_indexed_shl_V4:
660 return !invertPredicate ? Hexagon::LDriuh_indexed_shl_cPt_V4 :
661 Hexagon::LDriuh_indexed_shl_cNotPt_V4;
662 case Hexagon::LDriuh_ae_indexed_shl_V4:
663 return !invertPredicate ? Hexagon::LDriuh_indexed_shl_cPt_V4 :
664 Hexagon::LDriuh_indexed_shl_cNotPt_V4;
665 case Hexagon::LDriw_indexed_V4:
666 return !invertPredicate ? Hexagon::LDriw_indexed_cPt_V4 :
667 Hexagon::LDriw_indexed_cNotPt_V4;
668 case Hexagon::LDriw_indexed_shl_V4:
669 return !invertPredicate ? Hexagon::LDriw_indexed_shl_cPt_V4 :
670 Hexagon::LDriw_indexed_shl_cNotPt_V4;
672 case Hexagon::POST_STbri:
673 return !invertPredicate ? Hexagon::POST_STbri_cPt :
674 Hexagon::POST_STbri_cNotPt;
676 return !invertPredicate ? Hexagon::STrib_cPt :
677 Hexagon::STrib_cNotPt;
678 case Hexagon::STrib_indexed:
679 return !invertPredicate ? Hexagon::STrib_indexed_cPt :
680 Hexagon::STrib_indexed_cNotPt;
681 case Hexagon::STrib_imm_V4:
682 return !invertPredicate ? Hexagon::STrib_imm_cPt_V4 :
683 Hexagon::STrib_imm_cNotPt_V4;
684 case Hexagon::STrib_indexed_shl_V4:
685 return !invertPredicate ? Hexagon::STrib_indexed_shl_cPt_V4 :
686 Hexagon::STrib_indexed_shl_cNotPt_V4;
688 case Hexagon::POST_SThri:
689 return !invertPredicate ? Hexagon::POST_SThri_cPt :
690 Hexagon::POST_SThri_cNotPt;
692 return !invertPredicate ? Hexagon::STrih_cPt :
693 Hexagon::STrih_cNotPt;
694 case Hexagon::STrih_indexed:
695 return !invertPredicate ? Hexagon::STrih_indexed_cPt :
696 Hexagon::STrih_indexed_cNotPt;
697 case Hexagon::STrih_imm_V4:
698 return !invertPredicate ? Hexagon::STrih_imm_cPt_V4 :
699 Hexagon::STrih_imm_cNotPt_V4;
700 case Hexagon::STrih_indexed_shl_V4:
701 return !invertPredicate ? Hexagon::STrih_indexed_shl_cPt_V4 :
702 Hexagon::STrih_indexed_shl_cNotPt_V4;
704 case Hexagon::POST_STwri:
705 return !invertPredicate ? Hexagon::POST_STwri_cPt :
706 Hexagon::POST_STwri_cNotPt;
708 return !invertPredicate ? Hexagon::STriw_cPt :
709 Hexagon::STriw_cNotPt;
710 case Hexagon::STriw_indexed:
711 return !invertPredicate ? Hexagon::STriw_indexed_cPt :
712 Hexagon::STriw_indexed_cNotPt;
713 case Hexagon::STriw_indexed_shl_V4:
714 return !invertPredicate ? Hexagon::STriw_indexed_shl_cPt_V4 :
715 Hexagon::STriw_indexed_shl_cNotPt_V4;
716 case Hexagon::STriw_imm_V4:
717 return !invertPredicate ? Hexagon::STriw_imm_cPt_V4 :
718 Hexagon::STriw_imm_cNotPt_V4;
720 case Hexagon::POST_STdri:
721 return !invertPredicate ? Hexagon::POST_STdri_cPt :
722 Hexagon::POST_STdri_cNotPt;
724 return !invertPredicate ? Hexagon::STrid_cPt :
725 Hexagon::STrid_cNotPt;
726 case Hexagon::STrid_indexed:
727 return !invertPredicate ? Hexagon::STrid_indexed_cPt :
728 Hexagon::STrid_indexed_cNotPt;
729 case Hexagon::STrid_indexed_shl_V4:
730 return !invertPredicate ? Hexagon::STrid_indexed_shl_cPt_V4 :
731 Hexagon::STrid_indexed_shl_cNotPt_V4;
734 return !invertPredicate ? Hexagon::LDrid_cPt :
735 Hexagon::LDrid_cNotPt;
737 return !invertPredicate ? Hexagon::LDriw_cPt :
738 Hexagon::LDriw_cNotPt;
740 return !invertPredicate ? Hexagon::LDrih_cPt :
741 Hexagon::LDrih_cNotPt;
742 case Hexagon::LDriuh:
743 return !invertPredicate ? Hexagon::LDriuh_cPt :
744 Hexagon::LDriuh_cNotPt;
746 return !invertPredicate ? Hexagon::LDrib_cPt :
747 Hexagon::LDrib_cNotPt;
748 case Hexagon::LDriub:
749 return !invertPredicate ? Hexagon::LDriub_cPt :
750 Hexagon::LDriub_cNotPt;
751 case Hexagon::LDriubit:
752 return !invertPredicate ? Hexagon::LDriub_cPt :
753 Hexagon::LDriub_cNotPt;
755 case Hexagon::LDrid_indexed:
756 return !invertPredicate ? Hexagon::LDrid_indexed_cPt :
757 Hexagon::LDrid_indexed_cNotPt;
758 case Hexagon::LDriw_indexed:
759 return !invertPredicate ? Hexagon::LDriw_indexed_cPt :
760 Hexagon::LDriw_indexed_cNotPt;
761 case Hexagon::LDrih_indexed:
762 return !invertPredicate ? Hexagon::LDrih_indexed_cPt :
763 Hexagon::LDrih_indexed_cNotPt;
764 case Hexagon::LDriuh_indexed:
765 return !invertPredicate ? Hexagon::LDriuh_indexed_cPt :
766 Hexagon::LDriuh_indexed_cNotPt;
767 case Hexagon::LDrib_indexed:
768 return !invertPredicate ? Hexagon::LDrib_indexed_cPt :
769 Hexagon::LDrib_indexed_cNotPt;
770 case Hexagon::LDriub_indexed:
771 return !invertPredicate ? Hexagon::LDriub_indexed_cPt :
772 Hexagon::LDriub_indexed_cNotPt;
773 // Post Increment Load.
774 case Hexagon::POST_LDrid:
775 return !invertPredicate ? Hexagon::POST_LDrid_cPt :
776 Hexagon::POST_LDrid_cNotPt;
777 case Hexagon::POST_LDriw:
778 return !invertPredicate ? Hexagon::POST_LDriw_cPt :
779 Hexagon::POST_LDriw_cNotPt;
780 case Hexagon::POST_LDrih:
781 return !invertPredicate ? Hexagon::POST_LDrih_cPt :
782 Hexagon::POST_LDrih_cNotPt;
783 case Hexagon::POST_LDriuh:
784 return !invertPredicate ? Hexagon::POST_LDriuh_cPt :
785 Hexagon::POST_LDriuh_cNotPt;
786 case Hexagon::POST_LDrib:
787 return !invertPredicate ? Hexagon::POST_LDrib_cPt :
788 Hexagon::POST_LDrib_cNotPt;
789 case Hexagon::POST_LDriub:
790 return !invertPredicate ? Hexagon::POST_LDriub_cPt :
791 Hexagon::POST_LDriub_cNotPt;
793 case Hexagon::DEALLOC_RET_V4:
794 return !invertPredicate ? Hexagon::DEALLOC_RET_cPt_V4 :
795 Hexagon::DEALLOC_RET_cNotPt_V4;
797 assert(false && "Unexpected predicable instruction");
802 bool HexagonInstrInfo::
803 PredicateInstruction(MachineInstr *MI,
804 const SmallVectorImpl<MachineOperand> &Cond) const {
805 int Opc = MI->getOpcode();
806 assert (isPredicable(MI) && "Expected predicable instruction");
807 bool invertJump = (!Cond.empty() && Cond[0].isImm() &&
808 (Cond[0].getImm() == 0));
809 MI->setDesc(get(getMatchingCondBranchOpcode(Opc, invertJump)));
811 // This assumes that the predicate is always the first operand
812 // in the set of inputs.
814 MI->addOperand(MI->getOperand(MI->getNumOperands()-1));
816 for (oper = MI->getNumOperands() - 3; oper >= 0; --oper) {
817 MachineOperand MO = MI->getOperand(oper);
818 if ((MO.isReg() && !MO.isUse() && !MO.isImplicit())) {
823 MI->getOperand(oper+1).ChangeToRegister(MO.getReg(), MO.isDef(),
824 MO.isImplicit(), MO.isKill(),
825 MO.isDead(), MO.isUndef(),
827 } else if (MO.isImm()) {
828 MI->getOperand(oper+1).ChangeToImmediate(MO.getImm());
830 assert(false && "Unexpected operand type");
834 int regPos = invertJump ? 1 : 0;
835 MachineOperand PredMO = Cond[regPos];
836 MI->getOperand(oper+1).ChangeToRegister(PredMO.getReg(), PredMO.isDef(),
837 PredMO.isImplicit(), PredMO.isKill(),
838 PredMO.isDead(), PredMO.isUndef(),
847 isProfitableToIfCvt(MachineBasicBlock &MBB,
849 unsigned ExtraPredCycles,
850 const BranchProbability &Probability) const {
857 isProfitableToIfCvt(MachineBasicBlock &TMBB,
859 unsigned ExtraTCycles,
860 MachineBasicBlock &FMBB,
862 unsigned ExtraFCycles,
863 const BranchProbability &Probability) const {
868 bool HexagonInstrInfo::isPredicated(const MachineInstr *MI) const {
869 switch (MI->getOpcode()) {
870 case Hexagon::TFR_cPt:
871 case Hexagon::TFR_cNotPt:
872 case Hexagon::TFRI_cPt:
873 case Hexagon::TFRI_cNotPt:
874 case Hexagon::TFR_cdnPt:
875 case Hexagon::TFR_cdnNotPt:
876 case Hexagon::TFRI_cdnPt:
877 case Hexagon::TFRI_cdnNotPt:
880 case Hexagon::JMP_Pred:
881 case Hexagon::JMP_PredNot:
882 case Hexagon::BRCOND:
883 case Hexagon::JMP_PredPt:
884 case Hexagon::JMP_PredNotPt:
885 case Hexagon::JMP_PredPnt:
886 case Hexagon::JMP_PredNotPnt:
889 case Hexagon::LDrid_indexed_cPt_V4 :
890 case Hexagon::LDrid_indexed_cdnPt_V4 :
891 case Hexagon::LDrid_indexed_cNotPt_V4 :
892 case Hexagon::LDrid_indexed_cdnNotPt_V4 :
893 case Hexagon::LDrid_indexed_shl_cPt_V4 :
894 case Hexagon::LDrid_indexed_shl_cdnPt_V4 :
895 case Hexagon::LDrid_indexed_shl_cNotPt_V4 :
896 case Hexagon::LDrid_indexed_shl_cdnNotPt_V4 :
897 case Hexagon::LDrib_indexed_cPt_V4 :
898 case Hexagon::LDrib_indexed_cdnPt_V4 :
899 case Hexagon::LDrib_indexed_cNotPt_V4 :
900 case Hexagon::LDrib_indexed_cdnNotPt_V4 :
901 case Hexagon::LDrib_indexed_shl_cPt_V4 :
902 case Hexagon::LDrib_indexed_shl_cdnPt_V4 :
903 case Hexagon::LDrib_indexed_shl_cNotPt_V4 :
904 case Hexagon::LDrib_indexed_shl_cdnNotPt_V4 :
905 case Hexagon::LDriub_indexed_cPt_V4 :
906 case Hexagon::LDriub_indexed_cdnPt_V4 :
907 case Hexagon::LDriub_indexed_cNotPt_V4 :
908 case Hexagon::LDriub_indexed_cdnNotPt_V4 :
909 case Hexagon::LDriub_indexed_shl_cPt_V4 :
910 case Hexagon::LDriub_indexed_shl_cdnPt_V4 :
911 case Hexagon::LDriub_indexed_shl_cNotPt_V4 :
912 case Hexagon::LDriub_indexed_shl_cdnNotPt_V4 :
913 case Hexagon::LDrih_indexed_cPt_V4 :
914 case Hexagon::LDrih_indexed_cdnPt_V4 :
915 case Hexagon::LDrih_indexed_cNotPt_V4 :
916 case Hexagon::LDrih_indexed_cdnNotPt_V4 :
917 case Hexagon::LDrih_indexed_shl_cPt_V4 :
918 case Hexagon::LDrih_indexed_shl_cdnPt_V4 :
919 case Hexagon::LDrih_indexed_shl_cNotPt_V4 :
920 case Hexagon::LDrih_indexed_shl_cdnNotPt_V4 :
921 case Hexagon::LDriuh_indexed_cPt_V4 :
922 case Hexagon::LDriuh_indexed_cdnPt_V4 :
923 case Hexagon::LDriuh_indexed_cNotPt_V4 :
924 case Hexagon::LDriuh_indexed_cdnNotPt_V4 :
925 case Hexagon::LDriuh_indexed_shl_cPt_V4 :
926 case Hexagon::LDriuh_indexed_shl_cdnPt_V4 :
927 case Hexagon::LDriuh_indexed_shl_cNotPt_V4 :
928 case Hexagon::LDriuh_indexed_shl_cdnNotPt_V4 :
929 case Hexagon::LDriw_indexed_cPt_V4 :
930 case Hexagon::LDriw_indexed_cdnPt_V4 :
931 case Hexagon::LDriw_indexed_cNotPt_V4 :
932 case Hexagon::LDriw_indexed_cdnNotPt_V4 :
933 case Hexagon::LDriw_indexed_shl_cPt_V4 :
934 case Hexagon::LDriw_indexed_shl_cdnPt_V4 :
935 case Hexagon::LDriw_indexed_shl_cNotPt_V4 :
936 case Hexagon::LDriw_indexed_shl_cdnNotPt_V4 :
939 case Hexagon::LDrid_cPt :
940 case Hexagon::LDrid_cNotPt :
941 case Hexagon::LDrid_indexed_cPt :
942 case Hexagon::LDrid_indexed_cNotPt :
943 case Hexagon::POST_LDrid_cPt :
944 case Hexagon::POST_LDrid_cNotPt :
945 case Hexagon::LDriw_cPt :
946 case Hexagon::LDriw_cNotPt :
947 case Hexagon::LDriw_indexed_cPt :
948 case Hexagon::LDriw_indexed_cNotPt :
949 case Hexagon::POST_LDriw_cPt :
950 case Hexagon::POST_LDriw_cNotPt :
951 case Hexagon::LDrih_cPt :
952 case Hexagon::LDrih_cNotPt :
953 case Hexagon::LDrih_indexed_cPt :
954 case Hexagon::LDrih_indexed_cNotPt :
955 case Hexagon::POST_LDrih_cPt :
956 case Hexagon::POST_LDrih_cNotPt :
957 case Hexagon::LDrib_cPt :
958 case Hexagon::LDrib_cNotPt :
959 case Hexagon::LDrib_indexed_cPt :
960 case Hexagon::LDrib_indexed_cNotPt :
961 case Hexagon::POST_LDrib_cPt :
962 case Hexagon::POST_LDrib_cNotPt :
963 case Hexagon::LDriuh_cPt :
964 case Hexagon::LDriuh_cNotPt :
965 case Hexagon::LDriuh_indexed_cPt :
966 case Hexagon::LDriuh_indexed_cNotPt :
967 case Hexagon::POST_LDriuh_cPt :
968 case Hexagon::POST_LDriuh_cNotPt :
969 case Hexagon::LDriub_cPt :
970 case Hexagon::LDriub_cNotPt :
971 case Hexagon::LDriub_indexed_cPt :
972 case Hexagon::LDriub_indexed_cNotPt :
973 case Hexagon::POST_LDriub_cPt :
974 case Hexagon::POST_LDriub_cNotPt :
977 case Hexagon::LDrid_cdnPt :
978 case Hexagon::LDrid_cdnNotPt :
979 case Hexagon::LDrid_indexed_cdnPt :
980 case Hexagon::LDrid_indexed_cdnNotPt :
981 case Hexagon::POST_LDrid_cdnPt_V4 :
982 case Hexagon::POST_LDrid_cdnNotPt_V4 :
983 case Hexagon::LDriw_cdnPt :
984 case Hexagon::LDriw_cdnNotPt :
985 case Hexagon::LDriw_indexed_cdnPt :
986 case Hexagon::LDriw_indexed_cdnNotPt :
987 case Hexagon::POST_LDriw_cdnPt_V4 :
988 case Hexagon::POST_LDriw_cdnNotPt_V4 :
989 case Hexagon::LDrih_cdnPt :
990 case Hexagon::LDrih_cdnNotPt :
991 case Hexagon::LDrih_indexed_cdnPt :
992 case Hexagon::LDrih_indexed_cdnNotPt :
993 case Hexagon::POST_LDrih_cdnPt_V4 :
994 case Hexagon::POST_LDrih_cdnNotPt_V4 :
995 case Hexagon::LDrib_cdnPt :
996 case Hexagon::LDrib_cdnNotPt :
997 case Hexagon::LDrib_indexed_cdnPt :
998 case Hexagon::LDrib_indexed_cdnNotPt :
999 case Hexagon::POST_LDrib_cdnPt_V4 :
1000 case Hexagon::POST_LDrib_cdnNotPt_V4 :
1001 case Hexagon::LDriuh_cdnPt :
1002 case Hexagon::LDriuh_cdnNotPt :
1003 case Hexagon::LDriuh_indexed_cdnPt :
1004 case Hexagon::LDriuh_indexed_cdnNotPt :
1005 case Hexagon::POST_LDriuh_cdnPt_V4 :
1006 case Hexagon::POST_LDriuh_cdnNotPt_V4 :
1007 case Hexagon::LDriub_cdnPt :
1008 case Hexagon::LDriub_cdnNotPt :
1009 case Hexagon::LDriub_indexed_cdnPt :
1010 case Hexagon::LDriub_indexed_cdnNotPt :
1011 case Hexagon::POST_LDriub_cdnPt_V4 :
1012 case Hexagon::POST_LDriub_cdnNotPt_V4 :
1015 case Hexagon::ADD_ri_cPt:
1016 case Hexagon::ADD_ri_cNotPt:
1017 case Hexagon::ADD_ri_cdnPt:
1018 case Hexagon::ADD_ri_cdnNotPt:
1019 case Hexagon::ADD_rr_cPt:
1020 case Hexagon::ADD_rr_cNotPt:
1021 case Hexagon::ADD_rr_cdnPt:
1022 case Hexagon::ADD_rr_cdnNotPt:
1023 case Hexagon::XOR_rr_cPt:
1024 case Hexagon::XOR_rr_cNotPt:
1025 case Hexagon::XOR_rr_cdnPt:
1026 case Hexagon::XOR_rr_cdnNotPt:
1027 case Hexagon::AND_rr_cPt:
1028 case Hexagon::AND_rr_cNotPt:
1029 case Hexagon::AND_rr_cdnPt:
1030 case Hexagon::AND_rr_cdnNotPt:
1031 case Hexagon::OR_rr_cPt:
1032 case Hexagon::OR_rr_cNotPt:
1033 case Hexagon::OR_rr_cdnPt:
1034 case Hexagon::OR_rr_cdnNotPt:
1035 case Hexagon::SUB_rr_cPt:
1036 case Hexagon::SUB_rr_cNotPt:
1037 case Hexagon::SUB_rr_cdnPt:
1038 case Hexagon::SUB_rr_cdnNotPt:
1039 case Hexagon::COMBINE_rr_cPt:
1040 case Hexagon::COMBINE_rr_cNotPt:
1041 case Hexagon::COMBINE_rr_cdnPt:
1042 case Hexagon::COMBINE_rr_cdnNotPt:
1045 case Hexagon::ASLH_cPt_V4:
1046 case Hexagon::ASLH_cNotPt_V4:
1047 case Hexagon::ASRH_cPt_V4:
1048 case Hexagon::ASRH_cNotPt_V4:
1049 case Hexagon::SXTB_cPt_V4:
1050 case Hexagon::SXTB_cNotPt_V4:
1051 case Hexagon::SXTH_cPt_V4:
1052 case Hexagon::SXTH_cNotPt_V4:
1053 case Hexagon::ZXTB_cPt_V4:
1054 case Hexagon::ZXTB_cNotPt_V4:
1055 case Hexagon::ZXTH_cPt_V4:
1056 case Hexagon::ZXTH_cNotPt_V4:
1059 case Hexagon::ASLH_cdnPt_V4:
1060 case Hexagon::ASLH_cdnNotPt_V4:
1061 case Hexagon::ASRH_cdnPt_V4:
1062 case Hexagon::ASRH_cdnNotPt_V4:
1063 case Hexagon::SXTB_cdnPt_V4:
1064 case Hexagon::SXTB_cdnNotPt_V4:
1065 case Hexagon::SXTH_cdnPt_V4:
1066 case Hexagon::SXTH_cdnNotPt_V4:
1067 case Hexagon::ZXTB_cdnPt_V4:
1068 case Hexagon::ZXTB_cdnNotPt_V4:
1069 case Hexagon::ZXTH_cdnPt_V4:
1070 case Hexagon::ZXTH_cdnNotPt_V4:
1080 HexagonInstrInfo::DefinesPredicate(MachineInstr *MI,
1081 std::vector<MachineOperand> &Pred) const {
1082 for (unsigned oper = 0; oper < MI->getNumOperands(); ++oper) {
1083 MachineOperand MO = MI->getOperand(oper);
1084 if (MO.isReg() && MO.isDef()) {
1085 const TargetRegisterClass* RC = RI.getMinimalPhysRegClass(MO.getReg());
1086 if (RC == Hexagon::PredRegsRegisterClass) {
1098 SubsumesPredicate(const SmallVectorImpl<MachineOperand> &Pred1,
1099 const SmallVectorImpl<MachineOperand> &Pred2) const {
1106 // We indicate that we want to reverse the branch by
1107 // inserting a 0 at the beginning of the Cond vector.
1109 bool HexagonInstrInfo::
1110 ReverseBranchCondition(SmallVectorImpl<MachineOperand> &Cond) const {
1111 if (!Cond.empty() && Cond[0].isImm() && Cond[0].getImm() == 0) {
1112 Cond.erase(Cond.begin());
1114 Cond.insert(Cond.begin(), MachineOperand::CreateImm(0));
1120 bool HexagonInstrInfo::
1121 isProfitableToDupForIfCvt(MachineBasicBlock &MBB,unsigned NumInstrs,
1122 const BranchProbability &Probability) const {
1123 return (NumInstrs <= 4);
1126 bool HexagonInstrInfo::isDeallocRet(const MachineInstr *MI) const {
1127 switch (MI->getOpcode()) {
1128 case Hexagon::DEALLOC_RET_V4 :
1129 case Hexagon::DEALLOC_RET_cPt_V4 :
1130 case Hexagon::DEALLOC_RET_cNotPt_V4 :
1131 case Hexagon::DEALLOC_RET_cdnPnt_V4 :
1132 case Hexagon::DEALLOC_RET_cNotdnPnt_V4 :
1133 case Hexagon::DEALLOC_RET_cdnPt_V4 :
1134 case Hexagon::DEALLOC_RET_cNotdnPt_V4 :
1141 bool HexagonInstrInfo::
1142 isValidOffset(const int Opcode, const int Offset) const {
1143 // This function is to check whether the "Offset" is in the correct range of
1144 // the given "Opcode". If "Offset" is not in the correct range, "ADD_ri" is
1145 // inserted to calculate the final address. Due to this reason, the function
1146 // assumes that the "Offset" has correct alignment.
1150 case Hexagon::LDriw:
1151 case Hexagon::STriw:
1152 case Hexagon::STriwt:
1153 assert((Offset % 4 == 0) && "Offset has incorrect alignment");
1154 return (Offset >= Hexagon_MEMW_OFFSET_MIN) &&
1155 (Offset <= Hexagon_MEMW_OFFSET_MAX);
1157 case Hexagon::LDrid:
1158 case Hexagon::STrid:
1159 assert((Offset % 8 == 0) && "Offset has incorrect alignment");
1160 return (Offset >= Hexagon_MEMD_OFFSET_MIN) &&
1161 (Offset <= Hexagon_MEMD_OFFSET_MAX);
1163 case Hexagon::LDrih:
1164 case Hexagon::LDriuh:
1165 case Hexagon::STrih:
1166 case Hexagon::LDrih_ae:
1167 assert((Offset % 2 == 0) && "Offset has incorrect alignment");
1168 return (Offset >= Hexagon_MEMH_OFFSET_MIN) &&
1169 (Offset <= Hexagon_MEMH_OFFSET_MAX);
1171 case Hexagon::LDrib:
1172 case Hexagon::STrib:
1173 case Hexagon::LDriub:
1174 case Hexagon::LDriubit:
1175 case Hexagon::LDrib_ae:
1176 case Hexagon::LDriub_ae:
1177 return (Offset >= Hexagon_MEMB_OFFSET_MIN) &&
1178 (Offset <= Hexagon_MEMB_OFFSET_MAX);
1180 case Hexagon::ADD_ri:
1181 case Hexagon::TFR_FI:
1182 return (Offset >= Hexagon_ADDI_OFFSET_MIN) &&
1183 (Offset <= Hexagon_ADDI_OFFSET_MAX);
1185 case Hexagon::MEMw_ADDSUBi_indexed_MEM_V4 :
1186 case Hexagon::MEMw_ADDi_indexed_MEM_V4 :
1187 case Hexagon::MEMw_SUBi_indexed_MEM_V4 :
1188 case Hexagon::MEMw_ADDr_indexed_MEM_V4 :
1189 case Hexagon::MEMw_SUBr_indexed_MEM_V4 :
1190 case Hexagon::MEMw_ANDr_indexed_MEM_V4 :
1191 case Hexagon::MEMw_ORr_indexed_MEM_V4 :
1192 case Hexagon::MEMw_ADDSUBi_MEM_V4 :
1193 case Hexagon::MEMw_ADDi_MEM_V4 :
1194 case Hexagon::MEMw_SUBi_MEM_V4 :
1195 case Hexagon::MEMw_ADDr_MEM_V4 :
1196 case Hexagon::MEMw_SUBr_MEM_V4 :
1197 case Hexagon::MEMw_ANDr_MEM_V4 :
1198 case Hexagon::MEMw_ORr_MEM_V4 :
1199 assert ((Offset % 4) == 0 && "MEMOPw offset is not aligned correctly." );
1200 return (0 <= Offset && Offset <= 255);
1202 case Hexagon::MEMh_ADDSUBi_indexed_MEM_V4 :
1203 case Hexagon::MEMh_ADDi_indexed_MEM_V4 :
1204 case Hexagon::MEMh_SUBi_indexed_MEM_V4 :
1205 case Hexagon::MEMh_ADDr_indexed_MEM_V4 :
1206 case Hexagon::MEMh_SUBr_indexed_MEM_V4 :
1207 case Hexagon::MEMh_ANDr_indexed_MEM_V4 :
1208 case Hexagon::MEMh_ORr_indexed_MEM_V4 :
1209 case Hexagon::MEMh_ADDSUBi_MEM_V4 :
1210 case Hexagon::MEMh_ADDi_MEM_V4 :
1211 case Hexagon::MEMh_SUBi_MEM_V4 :
1212 case Hexagon::MEMh_ADDr_MEM_V4 :
1213 case Hexagon::MEMh_SUBr_MEM_V4 :
1214 case Hexagon::MEMh_ANDr_MEM_V4 :
1215 case Hexagon::MEMh_ORr_MEM_V4 :
1216 assert ((Offset % 2) == 0 && "MEMOPh offset is not aligned correctly." );
1217 return (0 <= Offset && Offset <= 127);
1219 case Hexagon::MEMb_ADDSUBi_indexed_MEM_V4 :
1220 case Hexagon::MEMb_ADDi_indexed_MEM_V4 :
1221 case Hexagon::MEMb_SUBi_indexed_MEM_V4 :
1222 case Hexagon::MEMb_ADDr_indexed_MEM_V4 :
1223 case Hexagon::MEMb_SUBr_indexed_MEM_V4 :
1224 case Hexagon::MEMb_ANDr_indexed_MEM_V4 :
1225 case Hexagon::MEMb_ORr_indexed_MEM_V4 :
1226 case Hexagon::MEMb_ADDSUBi_MEM_V4 :
1227 case Hexagon::MEMb_ADDi_MEM_V4 :
1228 case Hexagon::MEMb_SUBi_MEM_V4 :
1229 case Hexagon::MEMb_ADDr_MEM_V4 :
1230 case Hexagon::MEMb_SUBr_MEM_V4 :
1231 case Hexagon::MEMb_ANDr_MEM_V4 :
1232 case Hexagon::MEMb_ORr_MEM_V4 :
1233 return (0 <= Offset && Offset <= 63);
1235 // LDri_pred and STriw_pred are pseudo operations, so it has to take offset of
1236 // any size. Later pass knows how to handle it.
1237 case Hexagon::STriw_pred:
1238 case Hexagon::LDriw_pred:
1241 // INLINEASM is very special.
1242 case Hexagon::INLINEASM:
1246 assert(0 && "No offset range is defined for this opcode. Please define it in \
1247 the above switch statement!");
1252 // Check if the Offset is a valid auto-inc imm by Load/Store Type.
1254 bool HexagonInstrInfo::
1255 isValidAutoIncImm(const EVT VT, const int Offset) const {
1257 if (VT == MVT::i64) {
1258 return (Offset >= Hexagon_MEMD_AUTOINC_MIN &&
1259 Offset <= Hexagon_MEMD_AUTOINC_MAX &&
1260 (Offset & 0x7) == 0);
1262 if (VT == MVT::i32) {
1263 return (Offset >= Hexagon_MEMW_AUTOINC_MIN &&
1264 Offset <= Hexagon_MEMW_AUTOINC_MAX &&
1265 (Offset & 0x3) == 0);
1267 if (VT == MVT::i16) {
1268 return (Offset >= Hexagon_MEMH_AUTOINC_MIN &&
1269 Offset <= Hexagon_MEMH_AUTOINC_MAX &&
1270 (Offset & 0x1) == 0);
1272 if (VT == MVT::i8) {
1273 return (Offset >= Hexagon_MEMB_AUTOINC_MIN &&
1274 Offset <= Hexagon_MEMB_AUTOINC_MAX);
1277 assert(0 && "Not an auto-inc opc!");
1283 bool HexagonInstrInfo::
1284 isMemOp(const MachineInstr *MI) const {
1285 switch (MI->getOpcode())
1287 case Hexagon::MEMw_ADDSUBi_indexed_MEM_V4 :
1288 case Hexagon::MEMw_ADDi_indexed_MEM_V4 :
1289 case Hexagon::MEMw_SUBi_indexed_MEM_V4 :
1290 case Hexagon::MEMw_ADDr_indexed_MEM_V4 :
1291 case Hexagon::MEMw_SUBr_indexed_MEM_V4 :
1292 case Hexagon::MEMw_ANDr_indexed_MEM_V4 :
1293 case Hexagon::MEMw_ORr_indexed_MEM_V4 :
1294 case Hexagon::MEMw_ADDSUBi_MEM_V4 :
1295 case Hexagon::MEMw_ADDi_MEM_V4 :
1296 case Hexagon::MEMw_SUBi_MEM_V4 :
1297 case Hexagon::MEMw_ADDr_MEM_V4 :
1298 case Hexagon::MEMw_SUBr_MEM_V4 :
1299 case Hexagon::MEMw_ANDr_MEM_V4 :
1300 case Hexagon::MEMw_ORr_MEM_V4 :
1301 case Hexagon::MEMh_ADDSUBi_indexed_MEM_V4 :
1302 case Hexagon::MEMh_ADDi_indexed_MEM_V4 :
1303 case Hexagon::MEMh_SUBi_indexed_MEM_V4 :
1304 case Hexagon::MEMh_ADDr_indexed_MEM_V4 :
1305 case Hexagon::MEMh_SUBr_indexed_MEM_V4 :
1306 case Hexagon::MEMh_ANDr_indexed_MEM_V4 :
1307 case Hexagon::MEMh_ORr_indexed_MEM_V4 :
1308 case Hexagon::MEMh_ADDSUBi_MEM_V4 :
1309 case Hexagon::MEMh_ADDi_MEM_V4 :
1310 case Hexagon::MEMh_SUBi_MEM_V4 :
1311 case Hexagon::MEMh_ADDr_MEM_V4 :
1312 case Hexagon::MEMh_SUBr_MEM_V4 :
1313 case Hexagon::MEMh_ANDr_MEM_V4 :
1314 case Hexagon::MEMh_ORr_MEM_V4 :
1315 case Hexagon::MEMb_ADDSUBi_indexed_MEM_V4 :
1316 case Hexagon::MEMb_ADDi_indexed_MEM_V4 :
1317 case Hexagon::MEMb_SUBi_indexed_MEM_V4 :
1318 case Hexagon::MEMb_ADDr_indexed_MEM_V4 :
1319 case Hexagon::MEMb_SUBr_indexed_MEM_V4 :
1320 case Hexagon::MEMb_ANDr_indexed_MEM_V4 :
1321 case Hexagon::MEMb_ORr_indexed_MEM_V4 :
1322 case Hexagon::MEMb_ADDSUBi_MEM_V4 :
1323 case Hexagon::MEMb_ADDi_MEM_V4 :
1324 case Hexagon::MEMb_SUBi_MEM_V4 :
1325 case Hexagon::MEMb_ADDr_MEM_V4 :
1326 case Hexagon::MEMb_SUBr_MEM_V4 :
1327 case Hexagon::MEMb_ANDr_MEM_V4 :
1328 case Hexagon::MEMb_ORr_MEM_V4 :
1335 bool HexagonInstrInfo::
1336 isSpillPredRegOp(const MachineInstr *MI) const {
1337 switch (MI->getOpcode())
1339 case Hexagon::STriw_pred :
1340 case Hexagon::LDriw_pred :
1347 bool HexagonInstrInfo::isConditionalALU32 (const MachineInstr* MI) const {
1348 const HexagonRegisterInfo& QRI = getRegisterInfo();
1349 switch (MI->getOpcode())
1351 case Hexagon::ADD_ri_cPt:
1352 case Hexagon::ADD_ri_cNotPt:
1353 case Hexagon::ADD_rr_cPt:
1354 case Hexagon::ADD_rr_cNotPt:
1355 case Hexagon::XOR_rr_cPt:
1356 case Hexagon::XOR_rr_cNotPt:
1357 case Hexagon::AND_rr_cPt:
1358 case Hexagon::AND_rr_cNotPt:
1359 case Hexagon::OR_rr_cPt:
1360 case Hexagon::OR_rr_cNotPt:
1361 case Hexagon::SUB_rr_cPt:
1362 case Hexagon::SUB_rr_cNotPt:
1363 case Hexagon::COMBINE_rr_cPt:
1364 case Hexagon::COMBINE_rr_cNotPt:
1366 case Hexagon::ASLH_cPt_V4:
1367 case Hexagon::ASLH_cNotPt_V4:
1368 case Hexagon::ASRH_cPt_V4:
1369 case Hexagon::ASRH_cNotPt_V4:
1370 case Hexagon::SXTB_cPt_V4:
1371 case Hexagon::SXTB_cNotPt_V4:
1372 case Hexagon::SXTH_cPt_V4:
1373 case Hexagon::SXTH_cNotPt_V4:
1374 case Hexagon::ZXTB_cPt_V4:
1375 case Hexagon::ZXTB_cNotPt_V4:
1376 case Hexagon::ZXTH_cPt_V4:
1377 case Hexagon::ZXTH_cNotPt_V4:
1378 return QRI.Subtarget.getHexagonArchVersion() == HexagonSubtarget::V4;
1387 bool HexagonInstrInfo::
1388 isConditionalLoad (const MachineInstr* MI) const {
1389 const HexagonRegisterInfo& QRI = getRegisterInfo();
1390 switch (MI->getOpcode())
1392 case Hexagon::LDrid_cPt :
1393 case Hexagon::LDrid_cNotPt :
1394 case Hexagon::LDrid_indexed_cPt :
1395 case Hexagon::LDrid_indexed_cNotPt :
1396 case Hexagon::LDriw_cPt :
1397 case Hexagon::LDriw_cNotPt :
1398 case Hexagon::LDriw_indexed_cPt :
1399 case Hexagon::LDriw_indexed_cNotPt :
1400 case Hexagon::LDrih_cPt :
1401 case Hexagon::LDrih_cNotPt :
1402 case Hexagon::LDrih_indexed_cPt :
1403 case Hexagon::LDrih_indexed_cNotPt :
1404 case Hexagon::LDrib_cPt :
1405 case Hexagon::LDrib_cNotPt :
1406 case Hexagon::LDrib_indexed_cPt :
1407 case Hexagon::LDrib_indexed_cNotPt :
1408 case Hexagon::LDriuh_cPt :
1409 case Hexagon::LDriuh_cNotPt :
1410 case Hexagon::LDriuh_indexed_cPt :
1411 case Hexagon::LDriuh_indexed_cNotPt :
1412 case Hexagon::LDriub_cPt :
1413 case Hexagon::LDriub_cNotPt :
1414 case Hexagon::LDriub_indexed_cPt :
1415 case Hexagon::LDriub_indexed_cNotPt :
1417 case Hexagon::POST_LDrid_cPt :
1418 case Hexagon::POST_LDrid_cNotPt :
1419 case Hexagon::POST_LDriw_cPt :
1420 case Hexagon::POST_LDriw_cNotPt :
1421 case Hexagon::POST_LDrih_cPt :
1422 case Hexagon::POST_LDrih_cNotPt :
1423 case Hexagon::POST_LDrib_cPt :
1424 case Hexagon::POST_LDrib_cNotPt :
1425 case Hexagon::POST_LDriuh_cPt :
1426 case Hexagon::POST_LDriuh_cNotPt :
1427 case Hexagon::POST_LDriub_cPt :
1428 case Hexagon::POST_LDriub_cNotPt :
1429 return QRI.Subtarget.getHexagonArchVersion() == HexagonSubtarget::V4;
1430 case Hexagon::LDrid_indexed_cPt_V4 :
1431 case Hexagon::LDrid_indexed_cNotPt_V4 :
1432 case Hexagon::LDrid_indexed_shl_cPt_V4 :
1433 case Hexagon::LDrid_indexed_shl_cNotPt_V4 :
1434 case Hexagon::LDrib_indexed_cPt_V4 :
1435 case Hexagon::LDrib_indexed_cNotPt_V4 :
1436 case Hexagon::LDrib_indexed_shl_cPt_V4 :
1437 case Hexagon::LDrib_indexed_shl_cNotPt_V4 :
1438 case Hexagon::LDriub_indexed_cPt_V4 :
1439 case Hexagon::LDriub_indexed_cNotPt_V4 :
1440 case Hexagon::LDriub_indexed_shl_cPt_V4 :
1441 case Hexagon::LDriub_indexed_shl_cNotPt_V4 :
1442 case Hexagon::LDrih_indexed_cPt_V4 :
1443 case Hexagon::LDrih_indexed_cNotPt_V4 :
1444 case Hexagon::LDrih_indexed_shl_cPt_V4 :
1445 case Hexagon::LDrih_indexed_shl_cNotPt_V4 :
1446 case Hexagon::LDriuh_indexed_cPt_V4 :
1447 case Hexagon::LDriuh_indexed_cNotPt_V4 :
1448 case Hexagon::LDriuh_indexed_shl_cPt_V4 :
1449 case Hexagon::LDriuh_indexed_shl_cNotPt_V4 :
1450 case Hexagon::LDriw_indexed_cPt_V4 :
1451 case Hexagon::LDriw_indexed_cNotPt_V4 :
1452 case Hexagon::LDriw_indexed_shl_cPt_V4 :
1453 case Hexagon::LDriw_indexed_shl_cNotPt_V4 :
1454 return QRI.Subtarget.getHexagonArchVersion() == HexagonSubtarget::V4;