CIRCT  18.0.0git
Namespaces | Functions
SVDialect.h File Reference
#include "circt/Dialect/Comb/CombDialect.h"
#include "circt/Support/LLVM.h"
#include "mlir/IR/BuiltinOps.h"
#include "mlir/IR/Dialect.h"
#include "llvm/ADT/StringSet.h"
#include "circt/Dialect/SV/"
Include dependency graph for SVDialect.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.


 This file defines an intermediate representation for circuits acting as an abstraction for constraints defined over an SMT's solver context.


llvm::StringRef circt::sv::resolveKeywordConflict (llvm::StringRef origName, llvm::StringMap< size_t > &nextGeneratedNameIDs, bool caseInsensitiveKeywords)
 Given string origName, generate a new name if it conflicts with any keyword or any other name in the map nextGeneratedNameIDs. More...
StringRef circt::sv::legalizeName (llvm::StringRef name, llvm::StringMap< size_t > &nextGeneratedNameIDs, bool caseInsensitiveKeywords)
 Legalize the specified name for use in SV output. More...
bool circt::sv::isNameValid (llvm::StringRef name, bool caseInsensitiveKeywords)
 Check if a name is valid for use in SV output by only containing characters allowed in SV identifiers. More...