#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 bool | isConstantZero (Attribute attr) |
| Check if an attribute is an integer zero. More... | |
| 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 29 of file LTLFolds.cpp.
◆ flattenConcats()
|
static |
Inline all ConcatOps in a range of values.
Definition at line 37 of file LTLFolds.cpp.
References inputs.
◆ isConstantZero()
|
static |
Check if an attribute is an integer zero.
Definition at line 19 of file LTLFolds.cpp.
