swung0x48/MobileGL
1
0
Fork 0
mirror of https://github.com/MobileGL-Dev/MobileGL synced 2026-11-07 01:53:24 +09:00
Code Issues Packages Projects Releases Wiki Activity

[CI] (P13): the pipe generator's scanner drops its two retired registry exemptions.

Browse Source
This commit is contained in:
swung0x48
2026-10-06 22:17:17 -04:00
parent 87e915382c
commit 4379ceed97
1 changed files with 4 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files
scripts/gen_pipe.py
+4 -12
View File
@@ -471,18 +471,10 @@ ACCESSOR_READ_RE = re.compile(r"\b(?:gPipeInputs\.|pGLContext)\s*->\s*(\w+)")
# here is a DEBT ENTRY, not a silence: it exists so the gate can tell "scoped, named, phased"
# from "forgot the row".
#
# P5c (the tx/ev/hd merge): the G6 frontend-keyed registry's framebuffer arm - two probes a
# backend makes inside MGPipeFrontendKeyedRegistryScope (CONTRACT-P5C.md section 3.1's second
# named exemption: the registry probes ride the scope, an unwrapped probe still aborts, and
# the scope retires with the twin tables at P3b/P4b). They are object-registry lookups, not
# PipeInputs state reads, so no Coverage.def row can ever describe them - a row there is a
# field in the fill table, and these have no storage to fill.
SCAN_EXEMPT_ACCESSORS = {
"GetFramebufferObject": "P5c G6 registry probe (the default framebuffer's object), inside "
"MGPipeFrontendKeyedRegistryScope; retires with the twin tables (P3b/P4b)",
"FindFramebufferObjectByLifetimeId": "P5c G6 registry probe, inside "
"MGPipeFrontendKeyedRegistryScope; retires with the twin tables (P3b/P4b)",
}
# P13: the last two (the G6 frontend-keyed registry's framebuffer probes, GetFramebufferObject and
# FindFramebufferObjectByLifetimeId) went with the frontend-keyed registry itself; no backend
# reads them any more.
SCAN_EXEMPT_ACCESSORS = {}
def scan_live_accessors(accessors, backend_dir=None, verbose=True):