CIRCT  20.0.0git
Namespaces | Macros | Functions
MaximizeSSA.cpp File Reference
#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 "circt/Transforms/Passes.h.inc"
Include dependency graph for MaximizeSSA.cpp:

Go to the source code of this file.

Namespaces

 circt
 The InstanceGraph op interface, see InstanceGraphInterface.td for more details.
 

Macros

#define GEN_PASS_DEF_MAXIMIZESSA
 

Functions

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

Macro Definition Documentation

◆ GEN_PASS_DEF_MAXIMIZESSA

#define GEN_PASS_DEF_MAXIMIZESSA

Definition at line 24 of file MaximizeSSA.cpp.

Function Documentation

◆ addArgToTerminator()

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

Definition at line 42 of file MaximizeSSA.cpp.

Referenced by circt::maximizeSSA().

◆ getDefiningBlock()

static Block* getDefiningBlock ( Value  value)
static

Definition at line 31 of file MaximizeSSA.cpp.

References assert().

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