✨ Quake support on Mapped and Native Gates Levels

[echavarria-lrz]

What's the problem this feature will solve?

The MQSS is transitioning from QIR to Quake. To test the compiler passes we are developing, we need appropriate benchmarks.

Describe the solution you'd like

Add functionality to generate and export Quake benchmarks, similar to the existing support for QASM and TKET.

[burgholzer]

Thanks for creating this issue! I believe this should be feasible in general.
Although it is much harder to support as it is to support QIR.
A quick Google search has not brought up any existing way of feeding a Qiskit QuantumCircuit into cuda-q that would allow us to dump the respective IR.
That's not saying this isn't possible per-se. It just means, we would have to build and maintain that.
Happy to know if you have any ideas in that regard.

[YouAndre]

Update on Quake Support:
Hi I also would need a quake version for my Project part of the MQSS.
could you give us an update how far the progress is ?
Thank you

[kayaercument]

Hello Lukas 👋

Is there any update regarding this issue? We really would like to use this feature to validate MLIR Passes and benchmarking the devices.

[burgholzer]

Hey @YouAndre and @kayaercument 👋🏻

Thanks for your interest in this feature. This is still on our shortlist of features to implement. However, #429 is higher up on the list currently and I need to find some time to properly review it.

In general, the feature here shouldn't be too hard to realize assuming that cuda-q offers some way to read in OpenQASM or Qiskit circuits and dump the respective MLIR code.
Do any of you have experience with that and could provide a minimal working example here? I am happy to take it from there and integrate it into MQT Bench.

[echavarria-lrz]

Perhaps @mletras89 can chip in