✨ Improve Static Qubit Handling#1569

Open

simon1hofmann wants to merge 38 commits intomainfrom

static_qubit_handling

Commits on Mar 19, 2026

✨ Update QCO operations to reflect memory effects and enhance deallocation handling
simon1hofmann
committed
✨ Add `staticQubitWithOp` function to allocate a static qubit and apply an operation across multiple program builders (QC, QCO, QIR).
simon1hofmann
committed
✅ Add test cases for `staticQubitWithOp` across various dialects (QC, QCO, QIR) to enhance coverage and ensure functionality.
simon1hofmann
committed
🔧 Add missing include for LLVM casting support in QCOToQC.cpp
simon1hofmann
committed
✨ Rename `staticQubitWithOp` to `staticQubitsWithOps` and update related test cases across various dialects and programs to reflect the new functionality of allocating multiple static qubits and ap…
simon1hofmann
committed
🔧 Enhance `ConvertFuncReturnOp` to exclude escaped qubits from the live qubits list.
simon1hofmann
committed
✨ Enhance QubitType to support static and dynamic qubits, updating related operations and conversions in QCO and QC dialects. Add tests for static qubit type propagation and ensure correct handling…
simon1hofmann
committed
✨ Update QubitType handling in QCO and QC dialects to support static allocation, modifying builders and operations accordingly.
simon1hofmann
committed
🔧 Refactor QCO and QC dialects: remove unnecessary includes, simplify loop constructs in CtrlOp and InvOp, and ensure proper type casting in StaticOp creation.
simon1hofmann
committed
✨ Introduce StaticQubit type in QC and QCO dialects, enhance StaticOp verification to ensure static qubit type, and update related operations to support static qubit handling.
simon1hofmann
committed
🔧 Update QCO and QC dialects: add missing LLVM casting includes, enhance QubitType handling in parser and printer for static qubits, and ensure proper type preservation during control operation adj…
simon1hofmann
committed
Merge branch 'main' into static_qubit_handling
simon1hofmann
authored
🔧 Update StaticOp to output StaticQubit type and remove unnecessary verification logic for static qubit handling.
simon1hofmann
committed
🔧 Refactor QubitType definitions in QC dialect: reintroduce DynamicQubit and StaticQubit types, update conversion logic for deallocation operations, and enhance documentation for clarity.
simon1hofmann
committed
🔧 Add DynamicQubit and StaticQubit type definitions in QCO dialect, update StaticOp to return StaticQubit, and improve type casting in mapping transformations for better static qubit handling.
simon1hofmann
committed
🔧 Update AllocOp to return DynamicQubit type, refactor ConvertFuncReturnOp to improve live qubit collection, and enhance dynamic qubit handling in mapping transformations.
simon1hofmann
committed
🔧 Enhance QCO operations with type verification: add input-output type equality checks for BarrierOp and CtrlOp, and update BarrierOp documentation for clarity on type preservation. Refactor Conver…
simon1hofmann
committed

Commits on Mar 20, 2026

Commits on Mar 21, 2026

🐛 Fix the logic in `synchronizeMappedQubitTypes` and add dedicated tests
burgholzer
committed

Commits on Mar 23, 2026