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

    <tr>
        <th>Summary</th>
        <td>
            [HLSL] Add appropriate validation for MD_range metadata kind
        </td>
    </tr>

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

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

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

<pre>
    The MD_range metadata kind needs better validation, so that it mimics the validation in DXC.
Currently, all MD_range metadata node kinds are accepted. However, there needs to be further checks, like in DXC.
For example, in DXC, Verifier.cpp has a function, `visitRangeMetadata` that validates the range metadata node kind. One check, among many, is that the number of operands must be even. This needs to be validated to allow this metadata type in the whitelist.

</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJx0kstu2zwQhZ-G2gwiSLRo2Qst8scwskjwA21QdFfwMrLYUKRAjuT67QvKTpsAzUqXuZ3v4MiU7Mkjdkz8x8ShkDMNIXYqqF21r0Shgrl0LwPC8-FHlP6EMCJJI0nCq_UGPKJJoJAIIyzSWSPJBs_4A6QANEgCSzDa0eoENOC7HrAeDt8fSlbdP8wxoid3yXPSuX9c88HgejKBjAhSa5wITQmP4YwLxjxJA0a8SaIACqGfY_4JekD9mnKPs6_47vIxRMBfcpwc5uq1kN--YbS9xVjqaYJBJpDQz16_wbFttdhk6UtW-XwTybbVFfkGiVfkz0hK-N_jVdrKPQZ_glH61QWbrqvyAj-PCiOEHsKEUWYPxjlRBsQFfQkvg00fuN8EmPwtnQtnoNzzRwRdptWGvP48WEJnE2VDCtNtzH6zlwV2dduIbb1v27oYOr2RtWm13umeixpRVTvNUW3FTux3oleF7XjFRdVwwTnnoi552-it6mutmy0Xes-aCkdpXencMpYhngqb0oxdvWmbqi2cVOjSGkTOPZ5hrTLOcy5jl4fu1HxKrKmy2PR3DVlya4Ifn74-MXGAe2NATlMMU7SSPoSuD_GTLBdzdN1ANCW2uWf8yPjxZGmYVanDyPgxn7s97qYYfqImxo-ryMT48UaxdPx3AAAA___saR7W">