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

    <tr>
        <th>Summary</th>
        <td>
            Assertion `!(IsVariadic && IsIndirect)' failed: llvm::SDDbgValue::SDDbgValue(llvm::BumpPtrAllocator &, llvm::DIVariable *, llvm::DIExpression *, ArrayRef< llvm::SDDbgOperand>, ArrayRef<llvm::SDNode *>, bool, llvm::DebugLoc, unsigned int, bool)
        </td>
    </tr>

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

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

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

<pre>
    To repro:
```
./llc -O3 reduced.ll.txt
```
(file attached)
[reduced.ll.txt](https://github.com/llvm/llvm-project/files/13370372/reduced.ll.txt)

Points to:
```
commit 3ab03ad37d48d60596fc7f50f6c76794030baaf3
Author: David <david.stenberg@ericsson.com>
Date:   Wed Oct 25 12:51:49 2023 +0200

    [SelectionDAG] Salvage debug info for non-constant ADDs (#68981)
    
    Teach SelectionDAG::salvageDebugInfo() to salvage debug information for
    ADD nodes where the RHS is non-constant.
 
    Co-authored-by: Mikael Holmen <mikael.holmen@ericsson.com>
 
    - [DebugInfo] Precommit testcase for pointer addition with unknown
    offset
    - [SelectionDAG] Salvage debug info for non-constant ADDs
    
    ---------
    
    Co-authored-by: Mikael Holmen <mikael.holmen@ericsson.com>

 llvm/lib/CodeGen/SelectionDAG/SelectionDAG.cpp     | 43 ++++++++++++----
 .../pointer-add-unknown-offset-debug-info.mir      | 60 ++++++++++++++++++++++
 2 files changed, 93 insertions(+), 10 deletions(-)
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJysVV9v2zYQ_zT0y0GCRFr_HvwgW3UbYFuCpuieKfJkc6VJg6SS5tsPpJ04cVN0GxYQscj787v73fHIvVc7g7gi1ZpQKn1AMxJKSTUs-Bz21q2kEGoxWvm0-mLB4dFZwnpSDKToSV2cV9rmhG61FpDdMnAoZ4Ey1zoP38O76oS2k9IIPAQu9igJ7c6Can1lXg2EtvsQjj5i0y2h250K-3nMhT0k1Ifnn-zo7F8oAqHb6N0Tui0ZawrWUEK3V35fENP_O6tM8BB-mqCwh4MKwPhYMC5ZI5etrIuqqyfRTFUx1aKpm25ZsGLkfGInoz7RSFgPA39QEgjbyPiRJ67R7ciyQKeE99akdNiHk-HAA0YzgD9Rwq0IQCsoKWF9VRLWLzugBWVA6LqgRfE6EQAAUq3vUaMIypqh_0iqAe65fuA7BInjvANlJguTdWCsyYQ1PnAToB8GD4S2hLK67dryhaLk8-XrC3KxhzcArCes9yeIISLcmMkmTx0EC_4HcHfg0TbGcHHcDwMYK9HD4x4dQtgjfP50D8q_iTM_W1wMNzY7NSzKbHyKvP2uvnHU8MnqA5pI-yEd5Pt08DPWX7nMIomXVKoB7hyeeyCgD4J7TAweY-OgAy6lSik9qrCH2Xwz9tFc_Nlp8hiu_P_XIr1Xlez57z3h_0XQ2ePzlVMjoduNlfgRDaHbN-m83ebieIQUU7OBZWrcX65XyeR5nC9nqjMuZXYmODvxmiXGsshYflAOXqDq4h9B_WKdgqCQhgqIPTe7OLI20DFQxqOLWfrU7-t4aegGygIkanwWZJdx8zxWFnLFZMc6vsBV2RRF0TYd7Rb7VcHGVlTLCrGVXd02JW3qkjZj0zVC0q5eqFW8_GVZVpSydtnlFWuqsalxyWnZTtUUy3fgSuexULl1u4XyfsZVQ5fLZqH5iNqfp77BR0jC8-B3qzRIx3nnybLQygd_8RJU0Ljq_TljiInQktD2xn_lTnGpBBBaE1rDjb8xUrk0jDtCG5i40ihj66XuSRPjfhjG3VeuZ_xhT9uL2no-HO-C67W2ggfrThibV46Gm4Q_agRC-2vZh-9Hh96niE_S3jn-9BknwjbX4dwe0XEjY8u_VXyt94eVJ6ST1mitvgKN_fibFfF0NumdlaBMuGh3i9np1b9-11Kt4sOWavl3AAAA__-wwEbz">