13 #ifndef FIRANNOTATIONS_H
14 #define FIRANNOTATIONS_H
17 #include "llvm/ADT/SmallVector.h"
39 SmallVectorImpl<Attribute> &annotations,
40 llvm::json::Path path, MLIRContext *context);
43 SmallVectorImpl<Attribute> &annotations, llvm::json::Path path,
44 MLIRContext *context);
ParseResult foldWhenEncodedVerifOp(PrintFOp printOp)
Chisel has a tendency to emit complex assert/assume/cover statements encoded as print operations with...
bool fromJSONRaw(llvm::json::Value &value, SmallVectorImpl< Attribute > &annotations, llvm::json::Path path, MLIRContext *context)
bool 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,...
This file defines an intermediate representation for circuits acting as an abstraction for constraint...