aboutsummaryrefslogtreecommitdiff
path: root/src/test
diff options
context:
space:
mode:
Diffstat (limited to 'src/test')
-rw-r--r--src/test/scala/firrtlTests/ConstantPropagationTests.scala19
1 files changed, 19 insertions, 0 deletions
diff --git a/src/test/scala/firrtlTests/ConstantPropagationTests.scala b/src/test/scala/firrtlTests/ConstantPropagationTests.scala
index ca7daa17..c798ba37 100644
--- a/src/test/scala/firrtlTests/ConstantPropagationTests.scala
+++ b/src/test/scala/firrtlTests/ConstantPropagationTests.scala
@@ -836,6 +836,25 @@ class ConstantPropagationIntegrationSpec extends LowTransformSpec {
execute(input, check, Seq.empty)
}
+ it should "pad zero when constant propping a register replaced with zero" in {
+ val input =
+ """circuit Top :
+ | module Top :
+ | input clock : Clock
+ | output z : UInt<16>
+ | reg r : UInt<8>, clock
+ | r <= or(r, UInt(0))
+ | node n = UInt("hab")
+ | z <= cat(n, r)""".stripMargin
+ val check =
+ """circuit Top :
+ | module Top :
+ | input clock : Clock
+ | output z : UInt<16>
+ | z <= UInt<16>("hab00")""".stripMargin
+ execute(input, check, Seq.empty)
+ }
+
it should "pad constant connections to outputs when propagating" in {
val input =
"""circuit Top :