xref: /llvm-project/llvm/lib/CodeGen/KCFI.cpp (revision 735ab61ac828bd61398e6847d60e308fdf2b54ec)
19e869efcSSami Tolvanen //===---- KCFI.cpp - Implements Kernel Control-Flow Integrity (KCFI) ------===//
2e9569748SSami Tolvanen //
3e9569748SSami Tolvanen // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4e9569748SSami Tolvanen // See https://llvm.org/LICENSE.txt for license information.
5e9569748SSami Tolvanen // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6e9569748SSami Tolvanen //
7e9569748SSami Tolvanen //===----------------------------------------------------------------------===//
8e9569748SSami Tolvanen //
99e869efcSSami Tolvanen // This pass implements Kernel Control-Flow Integrity (KCFI) indirect call
109e869efcSSami Tolvanen // check lowering. For each call instruction with a cfi-type attribute, it
119e869efcSSami Tolvanen // emits an arch-specific check before the call, and bundles the check and
129e869efcSSami Tolvanen // the call to prevent unintentional modifications.
13e9569748SSami Tolvanen //
14e9569748SSami Tolvanen //===----------------------------------------------------------------------===//
15e9569748SSami Tolvanen 
16e9569748SSami Tolvanen #include "llvm/ADT/Statistic.h"
17e9569748SSami Tolvanen #include "llvm/CodeGen/MachineFunctionPass.h"
18e9569748SSami Tolvanen #include "llvm/CodeGen/MachineInstrBundle.h"
19e9569748SSami Tolvanen #include "llvm/CodeGen/MachineModuleInfo.h"
20e9569748SSami Tolvanen #include "llvm/CodeGen/TargetInstrInfo.h"
21e9569748SSami Tolvanen #include "llvm/CodeGen/TargetLowering.h"
22e9569748SSami Tolvanen #include "llvm/CodeGen/TargetSubtargetInfo.h"
234169338eSNikita Popov #include "llvm/IR/Module.h"
24e9569748SSami Tolvanen #include "llvm/InitializePasses.h"
25e9569748SSami Tolvanen 
26e9569748SSami Tolvanen using namespace llvm;
27e9569748SSami Tolvanen 
28e9569748SSami Tolvanen #define DEBUG_TYPE "kcfi"
29e9569748SSami Tolvanen #define KCFI_PASS_NAME "Insert KCFI indirect call checks"
30e9569748SSami Tolvanen 
31e9569748SSami Tolvanen STATISTIC(NumKCFIChecksAdded, "Number of indirect call checks added");
32e9569748SSami Tolvanen 
33e9569748SSami Tolvanen namespace {
34e9569748SSami Tolvanen class KCFI : public MachineFunctionPass {
35e9569748SSami Tolvanen public:
36e9569748SSami Tolvanen   static char ID;
37e9569748SSami Tolvanen 
38e9569748SSami Tolvanen   KCFI() : MachineFunctionPass(ID) {}
39e9569748SSami Tolvanen 
40e9569748SSami Tolvanen   StringRef getPassName() const override { return KCFI_PASS_NAME; }
41e9569748SSami Tolvanen   bool runOnMachineFunction(MachineFunction &MF) override;
42e9569748SSami Tolvanen 
43e9569748SSami Tolvanen private:
44e9569748SSami Tolvanen   /// Machine instruction info used throughout the class.
45e9569748SSami Tolvanen   const TargetInstrInfo *TII = nullptr;
46e9569748SSami Tolvanen 
47e9569748SSami Tolvanen   /// Target lowering for arch-specific parts.
48e9569748SSami Tolvanen   const TargetLowering *TLI = nullptr;
49e9569748SSami Tolvanen 
50e9569748SSami Tolvanen   /// Emits a KCFI check before an indirect call.
51e9569748SSami Tolvanen   /// \returns true if the check was added and false otherwise.
52e9569748SSami Tolvanen   bool emitCheck(MachineBasicBlock &MBB,
53e9569748SSami Tolvanen                  MachineBasicBlock::instr_iterator I) const;
54e9569748SSami Tolvanen };
55e9569748SSami Tolvanen 
56e9569748SSami Tolvanen char KCFI::ID = 0;
57e9569748SSami Tolvanen } // end anonymous namespace
58e9569748SSami Tolvanen 
59e9569748SSami Tolvanen INITIALIZE_PASS(KCFI, DEBUG_TYPE, KCFI_PASS_NAME, false, false)
60e9569748SSami Tolvanen 
61e9569748SSami Tolvanen FunctionPass *llvm::createKCFIPass() { return new KCFI(); }
62e9569748SSami Tolvanen 
63e9569748SSami Tolvanen bool KCFI::emitCheck(MachineBasicBlock &MBB,
64e9569748SSami Tolvanen                      MachineBasicBlock::instr_iterator MBBI) const {
65e9569748SSami Tolvanen   assert(TII && "Target instruction info was not initialized");
66e9569748SSami Tolvanen   assert(TLI && "Target lowering was not initialized");
67e9569748SSami Tolvanen 
68e9569748SSami Tolvanen   // If the call instruction is bundled, we can only emit a check safely if
69e9569748SSami Tolvanen   // it's the first instruction in the bundle.
70e9569748SSami Tolvanen   if (MBBI->isBundled() && !std::prev(MBBI)->isBundle())
71e9569748SSami Tolvanen     report_fatal_error("Cannot emit a KCFI check for a bundled call");
72e9569748SSami Tolvanen 
73e9569748SSami Tolvanen   // Emit a KCFI check for the call instruction at MBBI. The implementation
74e9569748SSami Tolvanen   // must unfold memory operands if applicable.
75e9569748SSami Tolvanen   MachineInstr *Check = TLI->EmitKCFICheck(MBB, MBBI, TII);
76e9569748SSami Tolvanen 
77e9569748SSami Tolvanen   // Clear the original call's CFI type.
78e9569748SSami Tolvanen   assert(MBBI->isCall() && "Unexpected instruction type");
79e9569748SSami Tolvanen   MBBI->setCFIType(*MBB.getParent(), 0);
80e9569748SSami Tolvanen 
81e9569748SSami Tolvanen   // If not already bundled, bundle the check and the call to prevent
82e9569748SSami Tolvanen   // further changes.
83e9569748SSami Tolvanen   if (!MBBI->isBundled())
84e9569748SSami Tolvanen     finalizeBundle(MBB, Check->getIterator(), std::next(MBBI->getIterator()));
85e9569748SSami Tolvanen 
86e9569748SSami Tolvanen   ++NumKCFIChecksAdded;
87e9569748SSami Tolvanen   return true;
88e9569748SSami Tolvanen }
89e9569748SSami Tolvanen 
90e9569748SSami Tolvanen bool KCFI::runOnMachineFunction(MachineFunction &MF) {
91*7d80ee5bSMatt Arsenault   const Module *M = MF.getFunction().getParent();
92e9569748SSami Tolvanen   if (!M->getModuleFlag("kcfi"))
93e9569748SSami Tolvanen     return false;
94e9569748SSami Tolvanen 
95e9569748SSami Tolvanen   const auto &SubTarget = MF.getSubtarget();
96e9569748SSami Tolvanen   TII = SubTarget.getInstrInfo();
97e9569748SSami Tolvanen   TLI = SubTarget.getTargetLowering();
98e9569748SSami Tolvanen 
99e9569748SSami Tolvanen   bool Changed = false;
100e9569748SSami Tolvanen   for (MachineBasicBlock &MBB : MF) {
101e9569748SSami Tolvanen     // Use instr_iterator because we don't want to skip bundles.
102e9569748SSami Tolvanen     for (MachineBasicBlock::instr_iterator MII = MBB.instr_begin(),
103e9569748SSami Tolvanen                                            MIE = MBB.instr_end();
104e9569748SSami Tolvanen          MII != MIE; ++MII) {
105e9569748SSami Tolvanen       if (MII->isCall() && MII->getCFIType())
106e9569748SSami Tolvanen         Changed |= emitCheck(MBB, MII);
107e9569748SSami Tolvanen     }
108e9569748SSami Tolvanen   }
109e9569748SSami Tolvanen 
110e9569748SSami Tolvanen   return Changed;
111e9569748SSami Tolvanen }
112