⚡ Avoid redundant target-compilation liveness analysis - #2180
Draft
simon1hofmann wants to merge 4 commits into
Draft
⚡ Avoid redundant target-compilation liveness analysis#2180simon1hofmann wants to merge 4 commits into
simon1hofmann wants to merge 4 commits into
Conversation
This was referenced Aug 20, 2026
Codecov Report❌ Patch coverage is 📢 Thoughts on this report? Let us know! |
Add opt-in target capabilities, reject unsupported runtime control before mapping, and fold constant QCO index switches. Keep tensor scalarization and exporter support for follow-up changes. Assisted-by: Codex Signed-off-by: Simon Hofmann <simon.t.hofmann@tum.de>
Scalarize supported qco.if tensor inputs, keep structured control as a routing boundary, and preserve CBit and memref access order when restoring dominance. Assisted-by: Codex Signed-off-by: Simon Hofmann <simon.t.hofmann@tum.de>
Detect complete connectivity in runOnOperation, use identity root placement, and skip initial-layout search and hot routing. Retain zero-SWAP previews on sparse topologies and update the replayed tests to current shared MQT attributes. Assisted-by: GPT-5.6 Sol via Codex
Drop the post-synthesis RemoveDeadValues pass because the second QCO cleanup establishes global liveness and native synthesis preserves value flow. Keep CSE for local cleanup and add an end-to-end fixed-point regression. Assisted-by: Codex Signed-off-by: Simon Hofmann <simon.t.hofmann@tum.de>
burgholzer
force-pushed
the
codex/target-compilation-liveness-scaling
branch
from
August 24, 2026 13:59
d74e283 to
08515ac
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
🤖 AI text below 🤖
Description
remove-dead-valuespass from target compilation; the earlier QCO cleanup already establishes global liveness.qco.if, and one- and two-qubit synthesis.Stack
Testing
mqt-core-mlir-unittests-compiler: 146 passed.uvx nox -s lintandgit diff --check: passed on the complete detached stack.AI assistance: Codex assisted with diagnosis, implementation, review, testing, stack construction, and this description.
Checklist
If PR contains AI-assisted content:
🤖 *AI text below* 🤖(titles are exempt).