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

    <tr>
        <th>Summary</th>
        <td>
            llc: ../lib/Transforms/Scalar/LoopStrengthReduce.cpp:6630: [...] Assertion `!LocationOps.empty() && "Expected the location ops to contain the IV."' failed.
        </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: 82e594a022d
Reproduce with: ```llc bbi-99605.ll -o /dev/null```
Result:
```
llc: ../lib/Transforms/Scalar/LoopStrengthReduce.cpp:6630: void (anonymous namespace)::SCEVDbgValueBuilder::appendToVectors(SmallVectorImpl<uint64_t> &, SmallVectorImpl<llvm::Value *> &): Assertion `!LocationOps.empty() && "Expected the location ops to contain the IV."' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: build-all/bin/llc bbi-99605.ll -o /dev/null
1.      Running pass 'Function Pass Manager' on module 'bbi-99605.ll'.
2.      Running pass 'Loop Pass Manager' on function '@main'
3.      Running pass 'Loop Strength Reduction' on basic block '%for.cond29'
 #0 0x000055e150599557 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (build-all/bin/llc+0x6dee557)
 #1 0x000055e1505970be llvm::sys::RunSignalHandlers() (build-all/bin/llc+0x6dec0be)
 #2 0x000055e150599bff SignalHandler(int) Signals.cpp:0:0
 #3 0x00007f66b410bcf0 __restore_rt (/lib64/libpthread.so.0+0x12cf0)
 #4 0x00007f66b1cc4acf raise (/lib64/libc.so.6+0x4eacf)
 #5 0x00007f66b1c97ea5 abort (/lib64/libc.so.6+0x21ea5)
 #6 0x00007f66b1c97d79 _nl_load_domain.cold.0 (/lib64/libc.so.6+0x21d79)
 #7 0x00007f66b1cbd426 (/lib64/libc.so.6+0x47426)
 #8 0x000055e15005db21 (build-all/bin/llc+0x68b2b21)
 #9 0x000055e15005c0c3 SalvageDVI(llvm::Loop*, llvm::ScalarEvolution&, llvm::PHINode*, (anonymous namespace)::DVIRecoveryRec&, llvm::SCEV const*, (anonymous namespace)::SCEVDbgValueBuilder) LoopStrengthReduce.cpp:0:0
#10 0x000055e15002dca8 ReduceLoopStrength(llvm::Loop*, llvm::IVUsers&, llvm::ScalarEvolution&, llvm::DominatorTree&, llvm::LoopInfo&, llvm::TargetTransformInfo const&, llvm::AssumptionCache&, llvm::TargetLibraryInfo&, llvm::MemorySSA*) LoopStrengthReduce.cpp:0:0
#11 0x000055e15005e7e8 (anonymous namespace)::LoopStrengthReduce::runOnLoop(llvm::Loop*, llvm::LPPassManager&) LoopStrengthReduce.cpp:0:0
#12 0x000055e14f26f0f9 llvm::LPPassManager::runOnFunction(llvm::Function&) (build-all/bin/llc+0x5ac40f9)
#13 0x000055e14fba9e38 llvm::FPPassManager::runOnFunction(llvm::Function&) (build-all/bin/llc+0x63fee38)
#14 0x000055e14fbb2171 llvm::FPPassManager::runOnModule(llvm::Module&) (build-all/bin/llc+0x6407171)
#15 0x000055e14fbaa8b5 llvm::legacy::PassManagerImpl::run(llvm::Module&) (build-all/bin/llc+0x63ff8b5)
#16 0x000055e14d988be8 compileModule(char**, llvm::LLVMContext&) llc.cpp:0:0
#17 0x000055e14d98626d main (build-all/bin/llc+0x41db26d)
#18 0x00007f66b1cb0d85 __libc_start_main (/lib64/libc.so.6+0x3ad85)
#19 0x000055e14d9822ee _start (build-all/bin/llc+0x41d72ee)
Abort (core dumped)
```
The input contains the new debug info:
```#dbg_value(i128 %l_995.0, !4, !DIExpression(), !9)```

