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

    <tr>
        <th>Summary</th>
        <td>
            opt -O2 crash Assertion `false && "memory location set"' failed, but works under `instcombine`
        </td>
    </tr>

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

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

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

<pre>
    Here is the link:
https://godbolt.org/z/cG6eYExYx

Source code:
```
define i1 @fold_to_new_instruction(ptr %a, ptr %b) {
  %c = icmp uge ptr %a, %b, !annotation !0
  ret i1 %c
}

!0 = !{ !"auto-init" }
```

This test case comes from:
https://github.com/llvm/llvm-project/blob/main/llvm/test/Transforms/InstCombine/annotations.ll

Error message:
```
opt: /root/llvm-project/llvm/lib/Transforms/Utils/MoveAutoInit.cpp:53: std::optional<llvm::MemoryLocation> writeToAlloca(const llvm::Instruction&): Assertion `false && "memory location set"' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: /opt/compiler-explorer/clang-assertions-trunk/bin/opt -o /app/output.s -S -O2 <source>
 #0 0x0000000003487758 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x3487758)
 #1 0x000000000348504c SignalHandler(int) Signals.cpp:0:0
 #2 0x00007f29ed71b420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
 #3 0x00007f29ed1de00b raise (/lib/x86_64-linux-gnu/libc.so.6+0x4300b)
 #4 0x00007f29ed1bd859 abort (/lib/x86_64-linux-gnu/libc.so.6+0x22859)
 #5 0x00007f29ed1bd729 (/lib/x86_64-linux-gnu/libc.so.6+0x22729)
 #6 0x00007f29ed1cefd6 (/lib/x86_64-linux-gnu/libc.so.6+0x33fd6)
 #7 0x00000000043bd0e4 runMoveAutoInit(llvm::Function&, llvm::DominatorTree&, llvm::MemorySSA&) MoveAutoInit.cpp:0:0
 #8 0x00000000043be178 llvm::MoveAutoInitPass::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x43be178)
 #9 0x000000000369bf9e llvm::detail::PassModel<llvm::Function, llvm::MoveAutoInitPass, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x369bf9e)
#10 0x0000000000d3fa9d llvm::detail::PassModel<llvm::Function, llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function>>, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Function>>::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0xd3fa9d)
#11 0x00000000022be41f llvm::CGSCCToFunctionPassAdaptor::run(llvm::LazyCallGraph::SCC&, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x22be41f)
#12 0x0000000000d247de llvm::detail::PassModel<llvm::LazyCallGraph::SCC, llvm::CGSCCToFunctionPassAdaptor, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&>::run(llvm::LazyCallGraph::SCC&, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0xd247de)
#13 0x00000000022b68cb llvm::PassManager<llvm::LazyCallGraph::SCC, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&>::run(llvm::LazyCallGraph::SCC&, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x22b68cb)
#14 0x000000000369b45e llvm::detail::PassModel<llvm::LazyCallGraph::SCC, llvm::PassManager<llvm::LazyCallGraph::SCC, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&>, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&>::run(llvm::LazyCallGraph::SCC&, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x369b45e)
#15 0x00000000022baad5 llvm::DevirtSCCRepeatedPass::run(llvm::LazyCallGraph::SCC&, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x22baad5)
#16 0x000000000369b47e llvm::detail::PassModel<llvm::LazyCallGraph::SCC, llvm::DevirtSCCRepeatedPass, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&>::run(llvm::LazyCallGraph::SCC&, llvm::AnalysisManager<llvm::LazyCallGraph::SCC, llvm::LazyCallGraph&>&, llvm::LazyCallGraph&, llvm::CGSCCUpdateResult&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x369b47e)
#17 0x00000000022b8c79 llvm::ModuleToPostOrderCGSCCPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x22b8c79)
#18 0x0000000003ee0a3f llvm::ModuleInlinerWrapperPass::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x3ee0a3f)
#19 0x000000000369b07e llvm::detail::PassModel<llvm::Module, llvm::ModuleInlinerWrapperPass, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x369b07e)
#20 0x0000000002df2adc llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x2df2adc)
#21 0x0000000000887d2a llvm::runPassPipeline(llvm::StringRef, llvm::Module&, llvm::TargetMachine*, llvm::TargetLibraryInfoImpl*, llvm::ToolOutputFile*, llvm::ToolOutputFile*, llvm::ToolOutputFile*, llvm::StringRef, llvm::ArrayRef<llvm::PassPlugin>, llvm::opt_tool::OutputKind, llvm::opt_tool::VerifierKind, bool, bool, bool, bool, bool, bool, bool) (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x887d2a)
#22 0x000000000078e0c1 main (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x78e0c1)
#23 0x00007f29ed1bf083 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x24083)
#24 0x000000000087cf6e _start (/opt/compiler-explorer/clang-assertions-trunk/bin/opt+0x87cf6e)
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsWl1v2zoS_TX0C2GDpr4f_OA6cRtsgwZ17i7uk0GJI5sbihRIqknur1_ow4noJL1J64dubwrXskTyzMyZM2NLDLNW7BTAAkUfUHQ2YY3ba7P4xJxtFNhaFGySa36_-AQGsLDY7QFLoW5QsETkDJHl3rnatmd0jeh6p3mupZtps0N0_Rei6-JjDH-e3_1510_v3ze6MQXgQnN4AEIxGV7dKYdSKMBijlFISi351umtgtutUNaZpnBCK0TT2hmMaMQQXeHhc45ohlHyocfB7aUCo-AMi6KqcbMDPF7UL2iPc6aUdqwFbs_IYb0B17lBo2LwNDkbB9PO7fARnaPkQ3eglDVOT4USDlGKH1f4Qfbv1_uWWLAOF8y2rFRgcWl09RLJwu2bfFboCtG1lN8Oh2lt9H-hcIiuc6lzRNcVE-pxTmsC0fW1YcqW2lQW0fWFsm6lq1woQHT9yICdSTn28dwYbXAF1rLdiznTtUPBEiO6Nlq7p14dfBX5sRt_OCHb46X-BsvG6Qsl3KyoaxQso6DFtI63VoPWhtCKSRSsOrju4iVU2tx_1kXnOwrO8a0RDq71UkpdMETTQivr8OOKi7GKYkSz1sjSWjB9_mNSMmkBd4MxRpRWnQ0sByPYQptaRBNcMiGBz3oOrj6fLzfn2DZ5JRxmOG922ECtjcNO4zcnUljbQMsMZopjoQrZcOiqsDDM7nHOihtnWAGD-Y1jxQ3mTVU_JInMEMmujN4ZVmFmdk0FytkhUW3K6LrQVS0kmCnc1VIbMO01ydRuyg6U2KkzjbpptdVpStcOT3ULweq6PW9c3biZxdMNnn6hGAUr21U5Cs6HSkI0IJjckcO_IEyTJEpHWbH3tv9wZYRyXSzXbXCIpo-TDLvdausMsKrLzgoL5bqap-lPRoToB3I3uNVq4sHv-ZHfEQkLvBE7xeQnprhs8dPBjf6yHeRLuv8PQHQASkqaAU_meUgJ3m4NWKcNbI0bouhr5C6Nt3E4lUI1d9OdavqB2u0NMD6zekY6j-dhSInnb-CZmXMgJMeGiU7Rf4dftMhxhxwGhOQecugj5zyNMsxy_SrPR8iUplHmIUfHyMlDTl-NmVAfM_YxCyh5_DbMICh57GEmYy2EQc4JhNg0aty7PMGuG_XYaFYjuZ_pSijmtLk2AE9G-6a22Sz7BoWf6Y1H4kqPPIN5Mq6uMcAVs0OpmUa9ztulYvLeCnvJFNuB8Rrww6LgfPD2RMU4ROElIPOKMc7yMoORnxwcE3LoI8zaS81BPu-tz_cxPd7olQEL5hvwngawP0ZO-_r1WR9IfWC97YBe6yY8KFnGT8B6N_d7sf0ozf_c7PW58ZLnfX9RmkM4L0durj5uVqtrffCozcmSs9pp83y8n9lf9ysm5UfD6n1_abNavSn6lyDG6_05ND4w9d053mgX2B81Zw6-gm2kOy3TA5Me1dSvExom_G3d6TXMfCdhp9L9DyfoJ7PzUo29a26o7k5RnuSCo-qO0yJ_RYt9DR3vCvn_U8igAE8i4fFvpjA6fVf6DYX23k1_71oZSsGrleionTLGo_FdG3wTxm1Wq69QA3PAX76Xemf5oSO1JHosx086UnL6jvR8rt6L-veW26AmT27JUVGnRZJ5N_-8kXCtr7R1XwwH07n4tzdC_bI3MTwsOfVN3xCSF7P3PCgAICwon8R8oaRQYP5jWF2DebmX_TqhDpF4oT55JkTe2E0O4a1eQ9CpGsgjQS-V9C_Eek_qmHXqPROivKSMF6_4Pfgc178LTQMLHk3e0xeSpgmnbOSlabob-CtRg-z24UaBbZwRavcVyueU-STea2Z24C5Zse9wls-Nfha5Yeb-QpX6oqrl01layy_dZs5ayGdAfmr4hXCWxrD79uo4QR0nstkJ9eQ7U9du67QeCrq39y-h-Pdm_RuMKAWYw7y8HXnz8WQ66VXgycR_cpSkQIo5rphQp7LZQ3o2jzaK8pKkAd5upciLrXXMuO3Igdduw4QkDTwroV8ASVHGgHv8k_HZgT5aPexMT_gi4FmQsQks5nE2z-KIBNFkvyAkDRPOMmDzNIGkLDNOk3xellGU0SCGiVhQQgOSzgNK58k8mgVZGHGWZhktALKAo5BAxYSctZKbabObdLu1iziM4_lEshyk7f6wglIFt7gbRJSi6GxiFu2aad7sLAqJFNbZRxQnnIRFt8H6hQ77vD-1Nd3Jt3H4VpsbixvFwbQwQllXDHv_MZk0Ri5-fH-6C_p_AQAA__-GbYo9">