DeseqUtils.h File Reference

#include "circt/Dialect/LLHD/IR/LLHDOps.h"
#include "circt/Support/LLVM.h"
#include "mlir/IR/Value.h"
#include "llvm/ADT/APInt.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/Support/raw_ostream.h"

Include dependency graph for DeseqUtils.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	circt::llhd::deseq::DNFTerm
	A single AND operation within a DNF. More...
struct	circt::llhd::deseq::DNF
	A boolean function expressed in canonical disjunctive normal form. More...
struct	circt::llhd::deseq::TruthTable
	A boolean function expressed as a truth table. More...
struct	circt::llhd::deseq::ValueEntry
	A single entry in a value table. More...
struct	circt::llhd::deseq::ValueTable
	A table of SSA values and the conditions under which they appear. More...
struct	circt::llhd::deseq::ResetInfo
	A single reset extracted from a process during trigger analysis. More...
struct	circt::llhd::deseq::ClockInfo
	A single clock extracted from a process during trigger analysis. More...
struct	circt::llhd::deseq::DriveInfo
	A drive op and the clock and reset that resulted from trigger analysis. More...
struct	circt::llhd::deseq::FixedValue
	A single i1 value that is fixed to a given value in the past and the present. More...
struct	llvm::DenseMapInfo< circt::llhd::deseq::FixedValue >
struct	llvm::DenseMapInfo< circt::llhd::deseq::FixedValues >

Namespaces
namespace	circt
	The InstanceGraph op interface, see InstanceGraphInterface.td for more details.
namespace	circt::llhd
namespace	circt::llhd::deseq
namespace	llvm

Typedefs
using	circt::llhd::deseq::FixedValues = SmallVector< FixedValue, 2 >
	A list of i1 values that are fixed to a given value.

Functions
llvm::raw_ostream &	circt::llhd::deseq::operator<< (llvm::raw_ostream &os, const DNFTerm &term)
llvm::raw_ostream &	circt::llhd::deseq::operator<< (llvm::raw_ostream &os, const DNF &dnf)
llvm::raw_ostream &	circt::llhd::deseq::operator<< (llvm::raw_ostream &os, const TruthTable &table)
llvm::raw_ostream &	circt::llhd::deseq::operator<< (llvm::raw_ostream &os, const ValueEntry &entry)
llvm::raw_ostream &	circt::llhd::deseq::operator<< (llvm::raw_ostream &os, const std::pair< TruthTable, ValueEntry > &pair)
llvm::raw_ostream &	circt::llhd::deseq::operator<< (llvm::raw_ostream &os, const ValueTable &table)
static llvm::hash_code	circt::llhd::deseq::hash_value (const FixedValue &arg)
static llvm::hash_code	circt::llhd::deseq::hash_value (const FixedValues &arg)