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
namespace	patterns

Functions
static SmallVector< Value >	concatValues (ValueRange a, ValueRange b)
	Concatenate two value ranges into a larger range.
static SmallVector< Value >	flattenConcats (ValueRange values)
	Inline all ConcatOps in a range of values.

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.