The MQT Compiler Collection

The MQT Compiler Collection (mqt-cc) is a blueprint for a future-proof quantum-classical compilation framework built on the Multi-Level Intermediate Representation (MLIR). For an overview, see [37].

This page gives a technical introduction. It links to the API documentation for the MLIR infrastructure.

We define multiple dialects, each with its dedicated purpose:

• The QC dialect uses reference semantics and is designed as a compatibility dialect that simplifies translations from and to existing languages such as Qiskit, OpenQASM, or QIR.

• The QCO dialect uses value semantics and is mainly designed for running optimizations.

• The QTensor dialect adds support for one-dimensional tensors of qubits with linear typing and is used in the QCO dialect to represent collections of qubits such as registers.

These dialects define various canonicalization and transformation passes that enable the compilation of quantum programs to native quantum hardware. For interoperability, we provide conversions between dialects.

• ‘qc’ Dialect
  • Operations
  • Types
  • OpInterface definitions
  • Passes
• ‘qco’ Dialect
  • Operations
  • Types
  • OpInterface definitions
  • Passes
• ‘qtensor’ Dialect
  • Operations
• Conversions
  • Internal Conversions
  • jeff Conversions
  • QIR Conversions

Note

This page is a work in progress. The content is not yet complete and subject to change. Contributions are welcome. See the contribution guide for more information.