Add test for InlineBooleanExpressions add-not example

1 files changed, 11 insertions, 0 deletions

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))
+  }
 }