blob: 48173b5585a4aa34e94e6ca55047b85e58027f43 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
// SPDX-License-Identifier: Apache-2.0
package firrtl.constraint
object IsFloor {
def apply(child: Constraint): Constraint = new IsFloor(child, 0).reduce()
}
case class IsFloor private (child: Constraint, dummyArg: Int) extends Constraint {
override def reduce(): Constraint = child match {
case k: IsKnown => k.floor
case x: IsAdd => this
case x: IsMul => this
case x: IsNeg => this
case x: IsPow => this
// floor(max(a, b)) -> max(floor(a), floor(b))
case x: IsMax => IsMax(x.children.map { b => IsFloor(b) })
case x: IsMin => IsMin(x.children.map { b => IsFloor(b) })
case x: IsVar => this
// floor(floor(x)) -> floor(x)
case x: IsFloor => x
case _ => this
}
val children = Vector(child)
override def map(f: Constraint => Constraint): Constraint = IsFloor(f(child))
override def serialize: String = "floor(" + child.serialize + ")"
}
|
