Towards Supporting QIR: Steps for Adopting the Quantum Intermediate Representation
arXiv:2411.18682 · doi:10.1145/3731599.3767546
Abstract
Intermediate representations (IRs) play a crucial role in the software stack of a quantum computer to facilitate efficient optimizations for executing an application on hardware. One of those IRs is the Quantum Intermediate Representation (QIR), which builds on the classical LLVM compiler infrastructure. In this article, we outline different approaches to how QIR can be adopted. This exploration culminates in a demonstration of what it takes to turn an existing quantum circuit simulator into a QIR runtime and that such a transition is less daunting than it might seem at first. We further show that switching to QIR does not entail any performance deficits compared to the original simulator. On the contrary, the presented steps effortlessly allow adding support for arbitrary classical control flow to any classical simulator. We conclude with an outlook on future directions using QIR. The implemented QIR runtime is available under https://github.com/munich-quantum-toolkit/core.
arXiv comment9 pages, 2 figures
References in corpus (14)
- A variational eigenvalue solver on a quantum processor
- Quantum Mechanics helps in searching for a needle in a haystack
- Experimental realization of Shor's quantum factoring algorithm using nuclear magnetic resonance
- Suppressing quantum errors by scaling a surface code logical qubit
- Logical quantum processor based on reconfigurable atom arrays
- Roads towards fault-tolerant universal quantum computation
- Quantum Generative Adversarial Networks for Learning and Loading Random Distributions
- A Race Track Trapped-Ion Quantum Processor
- Option Pricing using Quantum Computers
- MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing
- The MQT Handbook: A Summary of Design Automation Tools and Software for Quantum Computing
- MQT QMAP: Efficient Quantum Circuit Mapping
- MQT Predictor: Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing
- An Abstract Model and Efficient Routing for Logical Entangling Gates on Zoned Neutral Atom Architectures