#include "circt/Conversion/ExportAIGER.h"
#include "circt/Dialect/AIG/AIGOps.h"
#include "circt/Dialect/Comb/CombOps.h"
#include "circt/Dialect/HW/HWOps.h"
#include "circt/Dialect/HW/HWTypes.h"
#include "circt/Dialect/Seq/SeqOpInterfaces.h"
#include "circt/Dialect/Seq/SeqOps.h"
#include "circt/Support/Namespace.h"
#include "circt/Support/Version.h"
#include "mlir/Analysis/TopologicalSortUtils.h"
#include "mlir/IR/Builders.h"
#include "mlir/IR/BuiltinOps.h"
#include "mlir/IR/DialectRegistry.h"
#include "mlir/IR/OperationSupport.h"
#include "mlir/IR/RegionKindInterface.h"
#include "mlir/IR/Visitors.h"
#include "mlir/Support/LogicalResult.h"
#include "mlir/Tools/mlir-translate/Translation.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/EquivalenceClasses.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/ADT/StringExtras.h"
#include "llvm/ADT/StringRef.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/raw_ostream.h"
#include <string>

Include dependency graph for ExportAIGER.cpp:

Macros
#define	DEBUG_TYPE "export-aiger"

Functions
static int64_t	getBitWidth (Value value)
	Returns the bit width of a value.

llvm::raw_ostream &	operator<< (llvm::raw_ostream &os, const AIGERExporter::Object &obj)

llvm::raw_ostream &	operator<< (llvm::raw_ostream &os, const std::pair< AIGERExporter::Object, StringAttr > &obj)

llvm::cl::opt< bool >	emitTextFormat ("emit-text-format", llvm::cl::desc("Export AIGER in text format"), llvm::cl::init(false))

llvm::cl::opt< bool >	includeSymbolTable ("exclude-symbol-table", llvm::cl::desc("Exclude symbol table from the output"), llvm::cl::init(false))

Macro Definition Documentation

◆ DEBUG_TYPE

#define DEBUG_TYPE "export-aiger"

Definition at line 49 of file ExportAIGER.cpp.

Function Documentation

◆ emitTextFormat()

llvm::cl::opt< bool > emitTextFormat	(	"emit-text-format"	,
		llvm::cl::desc("Export AIGER in text format")	,
		llvm::cl::init(false)
	)

Referenced by circt::aiger::registerExportAIGERTranslation().

◆ getBitWidth()

static int64_t getBitWidth ( Value value )

static

Returns the bit width of a value.

Definition at line 56 of file ExportAIGER.cpp.

◆ includeSymbolTable()

llvm::cl::opt< bool > includeSymbolTable	(	"exclude-symbol-table"	,
		llvm::cl::desc("Exclude symbol table from the output")	,
		llvm::cl::init(false)
	)

Referenced by circt::aiger::registerExportAIGERTranslation().

◆ operator<<() [1/2]

llvm::raw_ostream & operator<<	(	llvm::raw_ostream &	os,
		const AIGERExporter::Object &	obj
	)

Definition at line 617 of file ExportAIGER.cpp.

◆ operator<<() [2/2]

llvm::raw_ostream & operator<<	(	llvm::raw_ostream &	os,
		const std::pair< AIGERExporter::Object, StringAttr > &	obj
	)

Definition at line 622 of file ExportAIGER.cpp.

Macros

Functions