yosys.git
5 years agoMis-spell
Eddie Hung [Wed, 18 Sep 2019 18:12:46 +0000 (11:12 -0700)]
Mis-spell

5 years agoAdd pattern detection support for DSP48E1 model, check against vendor
Eddie Hung [Wed, 18 Sep 2019 17:45:04 +0000 (10:45 -0700)]
Add pattern detection support for DSP48E1 model, check against vendor

5 years agoAdd support for overflow using pattern detector
Eddie Hung [Wed, 18 Sep 2019 16:39:59 +0000 (09:39 -0700)]
Add support for overflow using pattern detector

5 years agoSeparate dffrstmux from dffcemux, fix typos
Eddie Hung [Wed, 18 Sep 2019 16:34:42 +0000 (09:34 -0700)]
Separate dffrstmux from dffcemux, fix typos

5 years agoAdd `undef DSP48E1_INST
Eddie Hung [Sat, 14 Sep 2019 00:07:18 +0000 (17:07 -0700)]
Add `undef DSP48E1_INST

5 years agoFix D -> P{,COUT} delay
Eddie Hung [Fri, 13 Sep 2019 20:32:55 +0000 (13:32 -0700)]
Fix D -> P{,COUT} delay

5 years agoAdd no MULT no DPORT config
Eddie Hung [Fri, 13 Sep 2019 19:05:14 +0000 (12:05 -0700)]
Add no MULT no DPORT config

5 years agoAdd support for MULT and DPORT
Eddie Hung [Fri, 13 Sep 2019 18:45:55 +0000 (11:45 -0700)]
Add support for MULT and DPORT

5 years agoRefine diagram
Eddie Hung [Fri, 13 Sep 2019 16:34:40 +0000 (09:34 -0700)]
Refine diagram

5 years agoAdd an ASCII drawing
Eddie Hung [Fri, 13 Sep 2019 01:13:46 +0000 (18:13 -0700)]
Add an ASCII drawing

5 years agoFinish explanation
Eddie Hung [Fri, 13 Sep 2019 01:01:49 +0000 (18:01 -0700)]
Finish explanation

5 years agoRename to techmap_guard
Eddie Hung [Fri, 13 Sep 2019 00:45:02 +0000 (17:45 -0700)]
Rename to techmap_guard

5 years agoInitial DSP48E1 box support
Eddie Hung [Fri, 13 Sep 2019 00:11:01 +0000 (17:11 -0700)]
Initial DSP48E1 box support

5 years agoSet more ports explicitly
Eddie Hung [Fri, 13 Sep 2019 00:10:43 +0000 (17:10 -0700)]
Set more ports explicitly

5 years agoMerge remote-tracking branch 'origin/master' into xc7dsp
Eddie Hung [Thu, 12 Sep 2019 19:11:11 +0000 (12:11 -0700)]
Merge remote-tracking branch 'origin/master' into xc7dsp

5 years agoMerge pull request #1370 from YosysHQ/dave/equiv_opt_multiclock
David Shah [Thu, 12 Sep 2019 11:26:28 +0000 (12:26 +0100)]
Merge pull request #1370 from YosysHQ/dave/equiv_opt_multiclock

Add equiv_opt -multiclock

5 years agoAdd support for A1 and B1 registers
Eddie Hung [Thu, 12 Sep 2019 00:16:46 +0000 (17:16 -0700)]
Add support for A1 and B1 registers

5 years agoRaise a RuntimeError instead of AssertionError
Eddie Hung [Thu, 12 Sep 2019 00:06:37 +0000 (17:06 -0700)]
Raise a RuntimeError instead of AssertionError

5 years agoAdd AREG=2 BREG=2 test
Eddie Hung [Thu, 12 Sep 2019 00:05:47 +0000 (17:05 -0700)]
Add AREG=2 BREG=2 test

5 years agoRename {A,B} -> {A2,B2}
Eddie Hung [Wed, 11 Sep 2019 23:21:24 +0000 (16:21 -0700)]
Rename {A,B} -> {A2,B2}

5 years agoFix UB
Eddie Hung [Wed, 11 Sep 2019 21:17:45 +0000 (14:17 -0700)]
Fix UB

