eac6333d6c
Add missing deletes for patch "Add real compar..."
...
Add two deletes that I missed in the previous patch.
2008-01-15 19:48:49 -08:00
1ff31db2cc
Add real comparisons in continuous assignments.
...
This patch adds real comparisons in continuous assignments.
It also converts bit based constants to real values when needed
by the comparisons.
2008-01-15 19:48:26 -08:00
3b89c1767c
Merge branch 'pr1864110'
2008-01-08 18:56:12 -08:00
1f7957c612
Fix type handling of real-value system functions in nets
...
In nets, if system functions return a real value the function lookup
was getting the correct width, but was also setting the width to 0,
which confused down-stream net handling. Real-value system fuctions
have a width of 1. (1 real-valued scalar.)
2008-01-08 18:54:55 -08:00
f8d410e2d4
remove lint flagged by gcc-4.3
...
watch for possible behavior changes in
elaborate.cc:3409
vvp/vvp_net.cc:600
2008-01-07 18:39:10 -08:00
36bbf6ef5a
Handle real-valued unary in general
...
Handle the unary minus with general sub-expressions.
2008-01-06 20:54:33 -08:00
9d55597b26
Elaborate net of real-value constant
...
Handle the special case of a unary minus net with the operand
that is a real-valued constant.
2008-01-06 19:59:31 -08:00
8ea3b6b0b8
header includes for gcc-4.3 compatibility
...
minimal changes required to build without error
tested with gcc-4.3 (Debian 4.3-20071130-1) 4.3.0 20071130 (experimental)
2008-01-04 16:14:44 -08:00
25ad1c174a
Clean up compiler warnings
...
stupid changes to shut up the compiler
tested with gcc-4.2.2
2008-01-04 15:57:09 -08:00
7975e14b5c
LineInfo uses perm_string for path.
...
Rework the handling of file names to use a perm_string heap to hold
the file names, instead of the custom file name heap in the lexor.
Also rename the get_line to get_fileline to reflect its real duties.
This latter chage touched a lot of files.
2007-12-20 12:31:01 -05:00
e26b9e72a2
More array fixes and down indexed part selects can be a lval.
...
Here are some more array fixes. They are mostly better error messages
instead of just asserting and some code cleanup. The one new thing
that probably should have been a separate submission is that down
indexed part select [base -: width] can now be a lvalue.
2007-11-07 20:53:27 -08:00
51293b6e91
Fix/enhance array part select code.
...
This patch fixes/enhances the array part select code. It also
verifies that any lval array index in a continuous assignment
is a constant value. Also, %set/av now uses index register 1 as
described in the documentation (as a bit offset).
2007-11-07 20:52:56 -08:00
e39b3fea1f
Display a warning for a part select of an array.
...
It is illegal to perform a part select on an array. This patch
adds an error message instead of failing an assert.
2007-11-07 20:28:46 -08:00
27b704b054
Regularize padding of signed constants
...
Factor common code for processing signed constants to be padded.
In the process, fix some minor bugs in the padding decisions.
Signed-off-by: Stephen Williams <steve@icarus.com>
2007-10-15 20:17:06 -07:00
371c5d932d
Correct wrong or misleading comments.
2007-07-06 12:46:32 -07:00
018f1a6e7f
Handle indexed part select in continuous assign.
...
Non-constant indexed part select in continuous assignment generates
a select node with the correct width. In the process factor out and
share some of the part select calculations with expr part select
handling methods.
Signed-off-by: Stephen Williams <steve@icarus.com>
2007-07-02 20:53:02 -07:00
8ec6d9983d
Put instantiated modules in the proper generated scope.
2007-06-12 04:05:45 +00:00
129a064e1a
Handle bit/part select of array words in nets.
2007-06-04 02:19:07 +00: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
22efa9f066
Fix elaboration of multiply of two constants.
2007-04-18 01:40:49 +00:00
fe65ae8db0
Support part select of array words in net contexts.
2007-04-17 04:18:10 +00:00
611d2c81b3
Spelling fixes from Larry
2007-03-22 16:08:14 +00:00
bb02da0319
Better error message around repeat concatenation syntax.
2007-02-27 06:10:16 +00:00
6804732b9e
Spelling fixes (larry doolittle)
2007-02-26 19:49:48 +00:00
326329d497
Set some missing local flags.
2007-02-05 01:42:31 +00:00
d52f41535f
Ternary output node is local.
2007-02-01 19:06:06 +00:00
074a6a44e3
Detect and report arrays without index in net contexts.
2007-02-01 03:14:33 +00:00
b2e1db6adb
Add method to bind assertions to verilog source lines.
2007-01-31 04:21:10 +00:00
4b829bf04f
Get argument widths right for shift results.
2007-01-20 02:10:45 +00:00
e4d7eda02a
Fix missing data_type mark for array words.
2007-01-19 04:26:24 +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
d7de70bdeb
Prevent name clash when processing parameter in net.
2006-12-08 03:43:26 +00:00
041091cfac
Fix nexus widths for direct link assign and ternary nets.
2006-11-26 06:29:16 +00:00
fc0695beb6
Handle 64bit delay constants.
2006-08-08 05:11:37 +00:00
33a391cb71
Sign extend operands of signed addition.
2006-06-20 05:06:47 +00:00
80f30be9d0
Add support for system functions in continuous assignments.
2006-06-18 04:15:50 +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
019d61f633
Get self-determined unary - width right.
2006-05-19 04:44:55 +00:00
a8b86ea3bb
More explicit datatype setup.
2006-05-01 20:47:58 +00:00
0c9fb766b6
Get the data type of part select results right.
2006-04-30 05:17:48 +00:00
47b72c3b74
Handle padding of MUX net results.
2006-04-28 05:09:51 +00:00
a2c036d5ab
Allow concatenations as arguments to inout ports.
2006-04-28 04:28:35 +00:00
c2ff3d501c
Fix support for indexed part select in continuous assign l-values.
2006-04-24 05:15:07 +00:00
decfbff2b1
Clean up index expression error message.
2006-04-10 00:32:14 +00:00
d434dd7296
Allow part selects of memory words in l-values.
2006-02-02 02:43:57 +00:00
58f182a159
Node delays can be more general expressions in structural contexts.
2006-01-02 05:33:19 +00:00
07f345da4d
Logical or/and return VT_LOGIC type.
2005-10-11 16:15:52 +00:00
21af0dbe3f
Fix data type of parameters to logic.
2005-09-19 15:21:09 +00:00
7235706923
Make sure div, mod and mult nodes have line number info.
2005-09-15 23:04:09 +00:00
4dfdc147c5
fit type elaboration of logical not.
2005-09-14 15:15:44 +00:00
4902c222fb
Check operand types for compatibility.
2005-09-01 04:10:47 +00:00
b69f59f2ec
Handle memory references is continuous assignments.
2005-08-31 05:07:31 +00:00
4a8be3db9c
Implement bi-directional part selects.
2005-08-06 17:58:16 +00:00
9a16e030b5
Match data type of PV select input/output.
2005-07-15 04:13:25 +00:00
d353ddb660
Get output type correct for binary mux (ternary) expression.
2005-07-15 00:42:02 +00:00
b9799cf6ec
Remove NetVariable and ivl_variable_t structures.
2005-07-11 16:56:50 +00:00
75ad90534b
Generalize signals to carry types.
2005-07-07 16:22:49 +00:00
739a1839ed
Do sign extension of structuran nets.
2005-05-24 01:44:27 +00:00
06e08dbdf0
Make sure comparison widths match.
2005-05-19 03:51:38 +00:00
c34e44dad0
Make sig-eq-constant optimization more effective.
2005-05-10 05:10:40 +00:00
7dd0d255a6
Add support for variable part select.
2005-05-08 23:40:14 +00:00
d548c9a5f8
Handle synthesis of concatenation expressions.
2005-05-06 00:25:13 +00:00
e8a6835d36
Make clear that memory addresses are cannonical.
2005-04-08 04:52:31 +00:00
65c7ec00e7
Rework NetRamDq and IVL_LPM_RAM nodes.
2005-04-06 05:29:08 +00:00
8184dfaed8
Handle wide operands to logical AND.
2005-03-19 06:59:53 +00:00
ca488dff4e
Handle LPM shifts.
2005-03-19 06:23:49 +00:00
53da6e9a33
Add support for LPM_UFUNC user defined functions.
2005-03-18 02:56:03 +00:00
0f914bf35a
UPdate elabrate continuous assighn of string to net.
2005-03-13 01:26:48 +00:00
ab1ca54df2
Update support for LPM_MOD.
2005-03-12 06:43:35 +00:00
1c5b4881d7
Handle case inequality in netlists.
2005-03-09 05:52:03 +00:00
257e1f9516
Support shifts and divide.
2005-02-19 02:43:38 +00:00
d74177634c
Restructure NetMux devices to pass vectors.
...
Generate NetMux devices from ternary expressions,
Reduce NetMux devices to bufif when appropriate.
2005-02-12 06:25:40 +00:00
97f83ffbe3
laborate reduction gates into LPM_RED_ nodes.
2005-02-03 04:56:20 +00:00
20be0351ae
Elaborate unary subtract and NOT in netlist
...
contexts, and concatenation too.
2005-01-30 05:20:38 +00:00
609b6a7baa
Netlist boolean expressions generate gate vectors.
2005-01-29 18:46:18 +00:00
e04fb5c083
Elaborate parameter reference to desired width without concats.
2005-01-29 16:46:22 +00:00
ade5bdcafe
Integrate pr1072 fix from v0_8-branch.
2005-01-29 00:37:06 +00:00
99ace10774
Simplified NetMult and IVL_LPM_MULT.
2005-01-28 05:39:33 +00:00
25de448d34
Remove obsolete NetSubnet class.
2005-01-22 18:16:00 +00:00
e28636776a
Change case compare from logic to an LPM node.
2005-01-22 01:06:55 +00:00
bf6a5d0f50
Implement LPM_COMPARE nodes as two-input vector functors.
2005-01-16 04:20:32 +00:00
ead2481793
Fix elaboration of == compared to constants.
2005-01-13 00:23:10 +00:00
9e94afe399
Use PartSelect/PV and VP to handle part selects through ports.
2005-01-09 20:16:00 +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
51dd41f81a
Fix excessive error message.
2004-10-04 03:09:38 +00:00
e4ae832153
Clean up spurious trailing white space.
2004-10-04 01:10:51 +00:00
2abdcfcaa4
Error message to match assertion.
2004-10-04 00:25:46 +00:00
180bfc5e72
Detect and prevent implicit declaration of hierarchical names.
2004-09-24 04:25:19 +00:00
7f67afe9d5
Add support for $unsigned.
2004-08-28 15:42:11 +00:00
3dbc07f34d
Implement signed divide and signed right shift in nets.
2004-06-30 02:16:26 +00:00
9ee0210cac
Code cleanup from Larry.
2004-06-24 15:22:23 +00:00
69cfdbdc54
Fix broken calcuation of NE for constant.
2004-06-22 18:41:48 +00:00
03d7448550
compare-to-constant uses sig len, not val len.
2004-06-18 16:38:22 +00:00
fd371a3958
Handle equality compare to constants specially.
2004-06-16 23:32:58 +00:00
9949040285
Add support for the default_nettype directive.
2004-06-13 04:56:53 +00:00
ba309e60bb
Fix synthesis method for logical and/or
2004-06-01 01:04:57 +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
177b6ffb6a
Addtrbute keys are perm_strings.
2004-02-20 18:53:33 +00:00
27af95d402
Use perm_strings for named langiage items.
2004-02-18 17:11:54 +00:00
Cary R
Stephen Williams
Larry Doolittle
steve