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

    <tr>
        <th>Summary</th>
        <td>
            Assertion `State.VF.isVector() && "Not vectorizing?"' failed.
        </td>
    </tr>

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

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

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

<pre>
    Run opt with -passes=loop-vectorize

https://godbolt.org/z/xdrTfEddx

Test.ll
```
; ModuleID = './reduced.ll'
source_filename = "./reduced.ll"
target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128-ni:1-p2:32:8:8:32-ni:2"
target triple = "aarch64-none-linux-gnu"

define void @wombat(i16 %arg) gc "statepoint-example" {
bb:
  br label %bb1

bb1: ; preds = %bb1, %bb
  %phi = phi i64 [ 0, %bb ], [ %add, %bb1 ]
  %sext = sext i8 0 to i32
  %add = add i64 %phi, 1
  %trunc = trunc i32 %sext to i16
  %sdiv = sdiv i16 0, %arg
 %sext2 = sext i16 %trunc to i32
  %sext3 = sext i32 %sext2 to i64
 %icmp = icmp ult i64 %phi, 14933
  br i1 %icmp, label %bb1, label %bb4

bb4:                                              ; preds = %bb1
  %phi5 = phi i64 [ %sext3, %bb1 ]
  ret void
}
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyUVEGTqzYM_jXi4iEDMjFw4JCUMtNDe-jbedeOwdrEHQcz2Oxm36_v2JBsNu9dmgm2ZH_6JEu2pHP6NBI1sD_Cvk3k4s92bl6k_5CjbO3Se5f0Vn00fy8js5Nn79qfWTpJ58gBb421U_pGg7ez_kGQtZAd1vHs_eSAHwA7wO5kVW-N39n5BNj9AOyuan55_V2p66PRCzm_M2ZbEtn2X1V-ZH9atRj6o2XAWwZY7gC7mdQykApmWK5QZ5d5oH9etaFRXmhD4zMaV7SX84k8U9JLIz_s4m94Si_AD5TqCvghfBxTnQvghzgETRTAD6JIdY4BkGOVjhzXtW9R02E5nTAabDwbV9zD5zj8rCdzj1nKeTiLIh3tSKnR43JNT-Nyt1lHRa96JPZmtWJQZO_20ksPWOlcMMC9DEmv2WkIhM5LT5PVo0_pKi-TIUBkUB5Xqr4PNYsiY_3MjOzJBJK-zx9dBpUfWCjKNJNyW7wRhr-t0o0GcD-ddUSEWYuCwf7IsjuQwb6Nyv4Y41XqvpXHvU8iR9e1PlHQFcuYt0xzfMBIpSIkzNFZ9B8o8weUn5dxiLhV0hzvDgJlLh7dKv22ug1CyOst-pDcFbcZ40N4a_5X_p_CDBD-AP70jxEsik9iPVymCI3CYvzzwYqa84ey6fxmFXa_FPGrXnwtarjO7H_9fnkDvhR-_1Plb4f_dZVn8vEqb5GV7VM7SFTDVc1rmVCTl1nBa8wET86N5H0vsSizOq_KUlV5mffEywwLzgtOMtENZlhkeVbkVV4g35X5UJdC1kIoFANyKDK6SG12xrxdQrNKtHMLNaWoK5HEtLnYKxFHemdxM7zFfZvMTbBJ--XkoMiMdt59snjtDTUH52j22o4MRPYtvMPd926n3ffYPwGr8EoBBWC4NviX9ezWWvV4At4FV1iyV6kNqV2yzKZ5arPan5d-N9gLYBe8b1M6zfZfGjxgF2N2gF08038BAAD__54ypuY">