Loading [MathJax]/extensions/tex2jax.js
CIRCT 21.0.0git
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
Classes | Namespaces | Typedefs | Functions
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)