aboutsummaryrefslogtreecommitdiff
path: root/src/main
diff options
context:
space:
mode:
authorKevin Laeufer2021-02-01 10:51:33 -0800
committerGitHub2021-02-01 18:51:33 +0000
commitad0fd6579dfe5fc19c67c0453adbfbcfbd63122d (patch)
tree319b7d682ad363ffb9001c99d7dcc7dc0e60c50d /src/main
parent651fbe9339aca5fcb562715d00b1f87cf66296ee (diff)
ConstantPropagation: make RemoveValidIf an optional dependency (#2027)
This allows ConstantPropagation to be used in cases where ValidIfs need to be maintained, e.g., in the formal backend. Co-authored-by: Adam Izraelevitz <adam.izraelevitz@sifive.com> Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
Diffstat (limited to 'src/main')
-rw-r--r--src/main/scala/firrtl/transforms/ConstantPropagation.scala5
1 files changed, 2 insertions, 3 deletions
diff --git a/src/main/scala/firrtl/transforms/ConstantPropagation.scala b/src/main/scala/firrtl/transforms/ConstantPropagation.scala
index e4115441..0523082d 100644
--- a/src/main/scala/firrtl/transforms/ConstantPropagation.scala
+++ b/src/main/scala/firrtl/transforms/ConstantPropagation.scala
@@ -107,10 +107,9 @@ class ConstantPropagation extends Transform with DependencyAPIMigration {
override def prerequisites =
((new mutable.LinkedHashSet())
++ firrtl.stage.Forms.LowForm
- - Dependency(firrtl.passes.Legalize)
- + Dependency(firrtl.passes.RemoveValidIf)).toSeq
+ - Dependency(firrtl.passes.Legalize)).toSeq
- override def optionalPrerequisites = Seq.empty
+ override def optionalPrerequisites = Seq(Dependency(firrtl.passes.RemoveValidIf))
override def optionalPrerequisiteOf =
Seq(