* Update scalatest to 3.1.1

* Update scalatest to 3.1.1

* Update scalatest to 3.1.1

Co-authored-by: Jim Lawson <ucbjrl@berkeley.edu>
Co-authored-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>

* adding init macros

* fix missing tick

* adding more documentation; fixing up emitter tests

* adding initial-guarding macro test

* prefixing macros with FIRRTL

* cleanup

* typo fix

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

Add LegalizeAndReductionsTransform

Workaround for https://github.com/verilator/verilator #2300
present in Verilator versions v4.026 - v4.032. This transform turns AND
reductions for expressions > 64-bits into an equality check with all
ones. It is included as a prerequisite for all Verilog emitters.

This adds missing invalidations to four transforms:

  - ExpandConnects
  - RemoveAccesses
  - SplitExpressions
  - VerilogMemDelays

This necessarily updates test cases which expect exact transform
orders to reflect the new order.

Signed-off-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

* Emitter: add declare functions ifdef guard

* Emitter: add ifdef initials

* Emitter: add comments, cleanup

* Emitter: changes from code review

- make new methods private
- use .withDefault
- remove empty initial block

Co-authored-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>

This replaces the rules for 1.2.x

* Bump old 'removed in 1.3' deprecation
* Remove outdated passes.VerilogRename
* Fixes #1467

Change `dependents` to `optionalPrerequisiteOf`

Signed-off-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>

Signed-off-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>

Trait-base Dependency API Migration

Co-authored-by: Jack Koenig <koenig@sifive.com>
Co-authored-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>
Signed-off-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>

This mixes in the new DependencyAPIMigration trait into all Transforms
and Passes. This enables in-tree transforms/passes to build without
deprecation warnings associated with the deprecated CircuitForm.

As a consequence of this, every Transform now has UnknownForm as both
its inputForm and outputForm. This PR modifies legacy Compiler and
testing infrastructure to schedule transforms NOT using
mergeTransforms/getLoweringTransforms (which rely on inputForm and
outputForm not being UnknownForm), but instead using the Dependency
API.

Signed-off-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>

Signed-off-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>

Signed-off-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>

Signed-off-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>

Changes the DependencyManager to use the private[options]
LinkedHashSet members that shadow the public Seq[_] dependencies. This
should avoid some unnecessary set construction and also improves
readability of the DependencyManager code.

Signed-off-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>

Signed-off-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>

Prevent infinite recursion in CheckResets

* Fixes #1516
* Tighten up logic for "casted literal" checking

Chisel emits all literals as UInts cast to the correct type, make
CheckResets support casts when checking that async reset registers are
reset to literal values.

Co-authored-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>

Fix mixed -E and -e emission

Signed-off-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>

Fixes a bug where an Emitter was only checking for the presence of an
EmitCircuitAnnotation or EmitAllModulesAnnotation to control its
emission flavor (one-file-per-module or one-file). This changes the
check to ensure that the class of emitter matches that of the
annotation. This allows for correct behavior when mixing different
emitters, e.g., -E high -e middle.

Signed-off-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>

* Remove unused imports

* [spec] Add Fixed to spec

* Fixes #1195
* Define type & parameters
* Add Fixed as argument type to type conversions
* Add Fixed as argument type to relevent PrimOps (with link to tables)
* Add asFixed PrimOp
* Add IncP/DecP/SetP primops
* Add fixed-point width/point propagation tables

* Update spec pdf

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>

* EliminateTargetPaths: add lone instance test cases

* EliminateTargetPaths: don't rename lone instances

* get rid of trailing comma

Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>