Skip to content

Conversation

kroening
Copy link
Collaborator

@kroening kroening commented Jun 26, 2024

This adds five system functions that provide information about array types.

@kroening kroening marked this pull request as ready for review June 26, 2024 15:03
@kroening kroening changed the title Verilog: add KNOWNBUG test for $low, $high, $left, $right Verilog: $low, $high, $increment, $left, $right Jun 27, 2024
This adds five system functions that provide information about array types.
type.id() == ID_bool)
{
auto offset = type.get_int(ID_C_offset);
if(type.get_bool(ID_C_little_endian))
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Will this be affected by #584?

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Of course!

@kroening kroening merged commit 21146f9 into main Jun 28, 2024
@kroening kroening deleted the array_functions1 branch June 28, 2024 20:46
Romy15200 pushed a commit to Romy15200/nws that referenced this pull request Aug 19, 2025
Verilog: `$low`, `$high`, `$increment`, `$left`, `$right`
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants