Qiskit / qiskit / 27786068230

88%

Build Type

push

github

Committed by web-flow

Commit Message

A multi-IR staged pass manager (#16418)

* Generalize Task to different in- and output-IRs.

This commit generalizes Task to `Task[IR, IR_OUT]` to
be explicit that it can change the IR. This has knock-on
effects on GenericPass and the Flow Controllers, which now
may also be allowed to change the IR (some flow controllers
aren't like While and If).

This also correctly types the DAG-specific passes, based on
`BasePass` to `Task[DAGCircuit, DAGCircuit]`.

Updates

* A multi-IR staged pass manager.

This adds a `MultiStagePassManager` that allows to have
stages that lower the IR. A stage can either be as `BasePassManager`,
a single `Task`, or an iterable of `Task`. In case a stage is
a PM, the frontend and backend methods are *not called*, the PM
is only used as container of tasks, not executor.

This contains some basic tests, which I'll clean up and extend
in a follow-up commit.

* Cleanup tests

* Docs and a reno

* Rename file to match class

* Fix multi-input run

* Fix documentation

* Clarify documentation points

* Error on `property_set` with multiple inputs

* Test: Add test for new error condition.

---------

Co-authored-by: Jake Lishman <jake.lishman@ibm.com>
Co-authored-by: Raynel Sanchez <raynelfss@hotmail.com>

Coverage Stats

61 of 61 new or added lines in 6 files covered. (100.0%)

20 existing lines in 4 files now uncovered.

112765 of 128687 relevant lines covered (87.63%)

998197.14 hits per line