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

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

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

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

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

<pre>
    ```
$ clang-16 --version
clang version 16.0.4
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, e, l, n, p, q;
char d, g, h, i, j, k, r;
static char f = 5;
char m[6][1];
short o;
int s() {
  a++;
  for (;;) {
    short t[1];
    n = 0;
    t[n];
    k = p = f;
    for (; e < 6; e = 8)
      g ^= c = 1 & g;
    i--;
    r = b ^= r;
    char l_1566 = 1;
    ++j;
    q = l_1566 = h = l = i;
    if (i)
      return 0;
    f = 0;
    o = t[0];
    if (o)
      (c = 1) ^ m[5][a] || (d = 1);
    if (c)
      for (;;)
        ;
  }
}
void main() { s(); }
```

```
$ clang-16 abc.c -g -O3
$ lldb ./a.out -s cmds
(lldb) target create "./a.out"
Current executable set to '/data2/hemang/test5/a.out' (x86_64).
(lldb) command source -s 0 'cmds'
Executing commands in '/data2/hemang/test5/cmds'.
(lldb) b 18
Breakpoint 1: where = a.out`s + 105 at abc.c:18:5, address = 0x0000000000001199
(lldb) r
Process 2808175 stopped
* thread #1, name = 'a.out', stop reason = breakpoint 1.1
    frame #0: 0x0000555555555199 a.out`s at abc.c:18:5
   15       i--;
   16       r = b ^= r;
   17       char l_1566 = 1;
-> 18       ++j;
   19 q = l_1566 = h = l = i;
   20       if (i)
   21         return 0;

Process 2808175 launched: '/data2/hemang/test5/a.out' (x86_64)
(lldb) p l_1566
(char) $0 = '\x01'
(lldb) kill
Process 2808175 exited with status = 9 (0x00000009) 
(lldb) q
```

```
$ lldb ./a.out -s cmds
(lldb) target create "./a.out"
Current executable set to '/data2/hemang/test5/a.out' (x86_64).
(lldb) command source -s 0 'cmds'
Executing commands in '/data2/hemang/test5/cmds'.
(lldb) b 18
Breakpoint 1: 2 locations.
(lldb) r
Process 2886988 stopped
* thread #1, name = 'a.out', stop reason = breakpoint 1.2
    frame #0: 0x000055555555532b a.out`main at abc.c:18:5
   15       i--;
   16       r = b ^= r;
 17       char l_1566 = 1;
-> 18       ++j;
   19       q = l_1566 = h = l = i;
   20       if (i)
   21         return 0;

