blob: f878bf9937a49c4f7eaa8e418ce59635df786033 [file] [log] [blame]
Evan Cheng62c7b5b2010-12-05 22:04:16 +00001//===-- ARMHazardRecognizer.cpp - ARM postra hazard recognizer ------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
10#include "ARMHazardRecognizer.h"
11#include "ARMBaseInstrInfo.h"
Evan Chenge45d6852011-01-11 21:46:47 +000012#include "ARMBaseRegisterInfo.h"
Evan Cheng62c7b5b2010-12-05 22:04:16 +000013#include "ARMSubtarget.h"
14#include "llvm/CodeGen/MachineInstr.h"
15#include "llvm/CodeGen/ScheduleDAG.h"
David Blaikieb3bde2e2017-11-17 01:07:10 +000016#include "llvm/CodeGen/TargetRegisterInfo.h"
Evan Cheng62c7b5b2010-12-05 22:04:16 +000017using namespace llvm;
18
19static bool hasRAWHazard(MachineInstr *DefMI, MachineInstr *MI,
20 const TargetRegisterInfo &TRI) {
21 // FIXME: Detect integer instructions properly.
Evan Cheng6cc775f2011-06-28 19:10:37 +000022 const MCInstrDesc &MCID = MI->getDesc();
23 unsigned Domain = MCID.TSFlags & ARMII::DomainMask;
Evan Cheng7f8e5632011-12-07 07:15:52 +000024 if (MI->mayStore())
Evan Cheng62c7b5b2010-12-05 22:04:16 +000025 return false;
Evan Cheng6cc775f2011-06-28 19:10:37 +000026 unsigned Opcode = MCID.getOpcode();
Evan Cheng04ad35b2011-02-22 19:53:14 +000027 if (Opcode == ARM::VMOVRS || Opcode == ARM::VMOVRRD)
28 return false;
29 if ((Domain & ARMII::DomainVFP) || (Domain & ARMII::DomainNEON))
30 return MI->readsRegister(DefMI->getOperand(0).getReg(), &TRI);
31 return false;
Evan Cheng62c7b5b2010-12-05 22:04:16 +000032}
33
34ScheduleHazardRecognizer::HazardType
Andrew Trick10ffc2b2010-12-24 05:03:26 +000035ARMHazardRecognizer::getHazardType(SUnit *SU, int Stalls) {
36 assert(Stalls == 0 && "ARM hazards don't support scoreboard lookahead");
37
Evan Cheng62c7b5b2010-12-05 22:04:16 +000038 MachineInstr *MI = SU->getInstr();
39
40 if (!MI->isDebugValue()) {
Evan Cheng62c7b5b2010-12-05 22:04:16 +000041 // Look for special VMLA / VMLS hazards. A VMUL / VADD / VSUB following
42 // a VMLA / VMLS will cause 4 cycle stall.
Evan Cheng6cc775f2011-06-28 19:10:37 +000043 const MCInstrDesc &MCID = MI->getDesc();
44 if (LastMI && (MCID.TSFlags & ARMII::DomainMask) != ARMII::DomainGeneral) {
Evan Cheng62c7b5b2010-12-05 22:04:16 +000045 MachineInstr *DefMI = LastMI;
Evan Cheng6cc775f2011-06-28 19:10:37 +000046 const MCInstrDesc &LastMCID = LastMI->getDesc();
Eric Christopher1b21f002015-01-29 00:19:33 +000047 const MachineFunction *MF = MI->getParent()->getParent();
Eric Christopherd9134482014-08-04 21:25:23 +000048 const ARMBaseInstrInfo &TII = *static_cast<const ARMBaseInstrInfo *>(
Eric Christopher1b21f002015-01-29 00:19:33 +000049 MF->getSubtarget().getInstrInfo());
Bill Wendlingf95178e2013-06-07 05:54:19 +000050
Evan Cheng62c7b5b2010-12-05 22:04:16 +000051 // Skip over one non-VFP / NEON instruction.
Evan Cheng7f8e5632011-12-07 07:15:52 +000052 if (!LastMI->isBarrier() &&
Diana Picus4879b052016-07-06 09:22:23 +000053 !(TII.getSubtarget().hasMuxedUnits() && LastMI->mayLoadOrStore()) &&
Evan Cheng6cc775f2011-06-28 19:10:37 +000054 (LastMCID.TSFlags & ARMII::DomainMask) == ARMII::DomainGeneral) {
Evan Cheng62c7b5b2010-12-05 22:04:16 +000055 MachineBasicBlock::iterator I = LastMI;
56 if (I != LastMI->getParent()->begin()) {
Benjamin Kramerb6d0bd42014-03-02 12:27:27 +000057 I = std::prev(I);
Evan Cheng62c7b5b2010-12-05 22:04:16 +000058 DefMI = &*I;
59 }
60 }
61
62 if (TII.isFpMLxInstruction(DefMI->getOpcode()) &&
63 (TII.canCauseFpMLxStall(MI->getOpcode()) ||
Bill Wendlingf95178e2013-06-07 05:54:19 +000064 hasRAWHazard(DefMI, MI, TII.getRegisterInfo()))) {
Evan Cheng62c7b5b2010-12-05 22:04:16 +000065 // Try to schedule another instruction for the next 4 cycles.
Andrew Trick10ffc2b2010-12-24 05:03:26 +000066 if (FpMLxStalls == 0)
67 FpMLxStalls = 4;
Evan Cheng62c7b5b2010-12-05 22:04:16 +000068 return Hazard;
69 }
70 }
71 }
72
Andrew Trick10ffc2b2010-12-24 05:03:26 +000073 return ScoreboardHazardRecognizer::getHazardType(SU, Stalls);
Evan Cheng62c7b5b2010-12-05 22:04:16 +000074}
75
76void ARMHazardRecognizer::Reset() {
Craig Topper062a2ba2014-04-25 05:30:21 +000077 LastMI = nullptr;
Andrew Trick10ffc2b2010-12-24 05:03:26 +000078 FpMLxStalls = 0;
Andrew Trick00067fb2010-12-08 20:04:29 +000079 ScoreboardHazardRecognizer::Reset();
Evan Cheng62c7b5b2010-12-05 22:04:16 +000080}
81
82void ARMHazardRecognizer::EmitInstruction(SUnit *SU) {
83 MachineInstr *MI = SU->getInstr();
Evan Cheng62c7b5b2010-12-05 22:04:16 +000084 if (!MI->isDebugValue()) {
85 LastMI = MI;
Andrew Trick10ffc2b2010-12-24 05:03:26 +000086 FpMLxStalls = 0;
Evan Cheng62c7b5b2010-12-05 22:04:16 +000087 }
88
Andrew Trick00067fb2010-12-08 20:04:29 +000089 ScoreboardHazardRecognizer::EmitInstruction(SU);
Evan Cheng62c7b5b2010-12-05 22:04:16 +000090}
91
92void ARMHazardRecognizer::AdvanceCycle() {
Andrew Trick10ffc2b2010-12-24 05:03:26 +000093 if (FpMLxStalls && --FpMLxStalls == 0)
Evan Cheng62c7b5b2010-12-05 22:04:16 +000094 // Stalled for 4 cycles but still can't schedule any other instructions.
Craig Topper062a2ba2014-04-25 05:30:21 +000095 LastMI = nullptr;
Andrew Trick00067fb2010-12-08 20:04:29 +000096 ScoreboardHazardRecognizer::AdvanceCycle();
97}
98
99void ARMHazardRecognizer::RecedeCycle() {
100 llvm_unreachable("reverse ARM hazard checking unsupported");
Evan Cheng62c7b5b2010-12-05 22:04:16 +0000101}