bugpoint: new pass.
authorwhitequark <whitequark@whitequark.org>
Mon, 7 Jan 2019 00:11:49 +0000 (00:11 +0000)
committerwhitequark <whitequark@whitequark.org>
Mon, 7 Jan 2019 03:13:19 +0000 (03:13 +0000)
commita342d6db49b812efa1457f39dc9713bcda3d54ce
tree4b58994e556208c4722aab1fbf2eb8176dcecd35
parenta2c51d50fb5a94967a204913404b71c7af0b59e2
bugpoint: new pass.

A typical use of `bugpoint` would involve a script with a pass under
test, e.g.:

    flowmap -relax -optarea 100

and would be invoked as:

    bugpoint -yosys ./yosys -script flowmap.ys -clean -cells

This replaces the current design with the minimal design that still
crashes the `flowmap.ys` script.

`bugpoint` can also be used to perform generic design minimization
using `select`, e.g. the following script:

    select i:* %x t:$_MUX_ %i -assert-max 0

would remove all parts of the design except for an unbroken path from
an input to an output port that goes through exactly one $_MUX_ cell.
(The condition is inverted.)
passes/cmds/Makefile.inc
passes/cmds/bugpoint.cc [new file with mode: 0644]