xref: /freebsd-src/contrib/llvm-project/llvm/lib/Target/ARM/ARMSLSHardening.cpp (revision 0fca6ea1d4eea4c934cfff25ac9ee8ad6fe95583)
1e8d8bef9SDimitry Andric //===- ARMSLSHardening.cpp - Harden Straight Line Missspeculation ---------===//
2e8d8bef9SDimitry Andric //
3e8d8bef9SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4e8d8bef9SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5e8d8bef9SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6e8d8bef9SDimitry Andric //
7e8d8bef9SDimitry Andric //===----------------------------------------------------------------------===//
8e8d8bef9SDimitry Andric //
9e8d8bef9SDimitry Andric // This file contains a pass to insert code to mitigate against side channel
10e8d8bef9SDimitry Andric // vulnerabilities that may happen under straight line miss-speculation.
11e8d8bef9SDimitry Andric //
12e8d8bef9SDimitry Andric //===----------------------------------------------------------------------===//
13e8d8bef9SDimitry Andric 
14e8d8bef9SDimitry Andric #include "ARM.h"
15e8d8bef9SDimitry Andric #include "ARMInstrInfo.h"
16e8d8bef9SDimitry Andric #include "ARMSubtarget.h"
17e8d8bef9SDimitry Andric #include "llvm/CodeGen/IndirectThunks.h"
18e8d8bef9SDimitry Andric #include "llvm/CodeGen/MachineBasicBlock.h"
19e8d8bef9SDimitry Andric #include "llvm/CodeGen/MachineFunction.h"
20e8d8bef9SDimitry Andric #include "llvm/CodeGen/MachineFunctionPass.h"
21e8d8bef9SDimitry Andric #include "llvm/CodeGen/MachineInstr.h"
22e8d8bef9SDimitry Andric #include "llvm/CodeGen/MachineInstrBuilder.h"
23e8d8bef9SDimitry Andric #include "llvm/CodeGen/MachineOperand.h"
24e8d8bef9SDimitry Andric #include "llvm/IR/DebugLoc.h"
25e8d8bef9SDimitry Andric #include <cassert>
26e8d8bef9SDimitry Andric 
27e8d8bef9SDimitry Andric using namespace llvm;
28e8d8bef9SDimitry Andric 
29e8d8bef9SDimitry Andric #define DEBUG_TYPE "arm-sls-hardening"
30e8d8bef9SDimitry Andric 
31e8d8bef9SDimitry Andric #define ARM_SLS_HARDENING_NAME "ARM sls hardening pass"
32e8d8bef9SDimitry Andric 
33e8d8bef9SDimitry Andric namespace {
34e8d8bef9SDimitry Andric 
35e8d8bef9SDimitry Andric class ARMSLSHardening : public MachineFunctionPass {
36e8d8bef9SDimitry Andric public:
37e8d8bef9SDimitry Andric   const TargetInstrInfo *TII;
38e8d8bef9SDimitry Andric   const ARMSubtarget *ST;
39e8d8bef9SDimitry Andric 
40e8d8bef9SDimitry Andric   static char ID;
41e8d8bef9SDimitry Andric 
42e8d8bef9SDimitry Andric   ARMSLSHardening() : MachineFunctionPass(ID) {
43e8d8bef9SDimitry Andric     initializeARMSLSHardeningPass(*PassRegistry::getPassRegistry());
44e8d8bef9SDimitry Andric   }
45e8d8bef9SDimitry Andric 
46e8d8bef9SDimitry Andric   bool runOnMachineFunction(MachineFunction &Fn) override;
47e8d8bef9SDimitry Andric 
48e8d8bef9SDimitry Andric   StringRef getPassName() const override { return ARM_SLS_HARDENING_NAME; }
49e8d8bef9SDimitry Andric 
50e8d8bef9SDimitry Andric   void getAnalysisUsage(AnalysisUsage &AU) const override {
51e8d8bef9SDimitry Andric     AU.setPreservesCFG();
52e8d8bef9SDimitry Andric     MachineFunctionPass::getAnalysisUsage(AU);
53e8d8bef9SDimitry Andric   }
54e8d8bef9SDimitry Andric 
55e8d8bef9SDimitry Andric private:
56e8d8bef9SDimitry Andric   bool hardenReturnsAndBRs(MachineBasicBlock &MBB) const;
57e8d8bef9SDimitry Andric   bool hardenIndirectCalls(MachineBasicBlock &MBB) const;
58e8d8bef9SDimitry Andric   MachineBasicBlock &
59e8d8bef9SDimitry Andric   ConvertIndirectCallToIndirectJump(MachineBasicBlock &MBB,
60e8d8bef9SDimitry Andric                                     MachineBasicBlock::iterator) const;
61e8d8bef9SDimitry Andric };
62e8d8bef9SDimitry Andric 
63e8d8bef9SDimitry Andric } // end anonymous namespace
64e8d8bef9SDimitry Andric 
65e8d8bef9SDimitry Andric char ARMSLSHardening::ID = 0;
66e8d8bef9SDimitry Andric 
67e8d8bef9SDimitry Andric INITIALIZE_PASS(ARMSLSHardening, "arm-sls-hardening",
68e8d8bef9SDimitry Andric                 ARM_SLS_HARDENING_NAME, false, false)
69e8d8bef9SDimitry Andric 
70e8d8bef9SDimitry Andric static void insertSpeculationBarrier(const ARMSubtarget *ST,
71e8d8bef9SDimitry Andric                                      MachineBasicBlock &MBB,
72e8d8bef9SDimitry Andric                                      MachineBasicBlock::iterator MBBI,
73e8d8bef9SDimitry Andric                                      DebugLoc DL,
74e8d8bef9SDimitry Andric                                      bool AlwaysUseISBDSB = false) {
75e8d8bef9SDimitry Andric   assert(MBBI != MBB.begin() &&
76e8d8bef9SDimitry Andric          "Must not insert SpeculationBarrierEndBB as only instruction in MBB.");
77e8d8bef9SDimitry Andric   assert(std::prev(MBBI)->isBarrier() &&
78e8d8bef9SDimitry Andric          "SpeculationBarrierEndBB must only follow unconditional control flow "
79e8d8bef9SDimitry Andric          "instructions.");
80e8d8bef9SDimitry Andric   assert(std::prev(MBBI)->isTerminator() &&
81e8d8bef9SDimitry Andric          "SpeculationBarrierEndBB must only follow terminators.");
82e8d8bef9SDimitry Andric   const TargetInstrInfo *TII = ST->getInstrInfo();
83e8d8bef9SDimitry Andric   assert(ST->hasDataBarrier() || ST->hasSB());
84e8d8bef9SDimitry Andric   bool ProduceSB = ST->hasSB() && !AlwaysUseISBDSB;
85e8d8bef9SDimitry Andric   unsigned BarrierOpc =
86e8d8bef9SDimitry Andric       ProduceSB ? (ST->isThumb() ? ARM::t2SpeculationBarrierSBEndBB
87e8d8bef9SDimitry Andric                                  : ARM::SpeculationBarrierSBEndBB)
88e8d8bef9SDimitry Andric                 : (ST->isThumb() ? ARM::t2SpeculationBarrierISBDSBEndBB
89e8d8bef9SDimitry Andric                                  : ARM::SpeculationBarrierISBDSBEndBB);
90e8d8bef9SDimitry Andric   if (MBBI == MBB.end() || !isSpeculationBarrierEndBBOpcode(MBBI->getOpcode()))
91e8d8bef9SDimitry Andric     BuildMI(MBB, MBBI, DL, TII->get(BarrierOpc));
92e8d8bef9SDimitry Andric }
93e8d8bef9SDimitry Andric 
94e8d8bef9SDimitry Andric bool ARMSLSHardening::runOnMachineFunction(MachineFunction &MF) {
95e8d8bef9SDimitry Andric   ST = &MF.getSubtarget<ARMSubtarget>();
96e8d8bef9SDimitry Andric   TII = MF.getSubtarget().getInstrInfo();
97e8d8bef9SDimitry Andric 
98e8d8bef9SDimitry Andric   bool Modified = false;
99e8d8bef9SDimitry Andric   for (auto &MBB : MF) {
100e8d8bef9SDimitry Andric     Modified |= hardenReturnsAndBRs(MBB);
101e8d8bef9SDimitry Andric     Modified |= hardenIndirectCalls(MBB);
102e8d8bef9SDimitry Andric   }
103e8d8bef9SDimitry Andric 
104e8d8bef9SDimitry Andric   return Modified;
105e8d8bef9SDimitry Andric }
106e8d8bef9SDimitry Andric 
107e8d8bef9SDimitry Andric bool ARMSLSHardening::hardenReturnsAndBRs(MachineBasicBlock &MBB) const {
108e8d8bef9SDimitry Andric   if (!ST->hardenSlsRetBr())
109e8d8bef9SDimitry Andric     return false;
110e8d8bef9SDimitry Andric   assert(!ST->isThumb1Only());
111e8d8bef9SDimitry Andric   bool Modified = false;
112e8d8bef9SDimitry Andric   MachineBasicBlock::iterator MBBI = MBB.getFirstTerminator(), E = MBB.end();
113e8d8bef9SDimitry Andric   MachineBasicBlock::iterator NextMBBI;
114e8d8bef9SDimitry Andric   for (; MBBI != E; MBBI = NextMBBI) {
115e8d8bef9SDimitry Andric     MachineInstr &MI = *MBBI;
116e8d8bef9SDimitry Andric     NextMBBI = std::next(MBBI);
117e8d8bef9SDimitry Andric     if (isIndirectControlFlowNotComingBack(MI)) {
118e8d8bef9SDimitry Andric       assert(MI.isTerminator());
119e8d8bef9SDimitry Andric       assert(!TII->isPredicated(MI));
120e8d8bef9SDimitry Andric       insertSpeculationBarrier(ST, MBB, std::next(MBBI), MI.getDebugLoc());
121e8d8bef9SDimitry Andric       Modified = true;
122e8d8bef9SDimitry Andric     }
123e8d8bef9SDimitry Andric   }
124e8d8bef9SDimitry Andric   return Modified;
125e8d8bef9SDimitry Andric }
126e8d8bef9SDimitry Andric 
127e8d8bef9SDimitry Andric static const char SLSBLRNamePrefix[] = "__llvm_slsblr_thunk_";
128e8d8bef9SDimitry Andric 
129e8d8bef9SDimitry Andric static const struct ThunkNameRegMode {
130e8d8bef9SDimitry Andric   const char* Name;
131e8d8bef9SDimitry Andric   Register Reg;
132e8d8bef9SDimitry Andric   bool isThumb;
133e8d8bef9SDimitry Andric } SLSBLRThunks[] = {
134e8d8bef9SDimitry Andric     {"__llvm_slsblr_thunk_arm_r0", ARM::R0, false},
135e8d8bef9SDimitry Andric     {"__llvm_slsblr_thunk_arm_r1", ARM::R1, false},
136e8d8bef9SDimitry Andric     {"__llvm_slsblr_thunk_arm_r2", ARM::R2, false},
137e8d8bef9SDimitry Andric     {"__llvm_slsblr_thunk_arm_r3", ARM::R3, false},
138e8d8bef9SDimitry Andric     {"__llvm_slsblr_thunk_arm_r4", ARM::R4, false},
139e8d8bef9SDimitry Andric     {"__llvm_slsblr_thunk_arm_r5", ARM::R5, false},
140e8d8bef9SDimitry Andric     {"__llvm_slsblr_thunk_arm_r6", ARM::R6, false},
141e8d8bef9SDimitry Andric     {"__llvm_slsblr_thunk_arm_r7", ARM::R7, false},
142e8d8bef9SDimitry Andric     {"__llvm_slsblr_thunk_arm_r8", ARM::R8, false},
143e8d8bef9SDimitry Andric     {"__llvm_slsblr_thunk_arm_r9", ARM::R9, false},
144e8d8bef9SDimitry Andric     {"__llvm_slsblr_thunk_arm_r10", ARM::R10, false},
145e8d8bef9SDimitry Andric     {"__llvm_slsblr_thunk_arm_r11", ARM::R11, false},
146e8d8bef9SDimitry Andric     {"__llvm_slsblr_thunk_arm_sp", ARM::SP, false},
147e8d8bef9SDimitry Andric     {"__llvm_slsblr_thunk_arm_pc", ARM::PC, false},
148e8d8bef9SDimitry Andric     {"__llvm_slsblr_thunk_thumb_r0", ARM::R0, true},
149e8d8bef9SDimitry Andric     {"__llvm_slsblr_thunk_thumb_r1", ARM::R1, true},
150e8d8bef9SDimitry Andric     {"__llvm_slsblr_thunk_thumb_r2", ARM::R2, true},
151e8d8bef9SDimitry Andric     {"__llvm_slsblr_thunk_thumb_r3", ARM::R3, true},
152e8d8bef9SDimitry Andric     {"__llvm_slsblr_thunk_thumb_r4", ARM::R4, true},
153e8d8bef9SDimitry Andric     {"__llvm_slsblr_thunk_thumb_r5", ARM::R5, true},
154e8d8bef9SDimitry Andric     {"__llvm_slsblr_thunk_thumb_r6", ARM::R6, true},
155e8d8bef9SDimitry Andric     {"__llvm_slsblr_thunk_thumb_r7", ARM::R7, true},
156e8d8bef9SDimitry Andric     {"__llvm_slsblr_thunk_thumb_r8", ARM::R8, true},
157e8d8bef9SDimitry Andric     {"__llvm_slsblr_thunk_thumb_r9", ARM::R9, true},
158e8d8bef9SDimitry Andric     {"__llvm_slsblr_thunk_thumb_r10", ARM::R10, true},
159e8d8bef9SDimitry Andric     {"__llvm_slsblr_thunk_thumb_r11", ARM::R11, true},
160e8d8bef9SDimitry Andric     {"__llvm_slsblr_thunk_thumb_sp", ARM::SP, true},
161e8d8bef9SDimitry Andric     {"__llvm_slsblr_thunk_thumb_pc", ARM::PC, true},
162e8d8bef9SDimitry Andric };
163e8d8bef9SDimitry Andric 
164bdd1243dSDimitry Andric // An enum for tracking whether Arm and Thumb thunks have been inserted into the
165bdd1243dSDimitry Andric // current module so far.
166*0fca6ea1SDimitry Andric enum ArmInsertedThunks { NoThunk = 0, ArmThunk = 1, ThumbThunk = 2 };
167bdd1243dSDimitry Andric 
168bdd1243dSDimitry Andric inline ArmInsertedThunks &operator|=(ArmInsertedThunks &X,
169bdd1243dSDimitry Andric                                      ArmInsertedThunks Y) {
170bdd1243dSDimitry Andric   return X = static_cast<ArmInsertedThunks>(X | Y);
171bdd1243dSDimitry Andric }
172bdd1243dSDimitry Andric 
173e8d8bef9SDimitry Andric namespace {
174bdd1243dSDimitry Andric struct SLSBLRThunkInserter
175bdd1243dSDimitry Andric     : ThunkInserter<SLSBLRThunkInserter, ArmInsertedThunks> {
176e8d8bef9SDimitry Andric   const char *getThunkPrefix() { return SLSBLRNamePrefix; }
177*0fca6ea1SDimitry Andric   bool mayUseThunk(const MachineFunction &MF) {
178fe6060f1SDimitry Andric     ComdatThunks &= !MF.getSubtarget<ARMSubtarget>().hardenSlsNoComdat();
179e8d8bef9SDimitry Andric     return MF.getSubtarget<ARMSubtarget>().hardenSlsBlr();
180e8d8bef9SDimitry Andric   }
181*0fca6ea1SDimitry Andric   ArmInsertedThunks insertThunks(MachineModuleInfo &MMI, MachineFunction &MF,
182*0fca6ea1SDimitry Andric                                  ArmInsertedThunks InsertedThunks);
183e8d8bef9SDimitry Andric   void populateThunk(MachineFunction &MF);
184fe6060f1SDimitry Andric 
185fe6060f1SDimitry Andric private:
186fe6060f1SDimitry Andric   bool ComdatThunks = true;
187e8d8bef9SDimitry Andric };
188e8d8bef9SDimitry Andric } // namespace
189e8d8bef9SDimitry Andric 
190*0fca6ea1SDimitry Andric ArmInsertedThunks
191*0fca6ea1SDimitry Andric SLSBLRThunkInserter::insertThunks(MachineModuleInfo &MMI, MachineFunction &MF,
192*0fca6ea1SDimitry Andric                                   ArmInsertedThunks InsertedThunks) {
193*0fca6ea1SDimitry Andric   if ((InsertedThunks & ArmThunk &&
194*0fca6ea1SDimitry Andric        !MF.getSubtarget<ARMSubtarget>().isThumb()) ||
195*0fca6ea1SDimitry Andric       (InsertedThunks & ThumbThunk &&
196*0fca6ea1SDimitry Andric        MF.getSubtarget<ARMSubtarget>().isThumb()))
197*0fca6ea1SDimitry Andric     return NoThunk;
198e8d8bef9SDimitry Andric   // FIXME: It probably would be possible to filter which thunks to produce
199e8d8bef9SDimitry Andric   // based on which registers are actually used in indirect calls in this
200e8d8bef9SDimitry Andric   // function. But would that be a worthwhile optimization?
201bdd1243dSDimitry Andric   const ARMSubtarget *ST = &MF.getSubtarget<ARMSubtarget>();
202e8d8bef9SDimitry Andric   for (auto T : SLSBLRThunks)
203bdd1243dSDimitry Andric     if (ST->isThumb() == T.isThumb)
20406c3fb27SDimitry Andric       createThunkFunction(MMI, T.Name, ComdatThunks,
20506c3fb27SDimitry Andric                           T.isThumb ? "+thumb-mode" : "");
206bdd1243dSDimitry Andric   return ST->isThumb() ? ThumbThunk : ArmThunk;
207e8d8bef9SDimitry Andric }
208e8d8bef9SDimitry Andric 
209e8d8bef9SDimitry Andric void SLSBLRThunkInserter::populateThunk(MachineFunction &MF) {
210*0fca6ea1SDimitry Andric   assert(MF.getFunction().hasComdat() == ComdatThunks &&
211*0fca6ea1SDimitry Andric          "ComdatThunks value changed since MF creation");
212e8d8bef9SDimitry Andric   // FIXME: How to better communicate Register number, rather than through
213e8d8bef9SDimitry Andric   // name and lookup table?
2145f757f3fSDimitry Andric   assert(MF.getName().starts_with(getThunkPrefix()));
215e8d8bef9SDimitry Andric   auto ThunkIt = llvm::find_if(
216e8d8bef9SDimitry Andric       SLSBLRThunks, [&MF](auto T) { return T.Name == MF.getName(); });
217e8d8bef9SDimitry Andric   assert(ThunkIt != std::end(SLSBLRThunks));
218e8d8bef9SDimitry Andric   Register ThunkReg = ThunkIt->Reg;
219e8d8bef9SDimitry Andric   bool isThumb = ThunkIt->isThumb;
220e8d8bef9SDimitry Andric 
221e8d8bef9SDimitry Andric   const TargetInstrInfo *TII = MF.getSubtarget<ARMSubtarget>().getInstrInfo();
222e8d8bef9SDimitry Andric   MachineBasicBlock *Entry = &MF.front();
223e8d8bef9SDimitry Andric   Entry->clear();
224e8d8bef9SDimitry Andric 
225e8d8bef9SDimitry Andric   //  These thunks need to consist of the following instructions:
226e8d8bef9SDimitry Andric   //  __llvm_slsblr_thunk_(arm/thumb)_rN:
227e8d8bef9SDimitry Andric   //      bx  rN
228e8d8bef9SDimitry Andric   //      barrierInsts
229e8d8bef9SDimitry Andric   Entry->addLiveIn(ThunkReg);
230e8d8bef9SDimitry Andric   if (isThumb)
231e8d8bef9SDimitry Andric     BuildMI(Entry, DebugLoc(), TII->get(ARM::tBX))
232e8d8bef9SDimitry Andric         .addReg(ThunkReg)
233e8d8bef9SDimitry Andric         .add(predOps(ARMCC::AL));
234e8d8bef9SDimitry Andric   else
235e8d8bef9SDimitry Andric     BuildMI(Entry, DebugLoc(), TII->get(ARM::BX))
236e8d8bef9SDimitry Andric         .addReg(ThunkReg);
237e8d8bef9SDimitry Andric 
238e8d8bef9SDimitry Andric   // Make sure the thunks do not make use of the SB extension in case there is
239e8d8bef9SDimitry Andric   // a function somewhere that will call to it that for some reason disabled
240e8d8bef9SDimitry Andric   // the SB extension locally on that function, even though it's enabled for
241e8d8bef9SDimitry Andric   // the module otherwise. Therefore set AlwaysUseISBSDB to true.
242e8d8bef9SDimitry Andric   insertSpeculationBarrier(&MF.getSubtarget<ARMSubtarget>(), *Entry,
243e8d8bef9SDimitry Andric                            Entry->end(), DebugLoc(), true /*AlwaysUseISBDSB*/);
244e8d8bef9SDimitry Andric }
245e8d8bef9SDimitry Andric 
246e8d8bef9SDimitry Andric MachineBasicBlock &ARMSLSHardening::ConvertIndirectCallToIndirectJump(
247e8d8bef9SDimitry Andric     MachineBasicBlock &MBB, MachineBasicBlock::iterator MBBI) const {
248e8d8bef9SDimitry Andric   // Transform an indirect call to an indirect jump as follows:
249e8d8bef9SDimitry Andric   // Before:
250e8d8bef9SDimitry Andric   //   |-----------------------------|
251e8d8bef9SDimitry Andric   //   |      ...                    |
252e8d8bef9SDimitry Andric   //   |  instI                      |
253e8d8bef9SDimitry Andric   //   |  BLX rN                     |
254e8d8bef9SDimitry Andric   //   |  instJ                      |
255e8d8bef9SDimitry Andric   //   |      ...                    |
256e8d8bef9SDimitry Andric   //   |-----------------------------|
257e8d8bef9SDimitry Andric   //
258e8d8bef9SDimitry Andric   // After:
259e8d8bef9SDimitry Andric   //   |----------   -------------------------|
260e8d8bef9SDimitry Andric   //   |      ...                             |
261e8d8bef9SDimitry Andric   //   |  instI                               |
262e8d8bef9SDimitry Andric   //   |  *call* __llvm_slsblr_thunk_mode_xN  |
263e8d8bef9SDimitry Andric   //   |  instJ                               |
264e8d8bef9SDimitry Andric   //   |      ...                             |
265e8d8bef9SDimitry Andric   //   |--------------------------------------|
266e8d8bef9SDimitry Andric   //
267e8d8bef9SDimitry Andric   //   __llvm_slsblr_thunk_mode_xN:
268e8d8bef9SDimitry Andric   //   |-----------------------------|
269e8d8bef9SDimitry Andric   //   |  BX rN                      |
270e8d8bef9SDimitry Andric   //   |  barrierInsts               |
271e8d8bef9SDimitry Andric   //   |-----------------------------|
272e8d8bef9SDimitry Andric   //
273e8d8bef9SDimitry Andric   // The __llvm_slsblr_thunk_mode_xN thunks are created by the
274e8d8bef9SDimitry Andric   // SLSBLRThunkInserter.
275e8d8bef9SDimitry Andric   // This function merely needs to transform an indirect call to a direct call
276e8d8bef9SDimitry Andric   // to __llvm_slsblr_thunk_xN.
277e8d8bef9SDimitry Andric   MachineInstr &IndirectCall = *MBBI;
278e8d8bef9SDimitry Andric   assert(isIndirectCall(IndirectCall) && !IndirectCall.isReturn());
279e8d8bef9SDimitry Andric   int RegOpIdxOnIndirectCall = -1;
280e8d8bef9SDimitry Andric   bool isThumb;
281e8d8bef9SDimitry Andric   switch (IndirectCall.getOpcode()) {
282e8d8bef9SDimitry Andric   case ARM::BLX:   // !isThumb2
283e8d8bef9SDimitry Andric   case ARM::BLX_noip:   // !isThumb2
284e8d8bef9SDimitry Andric     isThumb = false;
285e8d8bef9SDimitry Andric     RegOpIdxOnIndirectCall = 0;
286e8d8bef9SDimitry Andric     break;
287e8d8bef9SDimitry Andric   case ARM::tBLXr:      // isThumb2
288e8d8bef9SDimitry Andric   case ARM::tBLXr_noip: // isThumb2
289e8d8bef9SDimitry Andric     isThumb = true;
290e8d8bef9SDimitry Andric     RegOpIdxOnIndirectCall = 2;
291e8d8bef9SDimitry Andric     break;
292e8d8bef9SDimitry Andric   default:
293e8d8bef9SDimitry Andric     llvm_unreachable("unhandled Indirect Call");
294e8d8bef9SDimitry Andric   }
295e8d8bef9SDimitry Andric 
296e8d8bef9SDimitry Andric   Register Reg = IndirectCall.getOperand(RegOpIdxOnIndirectCall).getReg();
297e8d8bef9SDimitry Andric   // Since linkers are allowed to clobber R12 on function calls, the above
298e8d8bef9SDimitry Andric   // mitigation only works if the original indirect call instruction was not
299e8d8bef9SDimitry Andric   // using R12. Code generation before must make sure that no indirect call
300e8d8bef9SDimitry Andric   // using R12 was produced if the mitigation is enabled.
301e8d8bef9SDimitry Andric   // Also, the transformation is incorrect if the indirect call uses LR, so
302e8d8bef9SDimitry Andric   // also have to avoid that.
303e8d8bef9SDimitry Andric   assert(Reg != ARM::R12 && Reg != ARM::LR);
304e8d8bef9SDimitry Andric   bool RegIsKilled = IndirectCall.getOperand(RegOpIdxOnIndirectCall).isKill();
305e8d8bef9SDimitry Andric 
306e8d8bef9SDimitry Andric   DebugLoc DL = IndirectCall.getDebugLoc();
307e8d8bef9SDimitry Andric 
308e8d8bef9SDimitry Andric   MachineFunction &MF = *MBBI->getMF();
309e8d8bef9SDimitry Andric   auto ThunkIt = llvm::find_if(SLSBLRThunks, [Reg, isThumb](auto T) {
310e8d8bef9SDimitry Andric     return T.Reg == Reg && T.isThumb == isThumb;
311e8d8bef9SDimitry Andric   });
312e8d8bef9SDimitry Andric   assert(ThunkIt != std::end(SLSBLRThunks));
313e8d8bef9SDimitry Andric   Module *M = MF.getFunction().getParent();
314e8d8bef9SDimitry Andric   const GlobalValue *GV = cast<GlobalValue>(M->getNamedValue(ThunkIt->Name));
315e8d8bef9SDimitry Andric 
316e8d8bef9SDimitry Andric   MachineInstr *BL =
317e8d8bef9SDimitry Andric       isThumb ? BuildMI(MBB, MBBI, DL, TII->get(ARM::tBL))
318e8d8bef9SDimitry Andric                     .addImm(IndirectCall.getOperand(0).getImm())
319e8d8bef9SDimitry Andric                     .addReg(IndirectCall.getOperand(1).getReg())
320e8d8bef9SDimitry Andric                     .addGlobalAddress(GV)
321e8d8bef9SDimitry Andric               : BuildMI(MBB, MBBI, DL, TII->get(ARM::BL)).addGlobalAddress(GV);
322e8d8bef9SDimitry Andric 
323e8d8bef9SDimitry Andric   // Now copy the implicit operands from IndirectCall to BL and copy other
324e8d8bef9SDimitry Andric   // necessary info.
325e8d8bef9SDimitry Andric   // However, both IndirectCall and BL instructions implictly use SP and
326e8d8bef9SDimitry Andric   // implicitly define LR. Blindly copying implicit operands would result in SP
327e8d8bef9SDimitry Andric   // and LR operands to be present multiple times. While this may not be too
328e8d8bef9SDimitry Andric   // much of an issue, let's avoid that for cleanliness, by removing those
329e8d8bef9SDimitry Andric   // implicit operands from the BL created above before we copy over all
330e8d8bef9SDimitry Andric   // implicit operands from the IndirectCall.
331e8d8bef9SDimitry Andric   int ImpLROpIdx = -1;
332e8d8bef9SDimitry Andric   int ImpSPOpIdx = -1;
333e8d8bef9SDimitry Andric   for (unsigned OpIdx = BL->getNumExplicitOperands();
334e8d8bef9SDimitry Andric        OpIdx < BL->getNumOperands(); OpIdx++) {
335e8d8bef9SDimitry Andric     MachineOperand Op = BL->getOperand(OpIdx);
336e8d8bef9SDimitry Andric     if (!Op.isReg())
337e8d8bef9SDimitry Andric       continue;
338e8d8bef9SDimitry Andric     if (Op.getReg() == ARM::LR && Op.isDef())
339e8d8bef9SDimitry Andric       ImpLROpIdx = OpIdx;
340e8d8bef9SDimitry Andric     if (Op.getReg() == ARM::SP && !Op.isDef())
341e8d8bef9SDimitry Andric       ImpSPOpIdx = OpIdx;
342e8d8bef9SDimitry Andric   }
343e8d8bef9SDimitry Andric   assert(ImpLROpIdx != -1);
344e8d8bef9SDimitry Andric   assert(ImpSPOpIdx != -1);
345e8d8bef9SDimitry Andric   int FirstOpIdxToRemove = std::max(ImpLROpIdx, ImpSPOpIdx);
346e8d8bef9SDimitry Andric   int SecondOpIdxToRemove = std::min(ImpLROpIdx, ImpSPOpIdx);
34781ad6265SDimitry Andric   BL->removeOperand(FirstOpIdxToRemove);
34881ad6265SDimitry Andric   BL->removeOperand(SecondOpIdxToRemove);
349e8d8bef9SDimitry Andric   // Now copy over the implicit operands from the original IndirectCall
350e8d8bef9SDimitry Andric   BL->copyImplicitOps(MF, IndirectCall);
351e8d8bef9SDimitry Andric   MF.moveCallSiteInfo(&IndirectCall, BL);
352e8d8bef9SDimitry Andric   // Also add the register called in the IndirectCall as being used in the
353e8d8bef9SDimitry Andric   // called thunk.
354e8d8bef9SDimitry Andric   BL->addOperand(MachineOperand::CreateReg(Reg, false /*isDef*/, true /*isImp*/,
355e8d8bef9SDimitry Andric                                            RegIsKilled /*isKill*/));
356e8d8bef9SDimitry Andric   // Remove IndirectCallinstruction
357e8d8bef9SDimitry Andric   MBB.erase(MBBI);
358e8d8bef9SDimitry Andric   return MBB;
359e8d8bef9SDimitry Andric }
360e8d8bef9SDimitry Andric 
361e8d8bef9SDimitry Andric bool ARMSLSHardening::hardenIndirectCalls(MachineBasicBlock &MBB) const {
362e8d8bef9SDimitry Andric   if (!ST->hardenSlsBlr())
363e8d8bef9SDimitry Andric     return false;
364e8d8bef9SDimitry Andric   bool Modified = false;
365e8d8bef9SDimitry Andric   MachineBasicBlock::iterator MBBI = MBB.begin(), E = MBB.end();
366e8d8bef9SDimitry Andric   MachineBasicBlock::iterator NextMBBI;
367e8d8bef9SDimitry Andric   for (; MBBI != E; MBBI = NextMBBI) {
368e8d8bef9SDimitry Andric     MachineInstr &MI = *MBBI;
369e8d8bef9SDimitry Andric     NextMBBI = std::next(MBBI);
370e8d8bef9SDimitry Andric     // Tail calls are both indirect calls and "returns".
371e8d8bef9SDimitry Andric     // They are also indirect jumps, so should be handled by sls-harden-retbr,
372e8d8bef9SDimitry Andric     // rather than sls-harden-blr.
373e8d8bef9SDimitry Andric     if (isIndirectCall(MI) && !MI.isReturn()) {
374e8d8bef9SDimitry Andric       ConvertIndirectCallToIndirectJump(MBB, MBBI);
375e8d8bef9SDimitry Andric       Modified = true;
376e8d8bef9SDimitry Andric     }
377e8d8bef9SDimitry Andric   }
378e8d8bef9SDimitry Andric   return Modified;
379e8d8bef9SDimitry Andric }
380e8d8bef9SDimitry Andric 
381e8d8bef9SDimitry Andric 
382e8d8bef9SDimitry Andric 
383e8d8bef9SDimitry Andric FunctionPass *llvm::createARMSLSHardeningPass() {
384e8d8bef9SDimitry Andric   return new ARMSLSHardening();
385e8d8bef9SDimitry Andric }
386e8d8bef9SDimitry Andric 
387e8d8bef9SDimitry Andric namespace {
388*0fca6ea1SDimitry Andric class ARMIndirectThunks : public ThunkInserterPass<SLSBLRThunkInserter> {
389e8d8bef9SDimitry Andric public:
390e8d8bef9SDimitry Andric   static char ID;
391e8d8bef9SDimitry Andric 
392*0fca6ea1SDimitry Andric   ARMIndirectThunks() : ThunkInserterPass(ID) {}
393e8d8bef9SDimitry Andric 
394e8d8bef9SDimitry Andric   StringRef getPassName() const override { return "ARM Indirect Thunks"; }
395e8d8bef9SDimitry Andric };
396e8d8bef9SDimitry Andric } // end anonymous namespace
397e8d8bef9SDimitry Andric 
398e8d8bef9SDimitry Andric char ARMIndirectThunks::ID = 0;
399e8d8bef9SDimitry Andric 
400e8d8bef9SDimitry Andric FunctionPass *llvm::createARMIndirectThunks() {
401e8d8bef9SDimitry Andric   return new ARMIndirectThunks();
402e8d8bef9SDimitry Andric }
403