Dataflow-Based Optimization for QIR Programs
This paper demonstrates QDFO, a dataflow-based optimization approach to Microsoft QIR. QDFO consists of two main functions: one is to preprocess the QIR code so that the LLVM optimizer can capture more optimization opportunities, and the other is to optimize the QIR code so that duplicate loading and constructing of qubits and qubit arrays can be avoided. To validate our work, we completed a preliminary implementation of QDFO and conducted a case study on the real-world QIR code. Our observational study indicates that the LLVM optimizer can further optimize the QIR code preprocessed by our algorithm. Additionally, our dataflow-based optimization algorithm effectively reduces redundant operations in the QIR code, demonstrating the effectiveness of our approach. Furthermore, we also observed that after optimization by our algorithm, the readability of the QIR code has significantly improved, which will facilitate further study by programmers on the QIR code.
Mon 24 JunDisplayed time zone: Windhoek change
10:40 - 12:20 | |||
10:40 40mKeynote | Quantum application development for multi-processor systems using CUDA-Q WQS Bettina Heim NVIDIA | ||
11:20 20mTalk | Supporting End-Users in Realizing Quantum Computing Applications WQS Damian Rovara Technical University of Munich, Nils Quetschlich Technical University of Munich, Lukas Burgholzer Technical University of Munich, Wille Robert Johannes Kepler University Linz, Austria | ||
11:40 20mTalk | Dataflow-Based Optimization for QIR Programs WQS | ||
12:00 20mTalk | Towards an open-source framework to perform quantum calibration and characterization WQS Andrea Pasquale Università degli Studi di Milano, Edoardo Pedicillo Università degli Studi di Milano, Stefano Carrazza Università degli Studi di Milano |