V0.9: 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 16:18:10 -07:00 committed by Stephen Williams
parent 9d6d9fd9d6
commit 6c996c1056
2 changed files with 1 additions and 34 deletions

View File

@ -1,5 +1,5 @@
/*
* Copyright (c) 2002-2009 Stephen Williams (steve@icarus.com)
* Copyright (c) 2002-2010 Stephen Williams (steve@icarus.com)
*
* This source code is free software; you can redistribute it
* and/or modify it in source code form under the terms of the GNU
@ -53,17 +53,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 (%" PRIu64 ",%" PRIu64 ",%" PRIu64 ") L_%p/d;\n",
net, get_number_immediate64(d_rise),
get_number_immediate64(d_fall),

View File

@ -878,17 +878,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 (%" PRIu64 ",%" PRIu64 ",%" PRIu64 ") L_%p/d;\n",
lptr, get_number_immediate64(rise_exp),
get_number_immediate64(fall_exp),
@ -1099,17 +1088,6 @@ static const char* draw_lpm_output_delay(ivl_lpm_t net)
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 (%" PRIu64 ",%" PRIu64 ",%" PRIu64 ")"
" L_%p/d;\n", net, get_number_immediate64(d_rise),