blob: 0157c0a35286d65ec206d6c61d4c1392c722c4d3 [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();
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() &&
Bob Wilson0858c3a2011-04-19 18:11:57 +000053 // On A9, AGU and NEON/FPU are muxed.
Chad Rosier67336302015-05-22 20:07:34 +000054 !(TII.getSubtarget().isLikeA9() && LastMI->mayLoadOrStore()) &&
Evan Cheng6cc775f2011-06-28 19:10:37 +000055 (LastMCID.TSFlags & ARMII::DomainMask) == ARMII::DomainGeneral) {
Evan Cheng62c7b5b2010-12-05 22:04:16 +000056 MachineBasicBlock::iterator I = LastMI;
57 if (I != LastMI->getParent()->begin()) {
Benjamin Kramerb6d0bd42014-03-02 12:27:27 +000058 I = std::prev(I);
Evan Cheng62c7b5b2010-12-05 22:04:16 +000059 DefMI = &*I;
60 }
61 }
62
63 if (TII.isFpMLxInstruction(DefMI->getOpcode()) &&
64 (TII.canCauseFpMLxStall(MI->getOpcode()) ||
Bill Wendlingf95178e2013-06-07 05:54:19 +000065 hasRAWHazard(DefMI, MI, TII.getRegisterInfo()))) {
Evan Cheng62c7b5b2010-12-05 22:04:16 +000066 // Try to schedule another instruction for the next 4 cycles.
Andrew Trick10ffc2b2010-12-24 05:03:26 +000067 if (FpMLxStalls == 0)
68 FpMLxStalls = 4;
Evan Cheng62c7b5b2010-12-05 22:04:16 +000069 return Hazard;
70 }
71 }
72 }
73
Andrew Trick10ffc2b2010-12-24 05:03:26 +000074 return ScoreboardHazardRecognizer::getHazardType(SU, Stalls);
Evan Cheng62c7b5b2010-12-05 22:04:16 +000075}
76
77void ARMHazardRecognizer::Reset() {
Craig Topper062a2ba2014-04-25 05:30:21 +000078 LastMI = nullptr;
Andrew Trick10ffc2b2010-12-24 05:03:26 +000079 FpMLxStalls = 0;
Andrew Trick00067fb2010-12-08 20:04:29 +000080 ScoreboardHazardRecognizer::Reset();
Evan Cheng62c7b5b2010-12-05 22:04:16 +000081}
82
83void ARMHazardRecognizer::EmitInstruction(SUnit *SU) {
84 MachineInstr *MI = SU->getInstr();
Evan Cheng62c7b5b2010-12-05 22:04:16 +000085 if (!MI->isDebugValue()) {
86 LastMI = MI;
Andrew Trick10ffc2b2010-12-24 05:03:26 +000087 FpMLxStalls = 0;
Evan Cheng62c7b5b2010-12-05 22:04:16 +000088 }
89
Andrew Trick00067fb2010-12-08 20:04:29 +000090 ScoreboardHazardRecognizer::EmitInstruction(SU);
Evan Cheng62c7b5b2010-12-05 22:04:16 +000091}
92
93void ARMHazardRecognizer::AdvanceCycle() {
Andrew Trick10ffc2b2010-12-24 05:03:26 +000094 if (FpMLxStalls && --FpMLxStalls == 0)
Evan Cheng62c7b5b2010-12-05 22:04:16 +000095 // Stalled for 4 cycles but still can't schedule any other instructions.
Craig Topper062a2ba2014-04-25 05:30:21 +000096 LastMI = nullptr;
Andrew Trick00067fb2010-12-08 20:04:29 +000097 ScoreboardHazardRecognizer::AdvanceCycle();
98}
99
100void ARMHazardRecognizer::RecedeCycle() {
101 llvm_unreachable("reverse ARM hazard checking unsupported");
Evan Cheng62c7b5b2010-12-05 22:04:16 +0000102}