<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=http://email.email.llvm.org/c/eJyllM1ymzAQx59GXHbwYAlsfOBgx80L9NBjR0IrUCOERxJ206fvgpPWzmQ66YTRgD6W1W__2pUa9XPj3HmAdhwGm5jYg1gbKWSpy5IVR1bsr-9vNvXXHoynBPlJxoiRiSPj27aLbct4rfFsA_l4KJn4QmPrnfXI-IOZfJvs6HOZUog0Ee1wctY8t6ajkdQtWe2WtoX8K-Qj5KCUzauar8vvP-vNyrlbGlYd3i6vul-sIpq6T-lEYHvGH6l1xD2pFYVHgznSl09-CuMPbBMNjXUUCX-si4LXQlDvPd8EdwNwQegwgYTX0ECBs094a6PRUPhg1xtgZaEIjZwA46IAtj1cbdCn8DzDXqWl1aqVzgEJC0vn_u9Xs8kHlG0vlZvlpb_WWnXzp34B2B5vSQ5TAmuAoAMO4xkh9Qga1dSB9WYEE0ieG3sAFcBJhW4GMmMg_by-34nfpYf0GsLkl9yQnbQeZASp5r1o14ulSN7qhYtghGLjHwH-KdwnNXsvpJW93fdmlurgYw8TBzgF1HHZ_t71old1xf0IxOuhZboReid2MpNT6sfQDPZJoutHN6DPpuCa_85xG-O0JHklKLGzvtkpSYVOOa6M3vANFlxXosCq5QprUxbZghkbqjTGuccLLC6oT1WWfZ7ANrzg1IpyzYvdWqwKU5VCiKos2qpcS0EHiIO0bjX7WY2hy8JyU-WUtZEWnY0p_l2k68h2HnEBJsJkk8PmaI3BQCdA95tGkCZhgPm6gUuPHubrCfw0KJpdCoHyUtIZSd_2FC_IMwHMRZYt9M2C_hsfxYcI>53582</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            Different code after adce when line number info on a branch is available
        </td>
    </tr>

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

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

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

<pre>
    llvm commit: 31fa3a4d44

With
 opt -passes='cgscc(devirt<4>(inline,function-attrs,simplifycfg,adce))' -S -o - bbi-58214_x86.ll

[bbi-58214_x86.ll.gz](https://github.com/llvm/llvm-project/files/8002833/bbi-58214_x86.ll.gz)

we get a function b like

define i16 @b() #0 {
entry:
  %call = call i16 @b()
  unreachable, !dbg !8
}

But if we remove the debug info from

  br label %for.cond, !dbg !24

and run opt again as above we will get a function be like this:

define i16 @b() {
entry:
  %call = call i16 @b()
  br label %for.cond.i

for.cond.i:                                       ; preds = %for.cond.i, %entry
  br label %for.cond.i
}

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyllM1unDAQx5_GXEYgsCHLHjhks80L9NBjZfAY3Bizss1u06fvwCYtG0VRqiIL_DHM_OZvj9tJPTfWnkfopnE0kYl7EIWWQpaqLFl-ZPn99f3NxOHag-kUIT3JEDAwcWR81_Wh6xivFZ6NJx8PJRNfaGycNQ4Zf9Cz66KZXCpj9IEmghlP1ujnTvc0kqojq_3adpB-hXSCFNrWpFXNi_L7z_ous3ZLw6rD2-Ws_8UqoqmHGE8Eds_4I7WeuOc2o_RosGT68klPfvqBXaShNpYy4Y91nvNaCOq955vgNgAXhB4jSHhNDVqw5gm3Ngo1pQ-muANW5i2hkRNgXOTAdoerDbronxfYq7S0WnXSWiBhYe3c_v1qNjuPshtkaxd56a9Ctf3yqV8AdsctyWGOYDQQtMdxOiPEAUFhO_dgnJ5Ae5JnYw_QerCyRbsA6cmTfk7dRuI3x0M6BX5269mQvTQOZADZLrEo6sVQJm_1wlUwQjHhjwAfCvefmr2XUma2cTezVAefe5g4wMmjCmv4W9erXtUV9zMQr5uWqEaovdjLJJposTkardGTH6pShSB1RA9L0cBlQAdLkYGbx5Zm1-0kdSVFkq4bwNA2nKWxy1FJZm-bfy4PE8K81kclqCaSoVH7SmEpVc73BWJVlnovuhy7Yic4J6NkzTA0VKSMc4cXWF1Qnwo0MQ3PObW8LHi-L0SW66oUQlRl3lVlIQXtHI5EnC0c2eT7xK9XVErHNdCiNSGGv4t0D5neIa7hyL-c4zD5ZjRPEu0w2RFdssZvVv7fmh9xPA">