Loading [MathJax]/extensions/tex2jax.js
CIRCT 21.0.0git
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
ESILowerTypes.cpp
Go to the documentation of this file.
1//===- ESILowerTypes.cpp ----------------------------------------*- C++ -*-===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// Lower high-level ESI types to HW conversions and pass.
10//
11//===----------------------------------------------------------------------===//
12
13#include "../PassDetails.h"
14
19
20#include "mlir/IR/BuiltinTypes.h"
21#include "mlir/Interfaces/ControlFlowInterfaces.h"
22#include "mlir/Pass/Pass.h"
23#include "mlir/Transforms/DialectConversion.h"
24
25namespace circt {
26namespace esi {
27#define GEN_PASS_DEF_LOWERESITYPES
28#include "circt/Dialect/ESI/ESIPasses.h.inc"
29} // namespace esi
30} // namespace circt
31
32using namespace circt;
33using namespace circt::esi;
34
35namespace {
36/// Lower all "high-level" ESI types on modules to some lower construct.
37struct ESILowerTypesPass
38 : public circt::esi::impl::LowerESITypesBase<ESILowerTypesPass> {
39 void runOnOperation() override;
40};
41} // anonymous namespace
42
43namespace {
44/// Materializations and type conversions to lower ESI data windows.
45class LowerTypesConverter : public TypeConverter {
46public:
47 LowerTypesConverter() {
48 addConversion([](Type t) { return t; });
49 addConversion([](WindowType window) { return window.getLoweredType(); });
50 addSourceMaterialization(wrapMaterialization);
51 addTargetMaterialization(unwrapMaterialization);
52 }
53
54private:
55 static mlir::Value wrapMaterialization(OpBuilder &b, WindowType resultType,
56 ValueRange inputs, Location loc) {
57 if (inputs.size() != 1)
58 return mlir::Value();
59 auto wrap = b.create<WrapWindow>(loc, resultType, inputs[0]);
60 return wrap.getWindow();
61 }
62
63 static mlir::Value unwrapMaterialization(OpBuilder &b,
64 hw::UnionType resultType,
65 ValueRange inputs, Location loc) {
66 if (inputs.size() != 1 || !isa<WindowType>(inputs[0].getType()))
67 return mlir::Value();
68 auto unwrap = b.create<UnwrapWindow>(loc, resultType, inputs[0]);
69 return unwrap.getFrame();
70 }
71};
72} // namespace
73
74void ESILowerTypesPass::runOnOperation() {
75 ConversionTarget target(getContext());
76
77 // We need to lower instances, modules, and outputs with data windows.
78 target.markUnknownOpDynamicallyLegal([](Operation *op) {
79 return TypeSwitch<Operation *, bool>(op)
80 .Case([](igraph::InstanceOpInterface inst) {
81 return !(
82 llvm::any_of(inst->getOperandTypes(), hw::type_isa<WindowType>) ||
83 llvm::any_of(inst->getResultTypes(), hw::type_isa<WindowType>));
84 })
85 .Case([](hw::HWMutableModuleLike mod) {
86 auto isWindowPort = [](hw::PortInfo p) {
87 return hw::type_isa<WindowType>(p.type);
88 };
89 return !(llvm::any_of(mod.getPortList(), isWindowPort));
90 })
91 .Default([](Operation *op) {
92 if (op->hasTrait<OpTrait::ReturnLike>())
93 return !llvm::any_of(op->getOperandTypes(),
94 hw::type_isa<WindowType>);
95 return true;
96 });
97 });
98
99 LowerTypesConverter types;
100 RewritePatternSet patterns(&getContext());
101 patterns.add<TypeConversionPattern>(types, &getContext());
102 if (failed(
103 applyPartialConversion(getOperation(), target, std::move(patterns))))
104 signalPassFailure();
105}
106
107std::unique_ptr<OperationPass<ModuleOp>>
109 return std::make_unique<ESILowerTypesPass>();
110}
return wrap(CMemoryType::get(unwrap(ctx), baseType, numElements))
static EvaluatorValuePtr unwrap(OMEvaluatorValue c)
Definition OM.cpp:116
std::unique_ptr< OperationPass< ModuleOp > > createESITypeLoweringPass()
The InstanceGraph op interface, see InstanceGraphInterface.td for more details.
Definition esi.py:1
Generic pattern which replaces an operation by one of the same operation name, but with converted att...
This holds the name, type, direction of a module's ports.