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

    <tr>
        <th>Summary</th>
        <td>
            [HLSL] Implement validation: Resource used in DXIL must be fully bound in root signature.
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

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

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

<pre>
    This validation needs to check if the resources used in DXIL are being bounded in the root signature. Example:

```HLSL
 // B is bound to t1, but no root parameters cover t1.
 Buffer<float> B : register(t1);
  [RootSignature("")]
  void main() : SV_Target {
    return B[0];
  }
```

AC:
- [ ] Update Root Signature Analysis to make verification.
- [ ] Add unit testing.
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJxckkFvpDgQhX-NuZSCwGBoDhyadFobKacku9rbykABTozdssu9k38_MnRmkpFK4lBVj1d-n_RezQaxZaJjnL9Zab2cJicN45yJUyIDLda1XxpJb8eP9nVRHq5Sq1GSsgYM4uiBLAwLDu-gJqAFwaG3wQ3oIXgcQRk4_fv4BNIh9KjMDL0NZtw727y1BNGRpOAwhYcfcr1oZMWRZVtV2V5_Pb08sewIjJ8ZP0MHyu9a0QLljN9DHwiM3SUv0skVCZ2HwV7RAeVpXO_CNKFjxf2krSRWPEAHrDiCw1l5Qsf4IYo1rOjiODDRPVtLL58OGT_Ed4rVMHHaZq5WjbBKZbZms-m9_PPfq3QzErB6VwJwSMEZ6Jjosrj7-Yv69PXQ_e7j_f4Ed9EBMHGCvy-jJIToBn7ZgaOR-sOrLYhVviNc0alJDVtG6TeB4zhCMIqA0JMyc5qMbTE2RSMTbPO6aHhR52WdLC3WWIpBVkPfZCjrinM8YFbVZYF1JQRPVMszLjKe51nORVmnA5ayyA9VlmeHuqoHVma4SqVTra9rat2cKO8DtjmvqlIkWvao_Q1Bg__D1r0B6Nq4dNeH2bMy08qT_y1DivTG7saDOMFjxGVFQ1_YjAE830D8zuEaPEGPMAWtP278KPMnhUlwul2ILj6GsAE3K1pCnw52Zfwc3dw-dxdn33Agxs_bDZ7x8-3Ia8t_BgAA__8GwxEo">