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