Support Specified Base Profile

rigetti / qcs-sdk-qir

Compile & Run Quantum Intermediate Representation (QIR) Programs on Rigetti Quantum Cloud Services (QCS)

Apache License 2.0

8 stars 3 forks source link

Support Specified Base Profile #50

Open kalzoo opened 2 years ago

kalzoo commented 2 years ago

The QIR Base Profile specification is nearing completion, and requires support from this SDK. While this is close to the Unitary pattern, it has some notable differences:

Version strings
Entrypoint specification
Function block structure
Use of attributes

These must be supported, likely by a new pattern.

swernli commented 7 months ago

As we work on supporting Base Profile on the client side, we ran into an early issue related to this: https://github.com/rigetti/qcs-sdk-qir/blob/cd4994bf66354f372b036981b94c2b436cb4d358/src/transform/unitary/quil.rs#L73-L81 This code treats it as an error when the entry point is non-void, but with profile compliant QIR the entry point should be i64 and have a hard-coded ret i64 0.