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

    <tr>
        <th>Summary</th>
        <td>
            Bitcode and textual IR have different BB predecessor order/LoopVectorizer cost model is sensitive to predecessor order
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            llvm:core,
            vectorizers
      </td>
    </tr>

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

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

<pre>
    Given this reduced bitcode: [reduced.bc.zip](https://github.com/user-attachments/files/21055861/reduced.bc.zip)

`opt redcued.bc -S -o -` shows that it has a block with predecessors in a specific order:

```llvm
particle_skip.exit:                               ; preds = %if.then35.i, %if.then35.i, %if.then35.i, %2
  %maxloop.15 = phi i32 [ %maxloop.14, %2 ], [ %maxloop.08, %if.then35.i ], [ %maxloop.08, %if.then35.i ], [ %maxloop.08, %if.then35.i ]
  %inc102 = add nuw nsw i32 %p.09, 1
 %exitcond.not = icmp eq i32 %inc102, %0
  br i1 %exitcond.not, label %for.end103.loopexit, label %if.then35.i, !llvm.loop !0
```

However if you it convert it to textual IR with `llvm-dis reduced.bc` and then inspect it with `opt reduced.ll -S -o -`, the computed predecessors are in a different order:

```llvm
particle_skip.exit: ; preds = %2, %if.then35.i, %if.then35.i, %if.then35.i
  %maxloop.15 = phi i32 [ %maxloop.14, %2 ], [ %maxloop.08, %if.then35.i ], [ %maxloop.08, %if.then35.i ], [ %maxloop.08, %if.then35.i ]
  %inc102 = add nuw nsw i32 %p.09, 1
  %exitcond.not = icmp eq i32 %inc102, %0
  br i1 %exitcond.not, label %for.end103.loopexit, label %if.then35.i, !llvm.loop !0
```

Also running the bitcode through `opt reduced.bc -o reduced.bc.2`  causes the predecessors to be "fixed" into the same order as above.

But this difference in predecessor order is enough for the loop vectorizer to emit different code if run with `opt -disable-output -p loop-vectorize -force-tail-folding-style=data-with-evl -prefer-predicate-over-epilogue=predicate-dont-vectorize`: We end up with extra recipes due to the way the VPBlendPHIRecipe is constructed based on the predecessors:


```
    WIDEN ir<%maxloop.14> = add ir<%maxloop.08>, ir<1>
    BLEND ir<%maxloop.15> = ir<%maxloop.14> ir<%maxloop.08>/vp<%15> ir<%maxloop.08>/vp<%15> ir<%maxloop.08>/vp<%15>
    WIDEN-INTRINSIC vp<%16> = call llvm.vp.merge(ir<true>, ir<%maxloop.15>, ir<%maxloop.08>, vp<%12>)
```

vs

```
    EMIT vp<%16> = not vp<%15>
    EMIT vp<%17> = logical-and vp<%14>, vp<%16>
    WIDEN ir<%maxloop.14> = add ir<%maxloop.08>, ir<1>
    BLEND ir<%maxloop.15> = ir<%maxloop.08> ir<%maxloop.08>/vp<%15> ir<%maxloop.08>/vp<%15> ir<%maxloop.14>/vp<%17>
 WIDEN-INTRINSIC vp<%18> = call llvm.vp.merge(ir<true>, ir<%maxloop.15>, ir<%maxloop.08>, vp<%12>)
```


I'm not sure if something needs to be fixed here or not. Should the loop vectorizer be made deterministic regardless of predecessor ordering? Or should the predecessor ordering have been fixed up from the bitcode file?
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzkV11v2zYX_jX0zYEEibL8ceELO4nfGuibFW3RXg4UeWRxpUiNpJSkv34gZcd2nBbbsKIYFhhQRB4-5-s551DMObnXiCtSbkh5O2G9b4xdqf4LquV8UhnxtPqfHFCDb6QDi6LnKKCSnhuBpFgDKTeH1bTi6VfZkfKW0EXjfedIsSZ0S-h2L33TVyk3LaHb3qFNmPeMNy1q7wjd1lJheNI8K8vFLCd0-wKULkm2Dr9ZZjofDOF93IXkAyQGEjLLwDXmwYFvmAfpoWEOGFTK8C_wIH0DnUWBHJ0z1oHUwMB1yGUtORgr0AZzj0rGn1JDS7J1x6yXXOGv7ovsUnyUPnj-_T9SbKJCB6S4BUJLWae-QV2UqST05s-uUJKtIfzTskdlTJfmZQTsGgmyoCH8F7vT4zmIebh5KZAtrlX9QNGD8VLzPKPRcCYE6P4BtHsYHaBll2bLcD4P4oSWIcDcaJFq4-MZydsO8Pej_Ih20JhFHZUFmb88GyQUq1CFjdrYFLXIsyINJscknu9fhT4PyY-y4SU7p8XIkjfmAQe0IGt4Mn1gHDd6QBvJ5w14fPQ9U7B7P9LvwKdEnAoprXjgLdMCgnKQOjAyAhyPHNgepZU6Y3uw0jcI3LRd71Fc0ptZHCkuZF2jRe3_FsevWEz_AnfPV_5jLP4X0XitnAHbay31PhLq0NzBN9b0-ysShpZrzt5SGigMnPUOXQS4IKI3UCEQSmv5iIJQClKH4mgQHGtxZCWEVl2ZAdPRpk3vx4FzZC-PbD4DPpyTDlBHK2tjI2j0dEDujZVf0Qb92Ep_VgfROVkHny-qLBQmqxQmpvdd7yHpIljyDAZJbSzHxDOpktooIfU-cf5JISluBfMsCXAJDgqSzmKNNjyE5MxjYga0CXZSmX0f5E87wmh_UhLyUqzhMwJqAX03moiP3jKwyGWHDkSPcIjhA3uKz0_vNgq1ePdm9z4Khchwo523PQ_NoWIOBRh9laBTQ7hkRphhn3e3d_cgLSluLquzuHuugpe72YIUd4F6cSMPLyPY5u3d_e01WHkEe13NN-C3Qzeuj-f_Qalz15Pd_cf3u_sPuxt4lpkd7eVMKYjFNXRpi3aPhC6iCm9Dhk9BeOnuaxvPYXtWROPC8rpgB_d6tu7-v_v4ip2h-7zm4aX4_CiuzF5yppIwk553py-Nm72I1M8iSQT6oSQ5-L69iFSw9psMWfx0hpBsvSN03sbcu97GdudMi74JTV5jGOhjY45dGRq0oRMH-RQ-NKZX4tVmWiG0TCAI9GhbqaXzkoPFPbNCoXNg6usmLfWeFFv4xYb7-RH5NSlo2IBQIeqDWX0HtTXtxVQKnwqk2E7EqhDLYskmuMrnZT6js-lsNmlWZSZYscgW2XIqRJbn2XLGprOScVbMKjZdTuSKZrTM5tk0z8opnaXzoqTTRT0vp0s6q9iSTDNsmVRpTJ2x-4l0rsdVPp1nxWISR62LH0yUxstTsebGIqFhlhNKT_FyYa28ndhVvPhV_d6Raaak8-4E7qVXuNoc3ItXwdPFMUbkNLo2m-vAEbp9a0z36ZQlbpyH1ghUYQo41E56OcSRcXV60lu1-s7HWnRwfCSdNb8h94RuY0DCB9shJsOK_hEAAP__PklNBg">