A Multi-Level Compiler Pipeline for Qoala Quantum Internet Programs
Quantum internet applications coordinate classical control, local quantum operations, and entanglement/communication across independent nodes under strict protocol ordering constraints. While Qoala and QNodeOS provide programming and execution abstractions for such applications, there is no compiler infrastructure that systematically lowers Qoala programs to executable node-level code while enabling optimization. We present the first multi-level compiler pipeline for Qoala quantum internet programs. The compiler lowers programs through three MLIR-based IRs that progressively expose hybrid control flow, explicit quantum memory, and Qoala block structure. On top of this pipeline, we implement (i) local peephole rewrites, and (ii) a block-reordering pass formulated as a MILP to reduce qubit lifetimes under precedence and resource constraints. We also provide static analyses for gate counts, qubit lifetimes, fidelity estimation, and quantum-memory efficiency. We evaluate on rotation-merging and blind quantum computing benchmarks using density-matrix simulation and IRderived estimates, showing that block reordering improves fidelity and memory reuse in latency-dominated regimes with modest compilation overhead.