9802 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Eddie Hung	43659e7c6d	Revert "Cat more stuff" ... This reverts commit 638557de3e.	2019-06-21 14:24:34 -07:00
Eddie Hung	848b023ccc	Workaround issues exposed by gcc-4.8	2019-06-21 14:23:39 -07:00
Eddie Hung	8f59afd62d	Revert "Stab in the dark with aig_map from dict -> std::map" ... This reverts commit 70ee10b650.	2019-06-21 13:47:07 -07:00
Eddie Hung	638557de3e	Cat more stuff	2019-06-21 13:28:42 -07:00
Eddie Hung	ea154d5ff4	No point logging constant bit	2019-06-21 12:46:55 -07:00
Eddie Hung	950bb4c242	Move comment	2019-06-21 12:43:20 -07:00
Eddie Hung	70ee10b650	Stab in the dark with aig_map from dict -> std::map	2019-06-21 12:41:47 -07:00
Eddie Hung	545cfbbe0d	Cope with $reduce_or common in case	2019-06-21 12:31:14 -07:00
Eddie Hung	32f637ffdb	Add more tests	2019-06-21 12:31:04 -07:00
Eddie Hung	ae8305ffcc	Fix testcase	2019-06-21 12:13:00 -07:00
Eddie Hung	15535112b7	Fix spacing	2019-06-21 11:52:51 -07:00
Eddie Hung	d89d663c92	Add doc	2019-06-21 11:52:28 -07:00
Eddie Hung	6ec8160981	Add more muxpack tests, with overlapping entries	2019-06-21 11:45:53 -07:00
Eddie Hung	641b86d25f	Fix up ExclusiveDatabase with @cliffordwolf's help	2019-06-21 11:45:31 -07:00
Eddie Hung	63eb5cace9	Merge branch 'master' into eddie/muxpack	2019-06-21 11:17:19 -07:00
Eddie Hung	f433a52374	Add FIXME about need for -mux4	2019-06-21 11:15:23 -07:00
Eddie Hung	c6b4653ebe	Since muxcover uses MUX4s, blast them back to gates here	2019-06-21 11:13:01 -07:00
Eddie Hung	dd22edcd28	Expand synth -coarse without wreduce, move muxcover	2019-06-21 11:12:32 -07:00
Miodrag Milanovic	fde90f7f8e	Fix json formatting	2019-06-21 20:01:40 +02:00
Eddie Hung	9edde91c26	Merge remote-tracking branch 'origin/clifford/fix1091' into xc7mux_wip	2019-06-21 10:51:41 -07:00
Miodrag Milanovic	50e7221077	Add upto and offset to JSON ports	2019-06-21 19:47:25 +02:00
Eddie Hung	21fa8972f3	autotest.sh to cat *.err on error	2019-06-21 10:40:18 -07:00
Clifford Wolf	e664814971	Merge pull request #1123 from mmicko/fix_typo ... Fix json frontend loading upto	2019-06-21 19:25:35 +02:00
Clifford Wolf	ec979475e7	Replace "muxcover -freedecode" with "muxcover -dmux=cost" ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-06-21 19:24:41 +02:00
Miodrag Milanovic	3775763f51	Fix typo	2019-06-21 19:09:34 +02:00
Eddie Hung	6d74cf0d2b	Merge pull request #1085 from YosysHQ/eddie/shregmap_improve ... Improve shregmap to handle case where first flop is common to two chains	2019-06-21 08:56:56 -07:00
Clifford Wolf	918460ddd3	Merge pull request #1122 from YosysHQ/clifford/jsonports ... Added JSON upto and offset	2019-06-21 16:58:12 +02:00
Clifford Wolf	f15def325c	Added JSON upto and offset ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-06-21 15:22:17 +02:00
Clifford Wolf	f0955452ae	Merge pull request #1121 from YosysHQ/ecp5-ccu2c-inv ... ecp5: Improve mapping of $alu when BI is used	2019-06-21 15:07:39 +02:00
David Shah	a0d3d2bb41	ecp5: Improve mapping of $alu when BI is used ... Signed-off-by: David Shah <dave@ds0.me>	2019-06-21 09:45:11 +01:00
Clifford Wolf	c9949dba99	Merge pull request #1117 from bwidawsk/more-home ... Add a few more filename rewrites	2019-06-21 10:13:51 +02:00
Clifford Wolf	78e7a6f6f2	Merge pull request #1119 from YosysHQ/eddie/fix1118 ... Make genvar a signed type	2019-06-21 10:13:13 +02:00
Clifford Wolf	86a753cc18	Merge pull request #1116 from YosysHQ/eddie/fix1115 ... Sign extend unsized 'bx and 'bz values	2019-06-21 10:12:32 +02:00
Clifford Wolf	9286b6f013	Add "muxcover -freedecode" ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2019-06-21 10:02:10 +02:00
Eddie Hung	6a336ca23e	Fix spacing	2019-06-20 22:30:20 -07:00
Eddie Hung	cbbd96aae9	Revert Makefile	2019-06-20 22:30:20 -07:00
Eddie Hung	531d36336d	Fix spacing	2019-06-20 22:29:40 -07:00
Eddie Hung	6f6a7428f2	Revert Makefile	2019-06-20 22:28:55 -07:00
Eddie Hung	e21f01d938	Refactor bit2aig for less lookups	2019-06-20 22:10:43 -07:00
Eddie Hung	4422b7311b	Fix gcc invalidation behaviour for write_aiger	2019-06-20 22:10:43 -07:00
Eddie Hung	32f8014e12	Fix gcc error, due to dict invalidation during recursion	2019-06-20 22:10:43 -07:00
Eddie Hung	54f3237720	Fix gcc warning of potentially uninitialised	2019-06-20 22:10:43 -07:00
Eddie Hung	a9ce9193a1	Refactor bit2aig for less lookups	2019-06-20 22:09:13 -07:00
Eddie Hung	c4ea6fff65	Fix gcc invalidation behaviour for write_aiger	2019-06-20 21:56:47 -07:00
Eddie Hung	eb13663698	Fix gcc invalidation behaviour for write_aiger	2019-06-20 21:56:02 -07:00
Eddie Hung	d2076aa659	Fix gcc error, due to dict invalidation during recursion	2019-06-20 21:55:08 -07:00
Eddie Hung	06bf2ea562	Fix gcc warning of potentially uninitialised	2019-06-20 21:53:27 -07:00
Clifford Wolf	891ea6512e	Improvements in muxcover ... - Slightly under-estimate cost of decoder muxes - Prefer larger muxes at tree root at same cost - Don't double-count input cost for partial muxes - Add debug log output	2019-06-20 19:47:59 -07:00
Eddie Hung	844c42cef8	Missing a clean and opt_expr -mux_bool in test	2019-06-20 19:47:59 -07:00
Eddie Hung	75375a3fbc	Add test	2019-06-20 19:47:59 -07:00