QiskitBackend: Compile to Quantum Circuits

pip install qiskit

from b01t import QiskitBackend

backend = QiskitBackend()

backend.emit(ir: IRProgram) -> QuantumCircuit

from b01t import coherent, QReg, h, cx
from b01t import QiskitBackend
from b01t.core.exact_lowering import lower_exact_program

@coherent
def bell(a: QReg, b: QReg) -> None:
    h(a[0])
    cx(a[0], b[0])

# Step 1: build the exact program
exact = bell.build_exact(("a", 1), ("b", 1))

# Step 2: lower to broad IR
ir = lower_exact_program(exact)

# Step 3: emit to Qiskit
backend = QiskitBackend()
circuit = backend.emit(ir)

print(circuit)
#      ┌───┐
# a_0: ┤ H ├──■──
#      └───┘┌─┴─┐
# b_0: ─────┤ X ├
#            └───┘

from b01t import parametric, QReg, h, rz, cx
from b01t import QiskitBackend
import math

@parametric
def ansatz(q: QReg) -> None:
    h(q[0])
    rz(math.pi / 4, q[0])
    cx(q[0], q[1])

ir = ansatz.build(("q", 2))
backend = QiskitBackend()
circuit = backend.emit(ir)

print(circuit)

from b01t import adaptive, QReg, h, measure, x
from b01t import QiskitBackend

@adaptive
def measure_and_reset(q: QReg) -> None:
    h(q[0])
    measure(q[0])

ir = measure_and_reset.build(("q", 1))
backend = QiskitBackend()
circuit = backend.emit(ir)
# A ClassicalRegister "c_q_0" is automatically added

from b01t.core.types import IRProgram, GateOp, Wire, Effect

bad_ir = IRProgram(
    name="bad",
    effect=Effect.COHERENT,
    regs=[],
    ops=[GateOp(name="unknown_gate", wires=(Wire("q", 0),))],
    is_safe=False,
)

backend = QiskitBackend()
backend.emit(bad_ir)
# DSLValidationError: backend does not support gate 'unknown_gate'