166 commits

Author	SHA1	Message	Date
Clifford Wolf	f630868bc9	Improvements in opt_muxtree	2015-01-18 12:57:36 +01:00
Clifford Wolf	d3b35017f8	More opt_muxtree cleanups	2015-01-18 12:13:18 +01:00
Clifford Wolf	61192514e3	Various cleanups and improvements in opt_muxtree	2015-01-18 11:17:56 +01:00
Clifford Wolf	a95c229e12	Fixed a bug in opt_muxtree for "mux forests"	2015-01-17 13:56:53 +01:00
Clifford Wolf	3628ca989c	Improved opt_muxtree	2015-01-17 12:05:19 +01:00
Clifford Wolf	8426884b40	Re-enabled mux->and/or transform (and fixed lm32 in yosys-bigsim)	2015-01-13 13:20:09 +01:00
Clifford Wolf	fd787609aa	disabled problematic mux -> and/or transform	2015-01-07 23:25:51 +01:00
Clifford Wolf	462b22f44f	dict<> ref vs insert bugfix	2015-01-06 00:16:44 +01:00
Clifford Wolf	11c3b81c08	typo fix for "opt -fast"	2014-12-30 22:35:38 +01:00
Clifford Wolf	c64b1de11d	Fixed build with SMALL=1	2014-12-30 11:41:24 +01:00
Clifford Wolf	29a555ec7e	Added statehash to ezSAT	2014-12-29 17:10:37 +01:00
Clifford Wolf	3ff0d04555	Cleanups in opt_clean	2014-12-29 05:11:06 +01:00
Clifford Wolf	7d843adef9	dict/pool changes in opt_clean	2014-12-29 04:06:52 +01:00
Clifford Wolf	cfe0817697	Converting "share" to dict<> and pool<> complete	2014-12-29 02:01:42 +01:00
Clifford Wolf	9ff3a9f30d	Switched most of "share" to dict<> and pool<>	2014-12-29 00:42:48 +01:00
Clifford Wolf	445686cba3	using dict and pool in opt_reduce	2014-12-28 21:27:05 +01:00
Clifford Wolf	951c72ba52	bugfix in opt_share	2014-12-28 21:26:36 +01:00
Clifford Wolf	3da46d3437	Renamed hashmap.h to hashlib.h, some related improvements	2014-12-28 17:51:16 +01:00
Clifford Wolf	6c8b0a5fd1	More dict/pool related changes	2014-12-27 12:02:57 +01:00
Clifford Wolf	66ab88d7b0	More hashtable finetuning	2014-12-27 03:04:50 +01:00
Clifford Wolf	ec4751e55c	Replaced std::unordered_set (nodict) with Yosys::pool	2014-12-26 21:59:41 +01:00
Clifford Wolf	9e6fb0b02c	Replaced std::unordered_map as implementation for Yosys::dict	2014-12-26 21:35:22 +01:00
Clifford Wolf	a6c96b986b	Added Yosys::{dict,nodict,vector} container types	2014-12-26 10:53:21 +01:00
Clifford Wolf	edb3c9d0c4	Renamed extend() to extend_xx(), changed most users to extend_u0()	2014-12-24 09:51:17 +01:00
Clifford Wolf	546e8b5fe7	Improved TopoSort determinism	2014-11-07 15:21:03 +01:00
Clifford Wolf	ab28491f27	Added "opt -full" alias for all more aggressive optimizations	2014-10-31 03:36:51 +01:00
Clifford Wolf	84ffe04075	Fixed various VS warnings	2014-10-18 15:20:38 +02:00
Clifford Wolf	18cb8b4636	Don't be too smart with $dff cells with "init" attribute on out signal	2014-10-16 11:49:31 +02:00
Clifford Wolf	66eb254fc2	Some cleanups in opt_clean	2014-10-16 11:46:57 +02:00
William Speirs	6433203b39	Wrapped init in std::set constructor	2014-10-15 00:58:05 +02:00
Clifford Wolf	35fbc0b35f	Do not the 'z' modifier in format string (another win32 fix)	2014-10-11 11:42:08 +02:00
Clifford Wolf	4569a747f8	Renamed SIZE() to GetSize() because of name collision on Win32	2014-10-10 17:07:24 +02:00
Clifford Wolf	c5c7066ea6	sat encoding for exclusive $pmux ctrl inputs in "share" pass	2014-10-03 19:01:24 +02:00
Clifford Wolf	3e4b0cac8d	added resource sharing of $macc cells	2014-10-03 12:58:40 +02:00
Clifford Wolf	c3e779a65f	Added $_BUF_ cell type	2014-10-03 10:12:28 +02:00
Clifford Wolf	600c6cb013	remove buffers in opt_clean	2014-10-03 10:04:15 +02:00
Clifford Wolf	7019bc00e4	resource sharing of $alu cells	2014-10-03 09:55:50 +02:00
Clifford Wolf	0b8cfbc6fd	Added support for "keep" on modules	2014-09-29 12:51:54 +02:00
Clifford Wolf	f9a307a50b	namespace Yosys	2014-09-27 16:17:53 +02:00
Clifford Wolf	13117bb346	Re-enabled assert for new logic loops in "share" pass	2014-09-21 19:44:08 +02:00
Clifford Wolf	96e821dc6c	Various improvements regarding logic loops in "share" results	2014-09-21 19:36:56 +02:00
Clifford Wolf	d6e2ace95b	Logic loop bugfix for "share" pass	2014-09-21 15:13:44 +02:00
Clifford Wolf	b28be0759f	Added "share -limit"	2014-09-21 15:13:06 +02:00
Clifford Wolf	a6c08b40fe	Still loop bug in "share": changed assert to warning	2014-09-21 14:51:07 +02:00
Clifford Wolf	8d60754aef	Do not introduce new logic loops in "share"	2014-09-21 13:52:39 +02:00
Clifford Wolf	edf11c635a	Assert on new logic loops in "share" pass	2014-09-21 12:57:33 +02:00
Clifford Wolf	2cbdbaad1f	Fixed wreduce $shiftx handling	2014-09-15 11:29:09 +02:00
Clifford Wolf	aab0e3bf70	Cleanup in wreduce	2014-09-14 10:01:30 +02:00
Ruben Undheim	79cbf9067c	Corrected spelling mistakes found by lintian	2014-09-06 08:47:06 +02:00
Clifford Wolf	f5a40e7043	Fixed "opt_const -fine" for $pos cells	2014-09-04 08:55:58 +02:00