Description
MLIR's built-in SCF operations have useful operations to get inputs from outputs and vice versa. For example, the LoopLikeInterface implements the methods getTiedLoopInit and getTiedLoopResult. It would be quite useful to have something similar for the custom qco.if operations.
The implementation-logic could simply be adapted from the source code of the above methods.
Description
MLIR's built-in SCF operations have useful operations to get inputs from outputs and vice versa. For example, the
LoopLikeInterfaceimplements the methodsgetTiedLoopInitandgetTiedLoopResult. It would be quite useful to have something similar for the customqco.ifoperations.The implementation-logic could simply be adapted from the source code of the above methods.