blob: 0fa32a0abeffc7a8bc95dfbd15e867138d1f140c [file] [log] [blame]
Evan Cheng62c7b5b2010-12-05 22:04:16 +00001//===-- ARMHazardRecognizer.cpp - ARM postra hazard recognizer ------------===//
2//
Chandler Carruth2946cd72019-01-19 08:50:56 +00003// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
Evan Cheng62c7b5b2010-12-05 22:04:16 +00006//
7//===----------------------------------------------------------------------===//
8
9#include "ARMHazardRecognizer.h"
10#include "ARMBaseInstrInfo.h"
Evan Chenge45d6852011-01-11 21:46:47 +000011#include "ARMBaseRegisterInfo.h"
Evan Cheng62c7b5b2010-12-05 22:04:16 +000012#include "ARMSubtarget.h"
13#include "llvm/CodeGen/MachineInstr.h"
14#include "llvm/CodeGen/ScheduleDAG.h"
David Blaikieb3bde2e2017-11-17 01:07:10 +000015#include "llvm/CodeGen/TargetRegisterInfo.h"
Evan Cheng62c7b5b2010-12-05 22:04:16 +000016using namespace llvm;
17
18static bool hasRAWHazard(MachineInstr *DefMI, MachineInstr *MI,
19 const TargetRegisterInfo &TRI) {
20 // FIXME: Detect integer instructions properly.
Evan Cheng6cc775f2011-06-28 19:10:37 +000021 const MCInstrDesc &MCID = MI->getDesc();
22 unsigned Domain = MCID.TSFlags & ARMII::DomainMask;
Evan Cheng7f8e5632011-12-07 07:15:52 +000023 if (MI->mayStore())
Evan Cheng62c7b5b2010-12-05 22:04:16 +000024 return false;
Evan Cheng6cc775f2011-06-28 19:10:37 +000025 unsigned Opcode = MCID.getOpcode();
Evan Cheng04ad35b2011-02-22 19:53:14 +000026 if (Opcode == ARM::VMOVRS || Opcode == ARM::VMOVRRD)
27 return false;
28 if ((Domain & ARMII::DomainVFP) || (Domain & ARMII::DomainNEON))
29 return MI->readsRegister(DefMI->getOperand(0).getReg(), &TRI);
30 return false;
Evan Cheng62c7b5b2010-12-05 22:04:16 +000031}
32
33ScheduleHazardRecognizer::HazardType
Andrew Trick10ffc2b2010-12-24 05:03:26 +000034ARMHazardRecognizer::getHazardType(SUnit *SU, int Stalls) {
35 assert(Stalls == 0 && "ARM hazards don't support scoreboard lookahead");
36
Evan Cheng62c7b5b2010-12-05 22:04:16 +000037 MachineInstr *MI = SU->getInstr();
38
Shiva Chen801bf7e2018-05-09 02:42:00 +000039 if (!MI->isDebugInstr()) {
Evan Cheng62c7b5b2010-12-05 22:04:16 +000040 // Look for special VMLA / VMLS hazards. A VMUL / VADD / VSUB following
41 // a VMLA / VMLS will cause 4 cycle stall.
Evan Cheng6cc775f2011-06-28 19:10:37 +000042 const MCInstrDesc &MCID = MI->getDesc();
43 if (LastMI && (MCID.TSFlags & ARMII::DomainMask) != ARMII::DomainGeneral) {
Evan Cheng62c7b5b2010-12-05 22:04:16 +000044 MachineInstr *DefMI = LastMI;
Evan Cheng6cc775f2011-06-28 19:10:37 +000045 const MCInstrDesc &LastMCID = LastMI->getDesc();
Eric Christopher1b21f002015-01-29 00:19:33 +000046 const MachineFunction *MF = MI->getParent()->getParent();
Eric Christopherd9134482014-08-04 21:25:23 +000047 const ARMBaseInstrInfo &TII = *static_cast<const ARMBaseInstrInfo *>(
Eric Christopher1b21f002015-01-29 00:19:33 +000048 MF->getSubtarget().getInstrInfo());
Bill Wendlingf95178e2013-06-07 05:54:19 +000049
Evan Cheng62c7b5b2010-12-05 22:04:16 +000050 // Skip over one non-VFP / NEON instruction.
Evan Cheng7f8e5632011-12-07 07:15:52 +000051 if (!LastMI->isBarrier() &&
Diana Picus4879b052016-07-06 09:22:23 +000052 !(TII.getSubtarget().hasMuxedUnits() && LastMI->mayLoadOrStore()) &&
Evan Cheng6cc775f2011-06-28 19:10:37 +000053 (LastMCID.TSFlags & ARMII::DomainMask) == ARMII::DomainGeneral) {
Evan Cheng62c7b5b2010-12-05 22:04:16 +000054 MachineBasicBlock::iterator I = LastMI;
55 if (I != LastMI->getParent()->begin()) {
Benjamin Kramerb6d0bd42014-03-02 12:27:27 +000056 I = std::prev(I);
Evan Cheng62c7b5b2010-12-05 22:04:16 +000057 DefMI = &*I;
58 }
59 }
60
61 if (TII.isFpMLxInstruction(DefMI->getOpcode()) &&
62 (TII.canCauseFpMLxStall(MI->getOpcode()) ||
Bill Wendlingf95178e2013-06-07 05:54:19 +000063 hasRAWHazard(DefMI, MI, TII.getRegisterInfo()))) {
Evan Cheng62c7b5b2010-12-05 22:04:16 +000064 // Try to schedule another instruction for the next 4 cycles.
Andrew Trick10ffc2b2010-12-24 05:03:26 +000065 if (FpMLxStalls == 0)
66 FpMLxStalls = 4;
Evan Cheng62c7b5b2010-12-05 22:04:16 +000067 return Hazard;
68 }
69 }
70 }
71
Andrew Trick10ffc2b2010-12-24 05:03:26 +000072 return ScoreboardHazardRecognizer::getHazardType(SU, Stalls);
Evan Cheng62c7b5b2010-12-05 22:04:16 +000073}
74
75void ARMHazardRecognizer::Reset() {
Craig Topper062a2ba2014-04-25 05:30:21 +000076 LastMI = nullptr;
Andrew Trick10ffc2b2010-12-24 05:03:26 +000077 FpMLxStalls = 0;
Andrew Trick00067fb2010-12-08 20:04:29 +000078 ScoreboardHazardRecognizer::Reset();
Evan Cheng62c7b5b2010-12-05 22:04:16 +000079}
80
81void ARMHazardRecognizer::EmitInstruction(SUnit *SU) {
82 MachineInstr *MI = SU->getInstr();
Shiva Chen801bf7e2018-05-09 02:42:00 +000083 if (!MI->isDebugInstr()) {
Evan Cheng62c7b5b2010-12-05 22:04:16 +000084 LastMI = MI;
Andrew Trick10ffc2b2010-12-24 05:03:26 +000085 FpMLxStalls = 0;
Evan Cheng62c7b5b2010-12-05 22:04:16 +000086 }
87
Andrew Trick00067fb2010-12-08 20:04:29 +000088 ScoreboardHazardRecognizer::EmitInstruction(SU);
Evan Cheng62c7b5b2010-12-05 22:04:16 +000089}
90
91void ARMHazardRecognizer::AdvanceCycle() {
Andrew Trick10ffc2b2010-12-24 05:03:26 +000092 if (FpMLxStalls && --FpMLxStalls == 0)
Evan Cheng62c7b5b2010-12-05 22:04:16 +000093 // Stalled for 4 cycles but still can't schedule any other instructions.
Craig Topper062a2ba2014-04-25 05:30:21 +000094 LastMI = nullptr;
Andrew Trick00067fb2010-12-08 20:04:29 +000095 ScoreboardHazardRecognizer::AdvanceCycle();
96}
97
98void ARMHazardRecognizer::RecedeCycle() {
99 llvm_unreachable("reverse ARM hazard checking unsupported");
Evan Cheng62c7b5b2010-12-05 22:04:16 +0000100}