mirror of
https://github.com/MobileGL-Dev/MobileGL
synced 2026-09-10 05:08:31 +09:00
swung0x48
9c773182bb
- Plan B section 4 makes the frontend/backend boundary explicit and gives the backend its
own state machine. This is the P0 deliverable of section 11: the whole catalogue exists
from day one, placeholders included, because the wire opcode is a call's position in
PipeCalls.def and record numbering must never churn.
- MG_Pipe/PipeCalls.def is the single source of truth: 68 unique calls as
X(Name, Payload, Class, Flags). Its header reconciles that number with the plan's
headline counts (section 4.4, appendix A), which double count - "CSO 15" names
bind_sampler_states and set_sampler_views that the "set_* 17" list also names, "screen
14" tabulates the query family that section 4.3 assigns to the context, and the
"transfer 12" row enumerates 11 calls. Each reconciliation is written down next to the
count rather than resolved silently.
- MGPipeHandles.h: the 8-byte {slot, gen} pair, dense per-kind slots, the reserved null
and default-framebuffer handles, and the ShaderCso composite band (sections 4.2, 5.6.3).
The two generations are documented as strictly separate, with the interface rule that no
call may require the client to know MGGen.
- MGPipeTypes.h: every payload of section 4.5 as a flat POD with explicit padding, a
trivial-copyability assertion and an exact sizeof assertion, because the wire records are
memcpy'd and a field silently changing width is a protocol break no test would see.
MGPCaps embeds DynamicBackendParameters by inclusion so a caps field added there needs no
second edit here; its assertion is stated as a composition because that struct still
carries SizeT. ResidualValueBlock is pinned at MGL_RESIDUAL_BLOCK_SIZE 1248, the ratchet
that only ever goes down and reaches static_assert(... == 0) in P13 (section 6.3).
- MGPipeHostSpan.h keeps the one shape that changes with the transport isolated behind one
predictable branch, with the kFromServerIndexMirror sentinel D-B7 needs.
- MGPipeCallbacks.h names the reverse channel as ten callbacks plus the forward terminator
in the context table, replacing 95 poke sites across 17 methods (section 7.1).
- scripts/gen_pipe.py runs G1-G7 off those .def files. G1 asserts each table is EXACTLY its
call count of function pointers; G3 pads every wire record to the stream's 8-byte
granularity and checks size >= sizeof && size <= remaining && size % 8 == 0 before
dispatch, fatally; G4 compares field by field (padding excluded, floats by bits) because
a comparator with false positives is one nobody reads - DirectGLES.cpp says the same
thing about its own memcmp of RenderStateParameters; G5 turns the accessor list into
per-verb poison generations rather than a written-once bitmap, which is the only version
that can see a field left over from the previous draw (section 6.2.2); G6 joins the 477
read points of the vendored backend_read_inventory.md against Coverage.def and reports
0 UNMAPPED (299 to a call, 167 signatures that become handle parameters, 6 reverse
channel, 5 client-resolved); G7 pins the pipeline subset BY MEMBER NAME from what
VulkanRenderer::ComputePipelineStateHash hashes today, computing no offsets in python.
- The generated files are committed so the build never depends on python; CI regenerates
and diffs them.
107 lines
7.1 KiB
Modula-2
107 lines
7.1 KiB
Modula-2
// MobileGL - MobileGL/MG_Pipe/Coverage.def
|
|
// Copyright (c) 2025-2026 MobileGL-Dev
|
|
// Licensed under the GNU Lesser General Public License v3.0:
|
|
// https://www.gnu.org/licenses/gpl-3.0.txt
|
|
// https://www.gnu.org/licenses/lgpl-3.0.txt
|
|
// SPDX-License-Identifier: LGPL-3.0-only
|
|
// End of Source File Header
|
|
|
|
// The hand-maintained half of G6 (plan B section 4.7, gate 10.3-5): which MGPipe call
|
|
// answers each backend read point in scripts/data/backend_read_inventory.md (477 rows, 57
|
|
// files, generated from the backends by MobileGL-CS's extract_backend_read_inventory.py).
|
|
//
|
|
// gen_pipe.py joins the inventory's `member` column against MGP_COVERAGE_ACCESSOR_LIST and
|
|
// its `delta` column against MGP_COVERAGE_DELTA_LIST, then writes generated/PipeCoverage.inc
|
|
// with the per-accessor table and prints the coverage summary. Rows matching neither are
|
|
// UNMAPPED: allowed in P0 and merely counted, ZERO from P5 onward, when the gate becomes
|
|
// "regenerate and git diff --exit-code with 0 UNMAPPED".
|
|
//
|
|
// Three pseudo-calls stand for read points that do NOT become a forward call:
|
|
// kClientResolved - the frontend answers it itself; the server is never asked
|
|
// (section 4.4.6: "the server answers nothing the client can answer").
|
|
// kReverseChannel - it becomes one of the ten MGPipeCallbacks (section 7.1).
|
|
// kStructuralHandle - the row is a SIGNATURE carrying SharedPtr<MG_State...>, which
|
|
// becomes an MGPipeHandle parameter; there is no single call to name.
|
|
//
|
|
// clang-format off
|
|
|
|
// X(Accessor, PipeCall)
|
|
#define MGP_COVERAGE_ACCESSOR_LIST(X) \
|
|
X(GetActiveTextureUnit, SetSamplerViews) \
|
|
X(GetBlendColor, SetDynamicState) \
|
|
X(GetBlendEquationIndexed, CreateRenderState) \
|
|
X(GetBlendFuncIndexed, CreateRenderState) \
|
|
X(GetBoundTransformFeedbackName, SetStreamOutputTargets) \
|
|
X(GetBoundVertexArray, BindVertexElements) \
|
|
/* Polymorphic over BufferTarget: its rows split across set_vertex_buffers, */ \
|
|
/* set_index_buffer, set_indirect_buffers and set_shader_buffers once the */ \
|
|
/* inventory carries the target argument (P1). Named for the plan's explicit */ \
|
|
/* replacement of the DrawIndirect/Parameter pair. */ \
|
|
X(GetBufferBindingSlot, SetIndirectBuffers) \
|
|
X(GetBufferBindingPoint, SetShaderBuffers) \
|
|
X(GetBufferBindingPointCount, SetShaderBuffers) \
|
|
X(GetTouchedBufferBindingPointCount, SetShaderBuffers) \
|
|
X(GetClampReadColor, SetDynamicState) \
|
|
X(GetClearColor, SetDynamicState) \
|
|
X(GetClearDepth, SetDynamicState) \
|
|
X(GetClearStencil, SetDynamicState) \
|
|
X(GetColorMaskIndexed, CreateRenderState) \
|
|
X(GetCullFaceMode, CreateRenderState) \
|
|
X(GetCurrentVertexAttribute, SetVertexAttribDefaults) \
|
|
X(GetDepthFunc, CreateRenderState) \
|
|
X(GetDepthMask, CreateRenderState) \
|
|
X(GetDepthRangeIndexed, SetDynamicState) \
|
|
X(GetFramebufferBindingSlot, SetFramebufferState) \
|
|
X(GetImageTextureBinding, SetShaderImages) \
|
|
X(GetLineWidth, SetDynamicState) \
|
|
X(GetLogicOp, CreateRenderState) \
|
|
X(GetMaxTouchedTextureUnit, SetSamplerViews) \
|
|
X(GetMinSampleShadingValue, CreateRenderState) \
|
|
X(GetPatchDefaultInnerLevel, SetPatchState) \
|
|
X(GetPatchDefaultOuterLevel, SetPatchState) \
|
|
X(GetPatchVertices, SetPatchState) \
|
|
X(GetPipelineStateVersion, BindRenderState) \
|
|
X(GetPixelStoreParameters, SetPixelPackState) \
|
|
X(GetPolygonModeFront, CreateRenderState) \
|
|
X(GetPolygonOffsetFactor, SetDynamicState) \
|
|
X(GetPolygonOffsetUnits, SetDynamicState) \
|
|
X(GetPrimitiveRestartIndex, DrawVbo) \
|
|
X(GetProgramForDispatch, SetDispatchProgram) \
|
|
X(GetProgramForDraw, SetDrawProgram) \
|
|
X(GetProgramObject, CreateShaderState) \
|
|
/* Not in ComputePipelineStateHash today even though Vulkan makes it pipeline */ \
|
|
/* state; recorded here so the G7 chunk table has to answer for it before it */ \
|
|
/* freezes (section 10.3-5). */ \
|
|
X(GetProvokingVertexMode, CreateRenderState) \
|
|
X(GetRenderStateParameters, CreateRenderState) \
|
|
X(GetRenderStateParametersVersion, BindRenderState) \
|
|
X(GetSamplingResolutionGeneration, SetSamplerViews) \
|
|
X(GetScissorBox, SetDynamicState) \
|
|
X(GetStencilState, CreateRenderState) \
|
|
X(GetTextureBindGeneration, SetSamplerViews) \
|
|
X(GetTextureContextId, SetSamplerViews) \
|
|
X(GetTextureObject, SetSamplerViews) \
|
|
X(GetTextureUnitObject, SetSamplerViews) \
|
|
X(GetTransformFeedbackCapturedVertices, DrawVbo) \
|
|
X(GetTransformFeedbackGeneration, SetStreamOutputTargets) \
|
|
X(GetTransformFeedbackPausedPrimitiveCounter, EndStreamOutput) \
|
|
X(GetTransformFeedbackProgram, SetStreamOutputTargets) \
|
|
X(GetViewport, SetDynamicState) \
|
|
X(GetViewportIndexed, SetDynamicState) \
|
|
X(IsCapabilityEnabled, CreateRenderState) \
|
|
X(IsCapabilityEnabledIndexed, CreateRenderState) \
|
|
X(IsTransformFeedbackActive, BeginStreamOutput) \
|
|
X(IsTransformFeedbackPaused, PauseStreamOutput) \
|
|
X(InvalidateCompileEnv, kClientResolved) \
|
|
X(ValidateProgramName, kClientResolved) \
|
|
X(RecordError, kReverseChannel)
|
|
|
|
// X(DeltaKind, PipeCall) - for inventory rows with no accessor in the member column.
|
|
// Read by gen_pipe.py ONLY, never by the C++ preprocessor: the delta kinds are the
|
|
// inventory's own free-text labels, not C tokens.
|
|
#define MGP_COVERAGE_DELTA_LIST(X) \
|
|
X(handle-ify (wire handle), kStructuralHandle) \
|
|
X(Buffer ops delta, ResourceRespecify)
|
|
|
|
// clang-format on
|