diff options
| author | chick | 2020-08-14 19:47:53 -0700 |
|---|---|---|
| committer | Jack Koenig | 2020-08-14 19:47:53 -0700 |
| commit | 6fc742bfaf5ee508a34189400a1a7dbffe3f1cac (patch) | |
| tree | 2ed103ee80b0fba613c88a66af854ae9952610ce /src/test/scala/firrtlTests/ExpandWhensSpec.scala | |
| parent | b516293f703c4de86397862fee1897aded2ae140 (diff) | |
All of src/ formatted with scalafmt
Diffstat (limited to 'src/test/scala/firrtlTests/ExpandWhensSpec.scala')
| -rw-r--r-- | src/test/scala/firrtlTests/ExpandWhensSpec.scala | 65 |
1 files changed, 33 insertions, 32 deletions
diff --git a/src/test/scala/firrtlTests/ExpandWhensSpec.scala b/src/test/scala/firrtlTests/ExpandWhensSpec.scala index 3616397f..6737643a 100644 --- a/src/test/scala/firrtlTests/ExpandWhensSpec.scala +++ b/src/test/scala/firrtlTests/ExpandWhensSpec.scala @@ -22,54 +22,55 @@ class ExpandWhensSpec extends FirrtlFlatSpec { PullMuxes, ExpandConnects, RemoveAccesses, - ExpandWhens) + ExpandWhens + ) private def executeTest(input: String, check: String, expected: Boolean) = { val circuit = Parser.parse(input.split("\n").toIterator) - val result = transforms.foldLeft(CircuitState(circuit, UnknownForm)) { - (c: CircuitState, p: Transform) => p.runTransform(c) + val result = transforms.foldLeft(CircuitState(circuit, UnknownForm)) { (c: CircuitState, p: Transform) => + p.runTransform(c) } val c = result.circuit - val lines = c.serialize.split("\n") map normalized + val lines = c.serialize.split("\n").map(normalized) if (expected) { - c.serialize.contains(check) should be (true) + c.serialize.contains(check) should be(true) } else { - lines.foreach(_.contains(check) should be (false)) + lines.foreach(_.contains(check) should be(false)) } } "Expand Whens" should "not emit INVALID" in { val input = - """|circuit Tester : - | module Tester : - | input p : UInt<1> - | when p : - | wire a : {b : UInt<64>, c : UInt<64>} - | a is invalid - | a.b <= UInt<64>("h04000000000000000")""".stripMargin + """|circuit Tester : + | module Tester : + | input p : UInt<1> + | when p : + | wire a : {b : UInt<64>, c : UInt<64>} + | a is invalid + | a.b <= UInt<64>("h04000000000000000")""".stripMargin val check = "INVALID" executeTest(input, check, false) } it should "void unwritten memory fields" in { val input = - """|circuit Tester : - | module Tester : - | input clk : Clock - | mem memory: - | data-type => UInt<32> - | depth => 32 - | reader => r0 - | writer => w0 - | read-latency => 0 - | write-latency => 1 - | read-under-write => undefined - | memory.r0.addr <= UInt<1>(1) - | memory.r0.en <= UInt<1>(1) - | memory.r0.clk <= clk - | memory.w0.addr <= UInt<1>(1) - | memory.w0.data <= UInt<1>(1) - | memory.w0.en <= UInt<1>(1) - | memory.w0.clk <= clk - | """.stripMargin + """|circuit Tester : + | module Tester : + | input clk : Clock + | mem memory: + | data-type => UInt<32> + | depth => 32 + | reader => r0 + | writer => w0 + | read-latency => 0 + | write-latency => 1 + | read-under-write => undefined + | memory.r0.addr <= UInt<1>(1) + | memory.r0.en <= UInt<1>(1) + | memory.r0.clk <= clk + | memory.w0.addr <= UInt<1>(1) + | memory.w0.data <= UInt<1>(1) + | memory.w0.en <= UInt<1>(1) + | memory.w0.clk <= clk + | """.stripMargin val check = "VOID" executeTest(input, check, true) } |
