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/SimplifyMemsSpec.scala | |
| parent | b516293f703c4de86397862fee1897aded2ae140 (diff) | |
All of src/ formatted with scalafmt
Diffstat (limited to 'src/test/scala/firrtlTests/SimplifyMemsSpec.scala')
| -rw-r--r-- | src/test/scala/firrtlTests/SimplifyMemsSpec.scala | 124 |
1 files changed, 62 insertions, 62 deletions
diff --git a/src/test/scala/firrtlTests/SimplifyMemsSpec.scala b/src/test/scala/firrtlTests/SimplifyMemsSpec.scala index ec947ecf..c7d04d46 100644 --- a/src/test/scala/firrtlTests/SimplifyMemsSpec.scala +++ b/src/test/scala/firrtlTests/SimplifyMemsSpec.scala @@ -12,73 +12,73 @@ class SimplifyMemsSpec extends ConstantPropagationSpec { "SimplifyMems" should "lower aggregate memories" in { val input = - """circuit Test : - | module Test : - | input clock : Clock - | input wen : UInt<1> - | input wdata : { a : UInt<8>, b : UInt<8> } - | output rdata : { a : UInt<8>, b : UInt<8> } - | mem m : - | data-type => { a : UInt<8>, b : UInt<8>} - | depth => 32 - | read-latency => 1 - | write-latency => 1 - | reader => read - | writer => write - | m.read.clk <= clock - | m.read.en <= UInt<1>(1) - | m.read.addr is invalid - | rdata <= m.read.data - | m.write.clk <= clock - | m.write.en <= wen - | m.write.mask.a <= UInt<1>(1) - | m.write.mask.b <= UInt<1>(1) - | m.write.addr is invalid - | m.write.data <= wdata + """circuit Test : + | module Test : + | input clock : Clock + | input wen : UInt<1> + | input wdata : { a : UInt<8>, b : UInt<8> } + | output rdata : { a : UInt<8>, b : UInt<8> } + | mem m : + | data-type => { a : UInt<8>, b : UInt<8>} + | depth => 32 + | read-latency => 1 + | write-latency => 1 + | reader => read + | writer => write + | m.read.clk <= clock + | m.read.en <= UInt<1>(1) + | m.read.addr is invalid + | rdata <= m.read.data + | m.write.clk <= clock + | m.write.en <= wen + | m.write.mask.a <= UInt<1>(1) + | m.write.mask.b <= UInt<1>(1) + | m.write.addr is invalid + | m.write.data <= wdata """.stripMargin val check = - """circuit Test : - | module Test : - | input clock : Clock - | input wen : UInt<1> - | input wdata : { a : UInt<8>, b : UInt<8>} - | output rdata : { a : UInt<8>, b : UInt<8>} - | - | wire m : { flip read : { addr : UInt<5>, en : UInt<1>, clk : Clock, flip data : { a : UInt<8>, b : UInt<8>}}, flip write : { addr : UInt<5>, en : UInt<1>, clk : Clock, data : { a : UInt<8>, b : UInt<8>}, mask : { a : UInt<1>, b : UInt<1>}}} - | mem m_flattened : - | data-type => UInt<16> - | depth => 32 - | read-latency => 1 - | write-latency => 1 - | reader => read - | writer => write - | read-under-write => undefined - | m_flattened.read.addr <= m.read.addr - | m_flattened.read.en <= m.read.en - | m_flattened.read.clk <= m.read.clk - | m.read.data.b <= asUInt(bits(m_flattened.read.data, 7, 0)) - | m.read.data.a <= asUInt(bits(m_flattened.read.data, 15, 8)) - | m_flattened.write.addr <= m.write.addr - | m_flattened.write.en <= m.write.en - | m_flattened.write.clk <= m.write.clk - | m_flattened.write.data <= cat(asUInt(m.write.data.a), asUInt(m.write.data.b)) - | m_flattened.write.mask <= UInt<1>("h1") - | rdata.a <= m.read.data.a - | rdata.b <= m.read.data.b - | m.read.addr is invalid - | m.read.en <= UInt<1>("h1") - | m.read.clk <= clock - | m.write.addr is invalid - | m.write.en <= wen - | m.write.clk <= clock - | m.write.data.a <= wdata.a - | m.write.data.b <= wdata.b - | m.write.mask.a <= UInt<1>("h1") - | m.write.mask.b <= UInt<1>("h1") + """circuit Test : + | module Test : + | input clock : Clock + | input wen : UInt<1> + | input wdata : { a : UInt<8>, b : UInt<8>} + | output rdata : { a : UInt<8>, b : UInt<8>} + | + | wire m : { flip read : { addr : UInt<5>, en : UInt<1>, clk : Clock, flip data : { a : UInt<8>, b : UInt<8>}}, flip write : { addr : UInt<5>, en : UInt<1>, clk : Clock, data : { a : UInt<8>, b : UInt<8>}, mask : { a : UInt<1>, b : UInt<1>}}} + | mem m_flattened : + | data-type => UInt<16> + | depth => 32 + | read-latency => 1 + | write-latency => 1 + | reader => read + | writer => write + | read-under-write => undefined + | m_flattened.read.addr <= m.read.addr + | m_flattened.read.en <= m.read.en + | m_flattened.read.clk <= m.read.clk + | m.read.data.b <= asUInt(bits(m_flattened.read.data, 7, 0)) + | m.read.data.a <= asUInt(bits(m_flattened.read.data, 15, 8)) + | m_flattened.write.addr <= m.write.addr + | m_flattened.write.en <= m.write.en + | m_flattened.write.clk <= m.write.clk + | m_flattened.write.data <= cat(asUInt(m.write.data.a), asUInt(m.write.data.b)) + | m_flattened.write.mask <= UInt<1>("h1") + | rdata.a <= m.read.data.a + | rdata.b <= m.read.data.b + | m.read.addr is invalid + | m.read.en <= UInt<1>("h1") + | m.read.clk <= clock + | m.write.addr is invalid + | m.write.en <= wen + | m.write.clk <= clock + | m.write.data.a <= wdata.a + | m.write.data.b <= wdata.b + | m.write.mask.a <= UInt<1>("h1") + | m.write.mask.b <= UInt<1>("h1") """.stripMargin - (parse(exec(input))) should be (parse(check)) + (parse(exec(input))) should be(parse(check)) } } |
