[reyani-dev]

What

#2072 taught the SRT evaluator (SrtEvaluator.cpp) to compute SLessThan32, but IsRuntimeUniformOp (SrtInstructionPredicates.cpp) still leaves it out. So the runtime validator (SrtRuntimeValidator.cpp) rejects any descriptor dword computed through a signed comparison before the evaluator ever sees it. SLessThan32 was the only op the evaluator handles that the validator neither lists nor handles itself. This adds it, the same way #2790 added SMin32.

Titles: EVO Player (PPSA99039), PS5VR (PPSA99177), Jelly5 (PPSA99505), Emby5 (PPSA99515) and Nuvio PS5 (PPSA99997) all stop here at their first draw, once #3496 gets them past sceAgcCreatePrimState (where they stop on main a11c8f7):

  what():  ShaderRecompiler::Recompile: GetImageResource dword 3 is not a valid runtime value; chain: SelectU32(SLessThan32(ReadConst(GetSrtResource, Immediate), Immediate), ReadConst(GetSrtResource, Immediate), BitwiseAnd32(ReadConst(GetSrtResource, Immediate), Immediate))

With this change on top of #3496:

• PS5VR runs the full 60 s without an error and compiles 150 shaders.
• The other four move on to AGC graphics: guest 2D texture descriptor has a nonzero depth or base array. That's a linear T# with its pitch in DEPTH; I have a separate branch for it and will open it after this one.

Tested

Windows 11 (26200), RTX 4070, WinLibs GCC 15.2.0 r7, Release, on main a11c8f7:

• agc_shader_memory: verifySignedSrtComparison now also runs the validator on its three SelectU32(SLessThan32(...)) dwords. That check fails with the predicate change reverted (the runtime validator rejects a descriptor dword the evaluator computes) and passes with it.
• ctest -E "^agc_|video_out": 450/453. The 3 failures also fail on main on Windows: windows_exceptions (Windows: windows_exceptions fails since #1423, unwinding through runtime DLL frames (std::call_once) no longer reaches the catch #3411), guest_kernel_sys (fix(libkernel_sys): create symlinks with CreateSymbolicLinkW on Windows #3510) and guest_filesystem (test(libkernel): don't require restoring the directory time on Windows #3518).
• GPU suite (VK_LOADER_DRIVERS_DISABLE=*dzn*, Windows: VideoOut crashes intermittently when the Dozen (Vulkan on D3D12) driver is installed, even though the native driver is selected #3255): 383/384. The failure, agc_driver_emulated_color_compare, also fails on main with NVIDIA (linux CI + NVIDIA: agc_driver_emulated_color_compare fails on main since #3438 (8-bit sRGB compare refused on the decode path) #3526).
• The five titles above, on main + fix(agc): preserve hand-built user VGPR offsets #3496, with and without this change.
• tools/check_conventions.py and tools/pr_overlap.py: clean.

Checklist

• Based on current main; no other open PR implements the same functions
• One topic per PR; follow-ups go in a new PR
• No comments in code except technical debt
• Unimplemented paths throw (NotImplemented_nid_no_patch); silent stubs are listed in TechnicalDebt
• No notes, investigation .md files or images added to the repository (attach them to this PR)
• New third-party code is a submodule built from source
• Generic behaviour, not specific to one title
• Depends on: fix(agc): preserve hand-built user VGPR offsets #3496 (no code dependency; the titles reach this stop only after it)
• AI-assisted: yes (Claude Code)

🤖 Generated with Claude Code

[adriadam10]

Checked the build and agc_shader_memory on Linux with the PR merged onto main. The new validator check fails without the predicate change (SLessThan32 was the only op the evaluator computes that the validator neither lists nor handles), and passes with it; merging.