Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line | 
|---|---|---|---|
| 14 | pmbaty | 1 | //=- llvm/CodeGen/ScheduleHazardRecognizer.h - Scheduling Support -*- C++ -*-=// | 
| 2 | // | ||
| 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 | ||
| 6 | // | ||
| 7 | //===----------------------------------------------------------------------===// | ||
| 8 | // | ||
| 9 | // This file implements the ScheduleHazardRecognizer class, which implements | ||
| 10 | // hazard-avoidance heuristics for scheduling. | ||
| 11 | // | ||
| 12 | //===----------------------------------------------------------------------===// | ||
| 13 | |||
| 14 | #ifndef LLVM_CODEGEN_SCHEDULEHAZARDRECOGNIZER_H | ||
| 15 | #define LLVM_CODEGEN_SCHEDULEHAZARDRECOGNIZER_H | ||
| 16 | |||
| 17 | namespace llvm { | ||
| 18 | |||
| 19 | class MachineInstr; | ||
| 20 | class SUnit; | ||
| 21 | |||
| 22 | /// HazardRecognizer - This determines whether or not an instruction can be | ||
| 23 | /// issued this cycle, and whether or not a noop needs to be inserted to handle | ||
| 24 | /// the hazard. | ||
| 25 | class ScheduleHazardRecognizer { | ||
| 26 | protected: | ||
| 27 |   /// MaxLookAhead - Indicate the number of cycles in the scoreboard | ||
| 28 |   /// state. Important to restore the state after backtracking. Additionally, | ||
| 29 |   /// MaxLookAhead=0 identifies a fake recognizer, allowing the client to | ||
| 30 |   /// bypass virtual calls. Currently the PostRA scheduler ignores it. | ||
| 31 | unsigned MaxLookAhead = 0; | ||
| 32 | |||
| 33 | public: | ||
| 34 | ScheduleHazardRecognizer() = default; | ||
| 35 | virtual ~ScheduleHazardRecognizer(); | ||
| 36 | |||
| 37 | enum HazardType { | ||
| 38 |     NoHazard,      // This instruction can be emitted at this cycle. | ||
| 39 |     Hazard,        // This instruction can't be emitted at this cycle. | ||
| 40 |     NoopHazard     // This instruction can't be emitted, and needs noops. | ||
| 41 | }; | ||
| 42 | |||
| 43 | unsigned getMaxLookAhead() const { return MaxLookAhead; } | ||
| 44 | |||
| 45 | bool isEnabled() const { return MaxLookAhead != 0; } | ||
| 46 | |||
| 47 |   /// atIssueLimit - Return true if no more instructions may be issued in this | ||
| 48 |   /// cycle. | ||
| 49 |   /// | ||
| 50 |   /// FIXME: remove this once MachineScheduler is the only client. | ||
| 51 | virtual bool atIssueLimit() const { return false; } | ||
| 52 | |||
| 53 |   /// getHazardType - Return the hazard type of emitting this node.  There are | ||
| 54 |   /// three possible results.  Either: | ||
| 55 |   ///  * NoHazard: it is legal to issue this instruction on this cycle. | ||
| 56 |   ///  * Hazard: issuing this instruction would stall the machine.  If some | ||
| 57 |   ///     other instruction is available, issue it first. | ||
| 58 |   ///  * NoopHazard: issuing this instruction would break the program.  If | ||
| 59 |   ///     some other instruction can be issued, do so, otherwise issue a noop. | ||
| 60 | virtual HazardType getHazardType(SUnit *, int Stalls = 0) { | ||
| 61 | return NoHazard; | ||
| 62 |   } | ||
| 63 | |||
| 64 |   /// Reset - This callback is invoked when a new block of | ||
| 65 |   /// instructions is about to be schedule. The hazard state should be | ||
| 66 |   /// set to an initialized state. | ||
| 67 | virtual void Reset() {} | ||
| 68 | |||
| 69 |   /// EmitInstruction - This callback is invoked when an instruction is | ||
| 70 |   /// emitted, to advance the hazard state. | ||
| 71 | virtual void EmitInstruction(SUnit *) {} | ||
| 72 | |||
| 73 |   /// This overload will be used when the hazard recognizer is being used | ||
| 74 |   /// by a non-scheduling pass, which does not use SUnits. | ||
| 75 | virtual void EmitInstruction(MachineInstr *) {} | ||
| 76 | |||
| 77 |   /// PreEmitNoops - This callback is invoked prior to emitting an instruction. | ||
| 78 |   /// It should return the number of noops to emit prior to the provided | ||
| 79 |   /// instruction. | ||
| 80 |   /// Note: This is only used during PostRA scheduling. EmitNoop is not called | ||
| 81 |   /// for these noops. | ||
| 82 | virtual unsigned PreEmitNoops(SUnit *) { | ||
| 83 | return 0; | ||
| 84 |   } | ||
| 85 | |||
| 86 |   /// This overload will be used when the hazard recognizer is being used | ||
| 87 |   /// by a non-scheduling pass, which does not use SUnits. | ||
| 88 | virtual unsigned PreEmitNoops(MachineInstr *) { | ||
| 89 | return 0; | ||
| 90 |   } | ||
| 91 | |||
| 92 |   /// ShouldPreferAnother - This callback may be invoked if getHazardType | ||
| 93 |   /// returns NoHazard. If, even though there is no hazard, it would be better to | ||
| 94 |   /// schedule another available instruction, this callback should return true. | ||
| 95 | virtual bool ShouldPreferAnother(SUnit *) { | ||
| 96 | return false; | ||
| 97 |   } | ||
| 98 | |||
| 99 |   /// AdvanceCycle - This callback is invoked whenever the next top-down | ||
| 100 |   /// instruction to be scheduled cannot issue in the current cycle, either | ||
| 101 |   /// because of latency or resource conflicts.  This should increment the | ||
| 102 |   /// internal state of the hazard recognizer so that previously "Hazard" | ||
| 103 |   /// instructions will now not be hazards. | ||
| 104 | virtual void AdvanceCycle() {} | ||
| 105 | |||
| 106 |   /// RecedeCycle - This callback is invoked whenever the next bottom-up | ||
| 107 |   /// instruction to be scheduled cannot issue in the current cycle, either | ||
| 108 |   /// because of latency or resource conflicts. | ||
| 109 | virtual void RecedeCycle() {} | ||
| 110 | |||
| 111 |   /// EmitNoop - This callback is invoked when a noop was added to the | ||
| 112 |   /// instruction stream. | ||
| 113 | virtual void EmitNoop() { | ||
| 114 |     // Default implementation: count it as a cycle. | ||
| 115 | AdvanceCycle(); | ||
| 116 |   } | ||
| 117 | |||
| 118 |   /// EmitNoops - This callback is invoked when noops were added to the | ||
| 119 |   /// instruction stream. | ||
| 120 | virtual void EmitNoops(unsigned Quantity) { | ||
| 121 |     // Default implementation: count it as a cycle. | ||
| 122 | for (unsigned i = 0; i < Quantity; ++i) | ||
| 123 | EmitNoop(); | ||
| 124 |   } | ||
| 125 | }; | ||
| 126 | |||
| 127 | } // end namespace llvm | ||
| 128 | |||
| 129 | #endif // LLVM_CODEGEN_SCHEDULEHAZARDRECOGNIZER_H |