aboutsummaryrefslogtreecommitdiff
path: root/src/test/scala/firrtlTests/SimplifyMemsSpec.scala
diff options
context:
space:
mode:
authorchick2020-08-14 19:47:53 -0700
committerJack Koenig2020-08-14 19:47:53 -0700
commit6fc742bfaf5ee508a34189400a1a7dbffe3f1cac (patch)
tree2ed103ee80b0fba613c88a66af854ae9952610ce /src/test/scala/firrtlTests/SimplifyMemsSpec.scala
parentb516293f703c4de86397862fee1897aded2ae140 (diff)
All of src/ formatted with scalafmt
Diffstat (limited to 'src/test/scala/firrtlTests/SimplifyMemsSpec.scala')
-rw-r--r--src/test/scala/firrtlTests/SimplifyMemsSpec.scala124
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))
}
}