Validate Python MakeSsa D facade candidate - #158

Draft

yoff wants to merge 32 commits into

yoff-freecad-guarded-use-hotspotfrom

yoff-makessa-d-validation

Commits on Sep 2, 2026

Python: add new shared-SSA-backed SSA adapter

Copilot
authored and
yoff
committed
7f608c3
Python: remove unnecessary change note
yoff
committed
b73d583
Python: remove superflous module
yoff
committed
0ec5257
Python: attempt at instantiating MakeSsa
yoff
committed
6e5dcfa
Python: fix compilation of test
yoff
committed
41c95a2
Potential fix for pull request finding

yoff
and
Copilot
committed
4e80764
Potential fix for pull request finding

yoff
and
Copilot
committed
ad2446f
Python: address bot reviews
yoff
committed
d5e51c5
Python: exclude constants from being SSA variables
yoff
committed
7261f28
Python: test phi definitions at module exit

yoff
and
Copilot
committed
6692154
Python: preserve phi uses at module exit

yoff
and
Copilot
committed
a609200
Python: switch dataflow library to new (shared) CFG + SSA

yoff
and
Copilot
committed
afb6a99
Python: preserve bindingset on new-CFG node dominance wrappers

yoff
and
Copilot
committed
99da2dd
Python: fix shared CFG facade CI checks
yoff
committed
62b45bb
Python: test direct guard specialization semantics
yoff
committed
00f24b8
Python: specialize direct truthiness guards
yoff
committed
7bf61bc
Python: unpin legacy CFG/ESSA from the AST cached stage

yoff
and
Copilot
committed
df7127a
Add captured call target diagnostic

yoff
and
Copilot
committed
e271e3c
Bind captured type-tracking jumps from their source

yoff
and
Copilot
committed
393408e
Python: test exposed shared SSA adjacency relations
yoff
committed
391330e
Python: cache exposed shared SSA adjacency relations
yoff
committed
7bef6d2
SSA: add opt-in cached liveness construction

yoff
and
Copilot
committed
f58c3ca
Python: cache shared SSA liveness across stages

yoff
and
Copilot
committed
f711417
SSA: add opt-in definition reachability caching
yoff
committed
8dc8995
Python: cache shared SSA definition reachability
yoff
committed
c9a90f9
Python: cache shared CFG scope
yoff
committed
8dff23d
Cache Python shared CFG node mapping
yoff
committed
342ed91
Bind explicit CFG successors before expansion

yoff
and
Copilot
committed
8a34a9e

Commits on Sep 3, 2026

Python: rebless implicit import SSA definitions

yoff
and
Copilot
committed
d75f96a
Python: prefilter directly controlled SSA uses
yoff
committed
80939b0

Commits on Sep 8, 2026

Remove broad SSA caches for Python facade

yoff
and
Copilot
committed
17e9303
Add MakeSsa facade contract

yoff
and
Copilot
committed
8be73c6