Class/Object

firrtl.transforms

ConstantPropagation

Related Docs: object ConstantPropagation | package transforms

Permalink

class ConstantPropagation extends Transform with RegisteredTransform with DependencyAPIMigration

Source
ConstantPropagation.scala
Linear Supertypes
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ConstantPropagation
  2. DependencyAPIMigration
  3. RegisteredTransform
  4. HasShellOptions
  5. Transform
  6. DependencyAPI
  7. TransformLike
  8. LazyLogging
  9. AnyRef
  10. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ConstantPropagation()

    Permalink

Type Members

  1. sealed trait FoldCommutativeOp extends SimplifyBinaryOp

    Permalink
  2. sealed trait SimplifyBinaryOp extends AnyRef

    Permalink
  3. sealed trait SimplifyReductionOp extends AnyRef

    Permalink

    Interface for describing a simplification of a reduction primitive op

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. object FoldADD extends FoldCommutativeOp

    Permalink
  5. object FoldAND extends FoldCommutativeOp

    Permalink
  6. object FoldANDR extends SimplifyReductionOp

    Permalink
  7. object FoldEqual extends FoldCommutativeOp

    Permalink
  8. object FoldNotEqual extends FoldCommutativeOp

    Permalink
  9. object FoldOR extends FoldCommutativeOp

    Permalink
  10. object FoldORR extends SimplifyReductionOp

    Permalink
  11. object FoldXOR extends FoldCommutativeOp

    Permalink
  12. object FoldXORR extends SimplifyReductionOp

    Permalink
  13. object SimplifyDIV extends SimplifyBinaryOp

    Permalink
  14. object SimplifyREM extends SimplifyBinaryOp

    Permalink
  15. object SimplifySUB extends SimplifyBinaryOp

    Permalink
  16. final def addOptions(p: OptionParser[AnnotationSeq]): Unit

    Permalink

    Add all shell (command line) options to an option parser

    Add all shell (command line) options to an option parser

    p

    an option parser

    Definition Classes
    HasShellOptions
  17. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  18. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @throws( ... )
  19. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  20. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  21. def execute(state: CircuitState): CircuitState

    Permalink

    Perform the transform, encode renaming with RenameMap, and can delete annotations Called by runTransform.

    Perform the transform, encode renaming with RenameMap, and can delete annotations Called by runTransform.

    state

    Input Firrtl AST

    returns

    A transformed Firrtl AST

    Definition Classes
    ConstantPropagationTransform
  22. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()
  23. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()
  24. def invalidates(a: Transform): Boolean

    Permalink

    A function that, given *another* transform (parameter a) will return true if this transform invalidates/undos the effects of the *other* transform (parameter a).

    A function that, given *another* transform (parameter a) will return true if this transform invalidates/undos the effects of the *other* transform (parameter a).

    a

    transform

    Definition Classes
    ConstantPropagationDependencyAPIMigrationTransformDependencyAPI
  25. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  26. val logger: Logger

    Permalink
    Attributes
    protected
    Definition Classes
    LazyLogging
  27. def name: String

    Permalink

    A convenience function useful for debugging and error messages

    A convenience function useful for debugging and error messages

    Definition Classes
    TransformTransformLike
  28. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  29. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()
  30. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()
  31. def optimize(e: Expression, nodeMap: NodeMap): Expression

    Permalink
  32. def optimize(e: Expression): Expression

    Permalink
  33. def optionalPrerequisiteOf: Seq[Dependency[Transform { def optionalPrerequisiteOf: Seq[firrtl.options.Dependency[firrtl.VerilogEmitter]] }]]

    Permalink

    A sequence of transforms to add this transform as an optionalPrerequisite.

    A sequence of transforms to add this transform as an optionalPrerequisite. The use of optionalPrerequisiteOf enables the transform declaring them to always run before some other transforms. However, declaring optionalPrerequisiteOf will not result in the sequence of transforms executing.

    This is useful for providing an ordering constraint to guarantee that other transforms (e.g., emitters) will not be scheduled before you.

    Definition Classes
    ConstantPropagationDependencyAPIMigrationTransformDependencyAPI
    Note

    This method **will not** result in the listed transforms running. If you want to add multiple transforms at once, you should use a DependencyManager with multiple targets.

  34. def optionalPrerequisites: Seq[Dependency[RemoveValidIf.type]]

    Permalink

    All transforms that, if a prerequisite of *another* transform, will run before this transform.

    All transforms that, if a prerequisite of *another* transform, will run before this transform.

    Definition Classes
    ConstantPropagationDependencyAPIMigrationTransformDependencyAPI
    Note

    The use of a Seq here is to preserve input order. Internally, this will be converted to a private, ordered Set.

  35. val options: Seq[ShellOption[Unit]]

    Permalink

    A sequence of options provided

    A sequence of options provided

    Definition Classes
    ConstantPropagationHasShellOptions
  36. def prerequisites: Seq[TransformDependency]

    Permalink

    All transform that must run before this transform

    All transform that must run before this transform

    Definition Classes
    ConstantPropagationDependencyAPIMigrationTransformDependencyAPI
    Note

    The use of a Seq here is to preserve input order. Internally, this will be converted to a private, ordered Set.

  37. final def runTransform(state: CircuitState): CircuitState

    Permalink

    Perform the transform and update annotations.

    Perform the transform and update annotations.

    state

    Input Firrtl AST

    returns

    A transformed Firrtl AST

    Definition Classes
    Transform
  38. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  39. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  40. def transform(state: CircuitState): CircuitState

    Permalink

    A mathematical transform on some type

    A mathematical transform on some type

    returns

    an output object of the same type

    Definition Classes
    TransformTransformLike
  41. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  42. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  43. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Deprecated Value Members

  1. def dependents: Seq[Dependency[Transform]]

    Permalink

    All transforms that must run after this transform

    All transforms that must run after this transform

    This is a means of prerequisite injection into some other transform. Normally a transform will define its own prerequisites. Dependents exist for two main situations:

    First, they improve the composition of optional transforms. If some first transform is optional (e.g., an expensive validation check), you would like to be able to conditionally cause it to run. If it is listed as a prerequisite on some other, second transform then it must always run before that second transform. There's no way to turn it off. However, by listing the second transform as a dependent of the first transform, the first transform will only run (and be treated as a prerequisite of the second transform) if included in a list of target transforms that should be run.

    Second, an external library would like to inject some first transform before a second transform inside FIRRTL. In this situation, the second transform cannot have any knowledge of external libraries. The use of a dependent here allows for prerequisite injection into FIRRTL proper.

    Definition Classes
    DependencyAPI
    Annotations
    @deprecated
    Deprecated

    (Since version FIRRTL 1.3) Due to confusion, 'dependents' is being renamed to 'optionalPrerequisiteOf'. Override the latter instead.

    Note

    The use of a Seq here is to preserve input order. Internally, this will be converted to a private, ordered Set.

    See also

    firrtl.passes.CheckTypes for an example of an optional checking firrtl.Transform

  2. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

  3. final def inputForm: CircuitForm

    Permalink
    Definition Classes
    DependencyAPIMigration
    Annotations
    @deprecated
    Deprecated

    (Since version FIRRTL 1.3) Use Dependency API methods for equivalent functionality. See: https://bit.ly/2Voppre

  4. final def outputForm: CircuitForm

    Permalink
    Definition Classes
    DependencyAPIMigration
    Annotations
    @deprecated
    Deprecated

    (Since version FIRRTL 1.3) Use Dependency API methods for equivalent functionality. See: https://bit.ly/2Voppre

Inherited from DependencyAPIMigration

Inherited from RegisteredTransform

Inherited from HasShellOptions

Inherited from Transform

Inherited from DependencyAPI[Transform]

Inherited from TransformLike[CircuitState]

Inherited from LazyLogging

Inherited from AnyRef

Inherited from Any

Ungrouped