OoT lights the world with clustered lighting: each world fragment shader loops over the lights of the pixel's cluster,
reads each light's shadow-map handle from the light table (the first word of a 16-byte load from the light's 96-byte
entry, at a light index read per pixel) and samples it with depth comparison. The translation could not compute such a
handle: the handle builder stopped at CompositeExtractU32x4, and the earlier search through loads took c0[0x520], the
light table's address, which the Fritchii guard binds as no texture. Where the program reuses the handle's register for
a sample result, Track walked into the sample's coordinates and took c6[0x430] (a float). So no clustered light's shadow
test read its shadow map: the dark stair-step blocks around Link on Zora's Domain's ice and water, and green blocks on
its snow (issue 52; NotRexed/Hookshot issues 2509 and 1727 on GitHub).

A port of Lichii bd0171f7 (#1485, "fixes the dark water grid") and 282a585a (#1523), by Zortos, to Longshot's copy of the recompiler (the same as Hookshot's):

- Track does not search through texture instructions or float math.
- The handle builder reads a word of a 12- or 16-byte load, and takes one word read at a per-invocation address,
  scaled to a byte offset, as the element index of a descriptor array (HandleOp::Index). Such a texture gets an array of
  the table's first 64 entries, indexed nonuniformly with that word, where the word dominates the sample. Trailing Tees
  are trimmed, so the samples of one table share one handle program and one array.
- The draw evaluates the program for each element (stage_handles: the constant words and storage addresses it reads
  are read once) and binds the array; a table entry naming a colour texture for a depth comparison binds nothing.
- A word the earlier search still takes, which reaches the handle only through a load's address, is a pointer and
  binds no texture (handle_is_pointer_word), storage buffer or not.
- Handle tables need nonuniform sampled image array indexing; RX_VK_HANDLE_TABLES=0 turns them off (a test; in the
  cache's stamp). The stage cap (1 with this host_info, which sets no descriptor limits) leaves a handle table's array alone.

Offline, the translator over 4,672 dumped fragment stages (Kokiri Forest): all 6,519 bindless depth-compare samples
(687 programs) now read one 64-entry table array each (before: 6,494 took c0[0x520], 25 took c6[0x430]); the 5,423
other bindless samples are unchanged; no new translation failures; the 687 modules pass spirv-val (vulkan1.3,
standard and scalar block layouts). tests/test_handle_table_arrays.py checks HandleOp::Index, the Tee trim and
stage_handles from the sources' own text, and the translation and draw paths; two tests' stage_handle stubs take the
element; docs/development.md lists RX_VK_HANDLE_TABLES.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

@@ -425,0 +447,4 @@
+        // made from them, while a register the program reuses for the handle and for a sample
+        // result (a Phi of both: OoT's clustered lights) would lead the search through the
+        // sample's coordinates to an unrelated word (c6[0x430], a float).
+        if (IsTextureInstruction(*inst) || IsFloatValue(*inst)) {

@@ -964,0 +1233,4 @@
+            // The shader indexes the array with the index word, which must be defined wherever
+            // the texture instruction runs; where it isn't, every invocation takes the first
+            // element.
+            u32 count{1};

@@ -1423,0 +1713,4 @@
+            const IR::U32 element{size_shift != 0
+                                      ? IR::U32{ir.ShiftRightLogical(cbuf.dynamic_offset, ir.Imm32(size_shift))}
+                                      : cbuf.dynamic_offset};
+            inst->SetArg(0, ir.UMin(element, ir.Imm32(count - 1)));

@@ -3591,0 +3595,4 @@
+            // shadow map). The handles of all elements at once: the constant words and storage addresses the program reads
+            // are read once
+            static thread_local std::vector<uint32_t> table;
+            const bool is_table = d.handle_program != ~0U && d.count > 1;

@@ -560,0 +573,4 @@
+        const bool want = !e || atoi(e) != 0;
+        logf("vk: handle tables as descriptor arrays: %s", !want ? "off (RX_VK_HANDLE_TABLES=0)"
+                                                         : can ? "on"
+                                                               : "off (no nonuniform sampled image array indexing)");