1d157a9bcSAndrew Paverd //===-- CFGuardLongjmp.cpp - Longjmp symbols for CFGuard --------*- C++ -*-===// 2d157a9bcSAndrew Paverd // 3d157a9bcSAndrew Paverd // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4d157a9bcSAndrew Paverd // See https://llvm.org/LICENSE.txt for license information. 5d157a9bcSAndrew Paverd // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6d157a9bcSAndrew Paverd // 7d157a9bcSAndrew Paverd //===----------------------------------------------------------------------===// 8d157a9bcSAndrew Paverd /// 9d157a9bcSAndrew Paverd /// \file 10d157a9bcSAndrew Paverd /// This file contains a machine function pass to insert a symbol after each 11d157a9bcSAndrew Paverd /// call to _setjmp and store this in the MachineFunction's LongjmpTargets 12d157a9bcSAndrew Paverd /// vector. This will be used to emit the table of valid longjmp targets used 13d157a9bcSAndrew Paverd /// by Control Flow Guard. 14d157a9bcSAndrew Paverd /// 15d157a9bcSAndrew Paverd //===----------------------------------------------------------------------===// 16d157a9bcSAndrew Paverd 17d157a9bcSAndrew Paverd #include "llvm/ADT/Statistic.h" 18d157a9bcSAndrew Paverd #include "llvm/CodeGen/MachineBasicBlock.h" 19d157a9bcSAndrew Paverd #include "llvm/CodeGen/MachineFunctionPass.h" 20d157a9bcSAndrew Paverd #include "llvm/CodeGen/MachineInstr.h" 21d157a9bcSAndrew Paverd #include "llvm/CodeGen/MachineModuleInfo.h" 22d157a9bcSAndrew Paverd #include "llvm/CodeGen/MachineOperand.h" 23d157a9bcSAndrew Paverd #include "llvm/CodeGen/Passes.h" 244169338eSNikita Popov #include "llvm/IR/Module.h" 2505da2fe5SReid Kleckner #include "llvm/InitializePasses.h" 26d157a9bcSAndrew Paverd 27d157a9bcSAndrew Paverd using namespace llvm; 28d157a9bcSAndrew Paverd 29d157a9bcSAndrew Paverd #define DEBUG_TYPE "cfguard-longjmp" 30d157a9bcSAndrew Paverd 31d157a9bcSAndrew Paverd STATISTIC(CFGuardLongjmpTargets, 32d157a9bcSAndrew Paverd "Number of Control Flow Guard longjmp targets"); 33d157a9bcSAndrew Paverd 34d157a9bcSAndrew Paverd namespace { 35d157a9bcSAndrew Paverd 36d157a9bcSAndrew Paverd /// MachineFunction pass to insert a symbol after each call to _setjmp and store 37d157a9bcSAndrew Paverd /// this in the MachineFunction's LongjmpTargets vector. 38d157a9bcSAndrew Paverd class CFGuardLongjmp : public MachineFunctionPass { 39d157a9bcSAndrew Paverd public: 40d157a9bcSAndrew Paverd static char ID; 41d157a9bcSAndrew Paverd 42d157a9bcSAndrew Paverd CFGuardLongjmp() : MachineFunctionPass(ID) { 43d157a9bcSAndrew Paverd initializeCFGuardLongjmpPass(*PassRegistry::getPassRegistry()); 44d157a9bcSAndrew Paverd } 45d157a9bcSAndrew Paverd 46d157a9bcSAndrew Paverd StringRef getPassName() const override { 47d157a9bcSAndrew Paverd return "Control Flow Guard longjmp targets"; 48d157a9bcSAndrew Paverd } 49d157a9bcSAndrew Paverd 50d157a9bcSAndrew Paverd bool runOnMachineFunction(MachineFunction &MF) override; 51d157a9bcSAndrew Paverd }; 52d157a9bcSAndrew Paverd 53d157a9bcSAndrew Paverd } // end anonymous namespace 54d157a9bcSAndrew Paverd 55d157a9bcSAndrew Paverd char CFGuardLongjmp::ID = 0; 56d157a9bcSAndrew Paverd 57d157a9bcSAndrew Paverd INITIALIZE_PASS(CFGuardLongjmp, "CFGuardLongjmp", 58d157a9bcSAndrew Paverd "Insert symbols at valid longjmp targets for /guard:cf", false, 59d157a9bcSAndrew Paverd false) 60d157a9bcSAndrew Paverd FunctionPass *llvm::createCFGuardLongjmpPass() { return new CFGuardLongjmp(); } 61d157a9bcSAndrew Paverd 62d157a9bcSAndrew Paverd bool CFGuardLongjmp::runOnMachineFunction(MachineFunction &MF) { 63d157a9bcSAndrew Paverd 64d157a9bcSAndrew Paverd // Skip modules for which the cfguard flag is not set. 65*7d80ee5bSMatt Arsenault if (!MF.getFunction().getParent()->getModuleFlag("cfguard")) 66d157a9bcSAndrew Paverd return false; 67d157a9bcSAndrew Paverd 68d157a9bcSAndrew Paverd // Skip functions that do not have calls to _setjmp. 69d157a9bcSAndrew Paverd if (!MF.getFunction().callsFunctionThatReturnsTwice()) 70d157a9bcSAndrew Paverd return false; 71d157a9bcSAndrew Paverd 72d157a9bcSAndrew Paverd SmallVector<MachineInstr *, 8> SetjmpCalls; 73d157a9bcSAndrew Paverd 74d157a9bcSAndrew Paverd // Iterate over all instructions in the function and add calls to functions 75d157a9bcSAndrew Paverd // that return twice to the list of targets. 76d157a9bcSAndrew Paverd for (MachineBasicBlock &MBB : MF) { 77d157a9bcSAndrew Paverd for (MachineInstr &MI : MBB) { 78d157a9bcSAndrew Paverd 79d157a9bcSAndrew Paverd // Skip instructions that are not calls. 80d157a9bcSAndrew Paverd if (!MI.isCall() || MI.getNumOperands() < 1) 81d157a9bcSAndrew Paverd continue; 82d157a9bcSAndrew Paverd 83d157a9bcSAndrew Paverd // Iterate over operands to find calls to global functions. 84d157a9bcSAndrew Paverd for (MachineOperand &MO : MI.operands()) { 85d157a9bcSAndrew Paverd if (!MO.isGlobal()) 86d157a9bcSAndrew Paverd continue; 87d157a9bcSAndrew Paverd 88d157a9bcSAndrew Paverd auto *F = dyn_cast<Function>(MO.getGlobal()); 89d157a9bcSAndrew Paverd if (!F) 90d157a9bcSAndrew Paverd continue; 91d157a9bcSAndrew Paverd 92d157a9bcSAndrew Paverd // If the instruction calls a function that returns twice, add 93d157a9bcSAndrew Paverd // it to the list of targets. 94d157a9bcSAndrew Paverd if (F->hasFnAttribute(Attribute::ReturnsTwice)) { 95d157a9bcSAndrew Paverd SetjmpCalls.push_back(&MI); 96d157a9bcSAndrew Paverd break; 97d157a9bcSAndrew Paverd } 98d157a9bcSAndrew Paverd } 99d157a9bcSAndrew Paverd } 100d157a9bcSAndrew Paverd } 101d157a9bcSAndrew Paverd 102d157a9bcSAndrew Paverd if (SetjmpCalls.empty()) 103d157a9bcSAndrew Paverd return false; 104d157a9bcSAndrew Paverd 105d157a9bcSAndrew Paverd unsigned SetjmpNum = 0; 106d157a9bcSAndrew Paverd 107d157a9bcSAndrew Paverd // For each possible target, create a new symbol and insert it immediately 108d157a9bcSAndrew Paverd // after the call to setjmp. Add this symbol to the MachineFunction's list 109d157a9bcSAndrew Paverd // of longjmp targets. 110d157a9bcSAndrew Paverd for (MachineInstr *Setjmp : SetjmpCalls) { 111d157a9bcSAndrew Paverd SmallString<128> SymbolName; 112d157a9bcSAndrew Paverd raw_svector_ostream(SymbolName) << "$cfgsj_" << MF.getName() << SetjmpNum++; 113d157a9bcSAndrew Paverd MCSymbol *SjSymbol = MF.getContext().getOrCreateSymbol(SymbolName); 114d157a9bcSAndrew Paverd 115d157a9bcSAndrew Paverd Setjmp->setPostInstrSymbol(MF, SjSymbol); 116d157a9bcSAndrew Paverd MF.addLongjmpTarget(SjSymbol); 117d157a9bcSAndrew Paverd CFGuardLongjmpTargets++; 118d157a9bcSAndrew Paverd } 119d157a9bcSAndrew Paverd 120d157a9bcSAndrew Paverd return true; 121d157a9bcSAndrew Paverd } 122