5 years agoAdd PCOUT -> PCIN non-shifted cascading
Eddie Hung [Wed, 11 Sep 2019 20:48:45 +0000 (13:48 -0700)]
Add PCOUT -> PCIN non-shifted cascading

5 years agoMerge remote-tracking branch 'origin/eddie/peepopt_dffmuxext' into xc7dsp
Eddie Hung [Wed, 11 Sep 2019 20:37:11 +0000 (13:37 -0700)]
Merge remote-tracking branch 'origin/eddie/peepopt_dffmuxext' into xc7dsp

5 years agoCope with presence of reset muxes too
Eddie Hung [Wed, 11 Sep 2019 20:36:37 +0000 (13:36 -0700)]
Cope with presence of reset muxes too

5 years agoCleanup
Eddie Hung [Wed, 11 Sep 2019 20:22:52 +0000 (13:22 -0700)]
Cleanup

5 years agoAdd more tests
Eddie Hung [Wed, 11 Sep 2019 20:22:41 +0000 (13:22 -0700)]
Add more tests

5 years agoMissing space
Eddie Hung [Wed, 11 Sep 2019 20:06:59 +0000 (13:06 -0700)]
Missing space

5 years agoMake unextend a udata
Eddie Hung [Wed, 11 Sep 2019 20:06:49 +0000 (13:06 -0700)]
Make unextend a udata

5 years agoOnly display log message if did_something
Eddie Hung [Wed, 11 Sep 2019 19:29:26 +0000 (12:29 -0700)]
Only display log message if did_something

5 years agoInput registers to add DSP as new siguser to block upstream packing
Eddie Hung [Wed, 11 Sep 2019 18:46:21 +0000 (11:46 -0700)]
Input registers to add DSP as new siguser to block upstream packing

5 years agoMore cleanup
Eddie Hung [Wed, 11 Sep 2019 17:55:45 +0000 (10:55 -0700)]
More cleanup

5 years agoAdd -match-init option to dff2dffs.
Marcin Kościelnicki [Tue, 10 Sep 2019 16:31:50 +0000 (16:31 +0000)]
Add -match-init option to dff2dffs.

5 years agoAdd support for A/B/C/D/AD reset
Eddie Hung [Wed, 11 Sep 2019 17:15:19 +0000 (10:15 -0700)]
Add support for A/B/C/D/AD reset

5 years agoUpdate test with a/b reset
Eddie Hung [Wed, 11 Sep 2019 17:13:13 +0000 (10:13 -0700)]
Update test with a/b reset

5 years agoExtend test for RSTP and RSTM
Eddie Hung [Wed, 11 Sep 2019 16:09:08 +0000 (09:09 -0700)]
Extend test for RSTP and RSTM

5 years agoAdd support for RSTM
Eddie Hung [Wed, 11 Sep 2019 14:34:14 +0000 (07:34 -0700)]
Add support for RSTM

5 years agoAdd equiv_opt -multiclock
David Shah [Wed, 11 Sep 2019 12:55:16 +0000 (13:55 +0100)]
Add equiv_opt -multiclock

Signed-off-by: David Shah <dave@ds0.me>
5 years agoMerge pull request #1362 from xobs/smtbmc-msvc2-build-fixes
David Shah [Wed, 11 Sep 2019 08:57:30 +0000 (09:57 +0100)]
Merge pull request #1362 from xobs/smtbmc-msvc2-build-fixes

MSVC2 fixes

5 years agoMerge remote-tracking branch 'origin/eddie/peepopt_dffmuxext' into xc7dsp
Eddie Hung [Wed, 11 Sep 2019 07:57:25 +0000 (00:57 -0700)]
Merge remote-tracking branch 'origin/eddie/peepopt_dffmuxext' into xc7dsp

5 years agoRename dffmuxext -> dffmux, also remove constants in dff+mux
Eddie Hung [Wed, 11 Sep 2019 07:56:38 +0000 (00:56 -0700)]
Rename dffmuxext -> dffmux, also remove constants in dff+mux

5 years agoproc instead of prep
Eddie Hung [Wed, 11 Sep 2019 07:14:06 +0000 (00:14 -0700)]
proc instead of prep

