AssertionExpr.cpp File Reference

#include "slang/ast/expressions/AssertionExpr.h"
#include "ImportVerilogInternals.h"
#include "circt/Dialect/Comb/CombDialect.h"
#include "circt/Dialect/Comb/CombOps.h"
#include "circt/Dialect/LTL/LTLOps.h"
#include "circt/Dialect/Moore/MooreOps.h"
#include "circt/Support/FVInt.h"
#include "circt/Support/LLVM.h"
#include "mlir/IR/BuiltinAttributes.h"
#include "mlir/Support/LLVM.h"
#include "slang/analysis/AnalysisManager.h"
#include "slang/analysis/AnalyzedAssertion.h"
#include "slang/ast/ASTVisitor.h"
#include "slang/ast/SystemSubroutine.h"
#include "slang/parsing/KnownSystemName.h"
#include <optional>
#include <utility>

Include dependency graph for AssertionExpr.cpp:

Go to the source code of this file.

Functions
static Value	getIsUnknown (OpBuilder &builder, Location loc, Value value, moore::IntType valTy, MLIRContext *ctx)

Function Documentation

getIsUnknown()

static Value getIsUnknown ( OpBuilder &  builder, Location  loc, Value  value, moore::IntType  valTy, MLIRContext *  ctx  )

static

Definition at line 387 of file AssertionExpr.cpp.

References circt::moore::FourValued, and circt::FVInt::getAllX().

Referenced by circt::ImportVerilog::Context::convertAssertionCallExpression().