We have already verified that we have a 64 bit immediate value.

These checks are not needed since we have already verified that
we have a 64 bit immediate value. This is likely old code that
should have been removed when the original functionality was
changed.
This commit is contained in:
Cary R 2010-07-12 15:56:15 -07:00 committed by Stephen Williams
parent 2bf3f5d1d3
commit 6fbf47025f
2 changed files with 0 additions and 33 deletions

View File

@ -60,17 +60,6 @@ static void draw_lpm_mux_ab(ivl_lpm_t net, const char*muxz)
assert( ! number_is_unknown(d_fall));
assert( ! number_is_unknown(d_decay));
// .delay (x,y,z) only supports a 64 bit delay value.
if ((! number_is_immediate(d_rise, 64, 0)) ||
(! number_is_immediate(d_fall, 64, 0)) ||
(! number_is_immediate(d_decay, 64, 0))) {
fprintf(stderr, "%s:%u: vvp-tgt sorry: only 64 bit "
"delays are supported in a continuous "
"assignment.\n", ivl_expr_file(d_rise),
ivl_expr_lineno(d_rise));
exit(1);
}
fprintf(vvp_out, "L_%p .delay %u (%" PRIu64 ",%" PRIu64 ",%" PRIu64 ") L_%p/d;\n",
net, dly_width,
get_number_immediate64(d_rise),

View File

@ -901,17 +901,6 @@ static void draw_logic_in_scope(ivl_net_logic_t lptr)
assert(! number_is_unknown(fall_exp));
assert(! number_is_unknown(decay_exp));
// .delay (x,y,z) only supports a 64 bit delay value.
if ((! number_is_immediate(rise_exp, 64, 0)) ||
(! number_is_immediate(fall_exp, 64, 0)) ||
(! number_is_immediate(decay_exp, 64, 0))) {
fprintf(stderr, "%s:%u: vvp-tgt sorry: only 64 bit "
"delays are supported in a continuous "
"assignment.\n", ivl_expr_file(rise_exp),
ivl_expr_lineno(rise_exp));
assert(0);
}
fprintf(vvp_out, "L_%p .delay %u (%" PRIu64 ",%" PRIu64 ",%" PRIu64 ") L_%p/d;\n",
lptr, dly_width,
get_number_immediate64(rise_exp),
@ -1146,17 +1135,6 @@ static const char* draw_lpm_output_delay(ivl_lpm_t net, ivl_variable_type_t dt)
assert(! number_is_unknown(d_fall));
assert(! number_is_unknown(d_decay));
// .delay (x,y,z) only supports a 64 bit delay value.
if ((! number_is_immediate(d_rise, 64, 0)) ||
(! number_is_immediate(d_fall, 64, 0)) ||
(! number_is_immediate(d_decay, 64, 0))) {
fprintf(stderr, "%s:%u: vvp-tgt sorry: only 64 bit "
"delays are supported in a continuous "
"assignment.\n", ivl_expr_file(d_rise),
ivl_expr_lineno(d_rise));
assert(0);
}
dly = "/d";
fprintf(vvp_out, "L_%p .delay %u (%" PRIu64 ",%" PRIu64 ",%" PRIu64 ")"
" L_%p/d;\n", net, width,