peepopt - collection of peephole optimizers

yosys> help peepopt

peepopt [options] [selection]

This pass applies a collection of peephole optimizers to the current design.

This pass employs the following rules:

   * muldiv - Replace (A*B)/B with A

   * shiftmul - Replace A>>(B*C) with A'>>(B<<K) where C and K are constants
                and A' is derived from A by appropriately inserting padding
                into the signal. (right variant)

                Analogously, replace A<<(B*C) with appropriate selection of
                output bits from A<<(B<<K). (left variant)