You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
92 lines
3.2 KiB
92 lines
3.2 KiB
//===- TestFunctionLike.cpp - Pass to test helpers on FunctionLike --------===//
|
|
//
|
|
// 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
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#include "mlir/IR/BuiltinOps.h"
|
|
#include "mlir/Pass/Pass.h"
|
|
|
|
using namespace mlir;
|
|
|
|
namespace {
|
|
/// This is a test pass for verifying FuncOp's eraseArgument method.
|
|
struct TestFuncEraseArg
|
|
: public PassWrapper<TestFuncEraseArg, OperationPass<ModuleOp>> {
|
|
void runOnOperation() override {
|
|
auto module = getOperation();
|
|
|
|
for (FuncOp func : module.getOps<FuncOp>()) {
|
|
SmallVector<unsigned, 4> indicesToErase;
|
|
for (auto argIndex : llvm::seq<int>(0, func.getNumArguments())) {
|
|
if (func.getArgAttr(argIndex, "test.erase_this_arg")) {
|
|
// Push back twice to test that duplicate arg indices are handled
|
|
// correctly.
|
|
indicesToErase.push_back(argIndex);
|
|
indicesToErase.push_back(argIndex);
|
|
}
|
|
}
|
|
// Reverse the order to test that unsorted index lists are handled
|
|
// correctly.
|
|
std::reverse(indicesToErase.begin(), indicesToErase.end());
|
|
func.eraseArguments(indicesToErase);
|
|
}
|
|
}
|
|
};
|
|
|
|
/// This is a test pass for verifying FuncOp's eraseResult method.
|
|
struct TestFuncEraseResult
|
|
: public PassWrapper<TestFuncEraseResult, OperationPass<ModuleOp>> {
|
|
void runOnOperation() override {
|
|
auto module = getOperation();
|
|
|
|
for (FuncOp func : module.getOps<FuncOp>()) {
|
|
SmallVector<unsigned, 4> indicesToErase;
|
|
for (auto resultIndex : llvm::seq<int>(0, func.getNumResults())) {
|
|
if (func.getResultAttr(resultIndex, "test.erase_this_result")) {
|
|
// Push back twice to test that duplicate indices are handled
|
|
// correctly.
|
|
indicesToErase.push_back(resultIndex);
|
|
indicesToErase.push_back(resultIndex);
|
|
}
|
|
}
|
|
// Reverse the order to test that unsorted index lists are handled
|
|
// correctly.
|
|
std::reverse(indicesToErase.begin(), indicesToErase.end());
|
|
func.eraseResults(indicesToErase);
|
|
}
|
|
}
|
|
};
|
|
|
|
/// This is a test pass for verifying FuncOp's setType method.
|
|
struct TestFuncSetType
|
|
: public PassWrapper<TestFuncSetType, OperationPass<ModuleOp>> {
|
|
void runOnOperation() override {
|
|
auto module = getOperation();
|
|
SymbolTable symbolTable(module);
|
|
|
|
for (FuncOp func : module.getOps<FuncOp>()) {
|
|
auto sym = func->getAttrOfType<FlatSymbolRefAttr>("test.set_type_from");
|
|
if (!sym)
|
|
continue;
|
|
func.setType(symbolTable.lookup<FuncOp>(sym.getValue()).getType());
|
|
}
|
|
}
|
|
};
|
|
} // end anonymous namespace
|
|
|
|
namespace mlir {
|
|
void registerTestFunc() {
|
|
PassRegistration<TestFuncEraseArg>("test-func-erase-arg",
|
|
"Test erasing func args.");
|
|
|
|
PassRegistration<TestFuncEraseResult>("test-func-erase-result",
|
|
"Test erasing func results.");
|
|
|
|
PassRegistration<TestFuncSetType>("test-func-set-type",
|
|
"Test FuncOp::setType.");
|
|
}
|
|
} // namespace mlir
|