sfcX/src/test/scala/firrtl/testutils, branch master

0-bit literals (#2544)

2022-12-15T22:09:14+00:00

* allow for zero-width integer literals
* CheckWidths: ensure that width is non-negative

Deprecate all mutable methods on RenameMap (#2444)

2021-12-17T18:07:25+00:00

* Add renamemap.MutableRenameMap which includes these methods without
  deprecation
* Deprecate Stringly typed RenameMap APIs which were accidentally
  undeprecated a while ago

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

[deprecation clean up] remove trait firrtl.util.BackendCompilationUtilities (#2423)

2021-11-30T03:16:02+00:00

Co-authored-by: Jack Koenig

Legalize neg: -x becomes 0 - x (#2128)

2021-03-19T20:59:52+00:00

This fixes an error with negating a negative SInt literal and a
[debatable] lint warning in Verilator when negating any value.

This behavior matches that of Chisel (which directly emits the 0 - x
already).

Ensure InlineCasts does not inline complex Expressions (#2130)

2021-03-19T06:31:51+00:00

Previously, InlineCasts could inline complex (ie. non-cast) Expressions
into other complex Expressions. Now it will only inline so long as there
no more than 1 complex Expression in the current nested Expression.

Co-authored-by: Albert Magyar

Allow Side Effecting Statement to have Names (#2057)

2021-02-17T20:16:52+00:00

* firrtl: add optional statement labels for stop, printf, assert, assume and cover

* test: parsing of statement labels

* ir: ensure that name is properly retained

* SymbolTable: add support for labled statements

* test: parsing statement labels

* test: lower types name collisions with named statements

* ignore empty names

* Inline: deal with named and unnamed statements

* RemoveWires: treat stop, printf and verification statements as "others"

* test: fix InlineInstance tests

* DeadCodeEliminations: statements are now als declarations

* CheckHighForm: ensure that statement names are not used as references

* CheckSpec: throw error if statement name collides

* add pass to automatically add missing statement names

* check: make sure that two statements cannot have the same name

* stmtLabel -> stmtName

* scalafmt

* add statement names to spec

* spec: meta data -> metadata

* EnsureStatementNames: explain naming algorithm

* remove returns

* better namespace use

* ir: add CanBeReferenced trait

* ir: add newline as jack requested

Stop padding multiply and divide ops (#2058)

2021-01-29T02:39:57+00:00

Fixes bug with mul or div followed by cat.
Also fixes some Verilog lint issues.

Change to Apache 2.0 License (#1901)

2020-09-17T01:52:16+00:00

Add custom transforms 'upstream' of emitter annotation in equiv tests

2020-08-28T23:32:12+00:00

Deprecate CompilerAnnotation (#1870)

2020-08-28T16:09:43+00:00

* CompilerAnnotation$ emits RunFirrtlTransform

Change the CompilerAnnotation object to emit
RunFirrtlTransformAnnotations containing the associated emitter.

This requires a fix in the Driver compatibility layer to know how to
enable one-file-per module emission if either a CompilerAnnotation or
a RunFirrtlTransformAnnotation(_: Emitter) is present.

Signed-off-by: Schuyler Eldridge 

* Add ConvertCompilerAnnotation phase

Add a phase, ConvertCompilerAnnotation, that converts a
CompilerAnnotation to a RunFirrtlTransformAnnotation. This provides a
warning to the user if this path is taken.

Signed-off-by: Schuyler Eldridge 

* Add test of ConvertCompilerAnnotation

Signed-off-by: Schuyler Eldridge 

* Deprecate CompilerAnnotation$, move helper methods

Deprecate the CompilerAnnotation companion object and move it's
private utility inside the RunFirrtlTransformAnnotation companion
object.

Signed-off-by: Schuyler Eldridge 

* Make ConvertCompilerAnnotations private[firrtl]

Make this phase private to avoid adding a deprecation warning. Also,
remove an unused string value.

Signed-off-by: Schuyler Eldridge 

* Fix incorrect string in test

Signed-off-by: Schuyler Eldridge 

* Add test that '-X verilog', no emitter yields file

Signed-off-by: Schuyler Eldridge