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

    <tr>
        <th>Summary</th>
        <td>
            [DebugInfo][SCCPSolver] Missing debug location updates
        </td>
    </tr>

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

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

    <tr>
      <th>Reporter</th>
      <td>
          svs-quic
      </td>
    </tr>
</table>

<pre>
    The functions replaceSignedInst() and removeNonFeasibleEdges() do not propagate the debug locations to the newly created instructions.

```
// Wire up the new instruction and update state.
assert(NewInst && "Expected replacement instruction");
NewInst->takeName(&Inst);
InsertedValues.insert(NewInst);
Inst.replaceAllUsesWith(NewInst);
Solver.removeLatticeValueFor(&Inst);
Inst.eraseFromParent();
```

```
BranchInst::Create(OnlyFeasibleSuccessor, BB);
TI->eraseFromParent();
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyMU01vnDAQ_TXmYi0CGzZw4LAfQVqpTSNt2pwNngW3xqYes2n-fWUgTRqlUiUEwp55783MG4GoOgNQkXxP8mMkJt9bV-EVNz8n1UaNlc_VQw_0MpnWK2uQOhi1aOEc8uTJoCesIKykwkjqYLBXuLOmBoGq0XArO8A1QFpqrKejs6PohAfqe6ASmqmj2rZiQfd2PjbwpJ9p60B4kFQZ9G5a-GOSHEmyW9_bZH2WX1YTVtNH5YBO4wvQ2_RZ5TTKQI9eeFjhBCK4UMkdPIWaKGFbwraUMHb7a4Q2qFgLH8D4t5CEMcJKwvcL0gqwIfzWix9wJwaY698urXoNPJlACfKb0BNgrMzfCt6F-nil32n9FQEfle8_Dj5bfQUXL6P4JLxXLcwctXX_VOJjcAKhdna4Fw7MOtQ_Ie8b_dHh3gnT9jM43xG-O8zTI6z4YvTziyHOU9sCYpByoPv9W46HU2jaf-qIZMVlyUsRQZXesDTh2bbkUV81rMllCTxjXCYZk0nOG8FE2zSF4GmRRapiCcuSmzRPyjTlPC4uosy2l0shOJR5WpIsgUEoHWt9HWLrukghTlCVRXGTR1o0oHHeF8Zmd4XLYIL8GLkq5GyaqUOSJVqhx1cUr7yeF-0YPH8yF0vyI8n358PhfhkayY_0s0JUpnu3GKtnMZqcrnrvRww9nu3eKd9PTdzagbA6kK2fzejsd2g9YfUsEQmrlxKuFfsdAAD__ya_PzE">