PropagatePresetAnnotations: remove false prerequisites

[ekiwi]

The SMT backend actually needs to run PropagatePresetAnnotations
(as will treadle at some point).
None of the Verilog specific passes were actually required!

Contributor Checklist

• Did you specify the type of improvement?
• Did you state the API impact?
• Did you specify the code generation impact?
• Did you request a desired merge strategy?

Type of Improvement

• bug fix (remove false dependencies)

API Impact

• this will allow backends to require PropagatePresetAnnotations without pulling in Verilog specific dependencies.

Backend Code Generation Impact

• ideally none, but could change pass order

Desired Merge Strategy

-squash

Reviewer Checklist (only modified by reviewer)

• Did you add the appropriate labels?
• Did you mark the proper milestone (1.2.x, 1.3.0, 1.4.0) ?
• Did you review?
• Did you check whether all relevant Contributor checkboxes have been checked?
• Did you mark as Please Merge?

[seldridge]

Seems fine to me.

@johnsbrew: Do you recall the original reason for having the prerequisites specified as such?

[johnsbrew]

@johnsbrew: Do you recall the original reason for having the prerequisites specified as such?

@seldridge Sorry for the late answer. I was requested to have this transform to run as late as possible in the old sequential order, so I added as prerequisite a lot of other transforms as part of the migration to new dependency API which had just been merged at the time. None of them were actual prerequisites for the transform.

[seldridge]

Thanks for the info, @johnsbrew. It looks like the change here should be fine. 😄