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

    <tr>
        <th>Summary</th>
        <td>
            [HLSL] Analyze and annotate updateCounter direction on a resource
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            HLSL
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
            V-FEXrt
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          V-FEXrt
      </td>
    </tr>
</table>

<pre>
    This issue supersedes https://github.com/llvm/llvm-project/issues/114130 which is being divided in half.

The first half is to analyze and annotate resources with the directions of any counter changes. The breakdown is as follows:
 - No detectable call to update counter -> Unknown
 - Call with a positive 1 value -> Increment
 - Call with a negative 1 value -> Decrement
 - Multiple calls that agree -> whatever the agreed value is
 - Multiple calls that disagree -> Invalid

Original issue should be referenced for context on design and constraints
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJykk89u2zgQh5-GugxsSNQf2wcdvEmMDZDdPWxa9DoiRyIbhjTIkdz06QvJStoi7aknAYP5fRoOP2JKdvBEraj_ElJ-3JzuPkUWUor6NsORTYjtWsy6oF_aR2MT2JRGgjSeKSbSlMAwn5Moj0KehDwNls3YbVV4FvLk3PT62Zxj-EyKhTwthCTkqSiqoszhYqwyYBN0ZP0A2k5WkwbrwaDrtyI_ivz4aAh6GxMvxbmbA6BH9_KVAL0G9D4wMkGkFMaoKMHFsgE2BNpGUmyDTxB6QP8CKoyeKYIy6AdKW5j5XSR80uHiZzwm6INz4bKcLT_CBv4NoIlJMXaOQKFz8xDjWc-_fSVuRHkHH_yTDxd_jd3MjcssCOeQLNuJoIAJ3UjX9nuvIj2T5_cBTwO-D9zST4F_Rsf2vM6UgA0y4BBp7b4YZJooLrtY6nqF2fR7gLbpB8a9n9BZfb2M_6IdrEf3KoMJo9PQzbvvKZJXpKEPEVTwTF8YggdNs2zLTangE0e0nlOm21IfygNm1Ba7qmqaYt_kmWn7mmqqG13JoulyjUW3U2Wval3SvtxXXWZbmcs6r4pK5sWuyrcVNvumbg4H1KikLkSV0zNat53t24Y4ZMuwbVHWTbPLHHbk0qr-3w__P6zex3axtRuHJKrc2cTpO4Etu-W5LIH6Fo6_EvAqxM3qw5t78xbwzc5sjK79g6dzPcXUym8BAAD__1OFQ24">