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

    <tr>
        <th>Summary</th>
        <td>
            [remark] the pass-analysis result inconsistent with the final assembly output
        </td>
    </tr>

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

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

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

<pre>
    * test: https://gcc.godbolt.org/z/WfxGE3q9r
```
void foo (int *restrict y, int *restrict x, int *restrict indices, int n) {
  for (int k = 0; k < 10; k++)
  for (int i = 0; i < n; i++) {
      y[i + k * M] = y[i + k* M] + 1;
      y[i + k * (M+1)] = indices[i] + 2;
  }
}
```

* When I add option **-Rpass-analysis=loop-vectorize**, it reports **<source>:8:22: remark: loop not vectorized**，but in the final output assemble, we get **sve** assemble code as following:
```
.LBB0_2:                                // =>This Inner Loop Header: Depth=1
        ld1w    { z0.s }, p0/z, [x2, x9, lsl #2]
        add     z0.s, z0.s, #2                  // =0x2
        st1w    { z0.s }, p0, [x0, x9, lsl #2]
        add     x9, x9, x10
        whilelo p0.s, x9, x8
        b.mi    .LBB0_2
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyUVM2O4zYMfhr6QiSwKdtxDj7Y8aRdYPdSFNhj4R85VlexXEnOzzx9IcWZSRbTKVYwJFoiP34iKdbGiMPIeQ5JCUkV1LMdlM5Pfdf3QaO6aw5UoOXGAitwsHYywAqgPdD-0Lbrg-oaJe1a6QPQ_hVo_72__PbC_tlqCCsIC0jD5fO_JyU67JVCoEyMFoEKzY3VorV4Bdrhz5uXjzbF2ImWm_vRCLRF2JQ3F4i90nf8HwiswhBY6cUdRjcZqPTf9gMb8W4jvM3oxTeTR1duXCEpBQJ5F1TgN0gqD_Fw8L5PJUbAPgUAyr4BlZGjt0Ddb5yU4o5CDyiwqZZwvwnPcV9mKvD7wEf8gnXXoZqsUKNzCVSs_phqY1b1WMurEQZYJZWaVifeWqXFK79p-ZBb1HxS2prFFNjOqFm3HNgLsCIDVhC5etH8WOsfTnJYOCqLb3jdYvuyh3IH2a6ZXV7RDhx7MdYS1Wyn2WJtDD82kjvPZ44Hbhev5rRwelPBVnUca4O9klKdxXhwtfpRONZfyzL8y3P8n3ErdZcDYC9_DsLgl3HkGr-6C_3O645rh1LxyQ7Aqugxr4iyi84eZVPia7g2PlG0wym8vZYdQlJeyAmXrZulkQjECJLqGcnlyw2H4hTvq1P-jHV4oWcgY_-b0o1O-At0bmrLHIXPSudBSC4VTgvXRS171mrWR-HWe06e8xV0Oeu2bFsHPI_SbZRRGm3iYMi3GeMsSzesadqM9ayN-7rNeMyjpM_qJA5ETiGxMIso3MSUxOs2YnGftF3KNg3ftCnEIT_WQq6lPB1dBwuEMTPP0zhlaSDrhkvj-yLRyM_oD4FcLAKdO5tVMx8MxKEUxpp3FCus9A11Kf-k8lX99LxQczNLV_GtGo0wlo8Wz8IODw9gKevr8hKCWcv8pw4s7DA361YdgfbO_7KsJq3-5q0F2nvWBmjvb_VvAAAA__-sZ59K">