xref: /src/contrib/llvm-project/llvm/lib/CodeGen/PatchableFunction.cpp (revision 7a6dacaca14b62ca4b74406814becb87a3fefac0)
101095a5dSDimitry Andric //===-- PatchableFunction.cpp - Patchable prologues for LLVM -------------===//
201095a5dSDimitry Andric //
3e6d15924SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4e6d15924SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5e6d15924SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
601095a5dSDimitry Andric //
701095a5dSDimitry Andric //===----------------------------------------------------------------------===//
801095a5dSDimitry Andric //
901095a5dSDimitry Andric // This file implements edits function bodies in place to support the
1001095a5dSDimitry Andric // "patchable-function" attribute.
1101095a5dSDimitry Andric //
1201095a5dSDimitry Andric //===----------------------------------------------------------------------===//
1301095a5dSDimitry Andric 
1401095a5dSDimitry Andric #include "llvm/CodeGen/MachineFunction.h"
1501095a5dSDimitry Andric #include "llvm/CodeGen/MachineFunctionPass.h"
1601095a5dSDimitry Andric #include "llvm/CodeGen/MachineInstrBuilder.h"
17044eb2f6SDimitry Andric #include "llvm/CodeGen/TargetInstrInfo.h"
18044eb2f6SDimitry Andric #include "llvm/CodeGen/TargetSubtargetInfo.h"
19706b4fc4SDimitry Andric #include "llvm/InitializePasses.h"
20145449b1SDimitry Andric #include "llvm/Pass.h"
21145449b1SDimitry Andric #include "llvm/PassRegistry.h"
2201095a5dSDimitry Andric 
2301095a5dSDimitry Andric using namespace llvm;
2401095a5dSDimitry Andric 
2501095a5dSDimitry Andric namespace {
2601095a5dSDimitry Andric struct PatchableFunction : public MachineFunctionPass {
2701095a5dSDimitry Andric   static char ID; // Pass identification, replacement for typeid
PatchableFunction__anon41bd5b930111::PatchableFunction2801095a5dSDimitry Andric   PatchableFunction() : MachineFunctionPass(ID) {
2901095a5dSDimitry Andric     initializePatchableFunctionPass(*PassRegistry::getPassRegistry());
3001095a5dSDimitry Andric   }
3101095a5dSDimitry Andric 
3201095a5dSDimitry Andric   bool runOnMachineFunction(MachineFunction &F) override;
getRequiredProperties__anon41bd5b930111::PatchableFunction3301095a5dSDimitry Andric    MachineFunctionProperties getRequiredProperties() const override {
3401095a5dSDimitry Andric     return MachineFunctionProperties().set(
35b915e9e0SDimitry Andric         MachineFunctionProperties::Property::NoVRegs);
3601095a5dSDimitry Andric   }
3701095a5dSDimitry Andric };
3801095a5dSDimitry Andric }
3901095a5dSDimitry Andric 
runOnMachineFunction(MachineFunction & MF)4001095a5dSDimitry Andric bool PatchableFunction::runOnMachineFunction(MachineFunction &MF) {
41706b4fc4SDimitry Andric   MachineBasicBlock &FirstMBB = *MF.begin();
424df029ccSDimitry Andric 
434df029ccSDimitry Andric   if (MF.getFunction().hasFnAttribute("patchable-function-entry")) {
44706b4fc4SDimitry Andric     const TargetInstrInfo *TII = MF.getSubtarget().getInstrInfo();
45cfca06d7SDimitry Andric     // The initial .loc covers PATCHABLE_FUNCTION_ENTER.
46cfca06d7SDimitry Andric     BuildMI(FirstMBB, FirstMBB.begin(), DebugLoc(),
47706b4fc4SDimitry Andric             TII->get(TargetOpcode::PATCHABLE_FUNCTION_ENTER));
48706b4fc4SDimitry Andric     return true;
494df029ccSDimitry Andric   } else if (MF.getFunction().hasFnAttribute("patchable-function")) {
5001095a5dSDimitry Andric #ifndef NDEBUG
51044eb2f6SDimitry Andric     Attribute PatchAttr = MF.getFunction().getFnAttribute("patchable-function");
5201095a5dSDimitry Andric     StringRef PatchType = PatchAttr.getValueAsString();
5301095a5dSDimitry Andric     assert(PatchType == "prologue-short-redirect" && "Only possibility today!");
5401095a5dSDimitry Andric #endif
5501095a5dSDimitry Andric     auto *TII = MF.getSubtarget().getInstrInfo();
564df029ccSDimitry Andric     BuildMI(FirstMBB, FirstMBB.begin(), DebugLoc(),
574df029ccSDimitry Andric             TII->get(TargetOpcode::PATCHABLE_OP))
584df029ccSDimitry Andric         .addImm(2);
59e3b55780SDimitry Andric     MF.ensureAlignment(Align(16));
60e3b55780SDimitry Andric     return true;
61e3b55780SDimitry Andric   }
624df029ccSDimitry Andric   return false;
6301095a5dSDimitry Andric }
6401095a5dSDimitry Andric 
6501095a5dSDimitry Andric char PatchableFunction::ID = 0;
6601095a5dSDimitry Andric char &llvm::PatchableFunctionID = PatchableFunction::ID;
6701095a5dSDimitry Andric INITIALIZE_PASS(PatchableFunction, "patchable-function",
6801095a5dSDimitry Andric                 "Implement the 'patchable-function' attribute", false, false)
69