blob: 7de5d0ef66b10b993d770021000190bb60778394 [file] [log] [blame]
Bradley Smithf2a801d2014-10-13 10:12:35 +00001//===-- 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"
Bradley Smithf2a801d2014-10-13 10:12:35 +000019#include "llvm/ADT/Statistic.h"
20#include "llvm/CodeGen/MachineFunction.h"
21#include "llvm/CodeGen/MachineFunctionPass.h"
22#include "llvm/CodeGen/MachineInstr.h"
23#include "llvm/CodeGen/MachineInstrBuilder.h"
24#include "llvm/CodeGen/MachineRegisterInfo.h"
David Blaikie3f833ed2017-11-08 01:01:31 +000025#include "llvm/CodeGen/TargetInstrInfo.h"
Bradley Smithf2a801d2014-10-13 10:12:35 +000026#include "llvm/Support/Debug.h"
Benjamin Kramer16132e62015-03-23 18:07:13 +000027#include "llvm/Support/raw_ostream.h"
Bradley Smithf2a801d2014-10-13 10:12:35 +000028
29using namespace llvm;
30
31#define DEBUG_TYPE "aarch64-fix-cortex-a53-835769"
32
33STATISTIC(NumNopsAdded, "Number of Nops added to work around erratum 835769");
34
35//===----------------------------------------------------------------------===//
36// Helper functions
37
38// Is the instruction a match for the instruction that comes first in the
39// sequence of instructions that can trigger the erratum?
40static bool isFirstInstructionInSequence(MachineInstr *MI) {
41 // Must return true if this instruction is a load, a store or a prefetch.
42 switch (MI->getOpcode()) {
43 case AArch64::PRFMl:
44 case AArch64::PRFMroW:
45 case AArch64::PRFMroX:
46 case AArch64::PRFMui:
47 case AArch64::PRFUMi:
48 return true;
49 default:
Chad Rosiera73b3592015-05-21 21:59:57 +000050 return MI->mayLoadOrStore();
Bradley Smithf2a801d2014-10-13 10:12:35 +000051 }
52}
53
54// Is the instruction a match for the instruction that comes second in the
55// sequence that can trigger the erratum?
56static bool isSecondInstructionInSequence(MachineInstr *MI) {
57 // Must return true for non-SIMD integer multiply-accumulates, writing
58 // to a 64-bit register.
59 switch (MI->getOpcode()) {
60 // Erratum cannot be triggered when the destination register is 32 bits,
61 // therefore only include the following.
62 case AArch64::MSUBXrrr:
63 case AArch64::MADDXrrr:
64 case AArch64::SMADDLrrr:
65 case AArch64::SMSUBLrrr:
66 case AArch64::UMADDLrrr:
67 case AArch64::UMSUBLrrr:
68 // Erratum can only be triggered by multiply-adds, not by regular
69 // non-accumulating multiplies, i.e. when Ra=XZR='11111'
70 return MI->getOperand(3).getReg() != AArch64::XZR;
71 default:
72 return false;
73 }
74}
75
76
77//===----------------------------------------------------------------------===//
78
79namespace {
80class AArch64A53Fix835769 : public MachineFunctionPass {
Eric Christopher125898a2015-01-30 01:10:24 +000081 const TargetInstrInfo *TII;
Bradley Smithf2a801d2014-10-13 10:12:35 +000082
83public:
84 static char ID;
Diana Picus850043b2016-08-01 05:56:57 +000085 explicit AArch64A53Fix835769() : MachineFunctionPass(ID) {
86 initializeAArch64A53Fix835769Pass(*PassRegistry::getPassRegistry());
87 }
Bradley Smithf2a801d2014-10-13 10:12:35 +000088
89 bool runOnMachineFunction(MachineFunction &F) override;
90
Derek Schuff1dbf7a52016-04-04 17:09:25 +000091 MachineFunctionProperties getRequiredProperties() const override {
92 return MachineFunctionProperties().set(
Matthias Braun1eb47362016-08-25 01:27:13 +000093 MachineFunctionProperties::Property::NoVRegs);
Derek Schuff1dbf7a52016-04-04 17:09:25 +000094 }
95
Mehdi Amini117296c2016-10-01 02:56:57 +000096 StringRef getPassName() const override {
Bradley Smithf2a801d2014-10-13 10:12:35 +000097 return "Workaround A53 erratum 835769 pass";
98 }
99
100 void getAnalysisUsage(AnalysisUsage &AU) const override {
101 AU.setPreservesCFG();
102 MachineFunctionPass::getAnalysisUsage(AU);
103 }
104
105private:
106 bool runOnBasicBlock(MachineBasicBlock &MBB);
107};
108char AArch64A53Fix835769::ID = 0;
109
110} // end anonymous namespace
111
Diana Picus850043b2016-08-01 05:56:57 +0000112INITIALIZE_PASS(AArch64A53Fix835769, "aarch64-fix-cortex-a53-835769-pass",
113 "AArch64 fix for A53 erratum 835769", false, false)
114
Bradley Smithf2a801d2014-10-13 10:12:35 +0000115//===----------------------------------------------------------------------===//
116
117bool
118AArch64A53Fix835769::runOnMachineFunction(MachineFunction &F) {
Bradley Smithf2a801d2014-10-13 10:12:35 +0000119 DEBUG(dbgs() << "***** AArch64A53Fix835769 *****\n");
Eric Christopher125898a2015-01-30 01:10:24 +0000120 bool Changed = false;
121 TII = F.getSubtarget().getInstrInfo();
Bradley Smithf2a801d2014-10-13 10:12:35 +0000122
123 for (auto &MBB : F) {
124 Changed |= runOnBasicBlock(MBB);
125 }
Bradley Smithf2a801d2014-10-13 10:12:35 +0000126 return Changed;
127}
128
129// Return the block that was fallen through to get to MBB, if any,
130// otherwise nullptr.
Bradley Smith698e08f2014-10-14 14:02:41 +0000131static MachineBasicBlock *getBBFallenThrough(MachineBasicBlock *MBB,
Bradley Smithf2a801d2014-10-13 10:12:35 +0000132 const TargetInstrInfo *TII) {
133 // Get the previous machine basic block in the function.
Duncan P. N. Exon Smithd3b9df02015-10-13 20:02:15 +0000134 MachineFunction::iterator MBBI(MBB);
Bradley Smithf2a801d2014-10-13 10:12:35 +0000135
136 // Can't go off top of function.
Bradley Smith698e08f2014-10-14 14:02:41 +0000137 if (MBBI == MBB->getParent()->begin())
Bradley Smithf2a801d2014-10-13 10:12:35 +0000138 return nullptr;
139
140 MachineBasicBlock *TBB = nullptr, *FBB = nullptr;
141 SmallVector<MachineOperand, 2> Cond;
142
Duncan P. N. Exon Smithd3b9df02015-10-13 20:02:15 +0000143 MachineBasicBlock *PrevBB = &*std::prev(MBBI);
Bradley Smith698e08f2014-10-14 14:02:41 +0000144 for (MachineBasicBlock *S : MBB->predecessors())
Jacques Pienaar71c30a12016-07-15 14:41:04 +0000145 if (S == PrevBB && !TII->analyzeBranch(*PrevBB, TBB, FBB, Cond) && !TBB &&
146 !FBB)
Bradley Smithf2a801d2014-10-13 10:12:35 +0000147 return S;
148
149 return nullptr;
150}
151
Bradley Smith698e08f2014-10-14 14:02:41 +0000152// Iterate through fallen through blocks trying to find a previous non-pseudo if
153// there is one, otherwise return nullptr. Only look for instructions in
154// previous blocks, not the current block, since we only use this to look at
155// previous blocks.
156static MachineInstr *getLastNonPseudo(MachineBasicBlock &MBB,
157 const TargetInstrInfo *TII) {
158 MachineBasicBlock *FMBB = &MBB;
159
160 // If there is no non-pseudo in the current block, loop back around and try
161 // the previous block (if there is one).
162 while ((FMBB = getBBFallenThrough(FMBB, TII))) {
Pete Cooper7679afd2015-07-24 21:13:43 +0000163 for (MachineInstr &I : make_range(FMBB->rbegin(), FMBB->rend()))
164 if (!I.isPseudo())
165 return &I;
Bradley Smithf2a801d2014-10-13 10:12:35 +0000166 }
167
Bradley Smith698e08f2014-10-14 14:02:41 +0000168 // There was no previous non-pseudo in the fallen through blocks
169 return nullptr;
Bradley Smithf2a801d2014-10-13 10:12:35 +0000170}
171
172static void insertNopBeforeInstruction(MachineBasicBlock &MBB, MachineInstr* MI,
173 const TargetInstrInfo *TII) {
174 // If we are the first instruction of the block, put the NOP at the end of
175 // the previous fallthrough block
176 if (MI == &MBB.front()) {
Bradley Smith698e08f2014-10-14 14:02:41 +0000177 MachineInstr *I = getLastNonPseudo(MBB, TII);
Bradley Smithf2a801d2014-10-13 10:12:35 +0000178 assert(I && "Expected instruction");
179 DebugLoc DL = I->getDebugLoc();
Bradley Smith698e08f2014-10-14 14:02:41 +0000180 BuildMI(I->getParent(), DL, TII->get(AArch64::HINT)).addImm(0);
Bradley Smithf2a801d2014-10-13 10:12:35 +0000181 }
182 else {
183 DebugLoc DL = MI->getDebugLoc();
184 BuildMI(MBB, MI, DL, TII->get(AArch64::HINT)).addImm(0);
185 }
186
187 ++NumNopsAdded;
188}
189
190bool
191AArch64A53Fix835769::runOnBasicBlock(MachineBasicBlock &MBB) {
192 bool Changed = false;
193 DEBUG(dbgs() << "Running on MBB: " << MBB << " - scanning instructions...\n");
194
195 // First, scan the basic block, looking for a sequence of 2 instructions
196 // that match the conditions under which the erratum may trigger.
197
198 // List of terminating instructions in matching sequences
199 std::vector<MachineInstr*> Sequences;
200 unsigned Idx = 0;
201 MachineInstr *PrevInstr = nullptr;
202
Bradley Smith698e08f2014-10-14 14:02:41 +0000203 // Try and find the last non-pseudo instruction in any fallen through blocks,
204 // if there isn't one, then we use nullptr to represent that.
205 PrevInstr = getLastNonPseudo(MBB, TII);
Bradley Smithf2a801d2014-10-13 10:12:35 +0000206
207 for (auto &MI : MBB) {
208 MachineInstr *CurrInstr = &MI;
209 DEBUG(dbgs() << " Examining: " << MI);
210 if (PrevInstr) {
211 DEBUG(dbgs() << " PrevInstr: " << *PrevInstr
212 << " CurrInstr: " << *CurrInstr
213 << " isFirstInstructionInSequence(PrevInstr): "
214 << isFirstInstructionInSequence(PrevInstr) << "\n"
215 << " isSecondInstructionInSequence(CurrInstr): "
216 << isSecondInstructionInSequence(CurrInstr) << "\n");
217 if (isFirstInstructionInSequence(PrevInstr) &&
218 isSecondInstructionInSequence(CurrInstr)) {
219 DEBUG(dbgs() << " ** pattern found at Idx " << Idx << "!\n");
220 Sequences.push_back(CurrInstr);
221 }
222 }
223 if (!CurrInstr->isPseudo())
224 PrevInstr = CurrInstr;
225 ++Idx;
226 }
227
Benjamin Kramerdf005cb2015-08-08 18:27:36 +0000228 DEBUG(dbgs() << "Scan complete, " << Sequences.size()
229 << " occurrences of pattern found.\n");
Bradley Smithf2a801d2014-10-13 10:12:35 +0000230
231 // Then update the basic block, inserting nops between the detected sequences.
232 for (auto &MI : Sequences) {
233 Changed = true;
234 insertNopBeforeInstruction(MBB, MI, TII);
235 }
236
237 return Changed;
238}
239
240// Factory function used by AArch64TargetMachine to add the pass to
241// the passmanager.
242FunctionPass *llvm::createAArch64A53Fix835769() {
243 return new AArch64A53Fix835769();
244}