1c0441c29SSanjoy Das //===-- PatchableFunction.cpp - Patchable prologues for LLVM -------------===//
2c0441c29SSanjoy Das //
3*2946cd70SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*2946cd70SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
5*2946cd70SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6c0441c29SSanjoy Das //
7c0441c29SSanjoy Das //===----------------------------------------------------------------------===//
8c0441c29SSanjoy Das //
9c0441c29SSanjoy Das // This file implements edits function bodies in place to support the
10c0441c29SSanjoy Das // "patchable-function" attribute.
11c0441c29SSanjoy Das //
12c0441c29SSanjoy Das //===----------------------------------------------------------------------===//
13c0441c29SSanjoy Das 
14c0441c29SSanjoy Das #include "llvm/CodeGen/MachineFunction.h"
15c0441c29SSanjoy Das #include "llvm/CodeGen/MachineFunctionPass.h"
16e9c32c7eSCharles Davis #include "llvm/CodeGen/MachineInstrBuilder.h"
176bda14b3SChandler Carruth #include "llvm/CodeGen/Passes.h"
181be62f03SDavid Blaikie #include "llvm/CodeGen/TargetFrameLowering.h"
193f833edcSDavid Blaikie #include "llvm/CodeGen/TargetInstrInfo.h"
20b3bde2eaSDavid Blaikie #include "llvm/CodeGen/TargetSubtargetInfo.h"
21c0441c29SSanjoy Das 
22c0441c29SSanjoy Das using namespace llvm;
23c0441c29SSanjoy Das 
24c0441c29SSanjoy Das namespace {
25c0441c29SSanjoy Das struct PatchableFunction : public MachineFunctionPass {
26c0441c29SSanjoy Das   static char ID; // Pass identification, replacement for typeid
27c0441c29SSanjoy Das   PatchableFunction() : MachineFunctionPass(ID) {
28c0441c29SSanjoy Das     initializePatchableFunctionPass(*PassRegistry::getPassRegistry());
29c0441c29SSanjoy Das   }
30c0441c29SSanjoy Das 
31c0441c29SSanjoy Das   bool runOnMachineFunction(MachineFunction &F) override;
32c0441c29SSanjoy Das    MachineFunctionProperties getRequiredProperties() const override {
33c0441c29SSanjoy Das     return MachineFunctionProperties().set(
341eb47368SMatthias Braun         MachineFunctionProperties::Property::NoVRegs);
35c0441c29SSanjoy Das   }
36c0441c29SSanjoy Das };
37c0441c29SSanjoy Das }
38c0441c29SSanjoy Das 
39512424f2SMatthias Braun /// Returns true if instruction \p MI will not result in actual machine code
40512424f2SMatthias Braun /// instructions.
41512424f2SMatthias Braun static bool doesNotGeneratecode(const MachineInstr &MI) {
42512424f2SMatthias Braun   // TODO: Introduce an MCInstrDesc flag for this
43512424f2SMatthias Braun   switch (MI.getOpcode()) {
44512424f2SMatthias Braun   default: return false;
45512424f2SMatthias Braun   case TargetOpcode::IMPLICIT_DEF:
46512424f2SMatthias Braun   case TargetOpcode::KILL:
47512424f2SMatthias Braun   case TargetOpcode::CFI_INSTRUCTION:
48512424f2SMatthias Braun   case TargetOpcode::EH_LABEL:
49512424f2SMatthias Braun   case TargetOpcode::GC_LABEL:
50512424f2SMatthias Braun   case TargetOpcode::DBG_VALUE:
51cd070cdcSShiva Chen   case TargetOpcode::DBG_LABEL:
52512424f2SMatthias Braun     return true;
53512424f2SMatthias Braun   }
54512424f2SMatthias Braun }
55512424f2SMatthias Braun 
56c0441c29SSanjoy Das bool PatchableFunction::runOnMachineFunction(MachineFunction &MF) {
57f1caa283SMatthias Braun   if (!MF.getFunction().hasFnAttribute("patchable-function"))
58c0441c29SSanjoy Das     return false;
59c0441c29SSanjoy Das 
60e9c32c7eSCharles Davis #ifndef NDEBUG
61f1caa283SMatthias Braun   Attribute PatchAttr = MF.getFunction().getFnAttribute("patchable-function");
62c0441c29SSanjoy Das   StringRef PatchType = PatchAttr.getValueAsString();
63e9c32c7eSCharles Davis   assert(PatchType == "prologue-short-redirect" && "Only possibility today!");
64e9c32c7eSCharles Davis #endif
65c0441c29SSanjoy Das 
66c0441c29SSanjoy Das   auto &FirstMBB = *MF.begin();
67512424f2SMatthias Braun   MachineBasicBlock::iterator FirstActualI = FirstMBB.begin();
68512424f2SMatthias Braun   for (; doesNotGeneratecode(*FirstActualI); ++FirstActualI)
69512424f2SMatthias Braun     assert(FirstActualI != FirstMBB.end());
70c0441c29SSanjoy Das 
71e9c32c7eSCharles Davis   auto *TII = MF.getSubtarget().getInstrInfo();
72e9c32c7eSCharles Davis   auto MIB = BuildMI(FirstMBB, FirstActualI, FirstActualI->getDebugLoc(),
73e9c32c7eSCharles Davis                      TII->get(TargetOpcode::PATCHABLE_OP))
74e9c32c7eSCharles Davis                  .addImm(2)
75e9c32c7eSCharles Davis                  .addImm(FirstActualI->getOpcode());
76c0441c29SSanjoy Das 
77e9c32c7eSCharles Davis   for (auto &MO : FirstActualI->operands())
78116bbab4SDiana Picus     MIB.add(MO);
79e9c32c7eSCharles Davis 
80e9c32c7eSCharles Davis   FirstActualI->eraseFromParent();
81c0441c29SSanjoy Das   MF.ensureAlignment(4);
82c0441c29SSanjoy Das   return true;
83c0441c29SSanjoy Das }
84c0441c29SSanjoy Das 
85c0441c29SSanjoy Das char PatchableFunction::ID = 0;
86c0441c29SSanjoy Das char &llvm::PatchableFunctionID = PatchableFunction::ID;
874519ff73SSanjoy Das INITIALIZE_PASS(PatchableFunction, "patchable-function",
884519ff73SSanjoy Das                 "Implement the 'patchable-function' attribute", false, false)
89