<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=http://email.email.llvm.org/c/eJylkktv2zAMgH-NfBFqKLLl2AcfsqTFChQ7rMPu1MOxUtkyLDlt-utHOd0WDLsMAwxStEjq40N6fWl3gdpIFYxUGhqMGakdaR_jFEixI_wBv6ON_SJz5Qc0nDv_VHfT7E9GRTSl8xJVJVinSiYrXesGRF01suwUCC606HixlcwYXrPiJo9NcbsR3CXYgMdnBQ7m-7N3S7R-zNU0EV481SUTdyg3jLADYbtXhI3WOar9SPg2Um3A0VckpbGHVFAw-dX1Kr-APRt3IXxPL37BEI2Odny5ulssYhvoaQmRkooN8EZ4DckZ8Rr8k5qx5vmjNV5L72Lu5yNa76kT3-R73Z_k-Dd3cAjB81T7R4gyH3H35Wkp9rfEj4gV6OBnQ7H1k7MKoknUOKsEnehsuFaP_MXDbbBSlJRsmg0MJqTjaF-sopluC90UDWSwxN7P7ZORRpvz18dsmV37z3O3ISwmjU0UBW-yvlWVqjuzKVUDspMlQLMRWqqNrruuBq4zB9K40BLxiXD-vL__joqIQ_b_j9uWM87ZBmUhRMlzoSqmoWOAC8m3XY1dMANY96v_2dyuKeVyDHjpbIjh9yWEYI-jMSsrEkYb3Wqs1OJAP8OonR2P1HcUpyA9Lt-QNsi8rfu0aursgDJbYduV9AdlVBTA>53329</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            [SCEV] Handling of 'both must exit' exit limit 
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            SCEV
      </td>
    </tr>

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

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

<pre>
    As it can be seen in https://github.com/llvm/llvm-project/blob/650fc40b6d8d9a5869b4fca525d5f237b0ee2803/llvm/lib/Analysis/ScalarEvolution.cpp#L8405-L8410
we still don't deal with that case.

Naively, you'd think that it's just `max(a, b)`:
https://godbolt.org/z/bTbz8hjbn
https://alive2.llvm.org/ce/z/E4ju3C

It is more complicated than that, isn't it?

cc @preames @nikic 
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyVksFu2zAMhp9GvggNVMlKnIMPWdpiBYod1mF3SqITpbIVWHLa9OlHOd0aDLsMMEjRIomPv2iiO7ebxH3mFgZukCfEgfuB73M-JqY2TD7Qt_N5P5mFjT0FIZx-u5vjGA9oM4UmRENuqUVna2GWrnFr0M1yberOgpba6U6qlRGIshHqqo8vdZsBwjn5RMdnCwHG-1MMU_ZxWNjjkUn11NRC35C9FUzcMbF5JdjsQ-AuDkyuMncIgb8SKc97KAMlXFxSL_Yb-BOGM5Nbfo4TlThK9MPLJd3TEKvED1PKnC1FD29MNlCSCW9Nf4oYc5-_pInOxJAXcdxR9F6U-GHem_3BDP9Kh0AQclFm_yix-FF3Xx8mtb0mfiSsxPs4Iifpj8FbyFio6a0KdKHz6TI98auH62JrOavFcUToMZXj4F-85ZVrlVurNVTZ54At01-et_c_mb7jX2FwwQ87HjtOPU0kKfuiB77N6syeB9-TraYxtP-9JD6lCcsba6Xkutq3Uhnolk3dICEhrYjSpqtpS2otAbpVFcBgSIWSSTmDSkmslW-lkFLcklVa13Kh7VI46ATQ7slV19DA2IMPf6SuxnamMdMu0WXwKafPS0jJ7wac9Sj9Ycr7OLZPaNDh6ftjNaO3M_cvmNz-KA">