✨ Add SCF conversions between QC and QCO dialects#1638

Merged

burgholzer merged 82 commits into

munich-quantum-toolkit:mainfrom

li-mingbao:scf-conversions

May 11, 2026

Commits on Apr 9, 2026

reuse scf builders for qc and qco from old implementation
Li-ming Bao
committed
initial support for easier register usage in qc
Li-ming Bao
committed

Commits on Apr 10, 2026

add conversion of scf.for
Li-ming Bao
committed
add conversion of while op
Li-ming Bao
committed
add custom qco.if parser/printer for multiple types
Li-ming Bao
committed

Commits on Apr 11, 2026

add scf.if to qco.if conversion
Li-ming Bao
committed
support scf conversion from qco to qc
Li-ming Bao
committed

Commits on Apr 12, 2026

refactor the qc to qco conversion
Li-ming Bao
committed
store already extracted qubits in qco to qc conversion
Li-ming Bao
committed
disable some verifications for qco::IfOp
Li-ming Bao
committed
add some documentation
Li-ming Bao
committed
allow dynamic indices for tensors
Li-ming Bao
committed
add stubs for tests
Li-ming Bao
committed
Merge remote-tracking branch 'upstream/main' into scf-conversions
Li-ming Bao
committed
adjust qco::IfOp and qco::YieldOp
Li-ming Bao
committed
add explicit memref loadOp
Li-ming Bao
committed
add insert/extract of extracted qubits for tensors in the builder
Li-ming Bao
committed
add initial tests
Li-ming Bao
committed
fix condition in scf::YieldOp conversion to qco
Li-ming Bao
committed

Commits on Apr 13, 2026

Remove redundant definition in QCProgrambuilder and add index check for memref.load
Li-ming Bao
committed
refactor QCOProgrambuilder
Li-ming Bao
committed
fix bug in qc->qco conversion
Li-ming Bao
committed
add more tests
Li-ming Bao
committed
fix for operation example in QCProgramBuilder
Li-ming Bao
committed
fixing qc to qco conversion
Li-ming Bao
committed
update the QCOProgramBuilder
Li-ming Bao
committed
add additional test
Li-ming Bao
committed
fix docstrings of qco.yield
Li-ming Bao
committed
add linear type definition
Li-ming Bao
committed
add more tests
Li-ming Bao
committed
clean up IfOp parser/printer
Li-ming Bao
committed
Merge remote-tracking branch 'upstream/main' into scf-conversions
Li-ming Bao
committed

Commits on Apr 14, 2026

adjust docstrings
Li-ming Bao
committed
Merge remote-tracking branch 'upstream/main' into scf-conversions
Li-ming Bao
committed
fix conversion rules for scf operations in qco to qc
Li-ming Bao
committed
cleanup code a bit
Li-ming Bao
committed
fix linter issues
Li-ming Bao
committed
use correct SmallVector
Li-ming Bao
committed
use arrayRefs
Li-ming Bao
committed
adjust const usage
Li-ming Bao
committed
address coderabbit comments
Li-ming Bao
committed
more coderabbit feedback
Li-ming Bao
committed
remove redundant checks
Li-ming Bao
committed
add codereview feedback
Li-ming Bao
committed

Commits on Apr 15, 2026

extract common functionality in scf builders
Li-ming Bao
committed
address coderabbit comments
Li-ming Bao
committed
simplify scf ops in QCOProgramBuilder
Li-ming Bao
committed
Merge remote-tracking branch 'upstream/main' into scf-conversions
Li-ming Bao
committed

Commits on Apr 16, 2026

Apply suggestions from code review

li-mingbao
and
denialhaag
authored
apply codereview feedback
Li-ming Bao
committed
add qco.if parser test
Li-ming Bao
committed
fixing some docstrings
Li-ming Bao
committed
remove the StringAttr marker in the qc to qco conversion
Li-ming Bao
committed
add accidently removed line back
Li-ming Bao
committed
support only dynamic indices for memref.load
Li-ming Bao
committed
add missing argument in qco.if example
Li-ming Bao
committed
improve tracking of already loaded qubits
Li-ming Bao
committed
fix linter issues
Li-ming Bao
committed
restrict memrefLoad to nested regions and add details section
Li-ming Bao
committed

Commits on Apr 20, 2026

address coderabbit comments
Li-ming Bao
committed

Commits on May 6, 2026

Merge branch 'main' into fork/li-mingbao/scf-conversions
burgholzer
committed
fix docstrings
Li-ming Bao
committed
modify qco.if print from qubits to generics args
Li-ming Bao
committed
Merge remote-tracking branch 'upstream/main' into scf-conversions
Li-ming Bao
committed
apply coderabbit suggestions
Li-ming Bao
committed

Commits on May 11, 2026

adjust ifOp tests
Li-ming Bao
committed
Merge remote-tracking branch 'upstream/main' into scf-conversions
Li-ming Bao
committed
use llvm::to_vector for ValueRange to SmallVector conversion
Li-ming Bao
committed
fix flaky test
Li-ming Bao
committed
remove debug statements
Li-ming Bao
committed