<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=http://email.email.llvm.org/c/eJylU02PmzAQ_TXmMloEJgFy4MBuuuoeVpWqXnqqjD0kroyNbLNJ-us7Jqn2Q9pTJZgxZmbe85vx4NSlO8Y4B1b1jD_Sc5AyPzg1OBNz5w-08ye9jazO57b-yYo9K_qbrQs3R7jTNkTppkFbpC2QXoQjBnAW4lEHePqeir_Puz4KpREeQbfANoUxL1MeJnHOdct4m8wDJLsD60aPSC5crCS32JO2CjwKZZ1FCDPKxYgoBoNw0sZ4jIu3b0EVjsTvBpVQfrlxDBhXJGB8e05ArLm_hkPaKoFVexBKgV1OYMMppW-LxGtNeI2c1kgpjPnsMGu964ngruQbQvuXT2ThGjDdGDf7D0q9Pckq6kkEGEkHBcMFpguEuCi0MUF_FTEsFsOspchUV6ldtROZWOLR-c7jAY8-W7z52Hcdj8uQUx_pI7G_ubvZu98oSadHHcKCgRZb3rab7NhVKGrZ4CBEW6p6UG1T1tXY8KbZjE3JZWbEgCZ0bHvPOLdI-qUStGbbffb_DHTHC16WnNe8rGq-zXeiKIt22FV8rFS9EaQGTkKbfG0HjXPmu7XksBxC6pIOMbz-FCHog0VcCRPDqKPB7onG--E63g_U4JDLeSbSTVuThZUoHaHqU5xfZNTOMt7D5F6wV6ofI_pnbZ8FDVj7Njp6ujhapjSKT6PxvtYN01937hdtFPofF8brNDsE3YeAPsFBmhBefntBPxp3gjWkJse_nOlmRFQQ9DQbPV7AjTBpIvg4JUKc8QZGUghVnq3qdqu0fwHSoEEy>52884</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            InstCombineCalls.cpp:786: llvm::Instruction* moveAddAfterMinMax(llvm::IntrinsicInst*, llvm::InstCombiner::BuilderTy&): Assertion `!Overflow && "Expected simplify of min/max"' failed.
        </td>
    </tr>

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

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

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

<pre>
    https://gcc.godbolt.org/z/z7c3xx86Y

`opt -instcombine` crashes on this IR:

```declare i8 @llvm.smax.i8(i8, i8) nofree nosync nounwind readnone speculatable willreturn

define i8 @smax_offset(i8 %x) {
  %1 = add nuw nsw i8 50, %x
  %m = call i8 @llvm.smax.i8(i8 %1, i8 -124)
  ret i8 %m
}
```

this was found by my student @Hatsunespica
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJx1U0uPmzAQ_jVwGQWBCY8cOLCbrrqHVaWql54qg8fBlbGRbTZJf33HJNU-pEpmBg8z833zYLDi2k0hLD4p-4Q90TmNY3ayYrA6ZNadyPInPs1YXi5t_TPJj0ne32Wd2yXAThkfRjsPyiCZYHTcT-jBGgiT8vD8PSb_GHc7AkfNHYJqIdnnWr_OmZ_5JVNtwtooHiHKAxgrHSIpfzUjqdWclRHgkAtjDYJfcFw1D3zQCGeltcOwOvMeVKAkfneoiPLLSukxbEiQsOoSgZLm4eYO0VRAUh6BCwFmPYPx5xhe5ZHXFvDmOW-eI9f6f8Vs-W4Vwa5ge0L7F09k4eYw3xk3x0-del_J1tQz9yCpDwKGK8xX8GEVaEKE_sqDXw36RY08FV0pDuWBp0EFjd0zjerxNqpHIuuzcVloOk1bk4RIOs6q7KOfW8egrElYD7N9xV6IXgZ0L8q8cGpW-947OFoCNcYw8o9lfsx1x3Q3y8OqtED345qwOvaBoHvv0UU4iNWy4tsrOqntGTaXmhT7cqEpBxTg1bxoJa9gJcyKCD7NkRBLWAOSK40iS1enPy-2CtM6ZLSodNnY3dRucfY3Jaar8n5FTy8Va9t9OnVtUQ5M7PNGImtlXklsGzbkw8hzVqEcUs0H1L5LqgfCN0gLElNELtUxVR3LWVEwVrOirFmVHXhe5O1wKJksRb3nNCyciXC2bQv9banrNkrDevJxiZQP_u0j916dDOIGR_n5GibrOocnnFy6IXcb87-AkSvX">