[bbi-99605.ll.gz](https://github.com/user-attachments/files/17189125/bbi-99605.ll.gz)

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJy8l91u47oRx5-GviEiUNT3hS-8cYwTINsTxGluDX6MbHUpUiCpbNKnLyjZjmVn1-lBe4AkjkXqN38OhzND5lyz1QBzlH1D2XLGer8zdt42PxionVEt6Bk38n2u1GuLhWnbxqNkgUsKWZUyQqlEZInI4gk6a2QvAP9s_C5MQTkZf5QSmPPmpqpykkVK4RuDEV1JeEV0pXuljjMPKNerYGX8ejaqlAj0KEJ0pRqO6OrZMu1qY1uH6GotmGIW0dWDMd3aW9Bbv3uCoCwSXYeSRZ4nJBBeTSMxoiXTRr-3pndYsxZcxwQgWgXzyWJ9e_ey5NsXpnr41jdKgh0HWNeBls_mBYQ31iFarlum1Pj1vu0USm77Rvs83XiU3GFEc0Rv8eWk4NcRORjBiC6O84MIvHAOrG-MHhxK4wcjWPj6Z-ciaDv_jmiJaDW-kWNE6d1bB8KDxH4HWO2nY9M57A0WRnvW6GHs_iVClCJa4Jo1CmQ0evjx4W6xvsOu523jMcO832ILnbE-AHbedy4opitEV9vG73oeCdOG7QhrGT9uOmv-BcIjumqc6yFsDWZa4kYL1UsY7AvL3A5zJn54ywTsza89Ez-w7NvuGAIkQqR6tGZrWYuZ3fYtaB9EYB425YYpheiKN3qwfi3aBmQckE-91o3e4o45hxEtVr0Wg7Mew4PvTLMt2OAfo3FrZK_C_hSndESLvWz6GTAE4Wew-mAI0QKlpGVBejGCkl-CDuGMh3gO7-9xnLlGYK6M-DEQaVYbGwmjJa2OXIxoQjB5I4SQLIM4I1lVZVmBP0LQvbvxn0fbaD9sxLMdzkP5McmynxvjvAXW7qO60X6MwPLT7UD0G3nLJUCWFSGoj2riMzUF4fCZmqder5utZuoPpqWC4bh9xaAgHCYG6fnyeV3jCRrRcr-a8bHbJw0y_B5ByR5U1HnO05hwURO82Vhw3ljYWI8HiSFB5en42fmdBSYjZyIyCIypqMlEXnpKjYVImaixZY2DS5wIoHwApcBEPQFlU1BVAMsw4-YzXScgGgPLJqD8HCSLCm-02ijD5EaaELiRMEpG5ApZFtWEXEzJXKZD8vrNKot0zIlHRDnZTZJJTuMrMVFyymk8oVRnFEFEgtdMvbItLF_uJ6EfTmFI0PT2JEzHinP3alQ_Hsl8Ov74x_0_jIT9e1cKzvLl_gmEeQX7_gTighXqUUjhzn8N91n9ohX-ZW08CfNwPqfpglApWDkmHzhFXPfR_cs_3XBuz9dzxXdL0zaaeWOfLcDFaDB1r2tzMfDM7Bb8sS8Icw5eO5u5cK5vu2D7londpYmR9NBwy-z7p7a-Q2vs-3q9GBb9dd_GZ3EHBZTXtvOSvU_Jvf5Tj46_thMPj6EcHatR_t9IPk2faU3zmtTVL9Efwg5VdSLu42F-NZVnTKSk_sgfQUsy0cJZBUl5omX1_9KSJzVAUk60pFMtnMZF_AUt34eOYqLk8OgLOlJSxEU80ZGd-YSVPDvRoWDLxPs-KX0oGhvRvaq_qiap65JnEzX5qRpZlSWHMtwgukbBceliF5r1xWWYPrx8vzXaw5vf21dKfB6VxZmdnOYSh8L0e8lpLDnN5URyeVaUiCwzvNmEQrRxnlm_OXB_WaYSJsupH6ozfZQC4BF3VWFB4aODWRwKuDAWhgYZTuRPb0nPO8CN7np_aPjd0HFr-IklhIa-Cbns8opFE8m3m9dQL0IrFNOQkzK1qaostC2h4MTp_nN5f_fWWXBuPE9ByjgwnNSpnv3f7Ntp8xxt_42yJaLlb-4UvQN7w7xnYjc2_XRVN2q4T8RFXFYxzYLjzqgHr8zkPJFVUrEZzOOCFnmVZymZ7eYJ8CTPJWWQlaVI8zKreJILyShlcVmwWTOnhKakSkgcp5SSKM3ytKQ8q6ukTlKWo5RAyxoVhaCNjN3OhovOPI5JWqUzxTgoN1yrKQ1uH0bDdStbzuxwnb7h_dahlKjGefeB8Y1XMP-fXXNR9i2KIpQt_9ab5Ky3av7Xr4p7J77O6X8CAAD__wrv7Ic">