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