12754fe60SDimitry Andric //===-- ARMHazardRecognizer.cpp - ARM postra hazard recognizer ------------===//
22754fe60SDimitry Andric //
32754fe60SDimitry Andric //                     The LLVM Compiler Infrastructure
42754fe60SDimitry Andric //
52754fe60SDimitry Andric // This file is distributed under the University of Illinois Open Source
62754fe60SDimitry Andric // License. See LICENSE.TXT for details.
72754fe60SDimitry Andric //
82754fe60SDimitry Andric //===----------------------------------------------------------------------===//
92754fe60SDimitry Andric 
102754fe60SDimitry Andric #include "ARMHazardRecognizer.h"
112754fe60SDimitry Andric #include "ARMBaseInstrInfo.h"
122754fe60SDimitry Andric #include "ARMBaseRegisterInfo.h"
132754fe60SDimitry Andric #include "ARMSubtarget.h"
142754fe60SDimitry Andric #include "llvm/CodeGen/MachineInstr.h"
152754fe60SDimitry Andric #include "llvm/CodeGen/ScheduleDAG.h"
162cab237bSDimitry Andric #include "llvm/CodeGen/TargetRegisterInfo.h"
172754fe60SDimitry Andric using namespace llvm;
182754fe60SDimitry Andric 
hasRAWHazard(MachineInstr * DefMI,MachineInstr * MI,const TargetRegisterInfo & TRI)192754fe60SDimitry Andric static bool hasRAWHazard(MachineInstr *DefMI, MachineInstr *MI,
202754fe60SDimitry Andric                          const TargetRegisterInfo &TRI) {
212754fe60SDimitry Andric   // FIXME: Detect integer instructions properly.
2217a519f9SDimitry Andric   const MCInstrDesc &MCID = MI->getDesc();
2317a519f9SDimitry Andric   unsigned Domain = MCID.TSFlags & ARMII::DomainMask;
24dff0c46cSDimitry Andric   if (MI->mayStore())
252754fe60SDimitry Andric     return false;
2617a519f9SDimitry Andric   unsigned Opcode = MCID.getOpcode();
27dd6029ffSDimitry Andric   if (Opcode == ARM::VMOVRS || Opcode == ARM::VMOVRRD)
282754fe60SDimitry Andric     return false;
29dd6029ffSDimitry Andric   if ((Domain & ARMII::DomainVFP) || (Domain & ARMII::DomainNEON))
302754fe60SDimitry Andric     return MI->readsRegister(DefMI->getOperand(0).getReg(), &TRI);
31dd6029ffSDimitry Andric   return false;
322754fe60SDimitry Andric }
332754fe60SDimitry Andric 
342754fe60SDimitry Andric ScheduleHazardRecognizer::HazardType
getHazardType(SUnit * SU,int Stalls)352754fe60SDimitry Andric ARMHazardRecognizer::getHazardType(SUnit *SU, int Stalls) {
362754fe60SDimitry Andric   assert(Stalls == 0 && "ARM hazards don't support scoreboard lookahead");
372754fe60SDimitry Andric 
382754fe60SDimitry Andric   MachineInstr *MI = SU->getInstr();
392754fe60SDimitry Andric 
40*4ba319b5SDimitry Andric   if (!MI->isDebugInstr()) {
412754fe60SDimitry Andric     // Look for special VMLA / VMLS hazards. A VMUL / VADD / VSUB following
422754fe60SDimitry Andric     // a VMLA / VMLS will cause 4 cycle stall.
4317a519f9SDimitry Andric     const MCInstrDesc &MCID = MI->getDesc();
4417a519f9SDimitry Andric     if (LastMI && (MCID.TSFlags & ARMII::DomainMask) != ARMII::DomainGeneral) {
452754fe60SDimitry Andric       MachineInstr *DefMI = LastMI;
4617a519f9SDimitry Andric       const MCInstrDesc &LastMCID = LastMI->getDesc();
47ff0cc061SDimitry Andric       const MachineFunction *MF = MI->getParent()->getParent();
4839d628a0SDimitry Andric       const ARMBaseInstrInfo &TII = *static_cast<const ARMBaseInstrInfo *>(
49ff0cc061SDimitry Andric                                         MF->getSubtarget().getInstrInfo());
50f785676fSDimitry Andric 
512754fe60SDimitry Andric       // Skip over one non-VFP / NEON instruction.
52dff0c46cSDimitry Andric       if (!LastMI->isBarrier() &&
533ca95b02SDimitry Andric           !(TII.getSubtarget().hasMuxedUnits() && LastMI->mayLoadOrStore()) &&
5417a519f9SDimitry Andric           (LastMCID.TSFlags & ARMII::DomainMask) == ARMII::DomainGeneral) {
552754fe60SDimitry Andric         MachineBasicBlock::iterator I = LastMI;
562754fe60SDimitry Andric         if (I != LastMI->getParent()->begin()) {
5791bc56edSDimitry Andric           I = std::prev(I);
582754fe60SDimitry Andric           DefMI = &*I;
592754fe60SDimitry Andric         }
602754fe60SDimitry Andric       }
612754fe60SDimitry Andric 
622754fe60SDimitry Andric       if (TII.isFpMLxInstruction(DefMI->getOpcode()) &&
632754fe60SDimitry Andric           (TII.canCauseFpMLxStall(MI->getOpcode()) ||
64f785676fSDimitry Andric            hasRAWHazard(DefMI, MI, TII.getRegisterInfo()))) {
652754fe60SDimitry Andric         // Try to schedule another instruction for the next 4 cycles.
662754fe60SDimitry Andric         if (FpMLxStalls == 0)
672754fe60SDimitry Andric           FpMLxStalls = 4;
682754fe60SDimitry Andric         return Hazard;
692754fe60SDimitry Andric       }
702754fe60SDimitry Andric     }
712754fe60SDimitry Andric   }
722754fe60SDimitry Andric 
732754fe60SDimitry Andric   return ScoreboardHazardRecognizer::getHazardType(SU, Stalls);
742754fe60SDimitry Andric }
752754fe60SDimitry Andric 
Reset()762754fe60SDimitry Andric void ARMHazardRecognizer::Reset() {
7791bc56edSDimitry Andric   LastMI = nullptr;
782754fe60SDimitry Andric   FpMLxStalls = 0;
792754fe60SDimitry Andric   ScoreboardHazardRecognizer::Reset();
802754fe60SDimitry Andric }
812754fe60SDimitry Andric 
EmitInstruction(SUnit * SU)822754fe60SDimitry Andric void ARMHazardRecognizer::EmitInstruction(SUnit *SU) {
832754fe60SDimitry Andric   MachineInstr *MI = SU->getInstr();
84*4ba319b5SDimitry Andric   if (!MI->isDebugInstr()) {
852754fe60SDimitry Andric     LastMI = MI;
862754fe60SDimitry Andric     FpMLxStalls = 0;
872754fe60SDimitry Andric   }
882754fe60SDimitry Andric 
892754fe60SDimitry Andric   ScoreboardHazardRecognizer::EmitInstruction(SU);
902754fe60SDimitry Andric }
912754fe60SDimitry Andric 
AdvanceCycle()922754fe60SDimitry Andric void ARMHazardRecognizer::AdvanceCycle() {
932754fe60SDimitry Andric   if (FpMLxStalls && --FpMLxStalls == 0)
942754fe60SDimitry Andric     // Stalled for 4 cycles but still can't schedule any other instructions.
9591bc56edSDimitry Andric     LastMI = nullptr;
962754fe60SDimitry Andric   ScoreboardHazardRecognizer::AdvanceCycle();
972754fe60SDimitry Andric }
982754fe60SDimitry Andric 
RecedeCycle()992754fe60SDimitry Andric void ARMHazardRecognizer::RecedeCycle() {
1002754fe60SDimitry Andric   llvm_unreachable("reverse ARM hazard checking unsupported");
1012754fe60SDimitry Andric }
102