diff --git a/docs/dev/ARCHITECTURE.md b/docs/dev/ARCHITECTURE.md index 1a617546a..359b5ac01 100644 --- a/docs/dev/ARCHITECTURE.md +++ b/docs/dev/ARCHITECTURE.md @@ -48,22 +48,36 @@ flowchart LR ## Graphics ```mermaid -flowchart LR - game["Game:
command buffers"] --> submit["libSceAgcDriver/Submit
DCB / ACB"] - submit --> pm4["Execution/Pm4:
state, draws,
dispatches"] - pm4 -- "shader + state" --> cache{"Compiled variant
in memory or
on disk?"} - cache -- yes --> vk - cache -- no --> dec +flowchart TB + subgraph init["Game initialization"] + direction LR + create["libSceAgc:
create shader,
link stages,
primitive state"] --> reg["libSceAgcDriver:
RegisterShader,
Resolve*Abi"] + end subgraph recompiler["core/shader/recompiler"] + direction LR dec["RdnaDecoder"] --> cf["ControlFlow:
graph + structurize"] cf --> tr["Translation:
RDNA to IR"] tr --> opt["Optimization:
SSA, resources,
bindings"] opt --> spv["SpirvBackend:
emit SPIR-V"] end - spv --> vk["libSceAgcDriver/Graphics:
Vulkan pipeline"] + subgraph frame["Each frame"] + direction LR + game["Game:
command buffers"] --> submit["libSceAgcDriver/Submit
DCB / ACB"] + submit --> pm4["Execution/Pm4:
state, draws,
dispatches"] + pm4 -- "user data +
descriptors" --> inv["Invocation:
specialization constants,
descriptor heaps, BDA"] + inv --> vk["libSceAgcDriver/Graphics:
Vulkan pipeline"] + end + + init -- "code + static ABI" --> disk{"Compiled artifact
on disk?"} + disk -- no --> recompiler + disk -- yes --> art["Prepared artifact:
SPIR-V with no
resource values"] + recompiler --> art + art -- "looked up at
draw / dispatch" --> frame ``` -- [`Recompiler.cpp`](../../core/shader/recompiler/Recompiler.cpp) runs the stages in this order. With `ANYPS5_ENABLE_SPIRV_TOOLS`, the SPIR-V is also validated and optimized with SPIRV-Tools. -- `ShaderRecompiler::Recompile` keeps compiled variants in memory, and `ShaderDiskCache` stores them on disk so later runs reuse them. +- Shaders are compiled when the game registers them, not when they are first drawn. [`ShaderRegistry.cpp`](../../core/libs/prx/libSceAgcDriver/Execution/src/Driver/Shaders/ShaderRegistry.cpp) runs `Driver::RegisterShader` for every shader the game creates, and `Resolve*Abi` when libSceAgc links stages or sets the primitive state. Each one compiles the artifact for that static ABI (stage, wave size, push constant layout, linked stages). +- An artifact does not depend on the resources bound at draw time. The shader reads them at runtime, as on the PS5: buffers, images and samplers from descriptor arrays and typed heaps indexed at runtime, and user data from the shader data block defined in [`RuntimeAbi.hpp`](../../core/shader/recompiler/RuntimeAbi.hpp). +- At a draw or dispatch, the driver looks up the prepared artifact and fails if there is none. Only compute shaders the game never registered are compiled at that point. The draw supplies the invocation: the specialization constants listed in [`PipelineSpecialization.hpp`](../../core/shader/recompiler/PipelineSpecialization.hpp), the descriptors and the push constants. Each distinct set of constants produces one specialized SPIR-V module, kept in memory. +- [`Recompiler.cpp`](../../core/shader/recompiler/Recompiler.cpp) runs the stages in this order. With `ANYPS5_ENABLE_SPIRV_TOOLS`, the SPIR-V is also validated and optimized with SPIRV-Tools. `ShaderDiskCache` stores the artifacts on disk so later runs skip the recompilation.