CIRCT  18.0.0git
Namespaces | Functions
MaximizeSSA.cpp File Reference
#include "PassDetail.h"
#include "circt/Transforms/Passes.h"
#include "mlir/Dialect/Func/IR/FuncOps.h"
#include "mlir/IR/MLIRContext.h"
#include "mlir/Pass/Pass.h"
#include "mlir/Support/LogicalResult.h"
#include "mlir/Transforms/DialectConversion.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/Support/raw_ostream.h"
Include dependency graph for MaximizeSSA.cpp:

Go to the source code of this file.


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


static Block * getDefiningBlock (Value value)
static LogicalResult addArgToTerminator (Block *block, Block *predBlock, Value value)
std::unique_ptr< mlir::Pass > circt::createMaximizeSSAPass ()

Function Documentation

◆ addArgToTerminator()

static LogicalResult addArgToTerminator ( Block *  block,
Block *  predBlock,
Value  value 

Definition at line 38 of file MaximizeSSA.cpp.

References value.

Referenced by circt::maximizeSSA().

◆ getDefiningBlock()

static Block* getDefiningBlock ( Value  value)

Definition at line 27 of file MaximizeSSA.cpp.

References assert(), and value.

Referenced by circt::isRegionSSAMaximized(), and circt::maximizeSSA().