CIRCT  20.0.0git
Namespaces | Functions
LTLFolds.cpp File Reference
#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 SmallVector<Value> concatValues ( ValueRange  a,
ValueRange  b 
)
static

Concatenate two value ranges into a larger range.

Useful for declarative rewrites.

Definition at line 20 of file LTLFolds.cpp.

◆ flattenConcats()

static SmallVector<Value> flattenConcats ( ValueRange  values)
static

Inline all ConcatOps in a range of values.

Definition at line 28 of file LTLFolds.cpp.