Merge pull request #1209 from YosysHQ/eddie/synth_xilinx

[WIP] synth xilinx renaming, as per #1184

Merge pull request #1304 from YosysHQ/eddie/abc9_refactor

Refactor abc9 to use port attributes, not module attributes

Merge remote-tracking branch 'origin/master' into eddie/synth_xilinx

Merge pull request #1298 from YosysHQ/clifford/pmgen

Improvements in pmgen

Merge branch 'master' into clifford/pmgen

Add test case for real parameters

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

Merge pull request #1308 from jakobwenzel/real_params

Handle real values when deriving ast modules

Merge pull request #1309 from whitequark/proc_clean-fix-1268

proc_clean: fix order of switch insertion

Fix typo

Fix typo

ID({A,B,Y}) -> ID::{A,B,Y} for opt_share.cc

Clarify with 'only'

Update doc

Unify abc_carry_{in,out} into abc_carry and use port dir, as @mithro

proc_clean: fix order of switch insertion.

Fixes #1268.

handle real values when deriving ast modules

Merge pull request #1306 from mmicko/gitignore_fix

Ignore all generated headers for pmgen pass

Add *.sv to tests/simple_abc9/.gitignore

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

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

Merge pull request #1305 from YosysHQ/clifford/testfast

Speed up "make test" and related cleanups

Merge remote-tracking branch 'origin/master' into clifford/testfast

Removal of more `stat` calls from tests

Ignore all generated headers for pmgen pass

Merge pull request #1290 from YosysHQ/eddie/pr1266_again

Wrap SB_LUT+SB_CARRY into $__ICE40_CARRY_WRAPPER (retry)

Merge branch 'master' into eddie/pr1266_again

Merge pull request #1283 from YosysHQ/clifford/fix1255

Fix various NDEBUG compiler warnings

Merge pull request #1303 from YosysHQ/bogdanvuk/opt_share

Implement opt_share from @bogdanvuk

Merge pull request #1300 from YosysHQ/eddie/cleanup2

Use ID::{A,B,Y,keep,blackbox,whitebox} instead of ID()

Fix erroneous ifndef-NDEBUG in verific.cc

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

Speed up "make test" and related cleanups

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

Add test for pmtest_test "reduce" demo pattern

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

Refactor pmgen rollback mechanism

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

Improvements in "test_pmgen -generate"

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

Add pmgen "fallthrough" statement

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

Use ID()

Add doc for abc_* attributes

Update abc_* attr in ecp5 and ice40

Compute abc_scc_break and move CI/CO outside of each abc9

Attach abc_scc_break, abc_carry_{in,out} attr to ports not modules

Merge pull request #1250 from bwidawsk/master

techlibs/intel: Clean up Makefile

Use ID() macro

Add 'opt_share' to CHANGELOG

Add 'opt_share' to 'opt -full'

Merge https://github.com/bogdanvuk/yosys into bogdanvuk/opt_share

Remove unused variable

Add help() call

Move namespace alias

Remove `using namespace RTLIL;`

Minor bugfix in "test_pmgen -generate"

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

Merge pull request #1302 from mmicko/dfflibmap_regression

DFFLIBMAP pass regression fix

Do not use Verific in tests/various/write_gzip.ys

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

Add pmgen finish statement, return number of matches

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

Redesign pmgen backtracking for recursive matching

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

Add pmgen "generate" feature

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

Regression in abc9

Just needed IDs to be IdString

Refactor demo_reduce into test_pmgen

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

Add missing NMUX to "abc -g" handling

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

Try this for gcc-4.8?

Fix spacing

Use ID::keep more liberally too

Use more ID::{A,B,Y,blackbox,whitebox}

Add doc for pmgen semioptional statement, Add pmgen changes to CHANGELOG

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

Merge pull request #1299 from YosysHQ/eddie/cleanup2

More cleanup, more use of ID() inside passes/techmap

Update pmgen documentation

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

Change pmgen default rule to reject, switch peepopt behavior to accept

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

Merge branch 'master' into clifford/fix1255

Fix

Change signature of parse_blif to take IdString

ID(\\.*) -> ID(.*)

Convert a few more to ID

Transform all "\\*" identifiers into ID()

Transform "$.*" to ID("$.*") in passes/techmap

Add demo_reduce pass to demonstrace recursive pattern matching

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

Improvements in pmgen for recursive patterns

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

More use of IdString::in()

Merge pull request #1297 from YosysHQ/eddie/fix_1284_again

extract_fa: Un-inverting AND with an inverted input also inverts input to X{,N}OR

Merge remote-tracking branch 'origin/master' into eddie/fix_1284_again

Merge pull request #1275 from YosysHQ/clifford/ids

New ID() macro and now also use it

Merge branch 'master' into clifford/ids

Merge pull request #1295 from YosysHQ/eddie/fix_travis

Fix Travis CI

AND with an inverted input, causes X{,N}OR output to be inverted too

Revert "Only sort leaves on non-ANDNOT/ORNOT cells"

This reverts commit 5ec5f6dec7d4cdcfd9e1a2cda999886605778400.

Revert earliest to gcc-4.8, compile iverilog with default compiler

Revert "Bump to gcc-5 as `__warn_memset_zero_len' symbol not in 16.04!?!"

This reverts commit c82b2fa31f8965be2680c87af6cd9ac5d26ead4d.

Remove .0 from clang-8.0

Bump to gcc-5 as `__warn_memset_zero_len' symbol not in 16.04!?!

bionic -> xenial as its on whitelist

Bump gcc from 4.8 to 4.9 as undefined reference

... to `__warn_memset_zero_len'.
Also remove gcc-6, bump gcc-7 to gcc-9, clang from 5.0 to 8.0

Only sort leaves on non-ANDNOT/ORNOT cells

Merge pull request #1294 from YosysHQ/revert-1288-eddie/fix_1284

Revert "Since $_ANDNOT_ is not symmetric, do not sort leaves"

Revert "Since $_ANDNOT_ is not symmetric, do not sort leaves"

Merge pull request #1288 from YosysHQ/eddie/fix_1284

Since $_ANDNOT_ is not symmetric, do not sort leaves

Fix various NDEBUG compiler warnings, closes #1255

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

Fix $lut pin ordering inside $__ICE40_CARRY_WRAPPER

Revert "Merge pull request #1280 from YosysHQ/revert-1266-eddie/ice40_full_adder"

This reverts commit c851dc13108021834533094a8a3236da6d9e0161, reversing
changes made to f54bf1631ff37a83733c162e6ebd188c1d5ea18f.

Since $_ANDNOT_ is not symmetric, do not sort leaves

Merge pull request #1152 from 1138-4EB/feat-docker

Dockerfile

Merge pull request #1277 from YosysHQ/eddie/fix_1262

opt_expr -fine to now trim LSBs of $alu cells too

Merge remote-tracking branch 'origin/master' into eddie/fix_1262