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

    <tr>
        <th>Summary</th>
        <td>
            llvm-reduce's attribute reduction should not try to remove convergent attribute if convergence tokens are in used
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            llvm-reduce
      </td>
    </tr>

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

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

<pre>
    The verifier will complain if convergence tokens are used in a function that is not marked convergent. The reduction should skip functions which use them
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJx0kU2O3CAQhU-DN6VpYfy_YJEo8glyAYyrTaUxtKDwaG4f2RllJlJmhYTqvar3PZMzbQFRi-676H5UprCLSZuUMezVEtc3_dMhHJjoTpjglbwHG_enNxSA7mBjODBtGCwCxweGDCYhlIwrUAAD9xIsUwzAzjBQhhAZdpMeuH6I-QbnmoRr-TOcXSx-hfyg51-HDK-OrDu9gR3u1aqbdWomU6Guh1aNcqjHrnK6WZZ6lMtoWzO1KIfprmzTWjP1g5KdNRVpJVUnG9XKSfaqu0mL_Vj3dlVD38veiFbibsjfvD_2W0xbRTkX1HWj-qmrvFnQ54uZUufIy3U5CqVOiElff0vZsmilp8z5w4iJPep_REMGw5xoKfwfBicvTm_AERLu8cBP2D7pvu6CwlVHVZLXjvmZRfNNqFmoeSN2ZbnZuAs1nye9Py_PFH-hZaHmK3cWan6Pfmj1OwAA___JccC3">