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

    <tr>
        <th>Summary</th>
        <td>
            LoopVectorize fully vectorizes loop, but the backedge remains
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            loopoptim
      </td>
    </tr>

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

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

<pre>
    Refs #55351

https://godbolt.org/z/3Tnb7nW1x
^ In this case, the inner loop is fully vectorized, and it's body will only execute once,
but we don't run any pass after LV to detect that, and LV itself does not drop backedge either.

cc @fhahn 
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJxdkc1unTAQhZ_GbEZFYEMICxZp00qR7iqq0rV_xuDWsZFtbnLz9B1Ib1tFAsxoPOd8M6OiuUyPaDMwLvpe9C1r7llz9_5dSlkzE3eMf6NnjkZFX-qYZore6BXfgxrCj_b1T1H_FR4ClMVl0DIj418oQHAhYAIf4wqUsZv3FzijLjG5NzT7LRkMuML4kEEREbw47yEGuoevqLeCFOhd791IbQVeEEwMVFIgbYEULrDKnEHaQmanJygRDBayIQZZri6UcCWjt1SNGUIsYBKBKal_oZkR0BFyqv8fg9bAusYucglQmUmYUYyyKq54nE7U1dO1l4-95aPp3Xon3kfx1ybhs3QhV1vy04cxE8Cmah2fKfD-fD0-rSn-JGUKXc4bZvrZN9ZVy2S11PymlaMWN1bYFlsxWCEHKfpxFNpWXir0eWL9Z8b5DhXX4kiZs_6-chNvOG_6ZmyHjne8xrbTqIwR9lZwfSup-x3X1zvHvv8qTQeS2uZMSe9yyf-StAY3B8TDjvTlVpaYphMqNHh-fKgO_umA_w2q8tB8">