LLVM 19.0.0git
CFGuardLongjmp.cpp
Go to the documentation of this file.
1//===-- CFGuardLongjmp.cpp - Longjmp symbols for CFGuard --------*- C++ -*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8///
9/// \file
10/// This file contains a machine function pass to insert a symbol after each
11/// call to _setjmp and store this in the MachineFunction's LongjmpTargets
12/// vector. This will be used to emit the table of valid longjmp targets used
13/// by Control Flow Guard.
14///
15//===----------------------------------------------------------------------===//
16
17#include "llvm/ADT/Statistic.h"
23#include "llvm/CodeGen/Passes.h"
25
26using namespace llvm;
27
28#define DEBUG_TYPE "cfguard-longjmp"
29
30STATISTIC(CFGuardLongjmpTargets,
31 "Number of Control Flow Guard longjmp targets");
32
33namespace {
34
35/// MachineFunction pass to insert a symbol after each call to _setjmp and store
36/// this in the MachineFunction's LongjmpTargets vector.
37class CFGuardLongjmp : public MachineFunctionPass {
38public:
39 static char ID;
40
41 CFGuardLongjmp() : MachineFunctionPass(ID) {
43 }
44
45 StringRef getPassName() const override {
46 return "Control Flow Guard longjmp targets";
47 }
48
49 bool runOnMachineFunction(MachineFunction &MF) override;
50};
51
52} // end anonymous namespace
53
54char CFGuardLongjmp::ID = 0;
55
56INITIALIZE_PASS(CFGuardLongjmp, "CFGuardLongjmp",
57 "Insert symbols at valid longjmp targets for /guard:cf", false,
58 false)
59FunctionPass *llvm::createCFGuardLongjmpPass() { return new CFGuardLongjmp(); }
60
61bool CFGuardLongjmp::runOnMachineFunction(MachineFunction &MF) {
62
63 // Skip modules for which the cfguard flag is not set.
64 if (!MF.getMMI().getModule()->getModuleFlag("cfguard"))
65 return false;
66
67 // Skip functions that do not have calls to _setjmp.
69 return false;
70
72
73 // Iterate over all instructions in the function and add calls to functions
74 // that return twice to the list of targets.
75 for (MachineBasicBlock &MBB : MF) {
76 for (MachineInstr &MI : MBB) {
77
78 // Skip instructions that are not calls.
79 if (!MI.isCall() || MI.getNumOperands() < 1)
80 continue;
81
82 // Iterate over operands to find calls to global functions.
83 for (MachineOperand &MO : MI.operands()) {
84 if (!MO.isGlobal())
85 continue;
86
87 auto *F = dyn_cast<Function>(MO.getGlobal());
88 if (!F)
89 continue;
90
91 // If the instruction calls a function that returns twice, add
92 // it to the list of targets.
93 if (F->hasFnAttribute(Attribute::ReturnsTwice)) {
94 SetjmpCalls.push_back(&MI);
95 break;
96 }
97 }
98 }
99 }
100
101 if (SetjmpCalls.empty())
102 return false;
103
104 unsigned SetjmpNum = 0;
105
106 // For each possible target, create a new symbol and insert it immediately
107 // after the call to setjmp. Add this symbol to the MachineFunction's list
108 // of longjmp targets.
109 for (MachineInstr *Setjmp : SetjmpCalls) {
111 raw_svector_ostream(SymbolName) << "$cfgsj_" << MF.getName() << SetjmpNum++;
112 MCSymbol *SjSymbol = MF.getContext().getOrCreateSymbol(SymbolName);
113
114 Setjmp->setPostInstrSymbol(MF, SjSymbol);
115 MF.addLongjmpTarget(SjSymbol);
116 CFGuardLongjmpTargets++;
117 }
118
119 return true;
120}
MachineBasicBlock & MBB
IRTranslator LLVM IR MI
#define F(x, y, z)
Definition: MD5.cpp:55
#define INITIALIZE_PASS(passName, arg, name, cfg, analysis)
Definition: PassSupport.h:38
This file defines the 'Statistic' class, which is designed to be an easy way to expose various metric...
#define STATISTIC(VARNAME, DESC)
Definition: Statistic.h:167
FunctionPass class - This class is used to implement most global optimizations.
Definition: Pass.h:311
bool callsFunctionThatReturnsTwice() const
callsFunctionThatReturnsTwice - Return true if the function has a call to setjmp or other function th...
Definition: Function.cpp:1883
MCSymbol - Instances of this class represent a symbol name in the MC file, and MCSymbols are created ...
Definition: MCSymbol.h:40
MachineFunctionPass - This class adapts the FunctionPass interface to allow convenient creation of pa...
virtual bool runOnMachineFunction(MachineFunction &MF)=0
runOnMachineFunction - This method must be overloaded to perform the desired machine code transformat...
Function & getFunction()
Return the LLVM function that this machine code represents.
MachineModuleInfo & getMMI() const
Representation of each machine instruction.
Definition: MachineInstr.h:69
const Module * getModule() const
MachineOperand class - Representation of each machine instruction operand.
Metadata * getModuleFlag(StringRef Key) const
Return the corresponding value if Key appears in module flags, otherwise return null.
Definition: Module.cpp:331
static PassRegistry * getPassRegistry()
getPassRegistry - Access the global registry object, which is automatically initialized at applicatio...
virtual StringRef getPassName() const
getPassName - Return a nice clean name for a pass.
Definition: Pass.cpp:81
SmallString - A SmallString is just a SmallVector with methods and accessors that make it work better...
Definition: SmallString.h:26
bool empty() const
Definition: SmallVector.h:94
void push_back(const T &Elt)
Definition: SmallVector.h:426
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
Definition: SmallVector.h:1209
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:50
A raw_ostream that writes to an SmallVector or SmallString.
Definition: raw_ostream.h:690
constexpr char SymbolName[]
Key for Kernel::Metadata::mSymbolName.
unsigned ID
LLVM IR allows to use arbitrary numbers as calling convention identifiers.
Definition: CallingConv.h:24
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
void initializeCFGuardLongjmpPass(PassRegistry &)
FunctionPass * createCFGuardLongjmpPass()
Creates CFGuard longjmp target identification pass.