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

    <tr>
        <th>Summary</th>
        <td>
            [HLSL] Validate that `updateCounter` is only either incremented or decremented and not both
        </td>
    </tr>

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

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

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

<pre>
    `RWStructuredBuffer` has `IncrementCounter` and `DecrementCounter`. Only one of these methods can ever be called on any given `RWStructuredBuffer` instance - the buffer counter can only be incremented or decremented but not both.


</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJx8kUGL2zAQhX-NfBnWyLLjNAcddhtCCwuFLrTnkTWJ1CpSkEYp-fdFzi5bKO3FZnjozZv3YSn-FIm02DyJzb7Dyi5l7ehnYuxMsjctZvn1-wvnunDNZJ_q8UhZzBIcFhCz_ByXTGeK_DHVyHcJo23Snv6SevgSww1SJEhHYEeF4Ezski2wYAS6UgZDsGAIZCFFwHiDk79ShH8m8bEwxoXgoTmCWQVY7ktX29SWGgL_FrZ5Z7D0PprKEBODSex6IfdCPt6_ndWj3Y077EgP21GqcTNPqnN6h5OVdiBCmo35QFsaCeXR7LbWmllOnddKqmmQaqcGKSfV4zCpZWvUOEpcaKvEJOmMPvQhXM99yqfOl1JJD8M0jLILaCiUlY1SkX7BqgqlGqqs26MHU09FTDL4wuXdhj2HFeqn55dnsdnDNwzeIhOwQ25N1ksb_2Dmy70l8uwo_6-pRvetqa7moB3zpYjxUaiDUIeTZ1dNv6SzUIeW6PX3cMnpBy0s1GG9owh1eD30qtXvAAAA__-vWNeL">