5 years agoMerge remote-tracking branch 'origin/eddie/peepopt_dffmuxext' into xc7dsp
Eddie Hung [Wed, 11 Sep 2019 07:07:33 +0000 (00:07 -0700)]
Merge remote-tracking branch 'origin/eddie/peepopt_dffmuxext' into xc7dsp

5 years agoAdd unsigned case
Eddie Hung [Wed, 11 Sep 2019 07:07:17 +0000 (00:07 -0700)]
Add unsigned case

5 years agoMerge remote-tracking branch 'origin/master' into xc7dsp
Eddie Hung [Wed, 11 Sep 2019 07:01:31 +0000 (00:01 -0700)]
Merge remote-tracking branch 'origin/master' into xc7dsp

5 years agoOnly pack out registers if \init is zero or x; then remove \init from PREG
Eddie Hung [Wed, 11 Sep 2019 04:33:14 +0000 (21:33 -0700)]
Only pack out registers if \init is zero or x; then remove \init from PREG

5 years agoFix RSTP
Eddie Hung [Wed, 11 Sep 2019 03:56:13 +0000 (20:56 -0700)]
Fix RSTP

5 years agoAdd support for RSTP
Eddie Hung [Wed, 11 Sep 2019 03:51:48 +0000 (20:51 -0700)]
Add support for RSTP

5 years agoenpol -> cepol
Eddie Hung [Wed, 11 Sep 2019 01:59:03 +0000 (18:59 -0700)]
enpol -> cepol

5 years agod?ffmux -> d?ffcemux
Eddie Hung [Wed, 11 Sep 2019 01:52:54 +0000 (18:52 -0700)]
d?ffmux -> d?ffcemux

5 years agoRefactor MREG and PREG to out_dffe subpattern
Eddie Hung [Wed, 11 Sep 2019 01:27:05 +0000 (18:27 -0700)]
Refactor MREG and PREG to out_dffe subpattern

5 years agoUpdate help text
Eddie Hung [Tue, 10 Sep 2019 23:35:10 +0000 (16:35 -0700)]
Update help text

5 years agoUpdate xilinx_dsp help text
Eddie Hung [Tue, 10 Sep 2019 23:33:13 +0000 (16:33 -0700)]
Update xilinx_dsp help text

5 years agoUpdate CHANGELOG
Eddie Hung [Tue, 10 Sep 2019 23:14:26 +0000 (16:14 -0700)]
Update CHANGELOG

5 years agoMove "(skip if -nodsp)" message to label
Eddie Hung [Tue, 10 Sep 2019 22:26:56 +0000 (15:26 -0700)]
Move "(skip if -nodsp)" message to label

5 years agoBe sensitive to signedness
Eddie Hung [Tue, 10 Sep 2019 22:14:55 +0000 (15:14 -0700)]
Be sensitive to signedness

5 years agoReally get rid of 'opt_expr -fine' by being explicit
Eddie Hung [Tue, 10 Sep 2019 21:26:12 +0000 (14:26 -0700)]
Really get rid of 'opt_expr -fine' by being explicit

5 years agoRemove wreduce call
Eddie Hung [Tue, 10 Sep 2019 21:17:35 +0000 (14:17 -0700)]
Remove wreduce call

5 years agoAdd comment for why opt_expr is necessary
Eddie Hung [Tue, 10 Sep 2019 21:11:56 +0000 (14:11 -0700)]
Add comment for why opt_expr is necessary

5 years agoRevert "Remove "opt_expr -fine" call"
Eddie Hung [Tue, 10 Sep 2019 21:09:21 +0000 (14:09 -0700)]
Revert "Remove "opt_expr -fine" call"

This reverts commit bfda921d0317bfb4cb6fc9de8a556c2258b709bc.

5 years agoRename label to map_dsp
Eddie Hung [Tue, 10 Sep 2019 20:18:10 +0000 (13:18 -0700)]
Rename label to map_dsp

5 years agoRemove "opt_expr -fine" call
Eddie Hung [Tue, 10 Sep 2019 20:17:47 +0000 (13:17 -0700)]
Remove "opt_expr -fine" call

5 years agoBump version
Clifford Wolf [Tue, 10 Sep 2019 16:42:45 +0000 (18:42 +0200)]
Bump version

