AArch64A53Fix835769.cpp revision 8a1773694c6d9b1277647440583811ad3d85c6a4
1//===-- AArch64A53Fix835769.cpp -------------------------------------------===//
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// This pass changes code to work around Cortex-A53 erratum 835769.
10// It works around it by inserting a nop instruction in code sequences that
11// in some circumstances may trigger the erratum.
12// It inserts a nop instruction between a sequence of the following 2 classes
13// of instructions:
14// instr 1: mem-instr (including loads, stores and prefetches).
15// instr 2: non-SIMD integer multiply-accumulate writing 64-bit X registers.
16//===----------------------------------------------------------------------===//
17
18#include "AArch64.h"
19#include "AArch64InstrInfo.h"
20#include "AArch64Subtarget.h"
21#include "llvm/ADT/Statistic.h"
22#include "llvm/CodeGen/MachineFunction.h"
23#include "llvm/CodeGen/MachineFunctionPass.h"
24#include "llvm/CodeGen/MachineInstr.h"
25#include "llvm/CodeGen/MachineInstrBuilder.h"
26#include "llvm/CodeGen/MachineRegisterInfo.h"
27#include "llvm/Support/CommandLine.h"
28#include "llvm/Support/Debug.h"
29
30using namespace llvm;
31
32#define DEBUG_TYPE "aarch64-fix-cortex-a53-835769"
33
34STATISTIC(NumNopsAdded, "Number of Nops added to work around erratum 835769");
35
36//===----------------------------------------------------------------------===//
37// Helper functions
38
39// Is the instruction a match for the instruction that comes first in the
40// sequence of instructions that can trigger the erratum?
41static bool isFirstInstructionInSequence(MachineInstr *MI) {
42  // Must return true if this instruction is a load, a store or a prefetch.
43  switch (MI->getOpcode()) {
44  case AArch64::PRFMl:
45  case AArch64::PRFMroW:
46  case AArch64::PRFMroX:
47  case AArch64::PRFMui:
48  case AArch64::PRFUMi:
49    return true;
50  default:
51    return (MI->mayLoad() || MI->mayStore());
52  }
53}
54
55// Is the instruction a match for the instruction that comes second in the
56// sequence that can trigger the erratum?
57static bool isSecondInstructionInSequence(MachineInstr *MI) {
58  // Must return true for non-SIMD integer multiply-accumulates, writing
59  // to a 64-bit register.
60  switch (MI->getOpcode()) {
61  // Erratum cannot be triggered when the destination register is 32 bits,
62  // therefore only include the following.
63  case AArch64::MSUBXrrr:
64  case AArch64::MADDXrrr:
65  case AArch64::SMADDLrrr:
66  case AArch64::SMSUBLrrr:
67  case AArch64::UMADDLrrr:
68  case AArch64::UMSUBLrrr:
69    // Erratum can only be triggered by multiply-adds, not by regular
70    // non-accumulating multiplies, i.e. when Ra=XZR='11111'
71    return MI->getOperand(3).getReg() != AArch64::XZR;
72  default:
73    return false;
74  }
75}
76
77
78//===----------------------------------------------------------------------===//
79
80namespace {
81class AArch64A53Fix835769 : public MachineFunctionPass {
82  const AArch64InstrInfo *TII;
83
84public:
85  static char ID;
86  explicit AArch64A53Fix835769() : MachineFunctionPass(ID) {}
87
88  bool runOnMachineFunction(MachineFunction &F) override;
89
90  const char *getPassName() const override {
91    return "Workaround A53 erratum 835769 pass";
92  }
93
94  void getAnalysisUsage(AnalysisUsage &AU) const override {
95    AU.setPreservesCFG();
96    MachineFunctionPass::getAnalysisUsage(AU);
97  }
98
99private:
100  bool runOnBasicBlock(MachineBasicBlock &MBB);
101};
102char AArch64A53Fix835769::ID = 0;
103
104} // end anonymous namespace
105
106//===----------------------------------------------------------------------===//
107
108bool
109AArch64A53Fix835769::runOnMachineFunction(MachineFunction &F) {
110  const TargetMachine &TM = F.getTarget();
111
112  bool Changed = false;
113  DEBUG(dbgs() << "***** AArch64A53Fix835769 *****\n");
114
115  TII = TM.getSubtarget<AArch64Subtarget>().getInstrInfo();
116
117  for (auto &MBB : F) {
118    Changed |= runOnBasicBlock(MBB);
119  }
120
121  return Changed;
122}
123
124// Return the block that was fallen through to get to MBB, if any,
125// otherwise nullptr.
126static MachineBasicBlock *getBBFallenThrough(MachineBasicBlock *MBB,
127                                             const TargetInstrInfo *TII) {
128  // Get the previous machine basic block in the function.
129  MachineFunction::iterator MBBI = *MBB;
130
131  // Can't go off top of function.
132  if (MBBI == MBB->getParent()->begin())
133    return nullptr;
134
135  MachineBasicBlock *TBB = nullptr, *FBB = nullptr;
136  SmallVector<MachineOperand, 2> Cond;
137
138  MachineBasicBlock *PrevBB = std::prev(MBBI);
139  for (MachineBasicBlock *S : MBB->predecessors())
140    if (S == PrevBB && !TII->AnalyzeBranch(*PrevBB, TBB, FBB, Cond) &&
141        !TBB && !FBB)
142      return S;
143
144  return nullptr;
145}
146
147// Iterate through fallen through blocks trying to find a previous non-pseudo if
148// there is one, otherwise return nullptr. Only look for instructions in
149// previous blocks, not the current block, since we only use this to look at
150// previous blocks.
151static MachineInstr *getLastNonPseudo(MachineBasicBlock &MBB,
152                                      const TargetInstrInfo *TII) {
153  MachineBasicBlock *FMBB = &MBB;
154
155  // If there is no non-pseudo in the current block, loop back around and try
156  // the previous block (if there is one).
157  while ((FMBB = getBBFallenThrough(FMBB, TII))) {
158    for (auto I = FMBB->rbegin(), E = FMBB->rend(); I != E; ++I) {
159      if (!I->isPseudo())
160        return &*I;
161    }
162  }
163
164  // There was no previous non-pseudo in the fallen through blocks
165  return nullptr;
166}
167
168static void insertNopBeforeInstruction(MachineBasicBlock &MBB, MachineInstr* MI,
169                                       const TargetInstrInfo *TII) {
170  // If we are the first instruction of the block, put the NOP at the end of
171  // the previous fallthrough block
172  if (MI == &MBB.front()) {
173    MachineInstr *I = getLastNonPseudo(MBB, TII);
174    assert(I && "Expected instruction");
175    DebugLoc DL = I->getDebugLoc();
176    BuildMI(I->getParent(), DL, TII->get(AArch64::HINT)).addImm(0);
177  }
178  else {
179    DebugLoc DL = MI->getDebugLoc();
180    BuildMI(MBB, MI, DL, TII->get(AArch64::HINT)).addImm(0);
181  }
182
183  ++NumNopsAdded;
184}
185
186bool
187AArch64A53Fix835769::runOnBasicBlock(MachineBasicBlock &MBB) {
188  bool Changed = false;
189  DEBUG(dbgs() << "Running on MBB: " << MBB << " - scanning instructions...\n");
190
191  // First, scan the basic block, looking for a sequence of 2 instructions
192  // that match the conditions under which the erratum may trigger.
193
194  // List of terminating instructions in matching sequences
195  std::vector<MachineInstr*> Sequences;
196  unsigned Idx = 0;
197  MachineInstr *PrevInstr = nullptr;
198
199  // Try and find the last non-pseudo instruction in any fallen through blocks,
200  // if there isn't one, then we use nullptr to represent that.
201  PrevInstr = getLastNonPseudo(MBB, TII);
202
203  for (auto &MI : MBB) {
204    MachineInstr *CurrInstr = &MI;
205    DEBUG(dbgs() << "  Examining: " << MI);
206    if (PrevInstr) {
207      DEBUG(dbgs() << "    PrevInstr: " << *PrevInstr
208                   << "    CurrInstr: " << *CurrInstr
209                   << "    isFirstInstructionInSequence(PrevInstr): "
210                   << isFirstInstructionInSequence(PrevInstr) << "\n"
211                   << "    isSecondInstructionInSequence(CurrInstr): "
212                   << isSecondInstructionInSequence(CurrInstr) << "\n");
213      if (isFirstInstructionInSequence(PrevInstr) &&
214          isSecondInstructionInSequence(CurrInstr)) {
215        DEBUG(dbgs() << "   ** pattern found at Idx " << Idx << "!\n");
216        Sequences.push_back(CurrInstr);
217      }
218    }
219    if (!CurrInstr->isPseudo())
220      PrevInstr = CurrInstr;
221    ++Idx;
222  }
223
224  DEBUG(dbgs() << "Scan complete, "<< Sequences.size()
225               << " occurences of pattern found.\n");
226
227  // Then update the basic block, inserting nops between the detected sequences.
228  for (auto &MI : Sequences) {
229    Changed = true;
230    insertNopBeforeInstruction(MBB, MI, TII);
231  }
232
233  return Changed;
234}
235
236// Factory function used by AArch64TargetMachine to add the pass to
237// the passmanager.
238FunctionPass *llvm::createAArch64A53Fix835769() {
239  return new AArch64A53Fix835769();
240}
241