Evan Cheng | 62c7b5b | 2010-12-05 22:04:16 +0000 | [diff] [blame] | 1 | //===-- ARMHazardRecognizer.cpp - ARM postra hazard recognizer ------------===// |
| 2 | // |
Chandler Carruth | 2946cd7 | 2019-01-19 08:50:56 +0000 | [diff] [blame] | 3 | // 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 Cheng | 62c7b5b | 2010-12-05 22:04:16 +0000 | [diff] [blame] | 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | |
| 9 | #include "ARMHazardRecognizer.h" |
| 10 | #include "ARMBaseInstrInfo.h" |
Evan Cheng | e45d685 | 2011-01-11 21:46:47 +0000 | [diff] [blame] | 11 | #include "ARMBaseRegisterInfo.h" |
Evan Cheng | 62c7b5b | 2010-12-05 22:04:16 +0000 | [diff] [blame] | 12 | #include "ARMSubtarget.h" |
| 13 | #include "llvm/CodeGen/MachineInstr.h" |
| 14 | #include "llvm/CodeGen/ScheduleDAG.h" |
David Blaikie | b3bde2e | 2017-11-17 01:07:10 +0000 | [diff] [blame] | 15 | #include "llvm/CodeGen/TargetRegisterInfo.h" |
Evan Cheng | 62c7b5b | 2010-12-05 22:04:16 +0000 | [diff] [blame] | 16 | using namespace llvm; |
| 17 | |
| 18 | static bool hasRAWHazard(MachineInstr *DefMI, MachineInstr *MI, |
| 19 | const TargetRegisterInfo &TRI) { |
| 20 | // FIXME: Detect integer instructions properly. |
Evan Cheng | 6cc775f | 2011-06-28 19:10:37 +0000 | [diff] [blame] | 21 | const MCInstrDesc &MCID = MI->getDesc(); |
| 22 | unsigned Domain = MCID.TSFlags & ARMII::DomainMask; |
Evan Cheng | 7f8e563 | 2011-12-07 07:15:52 +0000 | [diff] [blame] | 23 | if (MI->mayStore()) |
Evan Cheng | 62c7b5b | 2010-12-05 22:04:16 +0000 | [diff] [blame] | 24 | return false; |
Evan Cheng | 6cc775f | 2011-06-28 19:10:37 +0000 | [diff] [blame] | 25 | unsigned Opcode = MCID.getOpcode(); |
Evan Cheng | 04ad35b | 2011-02-22 19:53:14 +0000 | [diff] [blame] | 26 | 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 Cheng | 62c7b5b | 2010-12-05 22:04:16 +0000 | [diff] [blame] | 31 | } |
| 32 | |
| 33 | ScheduleHazardRecognizer::HazardType |
Andrew Trick | 10ffc2b | 2010-12-24 05:03:26 +0000 | [diff] [blame] | 34 | ARMHazardRecognizer::getHazardType(SUnit *SU, int Stalls) { |
| 35 | assert(Stalls == 0 && "ARM hazards don't support scoreboard lookahead"); |
| 36 | |
Evan Cheng | 62c7b5b | 2010-12-05 22:04:16 +0000 | [diff] [blame] | 37 | MachineInstr *MI = SU->getInstr(); |
| 38 | |
Shiva Chen | 801bf7e | 2018-05-09 02:42:00 +0000 | [diff] [blame] | 39 | if (!MI->isDebugInstr()) { |
Evan Cheng | 62c7b5b | 2010-12-05 22:04:16 +0000 | [diff] [blame] | 40 | // Look for special VMLA / VMLS hazards. A VMUL / VADD / VSUB following |
| 41 | // a VMLA / VMLS will cause 4 cycle stall. |
Evan Cheng | 6cc775f | 2011-06-28 19:10:37 +0000 | [diff] [blame] | 42 | const MCInstrDesc &MCID = MI->getDesc(); |
| 43 | if (LastMI && (MCID.TSFlags & ARMII::DomainMask) != ARMII::DomainGeneral) { |
Evan Cheng | 62c7b5b | 2010-12-05 22:04:16 +0000 | [diff] [blame] | 44 | MachineInstr *DefMI = LastMI; |
Evan Cheng | 6cc775f | 2011-06-28 19:10:37 +0000 | [diff] [blame] | 45 | const MCInstrDesc &LastMCID = LastMI->getDesc(); |
Eric Christopher | 1b21f00 | 2015-01-29 00:19:33 +0000 | [diff] [blame] | 46 | const MachineFunction *MF = MI->getParent()->getParent(); |
Eric Christopher | d913448 | 2014-08-04 21:25:23 +0000 | [diff] [blame] | 47 | const ARMBaseInstrInfo &TII = *static_cast<const ARMBaseInstrInfo *>( |
Eric Christopher | 1b21f00 | 2015-01-29 00:19:33 +0000 | [diff] [blame] | 48 | MF->getSubtarget().getInstrInfo()); |
Bill Wendling | f95178e | 2013-06-07 05:54:19 +0000 | [diff] [blame] | 49 | |
Evan Cheng | 62c7b5b | 2010-12-05 22:04:16 +0000 | [diff] [blame] | 50 | // Skip over one non-VFP / NEON instruction. |
Evan Cheng | 7f8e563 | 2011-12-07 07:15:52 +0000 | [diff] [blame] | 51 | if (!LastMI->isBarrier() && |
Diana Picus | 4879b05 | 2016-07-06 09:22:23 +0000 | [diff] [blame] | 52 | !(TII.getSubtarget().hasMuxedUnits() && LastMI->mayLoadOrStore()) && |
Evan Cheng | 6cc775f | 2011-06-28 19:10:37 +0000 | [diff] [blame] | 53 | (LastMCID.TSFlags & ARMII::DomainMask) == ARMII::DomainGeneral) { |
Evan Cheng | 62c7b5b | 2010-12-05 22:04:16 +0000 | [diff] [blame] | 54 | MachineBasicBlock::iterator I = LastMI; |
| 55 | if (I != LastMI->getParent()->begin()) { |
Benjamin Kramer | b6d0bd4 | 2014-03-02 12:27:27 +0000 | [diff] [blame] | 56 | I = std::prev(I); |
Evan Cheng | 62c7b5b | 2010-12-05 22:04:16 +0000 | [diff] [blame] | 57 | DefMI = &*I; |
| 58 | } |
| 59 | } |
| 60 | |
| 61 | if (TII.isFpMLxInstruction(DefMI->getOpcode()) && |
| 62 | (TII.canCauseFpMLxStall(MI->getOpcode()) || |
Bill Wendling | f95178e | 2013-06-07 05:54:19 +0000 | [diff] [blame] | 63 | hasRAWHazard(DefMI, MI, TII.getRegisterInfo()))) { |
Evan Cheng | 62c7b5b | 2010-12-05 22:04:16 +0000 | [diff] [blame] | 64 | // Try to schedule another instruction for the next 4 cycles. |
Andrew Trick | 10ffc2b | 2010-12-24 05:03:26 +0000 | [diff] [blame] | 65 | if (FpMLxStalls == 0) |
| 66 | FpMLxStalls = 4; |
Evan Cheng | 62c7b5b | 2010-12-05 22:04:16 +0000 | [diff] [blame] | 67 | return Hazard; |
| 68 | } |
| 69 | } |
| 70 | } |
| 71 | |
Andrew Trick | 10ffc2b | 2010-12-24 05:03:26 +0000 | [diff] [blame] | 72 | return ScoreboardHazardRecognizer::getHazardType(SU, Stalls); |
Evan Cheng | 62c7b5b | 2010-12-05 22:04:16 +0000 | [diff] [blame] | 73 | } |
| 74 | |
| 75 | void ARMHazardRecognizer::Reset() { |
Craig Topper | 062a2ba | 2014-04-25 05:30:21 +0000 | [diff] [blame] | 76 | LastMI = nullptr; |
Andrew Trick | 10ffc2b | 2010-12-24 05:03:26 +0000 | [diff] [blame] | 77 | FpMLxStalls = 0; |
Andrew Trick | 00067fb | 2010-12-08 20:04:29 +0000 | [diff] [blame] | 78 | ScoreboardHazardRecognizer::Reset(); |
Evan Cheng | 62c7b5b | 2010-12-05 22:04:16 +0000 | [diff] [blame] | 79 | } |
| 80 | |
| 81 | void ARMHazardRecognizer::EmitInstruction(SUnit *SU) { |
| 82 | MachineInstr *MI = SU->getInstr(); |
Shiva Chen | 801bf7e | 2018-05-09 02:42:00 +0000 | [diff] [blame] | 83 | if (!MI->isDebugInstr()) { |
Evan Cheng | 62c7b5b | 2010-12-05 22:04:16 +0000 | [diff] [blame] | 84 | LastMI = MI; |
Andrew Trick | 10ffc2b | 2010-12-24 05:03:26 +0000 | [diff] [blame] | 85 | FpMLxStalls = 0; |
Evan Cheng | 62c7b5b | 2010-12-05 22:04:16 +0000 | [diff] [blame] | 86 | } |
| 87 | |
Andrew Trick | 00067fb | 2010-12-08 20:04:29 +0000 | [diff] [blame] | 88 | ScoreboardHazardRecognizer::EmitInstruction(SU); |
Evan Cheng | 62c7b5b | 2010-12-05 22:04:16 +0000 | [diff] [blame] | 89 | } |
| 90 | |
| 91 | void ARMHazardRecognizer::AdvanceCycle() { |
Andrew Trick | 10ffc2b | 2010-12-24 05:03:26 +0000 | [diff] [blame] | 92 | if (FpMLxStalls && --FpMLxStalls == 0) |
Evan Cheng | 62c7b5b | 2010-12-05 22:04:16 +0000 | [diff] [blame] | 93 | // Stalled for 4 cycles but still can't schedule any other instructions. |
Craig Topper | 062a2ba | 2014-04-25 05:30:21 +0000 | [diff] [blame] | 94 | LastMI = nullptr; |
Andrew Trick | 00067fb | 2010-12-08 20:04:29 +0000 | [diff] [blame] | 95 | ScoreboardHazardRecognizer::AdvanceCycle(); |
| 96 | } |
| 97 | |
| 98 | void ARMHazardRecognizer::RecedeCycle() { |
| 99 | llvm_unreachable("reverse ARM hazard checking unsupported"); |
Evan Cheng | 62c7b5b | 2010-12-05 22:04:16 +0000 | [diff] [blame] | 100 | } |