blob: 0e4f81c8789ea021cd7afe0f25710617cb8be2c2 [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"
16#include "llvm/Target/TargetRegisterInfo.h"
17using 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();
Bill Wendlingf95178e2013-06-07 05:54:19 +000047 const TargetMachine &TM =
48 MI->getParent()->getParent()->getTarget();
Eric Christopherd9134482014-08-04 21:25:23 +000049 const ARMBaseInstrInfo &TII = *static_cast<const ARMBaseInstrInfo *>(
50 TM.getSubtargetImpl()->getInstrInfo());
Bill Wendlingf95178e2013-06-07 05:54:19 +000051
Evan Cheng62c7b5b2010-12-05 22:04:16 +000052 // Skip over one non-VFP / NEON instruction.
Evan Cheng7f8e5632011-12-07 07:15:52 +000053 if (!LastMI->isBarrier() &&
Bob Wilson0858c3a2011-04-19 18:11:57 +000054 // On A9, AGU and NEON/FPU are muxed.
Bill Wendlingf95178e2013-06-07 05:54:19 +000055 !(TII.getSubtarget().isLikeA9() &&
56 (LastMI->mayLoad() || LastMI->mayStore())) &&
Evan Cheng6cc775f2011-06-28 19:10:37 +000057 (LastMCID.TSFlags & ARMII::DomainMask) == ARMII::DomainGeneral) {
Evan Cheng62c7b5b2010-12-05 22:04:16 +000058 MachineBasicBlock::iterator I = LastMI;
59 if (I != LastMI->getParent()->begin()) {
Benjamin Kramerb6d0bd42014-03-02 12:27:27 +000060 I = std::prev(I);
Evan Cheng62c7b5b2010-12-05 22:04:16 +000061 DefMI = &*I;
62 }
63 }
64
65 if (TII.isFpMLxInstruction(DefMI->getOpcode()) &&
66 (TII.canCauseFpMLxStall(MI->getOpcode()) ||
Bill Wendlingf95178e2013-06-07 05:54:19 +000067 hasRAWHazard(DefMI, MI, TII.getRegisterInfo()))) {
Evan Cheng62c7b5b2010-12-05 22:04:16 +000068 // Try to schedule another instruction for the next 4 cycles.
Andrew Trick10ffc2b2010-12-24 05:03:26 +000069 if (FpMLxStalls == 0)
70 FpMLxStalls = 4;
Evan Cheng62c7b5b2010-12-05 22:04:16 +000071 return Hazard;
72 }
73 }
74 }
75
Andrew Trick10ffc2b2010-12-24 05:03:26 +000076 return ScoreboardHazardRecognizer::getHazardType(SU, Stalls);
Evan Cheng62c7b5b2010-12-05 22:04:16 +000077}
78
79void ARMHazardRecognizer::Reset() {
Craig Topper062a2ba2014-04-25 05:30:21 +000080 LastMI = nullptr;
Andrew Trick10ffc2b2010-12-24 05:03:26 +000081 FpMLxStalls = 0;
Andrew Trick00067fb2010-12-08 20:04:29 +000082 ScoreboardHazardRecognizer::Reset();
Evan Cheng62c7b5b2010-12-05 22:04:16 +000083}
84
85void ARMHazardRecognizer::EmitInstruction(SUnit *SU) {
86 MachineInstr *MI = SU->getInstr();
Evan Cheng62c7b5b2010-12-05 22:04:16 +000087 if (!MI->isDebugValue()) {
88 LastMI = MI;
Andrew Trick10ffc2b2010-12-24 05:03:26 +000089 FpMLxStalls = 0;
Evan Cheng62c7b5b2010-12-05 22:04:16 +000090 }
91
Andrew Trick00067fb2010-12-08 20:04:29 +000092 ScoreboardHazardRecognizer::EmitInstruction(SU);
Evan Cheng62c7b5b2010-12-05 22:04:16 +000093}
94
95void ARMHazardRecognizer::AdvanceCycle() {
Andrew Trick10ffc2b2010-12-24 05:03:26 +000096 if (FpMLxStalls && --FpMLxStalls == 0)
Evan Cheng62c7b5b2010-12-05 22:04:16 +000097 // Stalled for 4 cycles but still can't schedule any other instructions.
Craig Topper062a2ba2014-04-25 05:30:21 +000098 LastMI = nullptr;
Andrew Trick00067fb2010-12-08 20:04:29 +000099 ScoreboardHazardRecognizer::AdvanceCycle();
100}
101
102void ARMHazardRecognizer::RecedeCycle() {
103 llvm_unreachable("reverse ARM hazard checking unsupported");
Evan Cheng62c7b5b2010-12-05 22:04:16 +0000104}