aboutsummaryrefslogtreecommitdiff
path: root/src/test/scala/firrtlTests/ReplSeqMemTests.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/ReplSeqMemTests.scala
parentb516293f703c4de86397862fee1897aded2ae140 (diff)
All of src/ formatted with scalafmt
Diffstat (limited to 'src/test/scala/firrtlTests/ReplSeqMemTests.scala')
-rw-r--r--src/test/scala/firrtlTests/ReplSeqMemTests.scala82
1 files changed, 44 insertions, 38 deletions
diff --git a/src/test/scala/firrtlTests/ReplSeqMemTests.scala b/src/test/scala/firrtlTests/ReplSeqMemTests.scala
index cd2fdb05..17f4dcfd 100644
--- a/src/test/scala/firrtlTests/ReplSeqMemTests.scala
+++ b/src/test/scala/firrtlTests/ReplSeqMemTests.scala
@@ -25,7 +25,8 @@ class ReplSeqMemSpec extends SimpleTransformSpec {
new SeqTransform {
def inputForm = LowForm
def outputForm = LowForm
- def transforms = Seq(new ConstantPropagation, CommonSubexpressionElimination, new DeadCodeElimination, RemoveEmpty)
+ def transforms =
+ Seq(new ConstantPropagation, CommonSubexpressionElimination, new DeadCodeElimination, RemoveEmpty)
}
)
@@ -35,7 +36,12 @@ class ReplSeqMemSpec extends SimpleTransformSpec {
// Verify that this does not throw an exception
val fromConf = MemConf.fromString(text)
// Verify the mems in the conf are the same as the expected ones
- require(Set(fromConf: _*) == mems, "Parsed conf set:\n {\n " + fromConf.mkString(" ") + " }\n must be the same as reference conf set: \n {\n " + mems.toSeq.mkString(" ") + " }\n")
+ require(
+ Set(fromConf: _*) == mems,
+ "Parsed conf set:\n {\n " + fromConf.mkString(
+ " "
+ ) + " }\n must be the same as reference conf set: \n {\n " + mems.toSeq.mkString(" ") + " }\n"
+ )
}
"ReplSeqMem" should "generate blackbox wrappers for mems of bundle type" in {
@@ -63,7 +69,7 @@ circuit Top :
MemConf("entries_info_ext", 24, 30, Map(WritePort -> 1, ReadPort -> 1), None)
)
val confLoc = "ReplSeqMemTests.confTEMP"
- val annos = Seq(ReplSeqMemAnnotation.parse("-c:Top:-o:"+confLoc))
+ val annos = Seq(ReplSeqMemAnnotation.parse("-c:Top:-o:" + confLoc))
val res = compileAndEmit(CircuitState(parse(input), ChirrtlForm, annos))
// Check correctness of firrtl
parse(res.getEmittedCircuit.value)
@@ -88,7 +94,7 @@ circuit Top :
""".stripMargin
val mems = Set(MemConf("mem_ext", 32, 64, Map(MaskedWritePort -> 1), Some(64)))
val confLoc = "ReplSeqMemTests.confTEMP"
- val annos = Seq(ReplSeqMemAnnotation.parse("-c:Top:-o:"+confLoc))
+ val annos = Seq(ReplSeqMemAnnotation.parse("-c:Top:-o:" + confLoc))
val res = compileAndEmit(CircuitState(parse(input), ChirrtlForm, annos))
// Check correctness of firrtl
parse(res.getEmittedCircuit.value)
@@ -116,7 +122,7 @@ circuit CustomMemory :
""".stripMargin
val mems = Set(MemConf("mem_ext", 7, 16, Map(WritePort -> 1, ReadPort -> 1), None))
val confLoc = "ReplSeqMemTests.confTEMP"
- val annos = Seq(ReplSeqMemAnnotation.parse("-c:CustomMemory:-o:"+confLoc))
+ val annos = Seq(ReplSeqMemAnnotation.parse("-c:CustomMemory:-o:" + confLoc))
val res = compileAndEmit(CircuitState(parse(input), ChirrtlForm, annos))
// Check correctness of firrtl
parse(res.getEmittedCircuit.value)
@@ -144,7 +150,7 @@ circuit CustomMemory :
""".stripMargin
val mems = Set(MemConf("mem_ext", 7, 16, Map(WritePort -> 1, ReadPort -> 1), None))
val confLoc = "ReplSeqMemTests.confTEMP"
- val annos = Seq(ReplSeqMemAnnotation.parse("-c:CustomMemory:-o:"+confLoc))
+ val annos = Seq(ReplSeqMemAnnotation.parse("-c:CustomMemory:-o:" + confLoc))
val res = compileAndEmit(CircuitState(parse(input), ChirrtlForm, annos))
// Check correctness of firrtl
parse(res.getEmittedCircuit.value)
@@ -153,8 +159,8 @@ circuit CustomMemory :
(new java.io.File(confLoc)).delete()
}
- "ReplSeqMem Utility -- getConnectOrigin" should
- "determine connect origin across nodes/PrimOps even if ConstProp isn't performed" in {
+ "ReplSeqMem Utility -- getConnectOrigin" should
+ "determine connect origin across nodes/PrimOps even if ConstProp isn't performed" in {
def checkConnectOrigin(hurdle: String, origin: String) = {
val input = s"""
circuit Top :
@@ -172,7 +178,7 @@ circuit Top :
val circuit = InferTypes.run(ToWorkingIR.run(parse(input)))
val m = circuit.modules.head.asInstanceOf[ir.Module]
val connects = AnalysisUtils.getConnects(m)
- val calculatedOrigin = AnalysisUtils.getOrigin(connects, "f").serialize
+ val calculatedOrigin = AnalysisUtils.getOrigin(connects, "f").serialize
require(calculatedOrigin == origin, s"getConnectOrigin returns incorrect origin $calculatedOrigin !")
}
@@ -195,7 +201,7 @@ circuit Top :
"validif(a, b)" -> "b"
)
- tests foreach { case(hurdle, origin) => checkConnectOrigin(hurdle, origin) }
+ tests.foreach { case (hurdle, origin) => checkConnectOrigin(hurdle, origin) }
}
@@ -226,16 +232,17 @@ circuit CustomMemory :
)
val confLoc = "ReplSeqMemTests.confTEMP"
val annos = Seq(
- ReplSeqMemAnnotation.parse("-c:CustomMemory:-o:"+confLoc),
- NoDedupMemAnnotation(ComponentName("mem_0", ModuleName("CustomMemory",CircuitName("CustomMemory")))))
+ ReplSeqMemAnnotation.parse("-c:CustomMemory:-o:" + confLoc),
+ NoDedupMemAnnotation(ComponentName("mem_0", ModuleName("CustomMemory", CircuitName("CustomMemory"))))
+ )
val res = compileAndEmit(CircuitState(parse(input), ChirrtlForm, annos))
// Check correctness of firrtl
val circuit = parse(res.getEmittedCircuit.value)
val numExtMods = circuit.modules.count {
- case e: ExtModule => true
+ case e: ExtModule => true
case _ => false
}
- numExtMods should be (2)
+ numExtMods should be(2)
// Check the emitted conf
checkMemConf(confLoc, mems)
(new java.io.File(confLoc)).delete()
@@ -272,16 +279,17 @@ circuit CustomMemory :
)
val confLoc = "ReplSeqMemTests.confTEMP"
val annos = Seq(
- ReplSeqMemAnnotation.parse("-c:CustomMemory:-o:"+confLoc),
- NoDedupMemAnnotation(ComponentName("mem_1", ModuleName("CustomMemory",CircuitName("CustomMemory")))))
+ ReplSeqMemAnnotation.parse("-c:CustomMemory:-o:" + confLoc),
+ NoDedupMemAnnotation(ComponentName("mem_1", ModuleName("CustomMemory", CircuitName("CustomMemory"))))
+ )
val res = compileAndEmit(CircuitState(parse(input), ChirrtlForm, annos))
// Check correctness of firrtl
val circuit = parse(res.getEmittedCircuit.value)
val numExtMods = circuit.modules.count {
- case e: ExtModule => true
+ case e: ExtModule => true
case _ => false
}
- numExtMods should be (2)
+ numExtMods should be(2)
// Check the emitted conf
checkMemConf(confLoc, mems)
(new java.io.File(confLoc)).delete()
@@ -329,20 +337,21 @@ circuit CustomMemory :
)
val confLoc = "ReplSeqMemTests.confTEMP"
val annos = Seq(
- ReplSeqMemAnnotation.parse("-c:CustomMemory:-o:"+confLoc),
- NoDedupMemAnnotation(ComponentName("mem_0", ModuleName("ChildMemory",CircuitName("CustomMemory")))))
+ ReplSeqMemAnnotation.parse("-c:CustomMemory:-o:" + confLoc),
+ NoDedupMemAnnotation(ComponentName("mem_0", ModuleName("ChildMemory", CircuitName("CustomMemory"))))
+ )
val res = compileAndEmit(CircuitState(parse(input), ChirrtlForm, annos))
// Check correctness of firrtl
val circuit = parse(res.getEmittedCircuit.value)
val numExtMods = circuit.modules.count {
- case e: ExtModule => true
+ case e: ExtModule => true
case _ => false
}
// Note that there are 3 identical SeqMems in this test
// If the NoDedupMemAnnotation were ignored, we'd end up with just 1 ExtModule
// If the NoDedupMemAnnotation were handled incorrectly as it was prior to this test, there
// would be 3 ExtModules
- numExtMods should be (2)
+ numExtMods should be(2)
// Check the emitted conf
checkMemConf(confLoc, mems)
(new java.io.File(confLoc)).delete()
@@ -371,12 +380,12 @@ circuit CustomMemory :
"""
val mems = Set(MemConf("mem_0_ext", 7, 16, Map(WritePort -> 1, ReadPort -> 1), None))
val confLoc = "ReplSeqMemTests.confTEMP"
- val annos = Seq(ReplSeqMemAnnotation.parse("-c:CustomMemory:-o:"+confLoc))
+ val annos = Seq(ReplSeqMemAnnotation.parse("-c:CustomMemory:-o:" + confLoc))
val res = compileAndEmit(CircuitState(parse(input), ChirrtlForm, annos))
// Check correctness of firrtl
val circuit = parse(res.getEmittedCircuit.value)
val numExtMods = circuit.modules.count {
- case e: ExtModule => true
+ case e: ExtModule => true
case _ => false
}
require(numExtMods == 1)
@@ -400,9 +409,9 @@ circuit CustomMemory :
"""
val mems = Set(MemConf("mem_ext", 1024, 16, Map(WritePort -> 1, ReadPort -> 1), None))
val confLoc = "ReplSeqMemTests.confTEMP"
- val annos = Seq(ReplSeqMemAnnotation.parse("-c:CustomMemory:-o:"+confLoc))
+ val annos = Seq(ReplSeqMemAnnotation.parse("-c:CustomMemory:-o:" + confLoc))
val res = compileAndEmit(CircuitState(parse(input), ChirrtlForm, annos))
- res.getEmittedCircuit.value shouldNot include ("mask")
+ res.getEmittedCircuit.value shouldNot include("mask")
// Check the emitted conf
checkMemConf(confLoc, mems)
(new java.io.File(confLoc)).delete()
@@ -428,11 +437,11 @@ circuit CustomMemory :
"""
val mems = Set(MemConf("mem_ext", 1024, 16, Map(MaskedWritePort -> 1, ReadPort -> 1), Some(8)))
val confLoc = "ReplSeqMemTests.confTEMP"
- val annos = Seq(ReplSeqMemAnnotation.parse("-c:CustomMemory:-o:"+confLoc))
+ val annos = Seq(ReplSeqMemAnnotation.parse("-c:CustomMemory:-o:" + confLoc))
val res = compileAndEmit(CircuitState(parse(input), ChirrtlForm, annos))
// TODO Until RemoveCHIRRTL is removed, enable will still drive validif for mask
- res should containLine ("mem.W0_mask_0 <= validif(io_en, io_mask_0)")
- res should containLine ("mem.W0_mask_1 <= validif(io_en, io_mask_1)")
+ res should containLine("mem.W0_mask_0 <= validif(io_en, io_mask_0)")
+ res should containLine("mem.W0_mask_1 <= validif(io_en, io_mask_1)")
// Check the emitted conf
checkMemConf(confLoc, mems)
(new java.io.File(confLoc)).delete()
@@ -462,12 +471,11 @@ circuit CustomMemory :
"""
val mems = Set(MemConf("mem_ext", 1024, 16, Map(MaskedReadWritePort -> 1), Some(8)))
val confLoc = "ReplSeqMemTests.confTEMP"
- val annos = Seq(ReplSeqMemAnnotation.parse("-c:CustomMemory:-o:"+confLoc),
- InferReadWriteAnnotation)
+ val annos = Seq(ReplSeqMemAnnotation.parse("-c:CustomMemory:-o:" + confLoc), InferReadWriteAnnotation)
val res = compileAndEmit(CircuitState(parse(input), ChirrtlForm, annos))
// TODO Until RemoveCHIRRTL is removed, enable will still drive validif for mask
- res should containLine ("mem.RW0_wmask_0 <= validif(io_en, io_mask_0)")
- res should containLine ("mem.RW0_wmask_1 <= validif(io_en, io_mask_1)")
+ res should containLine("mem.RW0_wmask_0 <= validif(io_en, io_mask_0)")
+ res should containLine("mem.RW0_wmask_1 <= validif(io_en, io_mask_1)")
// Check the emitted conf
checkMemConf(confLoc, mems)
(new java.io.File(confLoc)).delete()
@@ -487,15 +495,14 @@ circuit NoMemsHere :
"""
val mems = Set.empty[MemConf]
val confLoc = "ReplSeqMemTests.confTEMP"
- val annos = Seq(ReplSeqMemAnnotation.parse("-c:CustomMemory:-o:"+confLoc),
- InferReadWriteAnnotation)
+ val annos = Seq(ReplSeqMemAnnotation.parse("-c:CustomMemory:-o:" + confLoc), InferReadWriteAnnotation)
val res = compileAndEmit(CircuitState(parse(input), ChirrtlForm, annos))
// Check the emitted conf
checkMemConf(confLoc, mems)
(new java.io.File(confLoc)).delete()
}
- "ReplSeqMem" should "throw an exception when encountering masks with variable granularity" in {
+ "ReplSeqMem" should "throw an exception when encountering masks with variable granularity" in {
val input = """
circuit Top :
module Top :
@@ -518,10 +525,9 @@ circuit Top :
""".stripMargin
intercept[ReplaceMemMacros.UnsupportedBlackboxMemoryException] {
val confLoc = "ReplSeqMemTests.confTEMP"
- val annos = Seq(ReplSeqMemAnnotation.parse("-c:Top:-o:"+confLoc))
+ val annos = Seq(ReplSeqMemAnnotation.parse("-c:Top:-o:" + confLoc))
val res = compileAndEmit(CircuitState(parse(input), ChirrtlForm, annos))
}
}
}
-