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

    <tr>
        <th>Summary</th>
        <td>
            [NaryReassociate] Simple IR test hangs on nary-reassociate pass
        </td>
    </tr>

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

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

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

<pre>
    This bug was found by Azul FuzzGen IR test generator.

https://godbolt.org/z/78aMzshT6

Run opt with -passes=nary-reassociate and see that it hangs forever on a simple test:

```
; ModuleID = 'bugpoint-reduced-simplified.bc'
source_filename = "gen_01210"
target triple = "x86_64-unknown-linux-gnu"

; Function Attrs: nocallback nofree nosync nounwind readnone speculatable willreturn
declare i32 @llvm.umin.i32(i32, i32) #0

; Function Attrs: nocallback nofree nosync nounwind readnone speculatable willreturn
declare i32 @llvm.umax.i32(i32, i32) #0

define void @function_0(i32 %val_i32_11, i32 %val_i32_12) {
entry_1:
  %val_i32_27 = call i32 @llvm.umin.i32(i32 %val_i32_11, i32 %val_i32_12)
  %val_i32_36 = call i32 @llvm.umax.i32(i32 0, i32 %val_i32_11)
  %val_i32_38 = call i32 @llvm.umax.i32(i32 %val_i32_27, i32 %val_i32_36)
  unreachable
}

attributes #0 = { nocallback nofree nosync nounwind readnone speculatable willreturn }
```


</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzFVE1v2zAM_TXOhUgg2_HXwYdkQYYeukPXeyDbtK1VkQJ9JE1-_Wg7W9OuHXoYMMCWRJt8fCKlV-nmXD72wkLlOzhxC632qoHqDKuLl7D1l8tXVHD3AA6tgw4VGu60WQRsE7DVNPbOHWwQr4JoS0-nm0pLt9CmI-tCb5bz-4vtH9PboAevQB8cnITrYX7g1iJhbBQ357lBMnUtuEPgRMciguu5A-Gg56obaBo8ogGtgIMV-4PEkeHA4iZJkLLrM5nxGu514yXebYCSQRBltPGDFspR0sbX2MxHNNEKbBZVTQ5TqNXe1LhrhUTF93iNjqggOxZGIaP15Oi46dCBM2LgdHV7ztNdupx79aT0Sc2lUP553in_O-qF39ar2gna18o5M1QVlK65lBWvn2jZGqqF0vasapq8OgmqD9WrUVoh2APWXnLHK8p9ElIadN6oCb3BWnKDIOIIgiWT8rhf-L1QC_oQRPk4foFxKoh0zP43Nf78KWoNtoISHLVohuD2ynLHpkjyT45c7mi5C8MrzquPE2q2nuBQOXPehb9PEtz6RtnY0mHXf6nj51K-Ax-nH8Hf1gLYe5DhB5D5pyBf7fEd-Di9gfeK2lr3Qyuvjcg2tx3hdD5E5elCjs2abkG2_gfHBV4yvbna4zhryrgp4oLPnHASyyBZfyNBeXjRkyDZwPdJL36J2qQodKz_0J5BlWbeyPKNwpFk-WpR6z0ZQzGv0_xg9A-sHZnCWk96Fm2TNI6TWV_WWLC2SvM4DrMsidkyi4ssaYsKk4rVCc4kr1DagTGJgsITjBCDQCSbmSgjFkUsY2G4DKNlvshYkzdhhG2YY4GsoK7ingu5GHtL0jsz5UiJ5M0OLRfW2ZeftC_RKRwLNOBz73ptSmWEsk_8zGdj8nIk_xNFeONu">