CIRCT  18.0.0git
Namespaces | Functions
ReductionUtils.h File Reference
#include "circt/Support/LLVM.h"
Include dependency graph for ReductionUtils.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

 circt
 This file defines an intermediate representation for circuits acting as an abstraction for constraints defined over an SMT's solver context.
 
 circt::reduce
 

Functions

void circt::reduce::pruneUnusedOps (Operation *initialOp, Reduction &reduction)
 Starting at the given op, traverse through it and its operands and erase operations that have no more uses. More...