1c0441c29SSanjoy Das //===-- PatchableFunction.cpp - Patchable prologues for LLVM -------------===// 2c0441c29SSanjoy Das // 3c0441c29SSanjoy Das // The LLVM Compiler Infrastructure 4c0441c29SSanjoy Das // 5c0441c29SSanjoy Das // This file is distributed under the University of Illinois Open Source 6c0441c29SSanjoy Das // License. See LICENSE.TXT for details. 7c0441c29SSanjoy Das // 8c0441c29SSanjoy Das //===----------------------------------------------------------------------===// 9c0441c29SSanjoy Das // 10c0441c29SSanjoy Das // This file implements edits function bodies in place to support the 11c0441c29SSanjoy Das // "patchable-function" attribute. 12c0441c29SSanjoy Das // 13c0441c29SSanjoy Das //===----------------------------------------------------------------------===// 14c0441c29SSanjoy Das 15c0441c29SSanjoy Das #include "llvm/CodeGen/Passes.h" 16c0441c29SSanjoy Das #include "llvm/CodeGen/MachineFunction.h" 17c0441c29SSanjoy Das #include "llvm/CodeGen/MachineFunctionPass.h" 18c0441c29SSanjoy Das #include "llvm/CodeGen/MachineInstrBuilder.h" 19c0441c29SSanjoy Das #include "llvm/Target/TargetFrameLowering.h" 20c0441c29SSanjoy Das #include "llvm/Target/TargetInstrInfo.h" 21c0441c29SSanjoy Das #include "llvm/Target/TargetSubtargetInfo.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 28c0441c29SSanjoy Das PatchableFunction() : MachineFunctionPass(ID) { 29c0441c29SSanjoy Das initializePatchableFunctionPass(*PassRegistry::getPassRegistry()); 30c0441c29SSanjoy Das } 31c0441c29SSanjoy Das 32c0441c29SSanjoy Das bool runOnMachineFunction(MachineFunction &F) override; 33c0441c29SSanjoy Das MachineFunctionProperties getRequiredProperties() const override { 34c0441c29SSanjoy Das return MachineFunctionProperties().set( 35c0441c29SSanjoy Das MachineFunctionProperties::Property::AllVRegsAllocated); 36c0441c29SSanjoy Das } 37c0441c29SSanjoy Das }; 38c0441c29SSanjoy Das } 39c0441c29SSanjoy Das 40*512424f2SMatthias Braun /// Returns true if instruction \p MI will not result in actual machine code 41*512424f2SMatthias Braun /// instructions. 42*512424f2SMatthias Braun static bool doesNotGeneratecode(const MachineInstr &MI) { 43*512424f2SMatthias Braun // TODO: Introduce an MCInstrDesc flag for this 44*512424f2SMatthias Braun switch (MI.getOpcode()) { 45*512424f2SMatthias Braun default: return false; 46*512424f2SMatthias Braun case TargetOpcode::IMPLICIT_DEF: 47*512424f2SMatthias Braun case TargetOpcode::KILL: 48*512424f2SMatthias Braun case TargetOpcode::CFI_INSTRUCTION: 49*512424f2SMatthias Braun case TargetOpcode::EH_LABEL: 50*512424f2SMatthias Braun case TargetOpcode::GC_LABEL: 51*512424f2SMatthias Braun case TargetOpcode::DBG_VALUE: 52*512424f2SMatthias Braun return true; 53*512424f2SMatthias Braun } 54*512424f2SMatthias Braun } 55*512424f2SMatthias Braun 56c0441c29SSanjoy Das bool PatchableFunction::runOnMachineFunction(MachineFunction &MF) { 57c0441c29SSanjoy Das if (!MF.getFunction()->hasFnAttribute("patchable-function")) 58c0441c29SSanjoy Das return false; 59c0441c29SSanjoy Das 60c0441c29SSanjoy Das #ifndef NDEBUG 61c0441c29SSanjoy Das Attribute PatchAttr = MF.getFunction()->getFnAttribute("patchable-function"); 62c0441c29SSanjoy Das StringRef PatchType = PatchAttr.getValueAsString(); 63c0441c29SSanjoy Das assert(PatchType == "prologue-short-redirect" && "Only possibility today!"); 64c0441c29SSanjoy Das #endif 65c0441c29SSanjoy Das 66c0441c29SSanjoy Das auto &FirstMBB = *MF.begin(); 67*512424f2SMatthias Braun MachineBasicBlock::iterator FirstActualI = FirstMBB.begin(); 68*512424f2SMatthias Braun for (; doesNotGeneratecode(*FirstActualI); ++FirstActualI) 69*512424f2SMatthias Braun assert(FirstActualI != FirstMBB.end()); 70c0441c29SSanjoy Das 71c0441c29SSanjoy Das auto *TII = MF.getSubtarget().getInstrInfo(); 72*512424f2SMatthias Braun auto MIB = BuildMI(FirstMBB, FirstActualI, FirstActualI->getDebugLoc(), 73c0441c29SSanjoy Das TII->get(TargetOpcode::PATCHABLE_OP)) 74c0441c29SSanjoy Das .addImm(2) 75*512424f2SMatthias Braun .addImm(FirstActualI->getOpcode()); 76c0441c29SSanjoy Das 77*512424f2SMatthias Braun for (auto &MO : FirstActualI->operands()) 78c0441c29SSanjoy Das MIB.addOperand(MO); 79c0441c29SSanjoy Das 80*512424f2SMatthias Braun 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