Problem Statement
Logical compilation will not typically be a trivial replacement of computational ops with logical ops. For example, k>1 codes will require QAlloc operations to be collated within HUGR regions before being assigned to a logical block.
Proposed Solution
This should provide a HUGR pass that collates computational operations together before replacing with a logical operation. Where the collation is not possible the pass should either defer to a dynamic/runtime operation or error.
Component
No response
Effort Estimate
None
Additional Context
No response
Problem Statement
Logical compilation will not typically be a trivial replacement of computational ops with logical ops. For example,
k>1codes will requireQAllocoperations to be collated within HUGR regions before being assigned to a logical block.Proposed Solution
This should provide a HUGR pass that collates computational operations together before replacing with a logical operation. Where the collation is not possible the pass should either defer to a dynamic/runtime operation or error.
Component
No response
Effort Estimate
None
Additional Context
No response