1d88c1a5aSDimitry Andric //===-- ResetMachineFunctionPass.cpp - Reset Machine Function ----*- C++ -*-==//
2d88c1a5aSDimitry Andric //
3d88c1a5aSDimitry Andric // The LLVM Compiler Infrastructure
4d88c1a5aSDimitry Andric //
5d88c1a5aSDimitry Andric // This file is distributed under the University of Illinois Open Source
6d88c1a5aSDimitry Andric // License. See LICENSE.TXT for details.
7d88c1a5aSDimitry Andric //
8d88c1a5aSDimitry Andric //===----------------------------------------------------------------------===//
9d88c1a5aSDimitry Andric /// \file
10d88c1a5aSDimitry Andric /// This file implements a pass that will conditionally reset a machine
11d88c1a5aSDimitry Andric /// function as if it was just created. This is used to provide a fallback
12d88c1a5aSDimitry Andric /// mechanism when GlobalISel fails, thus the condition for the reset to
13d88c1a5aSDimitry Andric /// happen is that the MachineFunction has the FailedISel property.
14d88c1a5aSDimitry Andric //===----------------------------------------------------------------------===//
15d88c1a5aSDimitry Andric
16*4ba319b5SDimitry Andric #include "llvm/ADT/ScopeExit.h"
17d88c1a5aSDimitry Andric #include "llvm/ADT/Statistic.h"
18d88c1a5aSDimitry Andric #include "llvm/CodeGen/MachineFunction.h"
19d88c1a5aSDimitry Andric #include "llvm/CodeGen/MachineFunctionPass.h"
20*4ba319b5SDimitry Andric #include "llvm/CodeGen/MachineRegisterInfo.h"
21*4ba319b5SDimitry Andric #include "llvm/CodeGen/StackProtector.h"
22db17bf38SDimitry Andric #include "llvm/CodeGen/Passes.h"
23d88c1a5aSDimitry Andric #include "llvm/IR/DiagnosticInfo.h"
24d88c1a5aSDimitry Andric #include "llvm/Support/Debug.h"
25d88c1a5aSDimitry Andric using namespace llvm;
26d88c1a5aSDimitry Andric
27d88c1a5aSDimitry Andric #define DEBUG_TYPE "reset-machine-function"
28d88c1a5aSDimitry Andric
29d88c1a5aSDimitry Andric STATISTIC(NumFunctionsReset, "Number of functions reset");
30d88c1a5aSDimitry Andric
31d88c1a5aSDimitry Andric namespace {
32d88c1a5aSDimitry Andric class ResetMachineFunction : public MachineFunctionPass {
33d88c1a5aSDimitry Andric /// Tells whether or not this pass should emit a fallback
34d88c1a5aSDimitry Andric /// diagnostic when it resets a function.
35d88c1a5aSDimitry Andric bool EmitFallbackDiag;
367a7e6055SDimitry Andric /// Whether we should abort immediately instead of resetting the function.
377a7e6055SDimitry Andric bool AbortOnFailedISel;
38d88c1a5aSDimitry Andric
39d88c1a5aSDimitry Andric public:
40d88c1a5aSDimitry Andric static char ID; // Pass identification, replacement for typeid
ResetMachineFunction(bool EmitFallbackDiag=false,bool AbortOnFailedISel=false)417a7e6055SDimitry Andric ResetMachineFunction(bool EmitFallbackDiag = false,
427a7e6055SDimitry Andric bool AbortOnFailedISel = false)
437a7e6055SDimitry Andric : MachineFunctionPass(ID), EmitFallbackDiag(EmitFallbackDiag),
447a7e6055SDimitry Andric AbortOnFailedISel(AbortOnFailedISel) {}
45d88c1a5aSDimitry Andric
getPassName() const46d88c1a5aSDimitry Andric StringRef getPassName() const override { return "ResetMachineFunction"; }
47d88c1a5aSDimitry Andric
getAnalysisUsage(AnalysisUsage & AU) const48*4ba319b5SDimitry Andric void getAnalysisUsage(AnalysisUsage &AU) const override {
49*4ba319b5SDimitry Andric AU.addPreserved<StackProtector>();
50*4ba319b5SDimitry Andric MachineFunctionPass::getAnalysisUsage(AU);
51*4ba319b5SDimitry Andric }
52*4ba319b5SDimitry Andric
runOnMachineFunction(MachineFunction & MF)53d88c1a5aSDimitry Andric bool runOnMachineFunction(MachineFunction &MF) override {
54*4ba319b5SDimitry Andric // No matter what happened, whether we successfully selected the function
55*4ba319b5SDimitry Andric // or not, nothing is going to use the vreg types after us. Make sure they
56*4ba319b5SDimitry Andric // disappear.
57*4ba319b5SDimitry Andric auto ClearVRegTypesOnReturn =
58*4ba319b5SDimitry Andric make_scope_exit([&MF]() { MF.getRegInfo().clearVirtRegTypes(); });
59*4ba319b5SDimitry Andric
60d88c1a5aSDimitry Andric if (MF.getProperties().hasProperty(
61d88c1a5aSDimitry Andric MachineFunctionProperties::Property::FailedISel)) {
627a7e6055SDimitry Andric if (AbortOnFailedISel)
637a7e6055SDimitry Andric report_fatal_error("Instruction selection failed");
64*4ba319b5SDimitry Andric LLVM_DEBUG(dbgs() << "Resetting: " << MF.getName() << '\n');
65d88c1a5aSDimitry Andric ++NumFunctionsReset;
66d88c1a5aSDimitry Andric MF.reset();
67d88c1a5aSDimitry Andric if (EmitFallbackDiag) {
682cab237bSDimitry Andric const Function &F = MF.getFunction();
69d88c1a5aSDimitry Andric DiagnosticInfoISelFallback DiagFallback(F);
70d88c1a5aSDimitry Andric F.getContext().diagnose(DiagFallback);
71d88c1a5aSDimitry Andric }
72d88c1a5aSDimitry Andric return true;
73d88c1a5aSDimitry Andric }
74d88c1a5aSDimitry Andric return false;
75d88c1a5aSDimitry Andric }
76d88c1a5aSDimitry Andric
77d88c1a5aSDimitry Andric };
78d88c1a5aSDimitry Andric } // end anonymous namespace
79d88c1a5aSDimitry Andric
80d88c1a5aSDimitry Andric char ResetMachineFunction::ID = 0;
81d88c1a5aSDimitry Andric INITIALIZE_PASS(ResetMachineFunction, DEBUG_TYPE,
82*4ba319b5SDimitry Andric "Reset machine function if ISel failed", false, false)
83d88c1a5aSDimitry Andric
84d88c1a5aSDimitry Andric MachineFunctionPass *
createResetMachineFunctionPass(bool EmitFallbackDiag=false,bool AbortOnFailedISel=false)857a7e6055SDimitry Andric llvm::createResetMachineFunctionPass(bool EmitFallbackDiag = false,
867a7e6055SDimitry Andric bool AbortOnFailedISel = false) {
877a7e6055SDimitry Andric return new ResetMachineFunction(EmitFallbackDiag, AbortOnFailedISel);
88d88c1a5aSDimitry Andric }
89