[Fix] Issue #458: Add SHLS Support for hcl.assert_

cornell-zhang / heterocl

HeteroCL: A Multi-Paradigm Programming Infrastructure for Software-Defined Heterogeneous Computing

https://cornell-zhang.github.io/heterocl/

Apache License 2.0

322 stars 92 forks source link

Closed zzzDavid closed 2 years ago

zzzDavid commented 2 years ago

Fixed issue: #458

Detailed description:

This PR fixes two things:

The code_analysis.h pass doesn't have Assert stmt visitor, which causes an error saying that it doesn't support this node. This PR adds this visitor.
SHLS's implementation of Assert node was wrong, we should use SC_ASSERT instead of assert.

Link to the tests: tests/issues/test_issue_458.py