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

    <tr>
        <th>Summary</th>
        <td>
            Wrong code at -O1/2/3/s 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>
          shao-hua-li
      </td>
    </tr>
</table>

<pre>
    This looks like a quite recent regression, `opt-bisect-limit` to `InstCombinePass`

Compiler explorer: https://godbolt.org/z/rKaWbhP46

```console
% cat a.c
int printf(const char *, ...);
short a;
int b = 6, d;
short *c = &a;
int main() {
  d = (b & -b ^ b) < 0;
  *c = d;
 printf("%d\n", a);
}
%
% clang-tk -O0 a.c && ./a.out
0
% clang-tk -O1 a.c && ./a.out
1
% clang-tk -O2 a.c && ./a.out
1
% clang-tk -O3 a.c && ./a.out
1
% clang-tk -Os a.c && ./a.out
1
%
% clang-tk -v
clang version 17.0.0 (https://github.com/llvm/llvm-project.git 53d405762219d798286b99c297098a14643440fe)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /zdata/shaoli/compilers/ccbuilder-compilers
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/10
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/11
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/8
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/9
Selected GCC installation: /usr/lib/gcc/x86_64-linux-gnu/11
Candidate multilib: .;@m64
Selected multilib: .;@m64
%
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJy0VU1v4zYQ_TWjy0ACNfqwdNDBa1dF0UMX6AJ7XFAkI7GhSZeksml_fUHZG6dBEDRAChi2PHzvcWbIN-Ih6NkqNUDzCZpjxte4OD-Ehbt8WXludDY5-dfwZdEBjXP3AY2-V8jxz1VHhV4JZSN6NXsVgnYW6IDQMneO-aSDEjE3-qQjtAyjSyu_2BAP7jRpqz7zEKBlwI7A9pfvgzudtVEe1ePZOK88VHtcYjwHqPZAI9A4Ozk5EwvnZ6Dxb6DR_8q_Tsvnun2ulIS3j3A2OKOuUWpQ8Ii8EJeAthHPXtt4B9QlaESxcI9A-1RKURRAPVSfLuiwOB-RP_1P7AmhOmKb0PIFEGgvtlWg9t-kE9cWqAPqEXbXOKK8grspMTCfEJqfcNpQ1QHZkwTepG973uoAIqBGQnOw2-MB-fMqYHd86sazthhu5zzeY_4bS_1JKaQsCqCRF26NFyh7lVG-wShfZdC7GdW7GeE_MV6jPlyCWwAflE9XG8tdwQqWzufFjdRxWadCuBPQaMzDj5_87N0fSsRi1hGbStas2bVEZS93fUddO_W9oH7H-o6XdVtXdc3uVDqobe8v3M8qpvv_2LXf2jpf7b11321utF0f89muV9ziFZd4clKZhD67oB8vS8lr3Bglj3ozUvKL5JEDjcnhRgON4uq4kJ7FtGojlc9v0U1odKuVKLiVWvKo8OfDAfVFnMfk-ov4GnwqXU-pKUIAjdfUbynTWLL_QbP8eM3u4yWvJ_u7MkpEJT-k5MNTZqfVRJ1Y1R6LZPaandr6xZZvgW5e-DE7MzlUsq96nqmhbLu2qxrqWLYMsmOibXZqahpVlbJsJtbLjpq7OyGEakSmB2JUsbZsyopKYkU7db1iXVuyuuuriqBm6sS1KZJT0jDPdAirGtqqol1m-KRM2N5KRFZ9x20xDbPmmPlhc9e0zgFqZnSI4aYSdTRq-OqdnVE4qZDHNJ-ARgIaq3T10Vl83tFvs12z1ZvhfbYGGresknO2rP8JAAD__5qDINM">