Process 2886988 launched: '/data2/hemang/test5/a.out' (x86_64)
(lldb) p l_1566
(char) $0 = '\xff'
(lldb) kill
Process 2886988 exited with status = 9 (0x00000009) 
(lldb) q
```

```
$ cat cmds
b 18
r
p l_1566
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 43436993f48b1d75d9d80796cb0889ce7d191888
Author: Nikita Popov <npopov@redhat.com> @nikic 
Date:   Tue Apr 25 10:04:49 2023 +0200
 
    [LICM] Don't try to constant fold instructions
 
 This was introduced in 030f02021b6359ec5641622cf1aa63d873ecf55a as
    an alleged compile-time optimization. In reality, trying to constant
    fold instructions is more expensive than just hoisting them. In a
    standard pipeline, LICM tends to run either after a run of
    LoopInstSimplify or InstCombine, so LICM doesn't really see constant
    foldable instructions in the first place, and the attempted fold
    is futile.
 
    This makes for a very minor compile-time improvement.
 
    Differential Revision: https://reviews.llvm.org/D149134
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsWEtv4zjy_zTMpWBDpN4HH5K4DTQw__8Mdvs-oMSSxY4kqknKSfbTL4qS35mZ7sXOzGWNgLHrXcWqn1yWzun9gLhh6RNLtw9y8q2xmxZ7OeyVdO1DZdT7hmXR8hdtWfTIRAJ1J4f9imewWh3QOm2GmRfosJCAZ-toncycL9Lu0bP4Ed6K7NcsWU3Dy2Beh1Wnh-lttR-mRa61KBX0RmFH0qNx-m1mfR6cl12HaqstsZjYTc4ysetMLTsmdpVewrgLNP-DQPN1tI7_jkBvSvshkdKQHmRVr-uZpAcPkolnqOio6UA6OjoGOkY6vrH4aUm3lRYU0fZ0tHRoOr7S8UKHPQk7L72uIeg0wOItpNeGepY-ZSzdsvSJ07-TYmusB3P6TGE6JgomSmD5QgSK_In-4hOlMRZILg7Ea2mA2ay_9UasIYQXXdFIcLgVfAmCYzibK87ZNyCw-Bmy49stUORnSYA9sPQTMerA5sBEBvsrc3q1uvpsg2R1VLRXzFDN7leeZtls8Io7l-nrFe1bkLtQaWdCOPV1JA3lpW9SsOgnO9yUrPmgjCbQqJjRbTFny-bGMhPFUpZwg-mn0Cfp3CeSpVtg-TPLn0lQnQQ_MFzfGL7tjksewIUBlm-XkTm-ORitoJd6OHfhsSPpls8K3zuHR9wLwwirPax-js_srlMVrJnYybWZPKwc1L1yR35BbIrCB4iB2qL0CEyIkwoTYpZ-nqzFwQO-YT15WXUIDj14A0zkTOyU9FIwsZuxmomdR-fTs5mcKjYDGBPl-i6E2vS9HBQ4M9kaKdKILIdwRT6Lfwq-9bA_SjvQwx_5Xyzce6yAFzPxyaJ8GQ2hAyd4fG3RzvM2B59FjnofeJTCCffiR16w-DElqJJKWXRubtq36OLFeVneebYz5RdratISRVTwPAXnzTiiOoo_gp8RnYmYBxyV_RwVE_mxqkQnPbAonZnRp7pIZ80vhsoGAyKOKMk5zvT44mV5ke19lkcrPF3a_AZXeLbQfw9feL4I_TbOrFj8CXhxnKV7xOHlD2COiI7R3mOP4MeJvcegjy-ok9NQt6jmR-iPd_1dI4xLEicG1SXAgkii41Wz9Pkt4qchuFB_0V33caT4pj0qeNW-BXp6TnNvkuHi1KBl8HRr9NuPAdD_EOY_QRgB9M3LazO4e7U7eCiysij-HHgQ3wkPsahO8ECPrz8HIf5L-DC__nqUmO_p70OJpvlelJgj_etQgtaFMy6c52Jp9esMzwH_npcvLcJBdhPCaPVAeUyOBjcAkh4uNsKf4_Bt7RJJRQkEBedl7EpmriPJWASlmwYJmNaX3p_eF3d77aHSDmsaZhq3V4RGDwp8Kz34VjvQzk0Ir5KwxFujphoVRehbhMZ0nXk9Ao6mNe_SzUyEJE7irCzjJikqrvJUlaqI8jKrq6goyhpzxUteFEtRH8PWTO33__pFewm_mNEcaJUYRnrHksiiaqVf16ancWJJNOgXXS_XvJUeSRvgy4TwOFoQKXBChShh8WNSgogE1espEtFyJ3CxJaRPP31-_j_6fr2lkuQevH0nHK8N7aGDp6ypAs7bKdTNXRv5QlW7r1cUR00kIsGrLE5LrNMs4ZkQdcOlzGJV5DHWTZpKkO4cjRyANt89KqrwqDtced0jmNHrXv8rYPAaPg-EkJ3273SF3r7TjVxEfLmd3YQO2kFvLAK-jTg4fUC6-gG-Ts5Da7QLjxPfYh_cyIs10stBSatg1CN2eggbM5UOPNKTxxuw0wCofYsWZOPpDCTTnK38ZMxI-_0_dT92unkHY4E-P5u-Wmw6M5tVBt18IZRs9w4O8TdSDI_f6zSXhtXWeRg7WQfTMnQ6gvQe-5GmkLQvFigHzeR1h-u7Pgm33MsXdGGhknBA-w69Hoy9virdj9YcsD_P4IWV7XE8tezgH3jQ4SeV-BFa70dH4yR2TOwsHjS-unXXHfq1sQTCW56UPE4e1CZWZVzKB9xwgsU0Fkn-0G5ymausSBKZCVVVOZZSFWld8yTNleJl-aA3NAecR5ynSZTE6zRvSplwruo0i_KyZkmEvdTdyetDgIJNHpUpf-hkhZ07_tRlNyS0qqa9Y0nUaefPwT547TvcfB5qYy3WHhRW0x700BjY44BWUuEJYm_w7AoDtYNFn4nyYbLd5rpEe-3bqQqYIHbkevm3Gq35GrR2IXzHxC5k8O8AAAD__5p4XXA">