flowchart TD
    S["Godot compute shader:<br/>read image A, then write image B<br/>(both from the descriptor heap)"] --> P0
    subgraph before["before patch 0040"]
        P0["pass 0: read A emitted,<br/>no write seen yet"] --> P1["pass 1: B written, so A<br/>becomes read_write"]
        P1 --> P2["pass 2: aliased descriptor<br/>array renamed for A"]
        P2 --> X["pass 3 would start:<br/>Maximum compilation loops"]
    end
    S --> Q0
    subgraph after["with patch 0040"]
        Q0["pass 0: OpImageWrite found up front,<br/>A is read_write at once"] --> Q1["access settled a pass earlier:<br/>within the limit, MSL to Metal"]
    end