NotificationsYou must be signed in to change notification settings
Fork132
Star732

Emit spec compliant QIR#2590

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to ourterms of service andprivacy statement. We’ll occasionally send you account related emails.

Already on GitHub?Sign in to your account

Jump to bottom

Draft

swernli wants to merge6 commits intomain

base:main

Choose a base branch

fromswernli/qir-spec-compliance

Draft

Emit spec compliant QIR#2590

swernli wants to merge6 commits intomainfromswernli/qir-spec-compliance

+6,368 −5,361

Conversation

Copy link

Collaborator

swernli commentedJul 11, 2025

This updates the QIR code generation logic to comply with the Base and Adaptive Profile specifications. In particular, it makes the following updates:

The entry point function returnsi64.
Module level flags for computation extensions are updated to be consistent with spec fixes for LLVM flags.
QIR now includes global strings in the data section that are used as tags for the output recording calls, with tag values chosen to be consistent with the Azure Quantum service output translation.
The__quantum__qis__read_result__body function is renamed to__quantum__rt__read_result.
Every program begins with a call to the__quantum__rt__initialize function.

swernli mentioned this pull request

Jul 3, 2025

QIR Specification Compliance#1433

Open

6 tasks

Copy link

CollaboratorAuthor

swernli commentedJul 11, 2025

Of note, in case it is helpful for review, the first five commits correspond (mostly) to the bullet points in the description. Commits after that may cover other integration work.