This revision removes all of the CRTP from the pass hierarchy in preparation for using the tablegen backend instead. This creates a much cleaner interface in the C++ code, and naturally fits with the rest of the infrastructure. A new utility class, PassWrapper, is added to replicate the existing behavior for passes not suitable for using the tablegen backend. Differential Revision: https://reviews.llvm.org/D77350
68 lines
2.3 KiB
C++
68 lines
2.3 KiB
C++
//===- TestInlining.cpp - Pass to inline calls in the test dialect --------===//
|
|
//
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// TODO(riverriddle) This pass is only necessary because the main inlining pass
|
|
// has no abstracted away the call+callee relationship. When the inlining
|
|
// interface has this support, this pass should be removed.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "TestDialect.h"
|
|
#include "mlir/Dialect/StandardOps/IR/Ops.h"
|
|
#include "mlir/IR/Function.h"
|
|
#include "mlir/Pass/Pass.h"
|
|
#include "mlir/Transforms/InliningUtils.h"
|
|
#include "mlir/Transforms/Passes.h"
|
|
#include "llvm/ADT/StringSet.h"
|
|
|
|
using namespace mlir;
|
|
|
|
namespace {
|
|
struct Inliner : public PassWrapper<Inliner, FunctionPass> {
|
|
void runOnFunction() override {
|
|
auto function = getFunction();
|
|
|
|
// Collect each of the direct function calls within the module.
|
|
SmallVector<CallIndirectOp, 16> callers;
|
|
function.walk([&](CallIndirectOp caller) { callers.push_back(caller); });
|
|
|
|
// Build the inliner interface.
|
|
InlinerInterface interface(&getContext());
|
|
|
|
// Try to inline each of the call operations.
|
|
for (auto caller : callers) {
|
|
auto callee = dyn_cast_or_null<FunctionalRegionOp>(
|
|
caller.getCallee().getDefiningOp());
|
|
if (!callee)
|
|
continue;
|
|
|
|
// Inline the functional region operation, but only clone the internal
|
|
// region if there is more than one use.
|
|
if (failed(inlineRegion(
|
|
interface, &callee.body(), caller,
|
|
llvm::to_vector<8>(caller.getArgOperands()),
|
|
SmallVector<Value, 8>(caller.getResults()), caller.getLoc(),
|
|
/*shouldCloneInlinedRegion=*/!callee.getResult().hasOneUse())))
|
|
continue;
|
|
|
|
// If the inlining was successful then erase the call and callee if
|
|
// possible.
|
|
caller.erase();
|
|
if (callee.use_empty())
|
|
callee.erase();
|
|
}
|
|
}
|
|
};
|
|
} // end anonymous namespace
|
|
|
|
namespace mlir {
|
|
void registerInliner() {
|
|
PassRegistration<Inliner>("test-inline", "Test inlining region calls");
|
|
}
|
|
} // namespace mlir
|