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

    <tr>
        <th>Summary</th>
        <td>
            wrong code at -O{s,2} with "-mllvm -force-vector-width=1 -mllvm -force-vector-interleave=2" on x86_64-linux-gnu
        </td>
    </tr>

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

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

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

<pre>
    Compiler Explorer: https://godbolt.org/z/eEqc4oeET

Note:
- works: 20.1.0 and earlier
- fails: trunk, only at -O{s,2}
- perhaps related: https://github.com/llvm/llvm-project/issues/153946 

```
[516] % clangtk -v
clang version 22.0.0git (https://github.com/llvm/llvm-project.git fc6299065794d05bcab8f6bb9628441b3d071131)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /local/home/suz/suz-local/software/local/clang-trunk/bin
Build config: +assertions
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/11
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/12
Selected GCC installation: /usr/lib/gcc/x86_64-linux-gnu/12
Candidate multilib: .;@m64
Selected multilib: .;@m64
Found CUDA installation: /usr/local/cuda, version 12.1
[517] % 
[517] % clangtk -O2 small.c; ./a.out
[518] % 
[518] % clangtk -O2 -mllvm -force-vector-width=1 -mllvm -force-vector-interleave=2 small.c
[519] % ./a.out
Aborted
[520] % cat small.c
int a, b;
int f(int g) {
  a = 0;
  for (; a < 32; a++)
    if (g >> a & 1)
      return a;
 return 0;
}
int main() {
  if (f(b-2) != 1)
    __builtin_abort();
 return 0;
}
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJysVU-P47YP_TTMhbAh0_8PPjjJ-IffpXvo9jyQLcVRR5FSSZ7M7qcv5CQzwe52gWILGHFkPj4-UpTIvVezkbKDcgvlfsOXcLSu-3qURlgz-2UzWvGl29nTWWnp8OntrK2TDvIejyGcPeQ90AA0zFaMVofUuhlo-Ao0yKe_psLKp8_AemD9bzbIiGZ9ghfrXqIrEkuzlCE3AiV3Wkm32g9c6dUe3GJegHZojf6CPGDyCeqtB9oR1PsVe5buyM8endQ8SPEDZSoclzGd7Alo0Pr1_krOzv4ppwA0KO8X6YGGrMzbosKrYqjY7WE9lNsyq6DcI1CJk-ZmDi-YvALr1wW-SueVNUiUspTNKiBQ8--EpNHrMFXUtqwq67YQrBwnPjaHahzbipqiyMZcsDrL8gyoBdZ_5m6WIeb81lTPVZEs5sXYi0m0MstbMpslgo5OcoEnK6SO0LP16g1Y_3_jA9dair1aNzTKsRPXQMPRniTQ4Jev19_kbvD2EC7cyQfsmn9y26lhVAZYv12UFjhZc1DzlXrLvZcuKGs8sH6wixE4cSOU4EHi_3Y7VFc5PGJuchbvYiA1xupNE9BwS_MjPRqy7L8mJGD971LLKUjx60y7d1GnRQcVXfIeU8i3ULBTVTwG-0fENb_dH_v-J2LuG7IIHs_MvSUzSrN7C9f3Fv7uw3tPfyL0J651OkG-xRRo4Kldwt2h-Zah-RFDcoqdjcnBukkmr3IK1iUXJcIR8n32Y7MyQTot-auEfP8h4hamvYd5VNSP1sVDf8UQe5fCw4O_MgHXioyxpNf1AaiJ7xmoRajjZ0SOkO-RXVGIB-viKY5liJYd5rT-B9quT7uiENUhwmaE_Anyp4ilCrMPO6KTYXEG-Y35trwFut5kUcyJKxMDPki6cke1Y0KrgbIo8oH--XlclA7KPPNYjivBTyK932sb0eWizVu-kV1Wl2VTl0XbbI5dUUy8qaZalM10mEQrDlMxCl4UQpRtJYqN6ohRyRqirMyyvElL3vC6aqoyr2ouKg4FkyeudBr3OQ6FzXrHdllZtFW90XyU2q9Th8jIC65WIIpDyHXrrTgus4eCaeWD_6AJKmjZXZw1M05WyO-GAl5UOCIQ_XoLAhFag98e7M3idPcrM2YtwWtHfwcAAP__43I_gA">