a0b1272a62
Fix signed/unsigned warnings
...
Fixed some signed/unsigned warnings, including one that caused an
actual runtime error if not dealt with safely.
Signed-off-by: Stephen Williams <steve@icarus.com>
2007-10-09 21:19:38 -07:00
ae16eacec9
Argument to $unsigned is self-determined.
...
The argument to $unsigned is self-determined no matter what the
context the $unsigned itself is in. This is important only where
the result can be negative but the result width is context-determined.
Do ocntext fitting manually to prevent the context fitting it and
affecting the expression argument.
Signed-off-by: Stephen Williams <steve@icarus.com>
2007-10-09 20:46:17 -07:00
c7edace243
Unsized integers have minimum size
...
Fix the handling of expressions that have unsized integers and are
in self determined context. Unsized integers are generally assumed
to have at least 32bits.
Signed-off-by: Stephen Williams <steve@icarus.com>
2007-10-08 19:58:49 -07:00
d587499276
test_width method for functions in expressions
...
In expressions, user defined functions have a clearly defined
width and the test_width expression needs to express that. Note
that the $signed/$unsigned functions are special and magical.
Signed-off-by: Stephen Williams <steve@icarus.com>
2007-10-01 20:38:20 -07:00
3b94c122b7
Constant concat operands are self determined
...
distinguish between self-determined and value-preserving when
evaluating constants that are arguments to concatenations.
Signed-off-by: Stephen Williams <steve@icarus.com>
2007-08-09 22:08:54 -07:00
42fe46a7db
Elaborate memory references with non-zero bases.
...
This fixes r-value type references to memory words for memories
that have a non-zero base address. Elaborate the expression
needed to get the canonical word index.
2007-07-21 17:19:24 -07:00
6b0c62c9c4
Minor improvements to $bits implementation
...
Signed-off-by: Stephen Williams <steve@icarus.com>
2007-07-17 18:05:48 -07:00
371c5d932d
Correct wrong or misleading comments.
2007-07-06 12:46:32 -07:00
a72977a7ed
Bit select of array word
...
fix support for bit select of array word in behavioral expressions.
2007-07-03 20:17:43 -07:00
d7c3a32b06
Fix code generation for real expressions
...
Real value are vector width of 1, fix real literal to reflect this.
fix leaking real registers in code generation for function arguments.
Load of signal should handle conversion from real to vector. Function
arguments, type vector passed a real value, are an example where this
comes up.
Signed-off-by: Stephen Williams <steve@icarus.com>
2007-06-29 21:10:37 -07:00
845e74c30e
Evaluate parameter expressions losslessly
...
Make sure parameter expressions are evaluated losslessly, as if
the l-value is unsigned and thus virtually infinite.
2007-06-27 22:05:36 -07:00
59a43ab2ce
Do not match scopes in ident expressions
...
Identifiers in expressions cannot be scope names, even
though the special case of a simple system task argument
expression allows it.
2007-06-25 20:33:40 -07:00
9d2dd782c0
Get offsets right for non-zero and reversed part selects.
...
Signed-off-by: Stephen Williams <steve@icarus.com>
2007-06-15 16:59:24 -07:00
c7d97f4146
Properly evaluate scope path expressions.
2007-06-02 03:42:12 +00:00
ddd36ecb6c
Rework the heirarchical identifier parse syntax and pform
...
to handle more general combinations of heirarch and bit selects.
2007-05-24 04:07:11 +00:00
0168502bbb
Get offsets into indexed part selects correct.
2007-04-01 05:28:26 +00:00
9e21880cdc
Handle part select of array words.
2007-03-26 19:23:13 +00:00
32fb919b00
Replace some asserts with ivl_asserts.
2007-03-14 05:06:49 +00:00
ae88f5cc68
Lint fixes.
2007-03-07 00:38:15 +00:00
760f2182ba
Support signed function return values.
2007-03-06 05:22:49 +00:00
b21390b228
Better error message when operating on array.
2007-03-02 01:55:36 +00:00
ca9da51a79
Precalculate constant power expressions, and constant function arguments.
2007-01-19 05:42:40 +00:00
91d84e7dc7
Major rework of array handling. Memories are replaced with the
...
more general concept of arrays. The NetMemory and NetEMemory
classes are removed from the ivl core program, and the IVL_LPM_RAM
lpm type is removed from the ivl_target API.
2007-01-16 05:44:14 +00:00
34b5a31ff4
Add test_width methods for PETernary and PEString.
2006-11-10 04:54:26 +00:00
c339dc4bbc
Remove last bits of relax_width methods, and use test_width
...
to calculate the width of an r-value expression that may
contain unsized numbers.
2006-11-04 06:19:24 +00:00
2302693201
Expression widths with unsized literals are pseudo-infinite width.
2006-10-30 05:44:49 +00:00
2a8b960b06
More detailed internal error message.
2006-10-15 03:25:57 +00:00
69cd007a71
Support real valued specify delays, properly scaled.
2006-10-03 05:06:00 +00:00
d6be82f748
Support selective control of specify and xtypes features.
2006-09-28 04:35:18 +00:00
7e3ea2ffe8
Allow specparams as constants in expressions.
2006-09-28 00:29:49 +00:00
92cb1d4e2d
Use elab_and_eval for bit select expressions.
2006-09-19 23:00:15 +00:00
50800fd3a1
Add support for real valued modulus.
2006-08-09 05:19:08 +00:00
49b65e86fe
Add support for power in constant expressions.
2006-07-31 03:50:17 +00:00
aab6fefd8a
Fix context determined with of constants.
2006-07-07 04:06:37 +00:00
71faebd6df
Make elaborate_expr methods aware of the width that the context
...
requires of it. In the process, fix sizing of the width of unary
minus is context determined sizes.
2006-06-02 04:48:49 +00:00
53ae1f29c9
Fix broken subtraction of small constants.
2006-06-01 03:54:51 +00:00
fc5cf55400
Use elab_and_eval to evaluate genvar expressions.
2006-04-12 05:05:03 +00:00
d434dd7296
Allow part selects of memory words in l-values.
2006-02-02 02:43:57 +00:00
908955c72c
Handle bit select of parameter with ranges.
2005-11-27 05:56:20 +00:00
b416ae047b
Fix compile warning.
2005-11-14 22:11:52 +00:00
c02b3b8ac6
Reorganize signal part select handling, and add support for
...
indexed part selects.
Expand expression constant propagation to eliminate extra
sums in certain cases.
2005-11-10 13:28:11 +00:00
a652719876
Add support for indexed select attached to parameters.
2005-10-04 04:09:25 +00:00
be73be8c98
Spelling patches from Larry.
2005-09-19 21:45:35 +00:00
9fd16575d9
Support bool expressions and compares handle them optimally.
2005-09-14 02:53:13 +00:00
4902c222fb
Check operand types for compatibility.
2005-09-01 04:10:47 +00:00
b9799cf6ec
Remove NetVariable and ivl_variable_t structures.
2005-07-11 16:56:50 +00:00
dfb7c7ba6f
Remove the NetEBitSel and combine all bit/part select
...
behavior into the NetESelect node and IVL_EX_SELECT
ivl_target expression type.
2005-01-24 05:28:30 +00:00
65e9b6be12
Rework of internals to carry vectors through nexus instead
...
of single bits. Make the ivl, tgt-vvp and vvp initial changes
down this path.
2004-12-11 02:31:25 +00:00
e4ae832153
Clean up spurious trailing white space.
2004-10-04 01:10:51 +00:00
7f67afe9d5
Add support for $unsigned.
2004-08-28 15:42:11 +00:00
49366d1334
Add the $is_signed function.
2004-08-26 03:51:51 +00:00
b3529d8593
Help system function signedness survive elaboration.
2004-06-17 16:06:18 +00:00
dd69872266
Special case for unary - of real literal.
2004-06-04 23:34:15 +00:00
5472b27e1f
Rewire/generalize parsing an elaboration of
...
function return values to allow for better
speed and more type support.
2004-05-31 23:34:36 +00:00
a0ed5e9e29
Separate out the lookup_sys_func table, for eventual
...
support for function type tables.
Remove ipal compile flags.
2004-03-09 04:29:42 +00:00
1295058e5d
parameter keys are per_strings.
2004-02-20 06:22:56 +00:00
de7f87853d
Generate error when missing concatenation operands.
2004-01-21 04:57:40 +00:00
e9f1fd012c
Put parameter name in NetEConstParam, not scope.
2003-10-09 16:52:52 +00:00
da7956a797
Fix name search in elab_lval.
2003-09-19 03:30:04 +00:00
21ff80075a
Various warnings fixed.
2003-06-24 01:38:02 +00:00
71a404a546
Add arithmetic shift operators.
2003-06-18 03:55:18 +00:00
6827aef285
PR735: bit select indices are signed constants.
2003-06-10 04:29:57 +00:00
5903f0744c
Support parameters in real expressions and
...
as real expressions, and fix multiply and
divide with real results.
2003-05-30 02:55:32 +00:00
f1cc9d865b
Support event names as expressions elements.
2003-04-22 04:48:29 +00:00
2879ed4388
Set line number for ternary expressions.
2003-04-19 04:19:38 +00:00
6fcbc0e59a
Fix xz extension of constants.
2003-04-02 04:25:26 +00:00
9a1612b99b
Scope names can be relative.
2003-03-25 03:00:04 +00:00
6d94f2ea55
Better organize the NetESFunc return type guesses.
2003-03-15 04:46:28 +00:00
1222153cdf
Keep parameter constants for the ivl_target API.
2003-03-10 23:40:53 +00:00
f40ea15cce
Implement $realtobits.
2003-03-07 02:44:33 +00:00
8f0c02c0fa
Spelling fixes.
2003-01-27 05:09:17 +00:00
46253ed873
Rework expression parsing and elaboration to
...
accommodate real/realtime values and expressions.
2003-01-26 21:15:58 +00:00
c2070777b2
The $time system task returns the integer time
...
scaled to the local units. Change the internal
implementation of vpiSystemTime the $time functions
to properly account for this. Also add $simtime
to get the simulation time.
2002-12-21 00:55:57 +00:00
0128286966
Allow constant bit selects out of range.
2002-09-21 21:28:18 +00:00
616360d751
Spelling errors.
2002-09-18 04:08:45 +00:00
dac99b9374
Add support for binary nand operator.
2002-09-12 15:49:43 +00:00
4de141ab1d
Support parameters with defined ranges.
2002-08-19 02:39:16 +00:00
52bf4e613f
conditional ident string using autoconfig.
2002-08-12 01:34:58 +00:00
a82c178fd9
Fix expression width for repeat concatenations.
2002-06-14 21:38:41 +00:00
fde7cd8f10
Add support for $bits (SystemVerilog)
2002-05-24 00:44:54 +00:00
a3eb6868ea
Allow parameters in concatenation of widths are defined.
2002-05-06 02:30:27 +00:00
8667b9a35d
Put off evaluation of concatenation repeat expresions
...
until after parameters are defined. This allows parms
to be used in repeat expresions.
Add the builtin $signed system function.
2002-05-05 21:11:49 +00:00
84020b16e3
Preserve stringiness string part select and concatenation.
2002-04-27 05:03:46 +00:00
7f8f0eb65a
Support selecting bits from parameters.
2002-04-27 02:38:04 +00:00
c7107dc973
Evaluate constant bit select of constants.
2002-04-25 05:04:31 +00:00
ea44866b2f
Evaluate logical not at elaboration time.
2002-04-14 21:16:48 +00:00
5cf7355c91
Precalculate unary - if possible.
2002-04-14 03:55:25 +00:00
6733f7625b
Detect missing indices to memories (PR#421)
2002-04-13 02:33:17 +00:00
b7c2bd4f72
Add the NetUserFunc netlist node.
2002-03-09 02:10:22 +00:00
364ffc9024
Add support for bit select of parameters.
...
This leads to a NetESelect node and the
vvp code generator to support that.
2002-01-28 00:52:41 +00:00
c6a937e2e7
The stime system function is 32bits.
2002-01-11 05:25:45 +00:00
51db00fb44
Support $signed cast of expressions.
2001-12-31 00:08:14 +00:00
9c6b17c887
Allow escaped $ in identifiers.
2001-12-29 20:41:30 +00:00
ab6c8cb4b8
Parser and pform use hierarchical names as hname_t
...
objects instead of encoded strings.
2001-12-03 04:47:14 +00:00
9d1a81ce2c
Handle division and modulus by zero while
...
evaluating run-time constants.
2001-11-19 02:54:12 +00:00
cfed3933fa
Port close cropping behavior from mcrgb
...
Move window array reset to libmc.
2001-11-19 01:54:14 +00:00
bf72f39fe9
eval_const uses scope instead of a string path.
2001-11-07 04:01:59 +00:00
ef08e43cf2
support local reference to scope in expressions.
2001-07-29 22:22:40 +00:00
becc7cb56a
Handle part select expressions as variants of
...
NetESignal/IVL_EX_SIGNAL objects, instead of
creating new and useless temporary signals.
2001-07-27 04:51:44 +00:00
b825f8d2b2
Create a config.h.in file to hold all the config
...
junk, and support gcc 3.0. (Stephan Boettcher)
2001-07-25 03:10:48 +00:00
Stephen Williams
Martin Whitaker
Larry Doolittle
steve