aboutsummaryrefslogtreecommitdiff
path: root/src/test/scala/firrtlTests/annotationTests/MorphismSpec.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/annotationTests/MorphismSpec.scala
parentb516293f703c4de86397862fee1897aded2ae140 (diff)
All of src/ formatted with scalafmt
Diffstat (limited to 'src/test/scala/firrtlTests/annotationTests/MorphismSpec.scala')
-rw-r--r--src/test/scala/firrtlTests/annotationTests/MorphismSpec.scala81
1 files changed, 47 insertions, 34 deletions
diff --git a/src/test/scala/firrtlTests/annotationTests/MorphismSpec.scala b/src/test/scala/firrtlTests/annotationTests/MorphismSpec.scala
index ccf930ba..ac4f2b63 100644
--- a/src/test/scala/firrtlTests/annotationTests/MorphismSpec.scala
+++ b/src/test/scala/firrtlTests/annotationTests/MorphismSpec.scala
@@ -16,15 +16,15 @@ class MorphismSpec extends AnyFlatSpec with Matchers {
}
case class AnAnnotation(
- target: Option[CompleteTarget],
- from: Option[AnAnnotation] = None,
- cause: Option[String] = None
- ) extends Annotation {
+ target: Option[CompleteTarget],
+ from: Option[AnAnnotation] = None,
+ cause: Option[String] = None)
+ extends Annotation {
override def update(renames: RenameMap): Seq[AnAnnotation] = {
if (target.isDefined) {
renames.get(target.get) match {
- case None => Seq(this)
- case Some(Seq()) => Seq(AnAnnotation(None, Some(this)))
+ case None => Seq(this)
+ case Some(Seq()) => Seq(AnAnnotation(None, Some(this)))
case Some(targets) =>
//TODO: Add cause of renaming, requires FIRRTL change to RenameMap
targets.map { t => AnAnnotation(Some(t), Some(this)) }
@@ -60,7 +60,7 @@ class MorphismSpec extends AnyFlatSpec with Matchers {
val annotationsx = a.annotations.filter {
case a: DeletedAnnotation => false
case AnAnnotation(None, _, _) => false
- case _: DupedResult => false
+ case _: DupedResult => false
case _: DedupedResult => false
case _ => true
}
@@ -296,8 +296,7 @@ class MorphismSpec extends AnyFlatSpec with Matchers {
)
}
-
- behavior of "EliminateTargetPaths"
+ behavior.of("EliminateTargetPaths")
// NOTE: equivalience is defined structurally in this case
trait RightInverseEliminateTargetsFixture extends RightInverseFixture with DefaultExample {
@@ -393,24 +392,29 @@ class MorphismSpec extends AnyFlatSpec with Matchers {
| inst qux of Baz___Top_qux""".stripMargin
override val annotations: AnnotationSeq = Seq(
AnAnnotation(CircuitTarget("Top").module("Baz").instOf("foo", "Foo")),
- ResolvePaths(Seq(
- CircuitTarget("Top").module("Top").instOf("baz", "Baz").instOf("foo", "Foo"),
- CircuitTarget("Top").module("Top").instOf("baz", "Baz").instOf("foox", "Foo"),
- CircuitTarget("Top").module("Top").instOf("baz", "Baz").instOf("bar", "Bar"),
- CircuitTarget("Top").module("Top").instOf("qux", "Baz").instOf("foo", "Foo"),
- CircuitTarget("Top").module("Top").instOf("qux", "Baz").instOf("foox", "Foo"),
- CircuitTarget("Top").module("Top").instOf("qux", "Baz").instOf("bar", "Bar")
- ))
+ ResolvePaths(
+ Seq(
+ CircuitTarget("Top").module("Top").instOf("baz", "Baz").instOf("foo", "Foo"),
+ CircuitTarget("Top").module("Top").instOf("baz", "Baz").instOf("foox", "Foo"),
+ CircuitTarget("Top").module("Top").instOf("baz", "Baz").instOf("bar", "Bar"),
+ CircuitTarget("Top").module("Top").instOf("qux", "Baz").instOf("foo", "Foo"),
+ CircuitTarget("Top").module("Top").instOf("qux", "Baz").instOf("foox", "Foo"),
+ CircuitTarget("Top").module("Top").instOf("qux", "Baz").instOf("bar", "Bar")
+ )
+ )
)
- override val finalAnnotations: Option[AnnotationSeq] = Some(Seq(
- AnAnnotation(CircuitTarget("Top").module("Foo___Top_qux_foo")),
- AnAnnotation(CircuitTarget("Top").module("Foo___Top_baz_foo"))
- ))
+ override val finalAnnotations: Option[AnnotationSeq] = Some(
+ Seq(
+ AnAnnotation(CircuitTarget("Top").module("Foo___Top_qux_foo")),
+ AnAnnotation(CircuitTarget("Top").module("Foo___Top_baz_foo"))
+ )
+ )
test()
}
it should "be idempotent with per-module annotations" in new IdempotencyEliminateTargetsFixture {
+
/** An endomorphism */
override val annotations: AnnotationSeq =
allModuleInstances.map(AnAnnotation.apply) :+ ResolvePaths(allAbsoluteInstances)
@@ -418,6 +422,7 @@ class MorphismSpec extends AnyFlatSpec with Matchers {
}
it should "be idempotent with per-instance annotations" in new IdempotencyEliminateTargetsFixture {
+
/** An endomorphism */
override val annotations: AnnotationSeq =
allAbsoluteInstances.map(AnAnnotation.apply) :+ ResolvePaths(allAbsoluteInstances)
@@ -425,13 +430,14 @@ class MorphismSpec extends AnyFlatSpec with Matchers {
}
it should "be idempotent with relative module annotations" in new IdempotencyEliminateTargetsFixture {
+
/** An endomorphism */
override val annotations: AnnotationSeq =
allRelative2LevelInstances.map(AnAnnotation.apply) :+ ResolvePaths(allAbsoluteInstances)
test()
}
- behavior of "DedupModules"
+ behavior.of("DedupModules")
trait RightInverseDedupModulesFixture extends RightInverseFixture with DefaultExample {
override val f: Seq[Transform] = Seq(new firrtl.annotations.transforms.EliminateTargetPaths)
@@ -498,24 +504,29 @@ class MorphismSpec extends AnyFlatSpec with Matchers {
| inst qux of Baz""".stripMargin
override val annotations: AnnotationSeq = Seq(
AnAnnotation(CircuitTarget("Top").module("Baz").instOf("foo", "Foo")),
- ResolvePaths(Seq(
- CircuitTarget("Top").module("Top").instOf("baz", "Baz").instOf("foo", "Foo"),
- CircuitTarget("Top").module("Top").instOf("baz", "Baz").instOf("foox", "Foo"),
- CircuitTarget("Top").module("Top").instOf("baz", "Baz").instOf("bar", "Bar"),
- CircuitTarget("Top").module("Top").instOf("qux", "Baz").instOf("foo", "Foo"),
- CircuitTarget("Top").module("Top").instOf("qux", "Baz").instOf("foox", "Foo"),
- CircuitTarget("Top").module("Top").instOf("qux", "Baz").instOf("bar", "Bar")
- ))
+ ResolvePaths(
+ Seq(
+ CircuitTarget("Top").module("Top").instOf("baz", "Baz").instOf("foo", "Foo"),
+ CircuitTarget("Top").module("Top").instOf("baz", "Baz").instOf("foox", "Foo"),
+ CircuitTarget("Top").module("Top").instOf("baz", "Baz").instOf("bar", "Bar"),
+ CircuitTarget("Top").module("Top").instOf("qux", "Baz").instOf("foo", "Foo"),
+ CircuitTarget("Top").module("Top").instOf("qux", "Baz").instOf("foox", "Foo"),
+ CircuitTarget("Top").module("Top").instOf("qux", "Baz").instOf("bar", "Bar")
+ )
+ )
)
- override val finalAnnotations: Option[AnnotationSeq] = Some(Seq(
- AnAnnotation(CircuitTarget("Top").module("Top").instOf("baz", "Baz").instOf("foo", "Foo")),
- AnAnnotation(CircuitTarget("Top").module("Top").instOf("qux", "Baz").instOf("foo", "Foo"))
- ))
+ override val finalAnnotations: Option[AnnotationSeq] = Some(
+ Seq(
+ AnAnnotation(CircuitTarget("Top").module("Top").instOf("baz", "Baz").instOf("foo", "Foo")),
+ AnAnnotation(CircuitTarget("Top").module("Top").instOf("qux", "Baz").instOf("foo", "Foo"))
+ )
+ )
test()
}
it should "be idempotent with per-module annotations" in new IdempotencyDedupModulesFixture {
+
/** An endomorphism */
override val annotations: AnnotationSeq =
allModuleInstances.map(AnAnnotation.apply) :+ ResolvePaths(allAbsoluteInstances)
@@ -523,6 +534,7 @@ class MorphismSpec extends AnyFlatSpec with Matchers {
}
it should "be idempotent with per-instance annotations" in new IdempotencyDedupModulesFixture {
+
/** An endomorphism */
override val annotations: AnnotationSeq =
allAbsoluteInstances.map(AnAnnotation.apply) :+ ResolvePaths(allAbsoluteInstances)
@@ -530,6 +542,7 @@ class MorphismSpec extends AnyFlatSpec with Matchers {
}
it should "be idempotent with relative module annotations" in new IdempotencyDedupModulesFixture {
+
/** An endomorphism */
override val annotations: AnnotationSeq =
allRelative2LevelInstances.map(AnAnnotation.apply) :+ ResolvePaths(allAbsoluteInstances)