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

    <tr>
        <th>Summary</th>
        <td>
            Incorrect debug info generated at clang-trunk -O3 (clang-17 -O3 is correct)
        </td>
    </tr>

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

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

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

<pre>
    ```
$ clang-trunk --version
clang version 18.0.0 (https://github.com/llvm/llvm-project.git 1964118ace4926f4d103aa0538db1f1f5baa343a)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /usr/local/bin

$ clang-17 --version
clang version 17.0.3
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /usr/local/bin
```

```
$ cat abc.c
int a, b, c;
int d(int e) { return e; }
void main() {
  int l_4516;
  c = d(1);
  l_4516 = 1 && c;
  b = l_4516 & a
      ;
}
```

```
$ clang-17 abc.c -g -O3
$ lldb ./a.out -s cmds
(lldb) target create "./a.out"
Current executable set to '<datapath>/a.out' (x86_64).
(lldb) command source -s 0 'cmds'
Executing commands in '<datapath>/cmds'.
(lldb) b 7
Breakpoint 1: where = a.out`main + 10 at abc.c:7:16, address = 0x000000000000114a
(lldb) r
Process 2161844 stopped
* thread #1, name = 'a.out', stop reason = breakpoint 1.1
 frame #0: 0x000055555555514a a.out`main at abc.c:7:16
   4      int l_4516;
   5      c = d(1);
   6      l_4516 = 1 && c;
-> 7      b = l_4516 & a
   8          ;
   9    }

Process 2161844 launched: '<datapath>/a.out' (x86_64)
(lldb) p l_4516
(int) $0 = 1
(lldb) kill
Process 2161844 exited with status = 9 (0x00000009) 
(lldb) q
```

```
$ clang-trunk abc.c -g -O3
$ lldb ./a.out -s cmds
(lldb) target create "./a.out"
Current executable set to '<datapath>/a.out' (x86_64).
(lldb) command source -s 0 'cmds'
Executing commands in '<datapath>/cmds'.
(lldb) b 7
Breakpoint 1: where = a.out`main + 10 at abc.c:7:16, address = 0x000000000000114a
(lldb) r
Process 2162193 stopped
* thread #1, name = 'a.out', stop reason = breakpoint 1.1
    frame #0: 0x000055555555514a a.out`main at abc.c:7:16
   4      int l_4516;
   5 c = d(1);
   6      l_4516 = 1 && c;
-> 7      b = l_4516 & a
 8          ;
   9    }

