#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"
Include dependency graph for LTLFolds.cpp:
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 ConcatOps in a range of values. More... | |
Function Documentation
◆ concatValues()
|
static |
Concatenate two value ranges into a larger range.
Useful for declarative rewrites.
Definition at line 20 of file LTLFolds.cpp.
◆ flattenConcats()
|
static |
Inline all ConcatOps in a range of values.
Definition at line 28 of file LTLFolds.cpp.
