diff options
Diffstat (limited to 'src/main/scala/firrtl/constraint/IsPow.scala')
| -rw-r--r-- | src/main/scala/firrtl/constraint/IsPow.scala | 10 |
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 + ")" } - - |