From e30c20d10ba47b11e06416e912ed89b6b6ce8e7b Mon Sep 17 00:00:00 2001
From: Albert Chen
Date: Thu, 23 Jul 2020 14:31:11 -0700
Subject: fix reduction op bug ConstantPropagation (#1746)

* add const prop bitwise reduction equivalence test

* mask negative literals when propagating reduction

* change widths

* get rid of unnecessary if

* add BigInt mask utility---
 src/test/scala/firrtlTests/ConstantPropagationTests.scala | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'src/test')

diff --git a/src/test/scala/firrtlTests/ConstantPropagationTests.scala b/src/test/scala/firrtlTests/ConstantPropagationTests.scala
index d81f8687..653653d6 100644
--- a/src/test/scala/firrtlTests/ConstantPropagationTests.scala
+++ b/src/test/scala/firrtlTests/ConstantPropagationTests.scala
@@ -1629,6 +1629,19 @@ class ConstantPropagationEquivalenceSpec extends FirrtlFlatSpec {
     firrtlEquivalenceTest(input, transforms)
   }
 
+  "reduction of literals" should "be propagated" in {
+    val input =
+      s"""circuit ConstPropReductionTester :
+         |  module ConstPropReductionTester :
+         |    output out1 : UInt<1>
+         |    output out2 : UInt<1>
+         |    output out3 : UInt<1>
+         |    out1 <= xorr(SInt<2>(-1))
+         |    out2 <= andr(SInt<2>(-1))
+         |    out3 <= orr(SInt<2>(-1))""".stripMargin
+    firrtlEquivalenceTest(input, transforms)
+  }
+
    "addition of negative literals" should "be propagated" in {
      val input =
        s"""circuit AddTester :
-- 
cgit v1.2.3