🐛 Lower control-flow assertions to QIR

[burgholzer]

🤖 AI text below 🤖

Summary

• Register MLIR's canonical cf.assert-to-LLVM conversion in both QIR profiles.
• Cover Base and Adaptive QIR lowering with native assertion regression tests.
• Split compiler QIR work into a dedicated changelog entry and remove QIR-only
  PRs from the generic QC/QCO infrastructure entry.

Context

This general QIR gap was found while working on the OpenQASM integration in
#1910. OpenQASM runtime preconditions can be represented as cf.assert; the
standard QC → QCO → QC → QIR pipeline should lower those assertions instead of
rejecting otherwise valid IR. The fix uses MLIR's existing conversion rather
than introducing OpenQASM-specific handling.

The changelog entry collects the compiler QIR work that was previously mixed
into the generic infrastructure entry. PRs that also affected QC, QCO, Jeff, or
broader compiler infrastructure remain listed in both relevant entries;
QIR-only PRs are moved to the QIR entry.

Validation

• QIR Base conversion tests: 111 passed
• QIR Adaptive conversion tests: 129 passed
• uvx prek run --from-ref origin/main --to-ref HEAD
• git diff --check origin/main...HEAD

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!