qsharp-compiler icon indicating copy to clipboard operation
qsharp-compiler copied to clipboard

Published 20 hours ago • verified publisher icon microsoft

QIR emission precondition: Check that all intrinsics have a suitable target instruction name

Open bettinaheim opened this issue 4 years ago • 0 comments

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.

bettinaheim avatar Mar 13 '21 18:03 bettinaheim