1c0441c29SSanjoy Das //===-- PatchableFunction.cpp - Patchable prologues for LLVM -------------===//
2c0441c29SSanjoy Das //
32946cd70SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
42946cd70SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
52946cd70SChandler 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"
173f833edcSDavid Blaikie #include "llvm/CodeGen/TargetInstrInfo.h"
18b3bde2eaSDavid Blaikie #include "llvm/CodeGen/TargetSubtargetInfo.h"
1905da2fe5SReid Kleckner #include "llvm/InitializePasses.h"
20*989f1c72Sserge-sans-paille #include "llvm/Pass.h"
21*989f1c72Sserge-sans-paille #include "llvm/PassRegistry.h"
22c0441c29SSanjoy Das
23c0441c29SSanjoy Das using namespace llvm;
24c0441c29SSanjoy Das
25c0441c29SSanjoy Das namespace {
26c0441c29SSanjoy Das struct PatchableFunction : public MachineFunctionPass {
27c0441c29SSanjoy Das static char ID; // Pass identification, replacement for typeid
PatchableFunction__anoneae2b28e0111::PatchableFunction28c0441c29SSanjoy Das PatchableFunction() : MachineFunctionPass(ID) {
29c0441c29SSanjoy Das initializePatchableFunctionPass(*PassRegistry::getPassRegistry());
30c0441c29SSanjoy Das }
31c0441c29SSanjoy Das
32c0441c29SSanjoy Das bool runOnMachineFunction(MachineFunction &F) override;
getRequiredProperties__anoneae2b28e0111::PatchableFunction33c0441c29SSanjoy Das MachineFunctionProperties getRequiredProperties() const override {
34c0441c29SSanjoy Das return MachineFunctionProperties().set(
351eb47368SMatthias Braun MachineFunctionProperties::Property::NoVRegs);
36c0441c29SSanjoy Das }
37c0441c29SSanjoy Das };
38c0441c29SSanjoy Das }
39c0441c29SSanjoy Das
40512424f2SMatthias Braun /// Returns true if instruction \p MI will not result in actual machine code
41512424f2SMatthias Braun /// instructions.
doesNotGeneratecode(const MachineInstr & MI)42512424f2SMatthias Braun static bool doesNotGeneratecode(const MachineInstr &MI) {
43512424f2SMatthias Braun // TODO: Introduce an MCInstrDesc flag for this
44512424f2SMatthias Braun switch (MI.getOpcode()) {
45512424f2SMatthias Braun default: return false;
46512424f2SMatthias Braun case TargetOpcode::IMPLICIT_DEF:
47512424f2SMatthias Braun case TargetOpcode::KILL:
48512424f2SMatthias Braun case TargetOpcode::CFI_INSTRUCTION:
49512424f2SMatthias Braun case TargetOpcode::EH_LABEL:
50512424f2SMatthias Braun case TargetOpcode::GC_LABEL:
51512424f2SMatthias Braun case TargetOpcode::DBG_VALUE:
52cd070cdcSShiva Chen case TargetOpcode::DBG_LABEL:
53512424f2SMatthias Braun return true;
54512424f2SMatthias Braun }
55512424f2SMatthias Braun }
56512424f2SMatthias Braun
runOnMachineFunction(MachineFunction & MF)57c0441c29SSanjoy Das bool PatchableFunction::runOnMachineFunction(MachineFunction &MF) {
584d1e23e3SFangrui Song if (MF.getFunction().hasFnAttribute("patchable-function-entry")) {
594d1e23e3SFangrui Song MachineBasicBlock &FirstMBB = *MF.begin();
604d1e23e3SFangrui Song const TargetInstrInfo *TII = MF.getSubtarget().getInstrInfo();
615932f7b8SFangrui Song // The initial .loc covers PATCHABLE_FUNCTION_ENTER.
625932f7b8SFangrui Song BuildMI(FirstMBB, FirstMBB.begin(), DebugLoc(),
6350a3ff30SFangrui Song TII->get(TargetOpcode::PATCHABLE_FUNCTION_ENTER));
644d1e23e3SFangrui Song return true;
654d1e23e3SFangrui Song }
664d1e23e3SFangrui Song
67f1caa283SMatthias Braun if (!MF.getFunction().hasFnAttribute("patchable-function"))
68c0441c29SSanjoy Das return false;
69c0441c29SSanjoy Das
70e9c32c7eSCharles Davis #ifndef NDEBUG
71f1caa283SMatthias Braun Attribute PatchAttr = MF.getFunction().getFnAttribute("patchable-function");
72c0441c29SSanjoy Das StringRef PatchType = PatchAttr.getValueAsString();
73e9c32c7eSCharles Davis assert(PatchType == "prologue-short-redirect" && "Only possibility today!");
74e9c32c7eSCharles Davis #endif
75c0441c29SSanjoy Das
76c0441c29SSanjoy Das auto &FirstMBB = *MF.begin();
77512424f2SMatthias Braun MachineBasicBlock::iterator FirstActualI = FirstMBB.begin();
78512424f2SMatthias Braun for (; doesNotGeneratecode(*FirstActualI); ++FirstActualI)
79512424f2SMatthias Braun assert(FirstActualI != FirstMBB.end());
80c0441c29SSanjoy Das
81e9c32c7eSCharles Davis auto *TII = MF.getSubtarget().getInstrInfo();
82e9c32c7eSCharles Davis auto MIB = BuildMI(FirstMBB, FirstActualI, FirstActualI->getDebugLoc(),
83e9c32c7eSCharles Davis TII->get(TargetOpcode::PATCHABLE_OP))
84e9c32c7eSCharles Davis .addImm(2)
85e9c32c7eSCharles Davis .addImm(FirstActualI->getOpcode());
86c0441c29SSanjoy Das
87e9c32c7eSCharles Davis for (auto &MO : FirstActualI->operands())
88116bbab4SDiana Picus MIB.add(MO);
89e9c32c7eSCharles Davis
90e9c32c7eSCharles Davis FirstActualI->eraseFromParent();
9118f805a7SGuillaume Chatelet MF.ensureAlignment(Align(16));
92c0441c29SSanjoy Das return true;
93c0441c29SSanjoy Das }
94c0441c29SSanjoy Das
95c0441c29SSanjoy Das char PatchableFunction::ID = 0;
96c0441c29SSanjoy Das char &llvm::PatchableFunctionID = PatchableFunction::ID;
974519ff73SSanjoy Das INITIALIZE_PASS(PatchableFunction, "patchable-function",
984519ff73SSanjoy Das "Implement the 'patchable-function' attribute", false, false)
99