From d95cb262aefc06458652b227980a3cdc5471d3ba Mon Sep 17 00:00:00 2001
From: Jack Koenig
Date: Tue, 19 Dec 2017 17:33:07 -0800
Subject: Add WireInit.apply that accepts DontCare (#731)

Prevents DontCare from affecting type inference
Fixes #728
---
 src/test/scala/chiselTests/WireSpec.scala | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 src/test/scala/chiselTests/WireSpec.scala

(limited to 'src/test/scala')

diff --git a/src/test/scala/chiselTests/WireSpec.scala b/src/test/scala/chiselTests/WireSpec.scala
new file mode 100644
index 00000000..051880ee
--- /dev/null
+++ b/src/test/scala/chiselTests/WireSpec.scala
@@ -0,0 +1,20 @@
+// See LICENSE for license details.
+
+package chiselTests
+
+import chisel3._
+
+class WireSpec extends ChiselFlatSpec {
+  "WireInit.apply" should "work" in {
+    assertCompiles("WireInit(UInt(4.W), 2.U)")
+  }
+  it should "allow DontCare" in {
+    assertCompiles("WireInit(UInt(4.W), DontCare)")
+  }
+  it should "not allow DontCare to affect type inference" in {
+    assertCompiles("val x: UInt = WireInit(UInt(4.W), DontCare)")
+  }
+  it should "not allow init argument to affect type inference" in {
+    assertDoesNotCompile("val x: UInt = WireInit(UInt(4.W), 2.S)")
+  }
+}
-- 
cgit v1.2.3