Merge pull request #451 from antmicro/kr/casez
systemverilog-plugin: add support for case type
diff --git a/systemverilog-plugin/UhdmAst.cc b/systemverilog-plugin/UhdmAst.cc
index aa9812b..7bc9298 100644
--- a/systemverilog-plugin/UhdmAst.cc
+++ b/systemverilog-plugin/UhdmAst.cc
@@ -1213,9 +1213,33 @@
object->VpiLineNo(), val.format);
}
}
+ // if this constant is under case/casex/casez
+ // get current case type
+ char caseType = ' ';
+ if (vpiHandle caseItem_h = vpi_handle(vpiParent, obj_h)) {
+ if (vpiHandle case_h = vpi_handle(vpiParent, caseItem_h)) {
+ switch (vpi_get(vpiCaseType, case_h)) {
+ case vpiCaseExact:
+ caseType = ' ';
+ break;
+ case vpiCaseX:
+ caseType = 'x';
+ break;
+ case vpiCaseZ:
+ caseType = 'z';
+ break;
+ default: {
+ caseType = ' ';
+ break;
+ }
+ }
+ vpi_release_handle(case_h);
+ }
+ vpi_release_handle(caseItem_h);
+ }
// handle vpiBinStrVal, vpiDecStrVal and vpiHexStrVal
if (std::strchr(val.value.str, '\'')) {
- return ::systemverilog_plugin::const2ast(val.value.str, 0, false);
+ return ::systemverilog_plugin::const2ast(val.value.str, caseType, false);
} else {
auto size = vpi_get(vpiSize, obj_h);
if (size == 0) {
@@ -1223,7 +1247,7 @@
c->is_unsized = true;
return c;
} else {
- return ::systemverilog_plugin::const2ast(std::to_string(size) + strValType + val.value.str, 0, false);
+ return ::systemverilog_plugin::const2ast(std::to_string(size) + strValType + val.value.str, caseType, false);
}
}
}
@@ -3461,7 +3485,27 @@
void UhdmAst::process_case_item()
{
- current_node = make_ast_node(AST::AST_COND);
+ auto cond_type = AST::AST_COND;
+ if (vpiHandle parent_h = vpi_handle(vpiParent, obj_h)) {
+ switch (vpi_get(vpiCaseType, parent_h)) {
+ case vpiCaseExact:
+ cond_type = AST::AST_COND;
+ break;
+ case vpiCaseX:
+ cond_type = AST::AST_CONDX;
+ break;
+ case vpiCaseZ:
+ cond_type = AST::AST_CONDZ;
+ break;
+ default: {
+ const uhdm_handle *const handle = (const uhdm_handle *)obj_h;
+ const UHDM::BaseClass *const object = (const UHDM::BaseClass *)handle->object;
+ report_error("%.*s:%d: Unknown case type", (int)object->VpiFile().length(), object->VpiFile().data(), object->VpiLineNo());
+ }
+ }
+ vpi_release_handle(parent_h);
+ }
+ current_node = make_ast_node(cond_type);
vpiHandle itr = vpi_iterate(vpiExpr, obj_h);
while (vpiHandle expr_h = vpi_scan(itr)) {
// case ... inside statement, the operation is stored in UHDM inside case items