Process 2162193 launched: '<datapath>/a.out' (x86_64)
(lldb) p l_4516
(int) $0 = 0
(lldb) kill
Process 2162193 exited with status = 9 (0x00000009) 
(lldb) q
```

```
$ cat cmds
b 7
r
p l_4516
kill
q
```

The value printed using lldb in clang-16 -O3 ('\x01') and clang-17 -O3 ('\xff') are different.

By using git bisection, we find that this issue was introduced in the following commit:

commit a7f962c00745c8e28991379985fcd6b51ac0d671
Author: Yingwei Zheng <dtcxzyw2333@gmail.com> @dtcxzyw
Date:   Fri Sep 29 02:51:58 2023 +0800

``` 
    [InstCombine] Canonicalize `and(zext(A), B)` into `select A, B & 1, 0` (#66740)
 
    This patch canonicalizes the pattern `and(zext(A), B)` into `select A, B
& 1, 0`. Thus, we can reuse transforms `select B == even, B & 1, 0 -> 0`
    and `select B == odd, B & 1, 0 -> zext(B == odd)` in `InstCombine`.
    It is an alternative to #66676.
    Alive2: https://alive2.llvm.org/ce/z/598phE
    Fixes #66733.
    Fixes #66606.
    Fixes #28612.
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsWEuP274R_zT0ZWCBD4mSDj7Yu2sgpxZoLu0loKiRxUamXJJaO_n0BSm_dtdN0wBNUeAvLNYA5z3zm58pK-_NziKuSLEhxfNCTaEf3arHvbK7Vvl-0YzttxWR9PxHnwldE56DHpTdLYOb7FdYLl_ReTPaWZxEcD4CVmU0o0B41Ydw8ESsCd8Svt2Z0E9Npsc94dtheL18LA9u_DvqkO1MAFbLnLFKacxrLru8ZVQoRQtRtQ3rWFc0SolcKMLrOfZn5XYYiFjDqZJfZL6c7Fc7Hu1yMHY6LXd2Ouv1DlUL-7HFIWofRm9Os-iT9UENA7bPxkUR4dvJu5jdqNVA-LYx50Lfd4OV_6YVZUYz8b9I9N38Hh7GMlQA1ehMz0fGBlCEP0ET_2kiNrfzlvAqfiLhNZByAw7D5CwgERsg5fOs-TqaFvbKWMKrs-IsAIjGw5e8YPLqF0ADEc_JN4sjvQlmzSRlQLgkXN4lBNAk0UWLS1AXSXyuitfEfrojl8GmtsByB8s_iZt4GNoGMsK3KhunAEsPet_6i7yK4lh2SMMG7VAFBML51YRwPms_Tc5h7OcJ9RRUMyB4DBBGILwk4qlVQR1U6Il4udmWca1m_BBeZx_i6nG_V7YFP05OY0wvLmKZcuTlrP6SAhq7u2h7MPZh0LPZxzANnH1tHKqvhzGOlkVEHnt0mCYzJyxpxAIQvgFG4Qo2sS6JWDMZUaba1qH3yYie6N3DWK4-hHbzyZ_dqKMVZ5JVeQ4-jIcDthf1NYR5jQgXLEaxaj_nRXh56WU8j3bgUPnRJnFzV1DGzpDqXLLmgsYa5ySLy8Ny9bbYj1VegJnP4Hy4CFDMwn-5ECBnhR8vxpKIFyhnzR-sSAXX5z5EnQ6uK_Ow04OarO6xnQnoJ5H6YYyHSwcuAmND4gue07m2DyZfzTA8TglPJmALRxN68EGFaUZT9FZdIVUn9--d_uNX2GH-EvyDIP5PCIKzWvx3CQLgd3HE76CHXyOH1OXfRA7058ghpfQbyUGFu2W_rsAZkG-LuuX7oyCfe4RXNUwIB2dsLGPycS8TyRh7uazISEGQblwlKZ5OlCXw1hA3_XZTfaPTdRcdh9CarsNINtl99M23c7h4MW-MRx3iPZc_wRGhM7aF0KsAoTcejPcTwlFFqghubCeNbcww9AjdOAzj8cInJt6B78PMh6DKrpZcU1rmha6QV3XNRFnXVdHpVjYFU5q2sjyv3Dq9t0SY_dXY3REN_K1Hu4OIuKBP378duRCC5HS3V2ZILx3iBUhOz9LZy7MKGH0AbJ2Bv-ABeA2UE7EuIlsVFXDKY9c2tKKPxw83CiDFJt7Qn8Z9YyyS4hmelB2t0Wow3xGIpMrGzf2Op0B4tY7Q50-wiZ-SxsaNUcnjgDrAOsnSYiaCmoPF-Qkpy5xeF-cug89xFAcVdA_6LrRPYzioENDZX8vjgvK7ZDL43E_-DAetLDicPEJwyvpudHt_52QTdy6uHb6ifV8YJFa6YT9WEpH7wHxs28fW51reKp7LiY7uByNpdgv0KYDxoCyoIXZHBfOK83eskFKW8k51PZhXjOCAty-2Kp1n8V02G90ufi8i4dvvhG-Lujr0LzcXW3NCP_suhcgeCiSVjwS8koxn79C3aFeirUWtFrhisq5qIcuCL_oVVlVXVYIVpaBNrmlJlRZMtBSrnOmiWZhVhDZjlLO84IJn2MlOllXTdQ1tNFUkp5h251LXIu34qmRUFotBNTj49CsC5xaPMwHEu0vxvHCr9F7fTDtPcjoYH_zNSzBhwNUnq0fn4mxbbKYdGNuNsEOLTkWai0x6_3vDTF1vqMx4OLsgvF5Mblj9Zz83EL5NOXvCt6mmfwYAAP__x2inTw">