luke
/
iverilog
mirror of https://github.com/steveicarus/iverilog.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Warn that &A<> may have problems with a signed select from thread space. 

Like the &PV<> code we should warn the user that a signed select
from thread space may not work correctly for &A<>. This will be fixed
in development.
(cherry picked from commit 1851cba955)
This commit is contained in:
Cary R 2009-09-17 10:47:35 -07:00 committed by Stephen Williams
parent 9c624a2403
commit d0a45ffe9d
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
tgt-vvp/draw_vpi.c
View File

@ -155,6 +155,17 @@ static int get_vpi_taskfunc_signal_arg(struct args_info *result,
/* Fallback case: evaluate expression. */ /* Fallback case: evaluate expression. */
struct vector_info av; struct vector_info av;
av = draw_eval_expr(word_ex, STUFF_OK_XZ); av = draw_eval_expr(word_ex, STUFF_OK_XZ);
/* We need to enhance &A<> to support a signed index. */
if (ivl_expr_signed(word_ex) &&
(ivl_expr_width(word_ex) < 8*sizeof(int))) {
fprintf(stderr, "%s:%u: tgt-vvp warning: V0.9 "
"may give incorrect results for "
"an array select with a signed "
"index less than %zu bits.\n",
ivl_expr_file(expr),
ivl_expr_lineno(expr),
8*sizeof(int));
}
snprintf(buffer, sizeof buffer, "&A<v%p, %u %u>", snprintf(buffer, sizeof buffer, "&A<v%p, %u %u>",
sig, av.base, av.wid); sig, av.base, av.wid);
result->vec = av; result->vec = av;