[Transformation] Preserve synthesized global phase through controlled helper lowering - #5066

Draft

cabreraam wants to merge 64 commits into

NVIDIA:mainfrom

cabreraam:phase-tracking-pt6

Commits on Aug 14, 2026

prepend the negative qubit control attr with the control that comes from `quake.apply`
cabreraam
committed
1f730ae
add `PhaseOp` as an op that could have a `veq` of controls that needs expanding
cabreraam
committed
f176efc
add test for phase op specialization
cabreraam
committed
225be8a
add test for phase specialization with adjoint attr
cabreraam
committed
9b437aa
add phase lifecycle to QIR codegen
cabreraam
committed
315a296
make negative-controlled to survive until
cabreraam
committed
441eb91
fix failing test
cabreraam
committed
d83e636
newline
cabreraam
committed
a2a2dfa
formatting
cabreraam
committed
37b1334
verify that no phase is left after phase lifecycle with `VerifyNoPhase` pass
cabreraam
committed
e6e5fdf
integrate phase lifecycle with remaining codegen routes
cabreraam
committed
0bd7d6f
remove `ExpandControlVeqs` pass from phase lifecycle passes and handle both static and dynamic control `veq`s of `PhaseOp`s in `LowerPhase`
cabreraam
committed
0f180bc
[Quake] Fix phase lifecycle CI regressions
cabreraam
committed
3685378
missed a `cudq::opt::` namespace
cabreraam
committed
4bb1184
add `createExpandControlVeqs` pass in `lower-wiresets-to-profile-qir` pass
cabreraam
committed
0c92d36
remove stray `addCliffordTSynthesis` declaration
cabreraam
committed
738ea33
[CodeGen] Preserve rotation parameters in wire-set QIR lowering
cabreraam
committed
7a1df40
Lower phase bookkeeping before counting
cabreraam
committed
1f98741
correct lit RUN command
cabreraam
committed
f505273
[Quake] refactor known-size control expansion for phase lowering into `QuakeOperatorUtilities.h`
cabreraam
committed
8e43285
spelling
cabreraam
committed
254a804
add phase lifecycle to QIR codegen
cabreraam
committed
f8cbd59
track phase in R1 to Rz decomposition
cabreraam
committed
9af12db
refactor more general Quake `wire` ops into separate non-phase op specific header
cabreraam
committed
303b115
harden R1toRz by restricting R1toRz rewrites to R1 ops with scalar targets
cabreraam
committed
aa007df
harden `R1toRZ` tests to make sure we only rewrite `R1Op`s with a scalar target and use the `verify-no-phase` pass to make sure there are no residual `Phase` ops after lowering phase ops
cabreraam
committed
3feee7a
add decomposition test where `r1` gets decomposed to `rz` + `phase`, gets specialized afterward, and then `phase` lowered to an uncontrolled `r1`
cabreraam
committed
aa5561b
correct the stale optimizer unit expectations
cabreraam
committed
07f6925
update basis-conversion FileCheck expectations
cabreraam
committed
5711a9f
account for relative phase getting lowered to `u1` op
cabreraam
committed
80d2340
acount for phase in `r1-to-rz` conversion in basis test
cabreraam
committed
6c28728
include `addPhaseLifecycle` during resource counting
cabreraam
committed
96fafde
check if uncontrolled `r1` is enabled for rewrite
cabreraam
committed
f292fbd
verify decompisitionpatterns.cpp change
cabreraam
committed
f3adab0
add end-to-end resource artifact test.
cabreraam
committed
e5c8fd4
add `func` inliner-extension header, register extension before loading `func::FuncDialect`, and `link against MLIRTransforms library
cabreraam
committed
3189133
mark `zero_wire` test with `cudaq-entrypoint` attribute
cabreraam
committed
3996be9
fix `openqasm` test
cabreraam
committed
1b5ea96
remove duplicated test
cabreraam
committed
efeb3ae
reflect API change for compiler non-target options in `CompileOptions`instead of `CompileTarget`
cabreraam
committed
2f98384
[Quake] Inline before apply specialization
cabreraam
committed
c882262
[Quake] Inline callables before apply specialization
cabreraam
committed
fd0627e
Lower phase bookkeeping before final mapping
cabreraam
committed
ec43a9b
[Quake] Generalize phase control polarity lookup
cabreraam
committed
6473925
[Quake] Make ReduceYSX phase exact
cabreraam
committed
3ed5188
[Quake] Test exact controlled ReduceYSX behavior
cabreraam
committed
29cfadf
refactor getControlPolarities into QuakeOperatorUtilities.h
cabreraam
committed
eed6fb6
[docs] Remove obsolete PR4 traceability note
cabreraam
committed
98253a6
make clang-format happy
cabreraam
committed
1ba4755
formatting
cabreraam
committed
62d440b
[Quake] Share gate wire-threading construction
cabreraam
committed
d956710
[Quake] Track predicate-sensitive decomposition phases
cabreraam
committed
16577bf
[Quake] Test predicate-sensitive phase corrections
cabreraam
committed
2075fe1
[Quake] Guard phase-producing decomposition preconditions
cabreraam
committed
ea27466
[Quake] Harden predicate-sensitive decomposition regressions
cabreraam
committed
b520b80
refactor `createAndThreadGate`
cabreraam
committed
cdca1b0
add comments for phase terms in decompositions
cabreraam
committed
1cd783e
add createAndThreadGate to appropriate location for translation unit
cabreraam
committed
ef7bbfb
[IQM] Lower phase bookkeeping before final mapping
cabreraam
committed
cb571d1
[opt] Emit synthesis phase corrections as PhaseOp
cabreraam
committed
c2429cf
[test] Cover synthesized helper phase lowering
cabreraam
committed
6c7a756
[Quake] Update synthesis phase goldens
cabreraam
committed
ae34ad8
[opt] Support aggregate synthesis phase anchors
cabreraam
committed
74859c7
[test] Cover controlled KAK phase lowering
cabreraam
committed
7b578ff