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

    <tr>
        <th>Summary</th>
        <td>
            [DirectX] Validation error: Access to out-of-bounds memory is disallowed
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue,
            backend:DirectX
      </td>
    </tr>

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

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

<pre>
    ## Error Test case:
```
lldb -- dxv validation/GemmSmallGemm_Bias_float_b16c32.dat
```
## Validation error in: hlsl::ValidateFunctionBody
https://github.com/microsoft/DirectXShaderCompiler/blob/adffd31eb02f690d9d1afe86c7fa6f12b4e70aa1/lib/DxilValidation/DxilValidation.cpp#L3426

## Erroring instruction:
```llvm
%63 = getelementptr inbounds [512 x float], [512 x float] addrspace(3)* %62, i32 1
```

This is a little weird  index 1 should not be out of bounds.
The only unique difference I see from ValidationTest is we don't do addrspace(3) in the ValidationTest.
https://github.com/microsoft/DirectXShaderCompiler/blob/adffd31eb02f690d9d1afe86c7fa6f12b4e70aa1/tools/clang/unittests/HLSL/ValidationTest.cpp#L1678

</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzEVEuP5CYQ_jX4UuoWLvxoH3zwbMdJpLnNapXbCEO5TYKhA3ge-fUR3s5m0yPlupIlo6Je31dfIWM0F0fUs_qB1edCbmnxoZ9l-Ms7W0xev_cMBUMBP4XgA3ymmEDJSEwMjA-s4bePD9bqCQ4H0G8v8CKt0TIZ7xiOP9O6Pq3S2nx4fjAyPs_Wy_Q8lY0SeNQy3aW6lfzyLQvQXt04JgZYbLS5vBhuDjRuTmW3B6_fGR-WlK4xe-DIcLyYtGzTUfmV4bgaFXz0c2I4nk0glX57WqSm8MmvV2MpMBwn6yeGo9TzrEVJE8e56bjudClnOjWqnWUzlzhV1HIpS4ajNTng_Gbsl--B_9dwVNcrQ_EoKmwyxm8wd2aNu4BxMYVtR3JHr7Uv6x5QNwKYOMOFEllayaVryrxMfnM6Aqsf6hLhDXaCWX1m-OmjEaTWIV6lIoYnwbBjOEDOjdndCITyfiB8-LyYCCaCBGtSsgSvZIIGME7TG5QQF79ZDc4nmAj8lsDP8LWt4x5O4J19h82ZPzcCbeaZAjlF8CtEIpiDX7-b-C40E-GVQGcy2wTaf2gcjIO00F3c8UdoIHlvI8NRWekuDMfNmZQopmz75fHpkeF41-VND2XTnhgfCt0L3YlOFtSXbdXWWJdNVyx93XRcCVFNRFpPSPNJnRrsJqzmsqv4qTA9cqx5XbYoRIfdsararpKyVrxrO-KSVZxWaewxy-jow6UwMW7UlxWvyrawciIb9ycA0dEr7LcMsxoY4iTVH-Q0E8ONrHxTn4vQ53SHabtEVnFrYor_Fkgm2f1V-SemPn9Y57zLg1IUIySfFXPw8-Em5JVWH96zALSJ0lr_SrrYgu3_Z677knz9Ha7B_04qT3gHk4dwQ_vS498BAAD__9H_k60">