Signed-off-by: Clifford Wolf <clifford@clifford.at>
5 years agoOops
Eddie Hung [Tue, 10 Sep 2019 05:06:23 +0000 (22:06 -0700)]
Oops

5 years agoAdd SIMD test
Eddie Hung [Tue, 10 Sep 2019 04:40:06 +0000 (21:40 -0700)]
Add SIMD test

5 years agoSupport subtraction as well
Eddie Hung [Tue, 10 Sep 2019 04:39:42 +0000 (21:39 -0700)]
Support subtraction as well

5 years agoSupport TWO24
Eddie Hung [Tue, 10 Sep 2019 04:11:41 +0000 (21:11 -0700)]
Support TWO24

5 years agoRefactor
Eddie Hung [Tue, 10 Sep 2019 03:58:54 +0000 (20:58 -0700)]
Refactor

5 years agoAdd initial USE_SIMD=FOUR12 support
Eddie Hung [Tue, 10 Sep 2019 03:57:20 +0000 (20:57 -0700)]
Add initial USE_SIMD=FOUR12 support

5 years agoOnly trim sigM if USE_MULT; only look for ffM then too
Eddie Hung [Tue, 10 Sep 2019 03:57:03 +0000 (20:57 -0700)]
Only trim sigM if USE_MULT; only look for ffM then too

5 years agoSet USE_MULT and USE_SIMD
Eddie Hung [Tue, 10 Sep 2019 03:56:29 +0000 (20:56 -0700)]
Set USE_MULT and USE_SIMD

5 years agotests: ice40: fix div_mod SB_LUT4 count
Sean Cross [Tue, 10 Sep 2019 00:47:16 +0000 (08:47 +0800)]
tests: ice40: fix div_mod SB_LUT4 count

This test is failing due to one of the changes present in this patchset.
Adjust the test to match the newly-observed values.

https://github.com/xobs/yosys/compare/smtbmc-msvc2-build-fixes...YosysHQ:xobs/pr1362

Signed-off-by: Sean Cross <sean@xobs.io>
5 years agoFix misspelling
Eddie Hung [Mon, 9 Sep 2019 23:46:33 +0000 (16:46 -0700)]
Fix misspelling

5 years agoRename
Eddie Hung [Mon, 9 Sep 2019 23:45:38 +0000 (16:45 -0700)]
Rename

5 years agoOops
Eddie Hung [Mon, 9 Sep 2019 23:07:40 +0000 (16:07 -0700)]
Oops

5 years agoTidy up
Eddie Hung [Mon, 9 Sep 2019 22:59:10 +0000 (15:59 -0700)]
Tidy up

5 years agoRefactor using subpattern in_dffe
Eddie Hung [Mon, 9 Sep 2019 22:51:14 +0000 (15:51 -0700)]
Refactor using subpattern in_dffe

5 years agopasses: opt_share: don't statically initialize mergeable_type_map
Sean Cross [Mon, 9 Sep 2019 04:40:01 +0000 (12:40 +0800)]
passes: opt_share: don't statically initialize mergeable_type_map

