sfcX/src/main/scala/firrtl/checks, branch master Scala FIRRTL Compiler for chiselX add emitter for optimized low firrtl (#2304) 2021-08-02T20:46:29+00:00 Kevin Laeufer 2021-08-02T20:46:29+00:00 e04f1e7f303920ac1d1f865450d0e280aafb58b3 * rearrange passes to enable optimized firrtl emission * Support ConstProp on padded arguments to comparisons with literals * Move shr legalization logic into ConstProp Continue calling ConstProp of shr in Legalize. Co-authored-by: Jack Koenig <koenig@sifive.com> Co-authored-by: Jack Koenig <koenig@sifive.com> 
* rearrange passes to enable optimized firrtl emission

* Support ConstProp on padded arguments to comparisons with literals

* Move shr legalization logic into ConstProp

Continue calling ConstProp of shr in Legalize.

Co-authored-by: Jack Koenig <koenig@sifive.com>

Co-authored-by: Jack Koenig <koenig@sifive.com>
 Change to Apache 2.0 License (#1901) 2020-09-17T01:52:16+00:00 Chick Markley 2020-09-17T01:52:16+00:00 ecb96e83324ea17cf38b7b90753d745d3c7f51bd 






All of src/ formatted with scalafmt
2020-08-15T02:47:53+00:00

chick

2020-08-15T02:47:53+00:00

6fc742bfaf5ee508a34189400a1a7dbffe3f1cac












Convert PreservesAll to explicit invalidates=false
2020-06-22T23:00:20+00:00

Schuyler Eldridge

2020-06-19T05:11:15+00:00

d66ff2357e59113ecf48c7d257edff429c4266e0

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





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







s/dependents/optionalPrerequisiteOf/
2020-04-22T23:58:54+00:00

Schuyler Eldridge

2020-04-22T03:24:44+00:00

ffa6958535292d636923739d9d77b566054e2208

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





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







Mixin DependencyAPIMigration to all Transforms
2020-04-22T22:46:31+00:00

Schuyler Eldridge

2020-04-22T02:41:23+00:00

39d76a02785f4391b67abd3b7d7720d287736312

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>





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>







Avoid infinite loops on async-reset self-inits in CheckResets
2020-04-14T07:26:10+00:00

Albert Magyar

2020-04-14T06:29:36+00:00

1bb38863914a1c8b11f2a4587638d8f8603ae8f4

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





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







Allow casts in AsyncReset literal value check (#1523)
2020-04-14T04:23:54+00:00

Jack Koenig

2020-04-14T04:23:54+00:00

f8546a7c165e0bde4b3e5682dd6edd0a3e199b31

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>




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>






Migrate to DependencyAPI
2020-03-11T18:01:31+00:00

Schuyler Eldridge

2019-12-17T23:29:47+00:00

abf226471249a1cbb8de33d0c4bc8526f9aafa70

Co-authored-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>
Co-authored-by: Albert Magyar <albert.magyar@gmail.com>
Signed-off-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>





Co-authored-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>
Co-authored-by: Albert Magyar <albert.magyar@gmail.com>
Signed-off-by: Schuyler Eldridge <schuyler.eldridge@ibm.com>







Infer reset (#1068)
2019-08-13T06:39:27+00:00

Jack Koenig

2019-08-13T06:39:27+00:00

f08f8dbb3c480220f92923a7f3242fcbb644b65e

* Add abstract "Reset" which can be inferred to AsyncReset or UInt<1>
* Enhance async reset initial value literal check to support aggregates




* Add abstract "Reset" which can be inferred to AsyncReset or UInt<1>
* Enhance async reset initial value literal check to support aggregates