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

    <tr>
        <th>Summary</th>
        <td>
            Attributor may infinite-loop after 79962df
        </td>
    </tr>

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

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

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

<pre>
    The code in AttributorAttributes that walks through Value and Instruction definitions, will loop if it hits a cycle of instructions that it can't immediately process. Test case attached...
[test.ll.txt](https://github.com/llvm/llvm-project/files/8514977/test.ll.txt)
.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyVUMGO2yAQ_Rp8GS0yGMf2gUPa1Uq9r3ofwzhmi01kxk3z9yVuV-m1EhJvmOG9N29M_m7fZwKXPEFY4cy8hXHntH0iysAzMtww_njALe2XGb5j3Alw9fBtzbztjkNawdMU1vCAWeivcAsxQkzpCmGCwDAHzoDg7i4SpPL0_PpXpAw5XIXuClwW8gGZ4h2uW3KUs4R3yo-JXKSZ0c3kpZSifhX1WbRfileWMUr-xaJ9Fbqfma9ZNGeh38q5BJ73Ubq0lCLGn5_XS6H_IMelnEKkYv2tb5UZuq6gfzn18EdKVt42fmgGrDhwJPtMDRa8l72OGOjl2B0npg26YThpP1X7Fu1_2wo574ev1gy9qmarJu-IvDk5JFSj0SdNNTbaGNfTiL6KOFLMtoQitF7pBgdFwSWYKlhda10bNaiuNnqQODmjjEOjnGvaoRempgVDlA8fMm2XarOHpXG_5NKMIXN-NjHncFmJDrnCjzvPabMuhlUpVR3S9rD-G26_0DE">