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

    <tr>
        <th>Summary</th>
        <td>
            [LV] must have a resume value for the canonical IV
        </td>
    </tr>

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

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

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

<pre>
    Compiling this:

```
#include <algorithm>
extern char a;
unsigned short e;
long b;
short *c, *d;
void fn1(short f[][3], int g[][3], short h[][3]) {
  for (int i; i < 3ULL; i += 5ULL)
    for (int k; c[i]; k += 2)
#pragma clang loop vectorize_predicate(enable)
      for (int j(((4 ? c[2] : 0) || d[i]) - 1); j < -108 - 18446744073709551485;
           j += 3) {
        a = 0 != f[1][j];
        b = g[1][k] = std::min(e, (unsigned short)h[2][k]);
 }
}
```

with `-Ofast -mcpu=grace -std=c++11` results in:

```
clang++: llvm-project/llvm/lib/Transforms/Vectorize/LoopVectorize.cpp:9759: void preparePlanForEpilogueVectorLoop(VPlan &, Loop *, const SCEV2ValueTy &, const EpilogueLoopVectorizationInfo &): Assertion `EPResumeVal && "must have a resume value for the canonical IV"' failed.

```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJyUVM2O4zYMfhrmQiSQKTuWDz7kZwIsMEAX7TbXQrEVWxnZMiQ52-3TF7Imncy2lxpCJJEf_z4ykt7rblSqhmIPxXEl59BbV_ubVa4dlL4pt7rY9kd9sMOkjR47DL32wHfAlrVl74vtgLgeGzO3CoEfpOms06EfgL8A26k_g3IjNr10KIHvge3mcYndou-tC6iS1Nixw0s6JwXQrgE6xL1N8rvVLV7HDEgkyDWlD8Wex40OqMeA3b-kCd3_JK8QyugW8WodAolorIHvUcdKkP_--vp-oz3wIxZRQNVi8snoLcIaKPY6OuZ7fHuYUMID8cnJbpDYGDl2aKyd8K6aYJ3-S_0xOdXqRgYFJNQoL0Z9hPkU6AYk0soR-GmJSVAcEfgOWSrpAOUB20cyVOEas-iO7_G21LXOmIhCkefbMs9ZyUtWFUWWiyLxjB_f7VEIf-YrfRKjgiFQFg-xGVni95ZoeMJeFmz3AXlLWR_RhzaOFd8Neozlp5aLz1MCVPXvpb7bpopiBCiPkeH0-zyXbPddhx5hy9a_XKUPuB6aaQZ-7JxsFK6XyMcmFkj7LIMtQ6f8bIJHPf7nqC_NS_hIuDH3YT05e1NNADrFa9z0Bej0zcnRX60bPNDp_Og00OnV2umf-6aZJuC7qiyq6HAZ8MmpSTr11cjxZN3LpI3tZpVMojGQOEclAm0jWVEW_yTx3NjRB_zt8HKmszSz-vbjgUqah7fnJGTQdvwyXm2CLonsvFcuyiN7L19_VX4e1FmaBNkiEA2zD9jLu0K50DYovMeQy7iGXmEjRzvqRhr8cgYioBKvUhvVbn4idtXWvK14JVeqzsqCeL7dCrHq65Ix3maCskoVgpfbSnJeUSXVhTdCMbHSNTEqWJlRJgrBxEbkRbst27bJVaFE20DO1CC12cTebKzrVtr7WdVZLnjFVkZelPHLI0g0qu-4aGOyxXHl6qW_l7nzkDOjffAfboIOZnk9X89xkP8XGavZmboPYVreUzoBnTod-vmyaezwNEefp2tJLQ7Te-73mv4OAAD__8I_ptk">