Merge remote-tracking branch 'origin/master' into xc7dsp

Merge pull request #1370 from YosysHQ/dave/equiv_opt_multiclock

Add equiv_opt -multiclock

Add support for A1 and B1 registers

Raise a RuntimeError instead of AssertionError

Add AREG=2 BREG=2 test

Rename {A,B} -> {A2,B2}

Fix UB

Add PCOUT -> PCIN non-shifted cascading

Merge remote-tracking branch 'origin/eddie/peepopt_dffmuxext' into xc7dsp

Cope with presence of reset muxes too

Cleanup

Add more tests

Missing space

Make unextend a udata

Only display log message if did_something

Input registers to add DSP as new siguser to block upstream packing

More cleanup

Add -match-init option to dff2dffs.

Add support for A/B/C/D/AD reset

Update test with a/b reset

Extend test for RSTP and RSTM

Add support for RSTM

Add equiv_opt -multiclock

Signed-off-by: David Shah <dave@ds0.me>

Merge pull request #1362 from xobs/smtbmc-msvc2-build-fixes

MSVC2 fixes

Merge remote-tracking branch 'origin/eddie/peepopt_dffmuxext' into xc7dsp

Rename dffmuxext -> dffmux, also remove constants in dff+mux

proc instead of prep

Merge remote-tracking branch 'origin/eddie/peepopt_dffmuxext' into xc7dsp

Add unsigned case

Merge remote-tracking branch 'origin/master' into xc7dsp

Only pack out registers if \init is zero or x; then remove \init from PREG

Fix RSTP

Add support for RSTP

enpol -> cepol

d?ffmux -> d?ffcemux

Refactor MREG and PREG to out_dffe subpattern

Update help text

Update xilinx_dsp help text

Update CHANGELOG

Move "(skip if -nodsp)" message to label

Be sensitive to signedness

Really get rid of 'opt_expr -fine' by being explicit

Remove wreduce call

Add comment for why opt_expr is necessary

Revert "Remove "opt_expr -fine" call"

This reverts commit bfda921d0317bfb4cb6fc9de8a556c2258b709bc.

Rename label to map_dsp

Remove "opt_expr -fine" call

Bump version

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Oops

Add SIMD test

Support subtraction as well

Support TWO24

Refactor

Add initial USE_SIMD=FOUR12 support

Only trim sigM if USE_MULT; only look for ffM then too

Set USE_MULT and USE_SIMD

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>

Fix misspelling

Rename

Oops

Tidy up

Refactor using subpattern in_dffe

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>

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>

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>

synth_xilinx: Support init values on Spartan 6 flip-flops properly.

techmap: Add support for extracting init values of ports

Update macc test

Merge branch 'master' of github.com:YosysHQ/yosys

Add missing -assert to equiv_opt

Missing equiv_opt -assert

Make one check $shift(x)? only; change testcase to be 8b

Usee equiv_opt -assert

Pack CREG

Use unextend lambda

Fix ffP just like ffPmux

Perform D replacement properly

Add support for DREG

Fine tune nusers when postAdd

Fix macc and mul tests

Fix enable polarity

Logging for ffAD

Add support for pre-adder and AD register

Document (* gentb_skip *) attr for test_autotb

Tidy up ice40_dsp some more

Use more index patterns

Fix ffPmux to cope with offset

Simplify filter expressions

Fix nusers condition in ffP

Check adder is <= 48 bits before packing

Check nusers for M and P enable muxes

More nusers() checks for A and B enable muxes

Cleanup

Sensitive to CEB CEM CEP polarity

ffAmuxAB -> ffAenpol

Refactor ice40_dsp

Fix broken ice40_dsp

Merge remote-tracking branch 'origin/eddie/peepopt_dffmuxext' into xc7dsp

Merge remote-tracking branch 'origin/master' into xc7dsp

Do not check signedness of post-adder (assume taken care of by DSP)