CIRCT
18.0.0git
|
#include "FIRAnnotations.h"
#include "circt/Dialect/FIRRTL/FIRRTLOps.h"
#include "circt/Support/LLVM.h"
#include "mlir/IR/ImplicitLocOpBuilder.h"
#include "llvm/ADT/APSInt.h"
#include "llvm/ADT/SmallPtrSet.h"
#include "llvm/ADT/TypeSwitch.h"
#include "llvm/Support/JSON.h"
Go to the source code of this file.
Enumerations | |
enum class | VerifFlavor { VerifLibAssert , VerifLibAssume , VerifLibCover , Assert , Assume , Cover , ChiselAssert , AssertNotX } |
A flavor of when-printf-encoded verification statement. More... | |
enum class | PredicateModifier { NoMod , TrueOrIsX } |
A modifier for an assertion predicate. More... | |
Functions | |
static std::optional< StringRef > | parseConditionalCompileToggle (const ExtractionSummaryCursor< StringRef > &ex) |
Parse a conditional compile toggle (e.g. More... | |
static std::optional< PredicateModifier > | parsePredicateModifier (const ExtractionSummaryCursor< StringRef > &ex) |
Parse a string into a PredicateModifier . More... | |
static std::optional< StringRef > | parseAssertionFormat (const ExtractionSummaryCursor< StringRef > &ex) |
Check that an assertion "format" is one of the admissible values, or report an error. More... | |
|
strong |
A modifier for an assertion predicate.
Enumerator | |
---|---|
NoMod | |
TrueOrIsX |
Definition at line 178 of file FIRParserAsserts.cpp.
|
strong |
A flavor of when-printf-encoded verification statement.
Enumerator | |
---|---|
VerifLibAssert | |
VerifLibAssume | |
VerifLibCover | |
Assert | |
Assume | |
Cover | |
ChiselAssert | |
AssertNotX |
Definition at line 166 of file FIRParserAsserts.cpp.
|
static |
Check that an assertion "format" is one of the admissible values, or report an error.
Definition at line 207 of file FIRParserAsserts.cpp.
|
static |
Parse a conditional compile toggle (e.g.
"unrOnly") into the corresponding preprocessor guard macro name (e.g. "USE_UNR_ONLY_CONSTRAINTS"), or report an error.
Definition at line 184 of file FIRParserAsserts.cpp.
Referenced by circt::firrtl::foldWhenEncodedVerifOp().
|
static |
Parse a string into a PredicateModifier
.
Definition at line 195 of file FIRParserAsserts.cpp.