Adding Specification for the Adaptive Profile

[peter-campora]

Trying this again. I expect linting issues but hopefully no committer/CLA issues. Initial draft of the specification here for public comments.

[qci-amos]

I was asked to take a look, so here are some quick comments. I'll come back later when I have time.

One question I couldn't find a suitable place for based on a quick search is a way for backends to specify whether they want their loops unrolled (if possible) or not.

[qci-amos]

I've gotten as far as the Program Structure section. This is well written, but it's taking me a while to work through it!!

I'll come back later. 😓

[chemix-lunacy]

One thing that isn't clear from reading, and it seems this context also switches depending upon topic, is whether the spec views QIR to be run almost-directly on a QPU, or whether it's executed by a runtime which provides classical support and that calls to a QPU.

It talks about classical results post-processing on one hand, then about how memory on the FPGA should be highlighted to consumer systems on the other. I've always considered it (relatively) high-level - your QIR is the basic outline of what you'd like to run, including all contextual information added to help the backend run your request better. Especially since if you implement the full QIR spec you can send classical programs with fragments of quantum in it and run them directly.

While you can interpret it at both levels, and it depends upon what sort of backend you have, certain assertions and constraints don't apply depending upon what lens you look at it though.

Also out of curiosity: is this the outcome of some working group?

[github-actions]

CLA Assistant Lite bot:
Thank you for your submission, we really appreciate it. Like many open-source projects, we ask that you all sign our Contributor License Agreement before we can accept your contribution. You can sign the CLA by just posting a Pull Request Comment same as the below format.

---

I have read the Contributor License Agreement and I hereby accept the Terms.

---

3 out of 4 committers have signed the CLA.
✅ @peter-campora
✅ @qartik
✅ @bettinaheim
❌ @Bettina Heim
Bettina Heim seems not to be a GitHub user. You need a GitHub account to be able to sign the CLA. If you have already a GitHub account, please add the email address used for this commit to your account.
_{You can retrigger this bot by commenting recheck in this Pull Request}

[qartik]

I have a PR at peter-campora#5 that should resolve the cspell issue and some formatting.

There is a FIXME comment that still remains.

[bettinaheim]

Approving on behalf of the steering committee. This was officially voted on and approved for merge. Any minor fixes that do not change the technical intend (such as spelling, formatting, etc.) can be fixed if needed with PRs directly on the spec repo without a full process/vote of the SC.

[bettinaheim]

@qartik Please direct any PRs to fix spelling or formatting directly to the main branch of the qir-spec repo.