<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/159679>159679</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            [DirectX] DXIL container mismatch for unbounded resource arrays
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            backend:DirectX,
            HLSL
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          hekota
      </td>
    </tr>
</table>

<pre>
    DXIL container compiled from source code that has an unbounded resource array fails validation:

```
RWBuffer<int> Buf[] : register(u0);

[numthreads(4,2,1)]
void main(uint GI : SV_GroupIndex) {
 for (int i = 0; i < 4; i++) {
    Buf[NonUniformResourceIndex(GI)][i] = GI * 100 + Buf[NonUniformResourceIndex(GI)][i];
  }
}
```

This is the error reported by DXV:

```
error: DXIL container mismatch for 'ResourceBindInfo' between 'PSV0' part:('PSVResourceBindInfo:
  Space: 0
 LowerBound: 0
  UpperBound: 4294967294
  ResType: UAVTyped
  ResKind: TypedBuffer
  ResFlags: None
') and DXIL module:('PSVResourceBindInfo:
 Space: 0
  LowerBound: 0
  UpperBound: 4294967295
  ResType: UAVTyped
 ResKind: TypedBuffer
  ResFlags: None
')
error: Container part 'Pipeline State Validation' does not match expected for module.
Validation failed.
```




</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJycVF2PozYU_TXm5WojYyDAAw9haKZRR6tqspPOW2XwJbgLNrLN7M6_r2yYj3bbVbeSlZhr3-Nzz7k2t1ZeFWJFsppkTcQXN2hTDfhZOx61WjxXzePpDjqtHJcKDXR6muWIAnqjJ7B6MR1CpwWCG7iDgVvgChbV6kUJFGBw28ON4c_QczlaeOKjFNxJrUhyIDSMPd0GPdz_Vi99j4YkN1I5kvwE9dKvDIEkBzB4ldahIaxYKGElSeoNJKvVMrnBIBeWsCIl7IYRdhP7TVlD6OFJSwETl8rnSuXg9hQgz5ffb41e5pMS-JWwEkjuMaHXBggr_E4JJGmAkqQO0xtIw5SwOozXFICN7ketHpTstZnuNxE29OL2tBHKarkW1QQi7AAxpUBY_aMQqwQAJPdVbr_vJCX08GmQFqQFNyCgMdqAwVkbhwLaZ2geL__oRdjpFfpbH0zSTtx1w6ZQ_sKvlkqcVK8Jy6FF9wVR-eVfzxfqQzM3zp_DijX4TVrgAHCeeYf-WM8B7vQXNLXvqNcQPMzzu1jKyrTc56xMw-I92k_PcwB4OFz8VLzEf5FrRghufbYtHUd-tX7to1bodWC595UrsVY_abGM-B_o_5X9j9DPvkf__7B_b-HNq3vehmCLnHGUCuHsuEO4vN1LloPQaEFpB6vR-HXGzneLd3yVYkfo4S0nXG4Uu29bbx2RqBJRJiWPsIrzrGApzeI8GiqW0yRmabbPkZa86NtC7Pc90rxMCrovukhWjLKMlnFJKS2SfJfxJI-7GPdl37O8yEhKceJy3I3j07TT5hpJaxes4qzc52U08hZHGx45xlrefcagYiMNdu6RMP9GEMZ-vjvf-Y-siUzlkT60y9WSlI7SOvuG7aQbw5P5ApA1370e__Ya2mgxYzU4N9vQVEfCjlfphqXddXoi7OhP3P4-zEb_gZ0j7BhKs4Qdt-qeKvZnAAAA__9xU8AL">