aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/firrtl/constraint/IsPow.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/main/scala/firrtl/constraint/IsPow.scala
parentb516293f703c4de86397862fee1897aded2ae140 (diff)
All of src/ formatted with scalafmt
Diffstat (limited to 'src/main/scala/firrtl/constraint/IsPow.scala')
-rw-r--r--src/main/scala/firrtl/constraint/IsPow.scala10
1 files changed, 4 insertions, 6 deletions
diff --git a/src/main/scala/firrtl/constraint/IsPow.scala b/src/main/scala/firrtl/constraint/IsPow.scala
index 54a06bf8..2a1fb14a 100644
--- a/src/main/scala/firrtl/constraint/IsPow.scala
+++ b/src/main/scala/firrtl/constraint/IsPow.scala
@@ -12,22 +12,20 @@ case class IsPow private (child: Constraint, dummyArg: Int) extends Constraint {
override def reduce(): Constraint = child match {
case k: IsKnown => k.pow
// 2^(a + b) -> 2^a * 2^b
- case x: IsAdd => IsMul(x.children.map { b => IsPow(b)})
+ case x: IsAdd => IsMul(x.children.map { b => IsPow(b) })
case x: IsMul => this
case x: IsNeg => this
case x: IsPow => this
// 2^(max(a, b)) -> max(2^a, 2^b) since two is always positive, so a, b control magnitude
- case x: IsMax => IsMax(x.children.map {b => IsPow(b)})
- case x: IsMin => IsMin(x.children.map {b => IsPow(b)})
+ case x: IsMax => IsMax(x.children.map { b => IsPow(b) })
+ case x: IsMin => IsMin(x.children.map { b => IsPow(b) })
case x: IsVar => this
case _ => this
}
val children = Vector(child)
- override def map(f: Constraint=>Constraint): Constraint = IsPow(f(child))
+ override def map(f: Constraint => Constraint): Constraint = IsPow(f(child))
override def serialize: String = "(2^" + child.serialize + ")"
}
-
-