From 8fa7b99d3dff5f199455fa67e90a7dfa6941b8ff Mon Sep 17 00:00:00 2001
From: Albert Magyar
Date: Fri, 28 Aug 2020 15:46:34 -0700
Subject: Add test for InlineBooleanExpressions add-not example

---
 src/test/scala/firrtlTests/InlineBooleanExpressionsSpec.scala | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/src/test/scala/firrtlTests/InlineBooleanExpressionsSpec.scala b/src/test/scala/firrtlTests/InlineBooleanExpressionsSpec.scala
index 1bf7261f..b074e712 100644
--- a/src/test/scala/firrtlTests/InlineBooleanExpressionsSpec.scala
+++ b/src/test/scala/firrtlTests/InlineBooleanExpressionsSpec.scala
@@ -241,4 +241,15 @@ class InlineBooleanExpressionsSpec extends FirrtlFlatSpec {
         |    out <= _f""".stripMargin
     firrtlEquivalenceTest(input, Seq(new InlineBooleanExpressions))
   }
+
+  it should "avoid inlining when it would create context-sensitivity bugs" in {
+    val input =
+      """circuit AddNot:
+        |  module AddNot:
+        |    input a: UInt<1>
+        |    input b: UInt<1>
+        |    output o: UInt<2>
+        |    o <= add(a, not(b))""".stripMargin
+    firrtlEquivalenceTest(input, Seq(new InlineBooleanExpressions))
+  }
 }
-- 
cgit v1.2.3