In 3d3779b0376b8204ed7637053176a07b7271ac1d this got turned from a
`std::map<std::string, std::string>` to `std::map<IdString, IdString>`.
Consequently, this exposed some initialization sequencing issues (#1361).

Only initialize the map when it's first used, to avoid these static issues.

This fixes #1361.

Signed-off-by: Sean Cross <sean@xobs.io>
5 years agomsys2: launcher: fix warnings and errors under g++
Sean Cross [Sun, 8 Sep 2019 07:50:24 +0000 (15:50 +0800)]
msys2: launcher: fix warnings and errors under g++

When building under G++, certain C-isms no longer work.  For example,
we must now cast the return from `calloc()`.

Fix `launcher.c` so that it builds under whatever $CXX is set to,
which is usually a C++ compiler.

Signed-off-by: Sean Cross <sean@xobs.io>
5 years agobackends: smt2: use $(CXX) variable for compiler
Sean Cross [Sun, 8 Sep 2019 07:47:09 +0000 (15:47 +0800)]
backends: smt2: use $(CXX) variable for compiler

The Makefile assumes the compiler is called `gcc`, which isn't always
true.  In fact, if we're building on msys2 or msys2-64, the compiler
is called `i686-w64-mingw32-g++` or `x86_64-w64-mingw32-g++`.

Use the variable instead of hardcoding the name, to fix building on
these systems.

Signed-off-by: Sean Cross <sean@xobs.io>
5 years agosynth_xilinx: Support init values on Spartan 6 flip-flops properly.
Marcin Kościelnicki [Fri, 16 Aug 2019 03:14:30 +0000 (03:14 +0000)]
synth_xilinx: Support init values on Spartan 6 flip-flops properly.

5 years agotechmap: Add support for extracting init values of ports
Marcin Kościelnicki [Fri, 16 Aug 2019 03:14:03 +0000 (03:14 +0000)]
techmap: Add support for extracting init values of ports

5 years agoUpdate macc test
Eddie Hung [Sat, 7 Sep 2019 06:19:03 +0000 (23:19 -0700)]
Update macc test

5 years agoMerge branch 'master' of github.com:YosysHQ/yosys
Eddie Hung [Sat, 7 Sep 2019 05:52:00 +0000 (22:52 -0700)]
Merge branch 'master' of github.com:YosysHQ/yosys

5 years agoAdd missing -assert to equiv_opt
Eddie Hung [Sat, 7 Sep 2019 05:51:44 +0000 (22:51 -0700)]
Add missing -assert to equiv_opt

5 years agoMissing equiv_opt -assert
Eddie Hung [Sat, 7 Sep 2019 05:50:03 +0000 (22:50 -0700)]
Missing equiv_opt -assert

5 years agoMake one check $shift(x)? only; change testcase to be 8b
Eddie Hung [Sat, 7 Sep 2019 05:48:23 +0000 (22:48 -0700)]
Make one check $shift(x)? only; change testcase to be 8b

5 years agoUsee equiv_opt -assert
Eddie Hung [Sat, 7 Sep 2019 05:48:04 +0000 (22:48 -0700)]
Usee equiv_opt -assert

5 years agoPack CREG
Eddie Hung [Sat, 7 Sep 2019 04:01:36 +0000 (21:01 -0700)]
Pack CREG

5 years agoUse unextend lambda
Eddie Hung [Sat, 7 Sep 2019 01:40:11 +0000 (18:40 -0700)]
Use unextend lambda

5 years agoFix ffP just like ffPmux
Eddie Hung [Fri, 6 Sep 2019 22:51:21 +0000 (15:51 -0700)]
Fix ffP just like ffPmux

5 years agoPerform D replacement properly
Eddie Hung [Fri, 6 Sep 2019 22:46:15 +0000 (15:46 -0700)]
Perform D replacement properly

5 years agoAdd support for DREG
Eddie Hung [Fri, 6 Sep 2019 22:32:26 +0000 (15:32 -0700)]
Add support for DREG

5 years agoFine tune nusers when postAdd
Eddie Hung [Fri, 6 Sep 2019 22:11:41 +0000 (15:11 -0700)]
Fine tune nusers when postAdd

5 years agoFix macc and mul tests
Eddie Hung [Fri, 6 Sep 2019 21:57:36 +0000 (14:57 -0700)]
Fix macc and mul tests

5 years agoFix enable polarity
Eddie Hung [Fri, 6 Sep 2019 21:36:10 +0000 (14:36 -0700)]
Fix enable polarity

5 years agoLogging for ffAD
Eddie Hung [Fri, 6 Sep 2019 21:10:12 +0000 (14:10 -0700)]
Logging for ffAD

5 years agoAdd support for pre-adder and AD register
Eddie Hung [Fri, 6 Sep 2019 21:06:57 +0000 (14:06 -0700)]
Add support for pre-adder and AD register

5 years agoDocument (* gentb_skip *) attr for test_autotb
Eddie Hung [Fri, 6 Sep 2019 20:28:15 +0000 (13:28 -0700)]
Document (* gentb_skip *) attr for test_autotb

5 years agoTidy up ice40_dsp some more
Eddie Hung [Fri, 6 Sep 2019 19:16:40 +0000 (12:16 -0700)]
Tidy up ice40_dsp some more

5 years agoUse more index patterns
Eddie Hung [Fri, 6 Sep 2019 19:07:35 +0000 (12:07 -0700)]
Use more index patterns