This repository was archived by the owner on Jan 12, 2024. It is now read-only.
This repository was archived by the owner on Jan 12, 2024. It is now read-only.
QIR emission precondition: Check that all intrinsics have a suitable target instruction name #898
Open
Description
A proper postcondition verification for target instruction inference pass could be used as a precondition for the QIR emission.
Alternatively, we could rely on the information from the transformation itself.