mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-07 09:55:20 +00:00
Code Activity

Merge pull request #2468 from whitequark/cxxrtl-assert

Browse source 
cxxrtl: use CXXRTL_ASSERT for RTL contract violations instead of assert
This commit is contained in:
whitequark 2020-12-02 23:36:22 +00:00 committed by GitHub
parent 3cb109f54b aa0a15a42c
commit 3e13cfe53d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 16 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
backends/cxxrtl/cxxrtl.h
View file

@ -53,6 +53,20 @@
#define CXXRTL_ALWAYS_INLINE inline #define CXXRTL_ALWAYS_INLINE inline
#endif #endif
// CXXRTL uses assert() to check for C++ contract violations (which may result in e.g. undefined behavior
// of the simulation code itself), and CXXRTL_ASSERT to check for RTL contract violations (which may at
// most result in undefined simulation results).
//
// Though by default, CXXRTL_ASSERT() expands to assert(), it may be overridden e.g. when integrating
// the simulation into another process that should survive violating RTL contracts.
#ifndef CXXRTL_ASSERT
#ifndef CXXRTL_NDEBUG
#define CXXRTL_ASSERT(x) assert(x)
#else
#define CXXRTL_ASSERT(x)
#endif
#endif
namespace cxxrtl { namespace cxxrtl {
// All arbitrary-width values in CXXRTL are backed by arrays of unsigned integers called chunks. The chunk size // All arbitrary-width values in CXXRTL are backed by arrays of unsigned integers called chunks. The chunk size

4
backends/cxxrtl/cxxrtl_backend.cc
View file

@ -1162,7 +1162,7 @@ struct CxxrtlWorker {
// larger program) will never crash the code that calls into it. // larger program) will never crash the code that calls into it.
// //
// If assertions are disabled, out of bounds reads are defined to return zero. // If assertions are disabled, out of bounds reads are defined to return zero.
f << indent << "assert(" << valid_index_temp << ".valid && \"out of bounds read\");\n"; f << indent << "CXXRTL_ASSERT(" << valid_index_temp << ".valid && \"out of bounds read\");\n";
f << indent << "if(" << valid_index_temp << ".valid) {\n"; f << indent << "if(" << valid_index_temp << ".valid) {\n";
inc_indent(); inc_indent();
if (writable_memories[memory]) { if (writable_memories[memory]) {
@ -1219,7 +1219,7 @@ struct CxxrtlWorker {
// See above for rationale of having both the assert and the condition. // See above for rationale of having both the assert and the condition.
// //
// If assertions are disabled, out of bounds writes are defined to do nothing. // If assertions are disabled, out of bounds writes are defined to do nothing.
f << indent << "assert(" << valid_index_temp << ".valid && \"out of bounds write\");\n"; f << indent << "CXXRTL_ASSERT(" << valid_index_temp << ".valid && \"out of bounds write\");\n";
f << indent << "if (" << valid_index_temp << ".valid) {\n"; f << indent << "if (" << valid_index_temp << ".valid) {\n";
inc_indent(); inc_indent();
f << indent << mangle(memory) << ".update(" << valid_index_temp << ".index, "; f << indent << mangle(memory) << ".update(" << valid_index_temp << ".index, ";