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

    <tr>
        <th>Summary</th>
        <td>
            [vectorization] support forked phi pointer from loop body with control flow
        </td>
    </tr>

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

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

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

<pre>
    test: https://godbolt.org/z/bcYTW7KoT
```
void s1161_noReadWrite(int *Preds) {
  for (int i = 0; i < LEN_1D-1; ++i) {
    if (Preds[i] != 0)
 b[i] = c[i] + 1;
    else
      a[i] = i * i;
 }
}
```

This case is simplified from [#64292](https://github.com/llvm/llvm-project/issues/64292),
but there is no pointer exists for both read and write. I think this should be first supported.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJykU09vnD4Q_TTDZZQV2Pw9cNgNP6SfWlVVFSnqKQJ7WKbxYmSbTZtPX8Fusm2ulZCxYd4bvffGnfd8nIhqyA6QNVG3hNG6-jzoYYh6q3_VgXwAuccxhNmD3INoQbRHq3trws66I4j2FUTbq-8Pj8Un-wBxA_Ee8vj6bMezZY0-SfLkabLfqNOPjgOBKHkKCGL_1ZH2ICqE4nBBIA7W4bWCEWSDMcjDtr3Hz_99eUqau2T9AuIA4sAf0Ig8rPALc3ZgyBoEkVyIRHWt699_yQbVre6AK_eNjIyn2wmx-xPHqwTkGwCK5mrD--ZvPy7rw8geVecJ2aPn02x4YNI4OHvCNREh81RUArIGRPkhAQ7j0u-UPYFojTm_ve5mZ3-QCiBa9n4hD6K9kIgKxP2lcb8EDCO5rfFkcbY8BXJIP9kHvznf2zCio05jN2l8WePa4f8YRp6e19WjH-1iNPaEAzsf0C_zbF0gvYt0LXUlqy6iOskrkRdVlhfRWOsil0LlKs4KVYhBKZX0RAOlSsqSVB5xLWIh41KIOE3zuNgNmSxkkgpZKaIsTyCN6dSx2a1a1_GLNpV1npZlGZmuJ-PfhtnVmyH9cvSQxmaVdoMFDmYb-zOpYB2_doHttCZ61bG68Ewa55Hf_dmCMdbOuN4NfOEworJTcNbgYOxLtDhT_0tOZVn-DgAA__8sNw_w">