#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"
Include dependency graph for FIRParserAsserts.cpp:
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... | |
Enumeration Type Documentation
◆ PredicateModifier
|
strong |
A modifier for an assertion predicate.
| Enumerator | |
|---|---|
| NoMod | |
| TrueOrIsX | |
Definition at line 178 of file FIRParserAsserts.cpp.
◆ VerifFlavor
|
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.
Function Documentation
◆ parseAssertionFormat()
|
static |
Check that an assertion "format" is one of the admissible values, or report an error.
Definition at line 207 of file FIRParserAsserts.cpp.
◆ parseConditionalCompileToggle()
|
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().
◆ parsePredicateModifier()
|
static |
Parse a string into a PredicateModifier.
Definition at line 195 of file FIRParserAsserts.cpp.
