The type used to express dependencies: a class which itself has dependencies.
The type used to express dependencies: a class which itself has dependencies.
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.
The use of a Seq here is to preserve input order. Internally, this will be converted to a private, ordered Set.
firrtl.passes.CheckTypes for an example of an optional checking firrtl.Transform
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
).
transform
The name of this Phase.
The name of this Phase. This will be used to generate debug/error messages or when deleting
annotations. This will default to the simpleName
of the class.
this phase's name
Override this with your own implementation for different naming behavior.
All transform that must run before this transform
All transform that must run before this transform
The use of a Seq here is to preserve input order. Internally, this will be converted to a private, ordered Set.
Determine if annotations are sane
Determine if annotations are sane
a sequence of annotation.Annotation
true if all checks pass
firrtl.options.OptionsException
if any checks fail
Phase that strictly validates an AnnotationSeq. The checks applied are intended to be extremeley strict. Nothing is inferred or assumed to take a default value (for default value resolution see AddDefaults).
The intent of this approach is that after running this Phase, a user can be absolutely certain that other Phases or views will succeed. See FirrtlStage for a list of Phase that commonly run before this.