ExportAIGER.cpp File Reference

#include "circt/Conversion/ExportAIGER.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/Dialect/Synth/SynthOps.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/LEB128.h"
#include "llvm/Support/raw_ostream.h"
#include <string>

Include dependency graph for ExportAIGER.cpp:

Go to the source code of this file.

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 50 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()

int64_t getBitWidth ( Value value )

static

Returns the bit width of a value.

Definition at line 57 of file ExportAIGER.cpp.

References circt::hw::getBitWidth().

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 615 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 620 of file ExportAIGER.cpp.