mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-03 21:09:12 +00:00
Code Activity

Added asserts for current limitation of array dimensions in packed structs

Browse source
This commit is contained in:
Dag Lem 2022-11-30 23:32:41 +01:00
parent 15c8e74329
commit 64f88eb7f1
1 changed files with 8 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

8
frontends/ast/simplify.cc
View file

@ -293,6 +293,8 @@ static void save_struct_range_swapped(AstNode *node, bool range_swapped)
static int get_struct_array_width(AstNode *node) static int get_struct_array_width(AstNode *node)
{ {
// This function is only useful for up to two array dimensions.
log_assert(node->multirange_dimensions.size() <= 2);
// the stride for the array, 1 if not an array // the stride for the array, 1 if not an array
return (node->multirange_dimensions.size() != 2 ? 1 : node->multirange_dimensions[1]); return (node->multirange_dimensions.size() != 2 ? 1 : node->multirange_dimensions[1]);
@ -446,6 +448,8 @@ static AstNode *offset_indexed_range(int offset, int stride, AstNode *left_expr,
static AstNode *make_struct_index_range(AstNode *node, AstNode *rnode, int stride, int offset, AstNode *member_node) static AstNode *make_struct_index_range(AstNode *node, AstNode *rnode, int stride, int offset, AstNode *member_node)
{ {
// This function should be rewritten to support more than two array dimensions.
log_assert(member_node->multirange_dimensions.size() <= 2 && member_node->multirange_swapped.size() <= 2);
if (member_node->multirange_swapped[0]) { if (member_node->multirange_swapped[0]) {
// The struct item has swapped range; swap index into the struct accordingly. // The struct item has swapped range; swap index into the struct accordingly.
int msb = member_node->multirange_dimensions[0] - 1; int msb = member_node->multirange_dimensions[0] - 1;
@ -470,6 +474,8 @@ static AstNode *make_struct_index_range(AstNode *node, AstNode *rnode, int strid
static AstNode *slice_range(AstNode *rnode, AstNode *snode, AstNode *member_node) static AstNode *slice_range(AstNode *rnode, AstNode *snode, AstNode *member_node)
{ {
// This function should be rewritten to support more than two array dimensions.
log_assert(member_node->multirange_dimensions.size() <= 2 && member_node->multirange_swapped.size() <= 2);
if (member_node->multirange_swapped[1]) { if (member_node->multirange_swapped[1]) {
// The second dimension has swapped range; swap index into the struct accordingly. // The second dimension has swapped range; swap index into the struct accordingly.
int msb = member_node->multirange_dimensions[1] - 1; int msb = member_node->multirange_dimensions[1] - 1;
@ -503,6 +509,8 @@ AstNode *AST::make_struct_member_range(AstNode *node, AstNode *member_node)
// no range operations apply, return the whole width // no range operations apply, return the whole width
return make_range(range_left, range_right); return make_range(range_left, range_right);
} }
// This function should be rewritten to support more than two array dimensions.
log_assert(member_node->multirange_dimensions.size() <= 2 && member_node->multirange_swapped.size() <= 2);
int stride = get_struct_array_width(member_node); int stride = get_struct_array_width(member_node);
if (node->children.size() == 1 && node->children[0]->type == AST_RANGE) { if (node->children.size() == 1 && node->children[0]->type == AST_RANGE) {
// bit or array indexing e.g. s.a[2] or s.a[1:0] // bit or array indexing e.g. s.a[2] or s.a[1:0]