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.

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

Functions
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  )

static

Definition at line 38 of file MaximizeSSA.cpp.

References value.

Referenced by circt::maximizeSSA().

getDefiningBlock()

static Block* getDefiningBlock ( Value  value )

static

Definition at line 27 of file MaximizeSSA.cpp.

References assert(), and value.

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