FIRAnnotations.h File Reference

#include "circt/Support/LLVM.h"
#include "llvm/ADT/SmallVector.h"

Include dependency graph for FIRAnnotations.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

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

Functions
bool	circt::firrtl::fromOMIRJSON (llvm::json::Value &value, SmallVectorImpl< Attribute > &annotations, llvm::json::Path path, MLIRContext *context)
	Convert a JSON value containing OMIR JSON (an array of OMNodes), convert this to an OMIRAnnotation, and add it to a mutable annotations argument. More...
bool	circt::firrtl::fromJSONRaw (llvm::json::Value &value, SmallVectorImpl< Attribute > &annotations, llvm::json::Path path, MLIRContext *context)
ParseResult	circt::firrtl::foldWhenEncodedVerifOp (PrintFOp printOp)
	Chisel has a tendency to emit complex assert/assume/cover statements encoded as print operations with special formatting and metadata embedded in the message literal. More...