From 941dd7ee76cadacbdd10b3d10d267f5d58a7ed4e Mon Sep 17 00:00:00 2001
From: mergify[bot]
Date: Tue, 8 Mar 2022 00:30:37 +0000
Subject: Add scanLeftOr and scanRightOr utilies (#2407) (#2437)

Co-authored-by: Jiuyang Liu <liu@jiuyang.me>
Co-authored-by: Megan Wachs <megan@sifive.com>
Co-authored-by: Jack Koenig <koenig@sifive.com>
(cherry picked from commit 73d3c26029c07c17ce179dfead092eab4fb8ae2c)

Co-authored-by: Liu Xiaoyi <circuitcoder0@gmail.com>---
 .../util/experimental/algorithm/Bitwise.scala      | 47 ++++++++++++++++++++++
 1 file changed, 47 insertions(+)
 create mode 100644 integration-tests/src/test/scala/chiselTests/util/experimental/algorithm/Bitwise.scala

(limited to 'integration-tests/src/test/scala')

diff --git a/integration-tests/src/test/scala/chiselTests/util/experimental/algorithm/Bitwise.scala b/integration-tests/src/test/scala/chiselTests/util/experimental/algorithm/Bitwise.scala
new file mode 100644
index 00000000..6c8eb4b4
--- /dev/null
+++ b/integration-tests/src/test/scala/chiselTests/util/experimental/algorithm/Bitwise.scala
@@ -0,0 +1,47 @@
+// SPDX-License-Identifier: Apache-2.0
+
+import chisel3._
+import chisel3.util._
+import chiseltest._
+import chiseltest.formal._
+import org.scalatest.flatspec.AnyFlatSpec
+import scala.math.min
+
+class ScanLeftOrTestModule(width: Int) extends Module {
+  val input = IO(Input(UInt(width.W)))
+
+  var lsb = false.B
+  val vec = for(b <- input.asBools) yield {
+    val cur = b || lsb
+    lsb = cur
+    cur
+  }
+  val ref = VecInit(vec).asUInt
+
+  val testee = scanLeftOr(input)
+
+  assert(testee === ref)
+}
+
+class ScanRightOrTestModule(width: Int) extends Module {
+  val input = IO(Input(UInt(width.W)))
+
+  val ref = Reverse(scanLeftOr(Reverse(input)))
+  val testee = scanRightOr(input)
+
+  assert(testee === ref)
+}
+
+class scanOrTest extends AnyFlatSpec with ChiselScalatestTester with Formal {
+  "scanLeftOr" should "compute correctly" in {
+    for(i <- 1 to 16) {
+      verify(new ScanLeftOrTestModule(i), Seq(BoundedCheck(1)))
+    }
+  }
+
+  "scanRightOr" should "compute correctly" in {
+    for(i <- 1 to 16) {
+      verify(new ScanRightOrTestModule(i), Seq(BoundedCheck(1)))
+    }
+  }
+}
-- 
cgit v1.2.3