CIRCT
20.0.0git
|
#include "circt/Dialect/Comb/CombOps.h"
#include "circt/Dialect/HW/HWOps.h"
#include "circt/Dialect/LTL/LTLOps.h"
#include "mlir/IR/PatternMatch.h"
#include "circt/Dialect/LTL/LTLFolds.cpp.inc"
Go to the source code of this file.
Namespaces | |
patterns | |
Functions | |
static SmallVector< Value > | concatValues (ValueRange a, ValueRange b) |
Concatenate two value ranges into a larger range. More... | |
static SmallVector< Value > | flattenConcats (ValueRange values) |
Inline all ConcatOp s in a range of values. More... | |
|
static |
Concatenate two value ranges into a larger range.
Useful for declarative rewrites.
Definition at line 20 of file LTLFolds.cpp.
|
static |
Inline all ConcatOp
s in a range of values.
Definition at line 28 of file LTLFolds.cpp.