aboutsummaryrefslogtreecommitdiff
path: root/src/test
diff options
context:
space:
mode:
authorazidar2016-12-05 16:03:59 -0800
committerAdam Izraelevitz2017-03-22 10:30:36 -0700
commit012b4378f5d8b25c5b19c4c5c5e0e46b9097ce21 (patch)
treee864783be5745725617120719c6cbb1c67f84ff6 /src/test
parent13fc27f35e85026c002e644b61c32268bd258d78 (diff)
Bugfix: apply/unapply of PinAnnotation broken
Diffstat (limited to 'src/test')
-rw-r--r--src/test/scala/firrtlTests/ClockListTests.scala33
-rw-r--r--src/test/scala/firrtlTests/WiringTests.scala34
2 files changed, 67 insertions, 0 deletions
diff --git a/src/test/scala/firrtlTests/ClockListTests.scala b/src/test/scala/firrtlTests/ClockListTests.scala
index 9069c145..2ac45e0b 100644
--- a/src/test/scala/firrtlTests/ClockListTests.scala
+++ b/src/test/scala/firrtlTests/ClockListTests.scala
@@ -115,4 +115,37 @@ class ClockListTests extends FirrtlFlatSpec {
val retC = new ClockList("A", writer).run(c)
(writer.toString) should be (check)
}
+ "Have not circuit main be top of clocklist pass" should "still work" in {
+ val input =
+ """circuit A :
+ | module A :
+ | input clock: Clock
+ | input clkB: Clock
+ | inst b of B
+ | inst d of D
+ | b.clock <= clkB
+ | b.clkC <= clock
+ | module B :
+ | input clock: Clock
+ | input clkC: Clock
+ | inst c of C
+ | c.clock <= clkC
+ | module C :
+ | input clock: Clock
+ | reg r: UInt<5>, clock
+ | extmodule D :
+ | input clock: Clock
+ |""".stripMargin
+ val check =
+ """Sourcelist: List(clock, clkC)
+ |Good Origin of clock is clock
+ |Good Origin of c.clock is clkC
+ |""".stripMargin
+ val c = passes.foldLeft(parse(input)) {
+ (c: Circuit, p: Pass) => p.run(c)
+ }
+ val writer = new StringWriter()
+ val retC = new ClockList("B", writer).run(c)
+ (writer.toString) should be (check)
+ }
}
diff --git a/src/test/scala/firrtlTests/WiringTests.scala b/src/test/scala/firrtlTests/WiringTests.scala
index e84cbf47..01ad573f 100644
--- a/src/test/scala/firrtlTests/WiringTests.scala
+++ b/src/test/scala/firrtlTests/WiringTests.scala
@@ -345,4 +345,38 @@ class WiringTests extends FirrtlFlatSpec {
val retC = wiringPass.run(c)
(parse(retC.serialize).serialize) should be (parse(check).serialize)
}
+
+ "Wiring annotations" should "work" in {
+ val source = SourceAnnotation(ComponentName("r", ModuleName("Top", CircuitName("Top"))), "pin")
+ val sink = SinkAnnotation(ModuleName("X", CircuitName("Top")), "pin")
+ val top = TopAnnotation(ModuleName("Top", CircuitName("Top")), "pin")
+ val input =
+ """circuit Top :
+ | module Top :
+ | input clk: Clock
+ | inst x of X
+ | reg r: UInt<5>, clk
+ | extmodule X :
+ | input clk: Clock
+ |""".stripMargin
+ val check =
+ """circuit Top :
+ | module Top :
+ | input clk: Clock
+ | inst x of X
+ | reg r: UInt<5>, clk
+ | wire r_0 : UInt<5>
+ | r_0 <= r
+ | x.pin <= r_0
+ | extmodule X :
+ | input clk: Clock
+ | input pin: UInt<5>
+ |""".stripMargin
+ val c = passes.foldLeft(parse(input)) {
+ (c: Circuit, p: Pass) => p.run(c)
+ }
+ val wiringXForm = new WiringTransform()
+ val retC = wiringXForm.execute(CircuitState(c, LowForm, Some(AnnotationMap(Seq(source, sink, top))), None)).circuit
+ (parse(retC.serialize).serialize) should be (parse(check).serialize)
+ }
}