diff options
| author | Adam Izraelevitz | 2018-05-09 10:19:45 -0700 |
|---|---|---|
| committer | GitHub | 2018-05-09 10:19:45 -0700 |
| commit | 77cfdbf05cafa78946a5684a0e4a530ebecd6547 (patch) | |
| tree | 6b0a4d288cb5adb518b3b9e09d3762fb93c050f7 /src/main | |
| parent | 227a523c327c63144544312aab01c164a67c2a94 (diff) | |
Bugfix: ports of a temporary name would break const-prop (#806)
Diffstat (limited to 'src/main')
| -rw-r--r-- | src/main/scala/firrtl/transforms/ConstantPropagation.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/scala/firrtl/transforms/ConstantPropagation.scala b/src/main/scala/firrtl/transforms/ConstantPropagation.scala index c417357b..60d9ac2c 100644 --- a/src/main/scala/firrtl/transforms/ConstantPropagation.scala +++ b/src/main/scala/firrtl/transforms/ConstantPropagation.scala @@ -347,7 +347,7 @@ class ConstantPropagation extends Transform { // When propagating a reference, check if we want to keep the name that would be deleted def propagateRef(lname: String, value: Expression): Unit = { value match { - case WRef(rname,_,_,_) if betterName(lname, rname) && !swapMap.contains(rname) => + case WRef(rname,_,kind,_) if betterName(lname, rname) && !swapMap.contains(rname) && kind != PortKind => assert(!swapMap.contains(lname)) // <- Shouldn't be possible because lname is either a // node declaration or the single connection to a wire or register swapMap += (lname -> rname, rname -> lname) |
