Chad Rosier | 7a21bb1 | 2016-03-14 18:10:20 +0000 | [diff] [blame] | 1 | //===-- MipsHazardSchedule.cpp - Workaround pipeline hazards --------------===// |
Daniel Sanders | e8efff3 | 2016-03-14 16:24:05 +0000 | [diff] [blame] | 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 | /// \file |
Simon Dardis | e8af792 | 2016-12-13 11:10:53 +0000 | [diff] [blame] | 10 | /// This pass is used to workaround certain pipeline hazards. For now, this |
| 11 | /// covers compact branch hazards. In future this pass can be extended to other |
| 12 | /// pipeline hazards, such as various MIPS1 hazards, processor errata that |
| 13 | /// require instruction reorganization, etc. |
Daniel Sanders | e8efff3 | 2016-03-14 16:24:05 +0000 | [diff] [blame] | 14 | /// |
| 15 | /// This pass has to run after the delay slot filler as that pass can introduce |
| 16 | /// pipeline hazards, hence the existing hazard recognizer is not suitable. |
| 17 | /// |
| 18 | /// Hazards handled: forbidden slots for MIPSR6. |
| 19 | /// |
| 20 | /// A forbidden slot hazard occurs when a compact branch instruction is executed |
Simon Dardis | e8af792 | 2016-12-13 11:10:53 +0000 | [diff] [blame] | 21 | /// and the adjacent instruction in memory is a control transfer instruction |
| 22 | /// such as a branch or jump, ERET, ERETNC, DERET, WAIT and PAUSE. |
Daniel Sanders | e8efff3 | 2016-03-14 16:24:05 +0000 | [diff] [blame] | 23 | /// |
| 24 | /// For example: |
| 25 | /// |
NAKAMURA Takumi | fe1202c | 2016-06-20 00:37:41 +0000 | [diff] [blame] | 26 | /// 0x8004 bnec a1,v0,<P+0x18> |
| 27 | /// 0x8008 beqc a1,a2,<P+0x54> |
Daniel Sanders | e8efff3 | 2016-03-14 16:24:05 +0000 | [diff] [blame] | 28 | /// |
| 29 | /// In such cases, the processor is required to signal a Reserved Instruction |
| 30 | /// exception. |
| 31 | /// |
| 32 | /// Here, if the instruction at 0x8004 is executed, the processor will raise an |
| 33 | /// exception as there is a control transfer instruction at 0x8008. |
| 34 | /// |
| 35 | /// There are two sources of forbidden slot hazards: |
| 36 | /// |
| 37 | /// A) A previous pass has created a compact branch directly. |
| 38 | /// B) Transforming a delay slot branch into compact branch. This case can be |
| 39 | /// difficult to process as lookahead for hazards is insufficent, as |
| 40 | /// backwards delay slot fillling can also produce hazards in previously |
| 41 | /// processed instuctions. |
| 42 | /// |
| 43 | //===----------------------------------------------------------------------===// |
| 44 | |
| 45 | #include "Mips.h" |
| 46 | #include "MipsInstrInfo.h" |
| 47 | #include "MipsSEInstrInfo.h" |
| 48 | #include "MipsTargetMachine.h" |
Daniel Sanders | e8efff3 | 2016-03-14 16:24:05 +0000 | [diff] [blame] | 49 | #include "llvm/ADT/Statistic.h" |
| 50 | #include "llvm/CodeGen/MachineFunctionPass.h" |
| 51 | #include "llvm/CodeGen/MachineInstrBuilder.h" |
Mehdi Amini | b550cb1 | 2016-04-18 09:17:29 +0000 | [diff] [blame] | 52 | #include "llvm/IR/Function.h" |
Daniel Sanders | e8efff3 | 2016-03-14 16:24:05 +0000 | [diff] [blame] | 53 | #include "llvm/Target/TargetInstrInfo.h" |
| 54 | #include "llvm/Target/TargetMachine.h" |
| 55 | #include "llvm/Target/TargetRegisterInfo.h" |
| 56 | |
| 57 | using namespace llvm; |
| 58 | |
| 59 | #define DEBUG_TYPE "mips-hazard-schedule" |
| 60 | |
| 61 | STATISTIC(NumInsertedNops, "Number of nops inserted"); |
| 62 | |
| 63 | namespace { |
| 64 | |
| 65 | typedef MachineBasicBlock::iterator Iter; |
| 66 | typedef MachineBasicBlock::reverse_iterator ReverseIter; |
| 67 | |
| 68 | class MipsHazardSchedule : public MachineFunctionPass { |
| 69 | |
| 70 | public: |
Chad Rosier | 7a21bb1 | 2016-03-14 18:10:20 +0000 | [diff] [blame] | 71 | MipsHazardSchedule() : MachineFunctionPass(ID) {} |
Daniel Sanders | e8efff3 | 2016-03-14 16:24:05 +0000 | [diff] [blame] | 72 | |
Mehdi Amini | 117296c | 2016-10-01 02:56:57 +0000 | [diff] [blame] | 73 | StringRef getPassName() const override { return "Mips Hazard Schedule"; } |
Daniel Sanders | e8efff3 | 2016-03-14 16:24:05 +0000 | [diff] [blame] | 74 | |
| 75 | bool runOnMachineFunction(MachineFunction &F) override; |
| 76 | |
Derek Schuff | 1dbf7a5 | 2016-04-04 17:09:25 +0000 | [diff] [blame] | 77 | MachineFunctionProperties getRequiredProperties() const override { |
| 78 | return MachineFunctionProperties().set( |
Matthias Braun | 1eb4736 | 2016-08-25 01:27:13 +0000 | [diff] [blame] | 79 | MachineFunctionProperties::Property::NoVRegs); |
Derek Schuff | 1dbf7a5 | 2016-04-04 17:09:25 +0000 | [diff] [blame] | 80 | } |
| 81 | |
Daniel Sanders | e8efff3 | 2016-03-14 16:24:05 +0000 | [diff] [blame] | 82 | private: |
| 83 | static char ID; |
Daniel Sanders | e8efff3 | 2016-03-14 16:24:05 +0000 | [diff] [blame] | 84 | }; |
| 85 | |
| 86 | char MipsHazardSchedule::ID = 0; |
| 87 | } // end of anonymous namespace |
| 88 | |
| 89 | /// Returns a pass that clears pipeline hazards. |
Chad Rosier | 7a21bb1 | 2016-03-14 18:10:20 +0000 | [diff] [blame] | 90 | FunctionPass *llvm::createMipsHazardSchedule() { |
| 91 | return new MipsHazardSchedule(); |
Daniel Sanders | e8efff3 | 2016-03-14 16:24:05 +0000 | [diff] [blame] | 92 | } |
| 93 | |
Simon Dardis | 43b5ce4 | 2016-12-13 11:07:51 +0000 | [diff] [blame] | 94 | // Find the next real instruction from the current position in current basic |
| 95 | // block. |
| 96 | static Iter getNextMachineInstrInBB(Iter Position) { |
Simon Dardis | 7383bfd8 | 2016-04-29 16:04:18 +0000 | [diff] [blame] | 97 | Iter I = Position, E = Position->getParent()->end(); |
Simon Dardis | 43b5ce4 | 2016-12-13 11:07:51 +0000 | [diff] [blame] | 98 | I = std::find_if_not(I, E, |
| 99 | [](const Iter &Insn) { return Insn->isTransient(); }); |
| 100 | |
Simon Dardis | 7383bfd8 | 2016-04-29 16:04:18 +0000 | [diff] [blame] | 101 | return I; |
| 102 | } |
| 103 | |
Simon Dardis | 43b5ce4 | 2016-12-13 11:07:51 +0000 | [diff] [blame] | 104 | // Find the next real instruction from the current position, looking through |
| 105 | // basic block boundaries. |
Petar Jovanovic | 8a4e639 | 2016-12-22 19:29:50 +0000 | [diff] [blame^] | 106 | static Iter getNextMachineInstr(Iter Position, MachineBasicBlock *Parent) { |
| 107 | if (Position == Parent->end()) { |
| 108 | MachineBasicBlock *Succ = Parent->getNextNode(); |
| 109 | if (Succ != nullptr && Parent->isSuccessor(Succ)) { |
| 110 | Position = Succ->begin(); |
| 111 | Parent = Succ; |
| 112 | } else { |
| 113 | llvm_unreachable( |
| 114 | "Should have identified the end of the function earlier!"); |
Simon Dardis | 43b5ce4 | 2016-12-13 11:07:51 +0000 | [diff] [blame] | 115 | } |
Simon Dardis | 43b5ce4 | 2016-12-13 11:07:51 +0000 | [diff] [blame] | 116 | } |
| 117 | |
Petar Jovanovic | 8a4e639 | 2016-12-22 19:29:50 +0000 | [diff] [blame^] | 118 | Iter Instr = getNextMachineInstrInBB(Position); |
| 119 | if (Instr == Parent->end()) { |
| 120 | return getNextMachineInstr(Instr, Parent); |
| 121 | } |
| 122 | return Instr; |
Simon Dardis | 43b5ce4 | 2016-12-13 11:07:51 +0000 | [diff] [blame] | 123 | } |
| 124 | |
Daniel Sanders | e8efff3 | 2016-03-14 16:24:05 +0000 | [diff] [blame] | 125 | bool MipsHazardSchedule::runOnMachineFunction(MachineFunction &MF) { |
| 126 | |
| 127 | const MipsSubtarget *STI = |
| 128 | &static_cast<const MipsSubtarget &>(MF.getSubtarget()); |
| 129 | |
Simon Dardis | 43b5ce4 | 2016-12-13 11:07:51 +0000 | [diff] [blame] | 130 | // Forbidden slot hazards are only defined for MIPSR6 but not microMIPSR6. |
Daniel Sanders | e8efff3 | 2016-03-14 16:24:05 +0000 | [diff] [blame] | 131 | if (!STI->hasMips32r6() || STI->inMicroMipsMode()) |
| 132 | return false; |
| 133 | |
| 134 | bool Changed = false; |
| 135 | const MipsInstrInfo *TII = STI->getInstrInfo(); |
| 136 | |
| 137 | for (MachineFunction::iterator FI = MF.begin(); FI != MF.end(); ++FI) { |
| 138 | for (Iter I = FI->begin(); I != FI->end(); ++I) { |
| 139 | |
| 140 | // Forbidden slot hazard handling. Use lookahead over state. |
| 141 | if (!TII->HasForbiddenSlot(*I)) |
| 142 | continue; |
| 143 | |
Simon Dardis | 43b5ce4 | 2016-12-13 11:07:51 +0000 | [diff] [blame] | 144 | Iter Inst; |
| 145 | bool LastInstInFunction = |
| 146 | std::next(I) == FI->end() && std::next(FI) == MF.end(); |
| 147 | if (!LastInstInFunction) { |
Petar Jovanovic | 8a4e639 | 2016-12-22 19:29:50 +0000 | [diff] [blame^] | 148 | Inst = getNextMachineInstr(std::next(I), &*FI); |
Daniel Sanders | e8efff3 | 2016-03-14 16:24:05 +0000 | [diff] [blame] | 149 | } |
| 150 | |
Simon Dardis | 43b5ce4 | 2016-12-13 11:07:51 +0000 | [diff] [blame] | 151 | if (LastInstInFunction || !TII->SafeInForbiddenSlot(*Inst)) { |
Daniel Sanders | e8efff3 | 2016-03-14 16:24:05 +0000 | [diff] [blame] | 152 | Changed = true; |
Simon Dardis | 43b5ce4 | 2016-12-13 11:07:51 +0000 | [diff] [blame] | 153 | MIBundleBuilder(&*I) |
| 154 | .append(BuildMI(MF, I->getDebugLoc(), TII->get(Mips::NOP))); |
Daniel Sanders | e8efff3 | 2016-03-14 16:24:05 +0000 | [diff] [blame] | 155 | NumInsertedNops++; |
| 156 | } |
| 157 | } |
| 158 | } |
| 159 | return Changed; |
| 160 | } |