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

    <tr>
        <th>Summary</th>
        <td>
            [LV] removed instruction should only be used by instructions inserted
        </td>
    </tr>

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

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

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

<pre>
    Compiling this:

```
extern short a[];
short b;
long c;
char d;
long *e;
void f(bool g, int h[][2]) {
 for (int i;;)
    for (bool j; j < b; j = c)
      for (short k = 0; k < d; k += (g && e[i]) + 2)
        a[k] = c ? h[i][k] : 0;
}
```

with `clang++  -std=c++11 --Ofast -mcpu=grace` results in this assert:

```
clang++: gllvm-project/llvm/lib/Transforms/Utils/ScalarEvolutionExpander.cpp:2398: void llvm::SCEVExpanderCleaner::cleanup(): Assertion `all_of(I->users(), [&InsertedSet](Value *U) { return InsertedSet.contains(cast<Instruction>(U)); }) && "removed instruction should only be used by instructions inserted " "during expansion"' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace, preprocessed source, and associated run script.
Stack dump:
0.      Program arguments: gllvm-project/build/bin/clang++ -std=c++11 -w -fPIC -Ofast -mllvm -enable-loopinterchange -mcpu=grace -o clang_ofast_func.o -c func.cpp
1. <eof> parser at end of file
2.      Optimizer
3.      Running pass "function<eager-inv>(float2int,lower-constant-intrinsics,chr,loop(loop-rotate<header-duplication;no-prepare-for-lto>,loop-deletion),loop-distribute,inject-tli-mappings,loop-vectorize<no-interleave-forced-only;no-vectorize-forced-only;>,infer-alignment,loop-load-elim,instcombine<max-iterations=1;no-verify-fixpoint>,simplifycfg<bonus-inst-threshold=1;forward-switch-cond;switch-range-to-icmp;switch-to-lookup;no-keep-loops;hoist-common-insts;no-hoist-loads-stores-with-cond-faulting;sink-common-insts;speculate-blocks;simplify-cond-branch;no-speculate-unpredictables>,slp-vectorizer,vector-combine,instcombine<max-iterations=1;no-verify-fixpoint>,loop-unroll<O3>,transform-warning,sroa<preserve-cfg>,infer-alignment,instcombine<max-iterations=1;no-verify-fixpoint>,loop-mssa(licm<allowspeculation>),alignment-from-assumptions,loop-sink,instsimplify,div-rem-pairs,tailcallelim,simplifycfg<bonus-inst-threshold=1;no-forward-switch-cond;switch-range-to-icmp;no-switch-to-lookup;keep-loops;no-hoist-common-insts;hoist-loads-stores-with-cond-faulting;no-sink-common-insts;speculate-blocks;simplify-cond-branch;speculate-unpredictables>)" on module "func.cpp"
4.      Running pass "loop-vectorize<no-interleave-forced-only;no-vectorize-forced-only;>" on function "_Z1fbPA2_i"
 #0 0x0000b94d5eb91150 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) gllvm-project/llvm/lib/Support/Unix/Signals.inc:834:13
 #1 0x0000b94d5eb8ebe8 std::atomic<CallbackAndCookie::Status>::store(CallbackAndCookie::Status, std::memory_order) /usr/lib/gcc/aarch64-linux-gnu/12/../../../../include/c++/12/atomic:271:2
 #2 0x0000b94d5eb8ebe8 llvm::sys::RunSignalHandlers() gllvm-project/llvm/lib/Support/Signals.cpp:106:16
 #3 0x0000b94d5eaff6d8 (anonymous namespace)::CrashRecoveryContextImpl::HandleCrash(int, unsigned long) gllvm-project/llvm/lib/Support/CrashRecoveryContext.cpp:73:5
 #4 0x0000b94d5eaff6d8 CrashRecoverySignalHandler(int) gllvm-project/llvm/lib/Support/CrashRecoveryContext.cpp:390:51
 #5 0x0000e1ca29fb09d0 (linux-vdso.so.1+0x9d0)
 #6 0x0000e1ca29a2f200 __pthread_kill_implementation ./nptl/./nptl/pthread_kill.c:44:76
 #7 0x0000e1ca299ea67c gsignal ./signal/../sysdeps/posix/raise.c:27:6
 #8 0x0000e1ca299d7130 abort ./stdlib/./stdlib/abort.c:81:7
 #9 0x0000e1ca299e3fd0 __assert_fail_base ./assert/./assert/assert.c:89:7
#10 0x0000e1ca299e4040 __assert_perror_fail ./assert/./assert/assert-perr.c:31:1
#11 0x0000b94d5eca45a0 llvm::SmallPtrSetImplBase::isSmall() const gllvm-project/llvm/include/llvm/ADT/SmallPtrSet.h:237:33
#12 0x0000b94d5eca45a0 llvm::SmallPtrSetImplBase::~SmallPtrSetImplBase() gllvm-project/llvm/include/llvm/ADT/SmallPtrSet.h:88:10
#13 0x0000b94d5eca45a0 llvm::SCEVExpanderCleaner::cleanup() gllvm-project/llvm/lib/Transforms/Utils/ScalarEvolutionExpander.cpp:2405:1
#14 0x0000b94d5fce1edc llvm::SCEVExpanderCleaner::~SCEVExpanderCleaner() gllvm-project/llvm/include/llvm/Transforms/Utils/ScalarEvolutionExpander.h:567:28
#15 0x0000b94d5fce1edc (anonymous namespace)::GeneratedRTChecks::create(llvm::Loop*, llvm::LoopAccessInfo const&, llvm::SCEVPredicate const&, llvm::ElementCount, unsigned int) gllvm-project/llvm/lib/Transforms/Vectorize/LoopVectorize.cpp:1823:7
#16 0x0000b94d5fce00f8 llvm::LoopVectorizeHints::getForce() const gllvm-project/llvm/include/llvm/Transforms/Vectorize/LoopVectorizationLegality.h:154:26
#17 0x0000b94d5fce00f8 llvm::LoopVectorizePass::processLoop(llvm::Loop*) gllvm-project/llvm/lib/Transforms/Vectorize/LoopVectorize.cpp:10095:15
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJysWE1v47jP_zTqRXBgS3HiHHpw3ObZAQbYYjo7h-cSyDLtaCpLhiT3ZQ_72f-g7LRJpzvbeQHa2JZo8ifyR4qy8F51BuCS5FuSX12IMRysu_RfLbimB_UV3EVtm6fLyvaD0sp0NByUJ7wkafxbpfNfWsJjAGeoP1gXqJgUEr4laTkN1dODtqajcrqXB-FoczJOWAnT471VDW0JK2prNe0Iq6gygR5mvfmW4YVtKFmjOG2to4QVKKNQA98StsEJSo9zUdNXwrf0KyW8ioDi7RWVL8LP4hPquzifouhdfKuZb9kWJwgrEPWKsBUFkm_VERXbUnaqlEaX3JH8ajJICd_F1ahpOfNMGU2hZ9dXr_xL0vJBhQMlq1RqYTpEwLaUJj40hF_J6TnLaJL82QofaNLLYST8qnNCAlml1IEfdfBUmRhFKrwHF94M5okFBNVpfd8ng7NfQQbCdviIF1UTtvvshPGtdb0nbPdXUBqvt1Jo4a7vrR6Dsub6cRCmAbeQw0B4yfimQL0xylEZLwkvb6vrL0fJSoMw4KYJiQ_jQFiBPuUlLSN0ZQ26Q2i9t8iVDwnh16MH52dJVlEkDFt9MCgPzS2EGKHii9AjIN_-mklEHYTRGXoiuZDWBKEMapPCB8KrD8YHN0q0TPg1YcVf0cwGSYEhi6GPbCCMOejtPTRUvbyE6THqhlqjn2gNdPTQ0PrpVATjM0FAHfjfjA4zD9AzHi0zRtiatkJpaBYkLW8-Xpe319SPda8CFbQeO-pgQP4GSw8hDDFl2Y6wXafCYawX0vYncTyPrvJ-BAwiFQbRSz02QMMBqHTCH2gt5F2IpGIVHRwMzkrwuBJvRzcN45vCeyuVwJW40VAvnRoC4r0NQt7RZuyHiXzpYkqRG2c7J3oqXDf2YIJ_i3v1qHSDV2UI252mwreZ8ECT9uZDRZ8zAnXRBIyoNSTa2kGZAE4ehOngPGFoYmlUvrf47r4djVxYmkga75DHaZktsCaAbQm_poNwHhwVgYJpqG1pqzSQtGTz6v4cgurV3-BIWvJ57NNoDMZ2EN5jqFH3RK4KRAcuUeZ-IlqrrQhMmUBYpe0DuERa44MwIVEmOGW8kp6wSh5clLCYLXhJnA0iAOHVAUQDLmnGQSspJjNbYxMMoXCQtNYlOthoL2pIGtAQ5WIuTUPKB6fqMWCYlcGgJEGrpBfDoEznj3L3IIN16m80bGwS_axB3EczEpoEU2Cy_yz6amoCokwLLhFadQY5cdSvrWgS0KqPIj5I29fKoLVePCYqgIsr9IRfZUczTrVPSaseB4t-jNq96get2ifZdoRXtTWjT1BdEg4O_MHqZlbQWvcgXJP4BxXkAZ2PO8H85JA_SbCJksjp43CwyLG7cZgA3AEMkXSe8O3BKh8SafvemmjRT0LTOK7OJz5YBz7Bsh8NJq0YdVCmQxPK3L1-3Q8gRy0CJLW28i4Ozeub3q-dMPIwGXoRHs3goFEyYFb42S_6JITIqOkhObr5l5weAzgaZ7UmvPqTT6PhuI8kD8JhViAMZwXh1eDAg7uHJIbpbVb8Kp7ee4Epo2RPeCW0tg9HFx2rPSbBs8mkdbZPhPdjP0xGZkUYmRnP0fuEVY26Txz0ySAUbk9VEEpLofVM4Xfz0Njkh6iIkf6WjWdUfGbdKzq9l4po4pfY-F0qbnAXtIb2thk1HItkLMCMkbRc_ksp_a1VKCI4FmfUvv__rK1vSrZXEwpKGE9p-pimaVpvlk0O9SbL8vSku_FPfrq5ccqEuAd-nnbR4kXIiYe99cGB6GMjEdtebCu-24LdjgPu9th_GfWIA6ozQvuFMpLwsuBLwsuMzzizc5wF1FDQuHciAhFsryThFeYAbvWlaSpr7xTMTVoQYYyhmVaFxCCs-L40q14M9NBb97S3rsHCgg3TbvTueS2dlITthHDysFomWpnxMenMSNguY4TtFotvf-YWBduBuWedhY9rKdk6w9_ZAewtB7wRqE-jmRz5hzCNfm4r3xuLYxCmnjdLV_i7mjHwMwyibVdNgccJYax56u3oqRE9-CESZDPhqbD9-gTS3oN7qqwJ8Bg-9IOeZieQUWY6CaHXRxNPeA3F89UPYH_L1LyQNSe8zOdlLN9axtnLZx48AvsdOPgmRSDZjCSfkUAmBdu0dbppUhoLOjLovvF24e0iI2ybPm6adD6cEcZXZy8K1rI0pfv9gJVXNPs7pfUe6xZg1Y-bAUXSmSFoJODL7ekbC2TdEtNufYz4-szOBsRqLWnno3uixun2SGr_5BsYsA0frI9J7YTysJjoTHh51Fuc623WGU-pqLH7j3pCMzn17CHOR10FZsZ61rV5hZG3DfpiOinu8cSxr4WHqHg-Pk6Knx-mm0nzZtaMNSd9pXmZLk80D-CcddHAf-pOUDga4Ag9mw2cVzUplrk4rb63vdD6JrhbiCmzFX6uUMrHqTm1Y1P9b-R8qTPzQHn1Gdn6onpxiKdbDA_nMzD2k8D-eWvmuwXonfiKIpajGR7_D3jvOpP__i8EyzQ_Ce5ZmWklZNDI94D8562ZH_PhD4FH9-YrDD8rZuj5W9D_o9D_HxhsXaH59Lk6QOydossd4EnutF_4GA96JZb688FS4pn8g2ntxOm5mzj32U1stkSAf5G5nopeZcdXu8l7iviZ4748N2Jsh_Cen4-7Y8H4SbVYvXJamrbFqwU-a_hDTV8KCC87CDsbv0D8RDK_C2-s_x-hE1qFpxjuLMcqz1Yz8vUPIL8RfgY-f0L5OB_bvw3vb_V1mm5icuWnX_0umkvebPhGXMBlts7ZMluu0uLicJnLOl-zlRBtu2nyerkq0lXbQloXrOaiLi7UJUtZnq4znvE8TYtFLbN1DbkULM3zNmNkmUIvlF4g5oV13UX8xHSZLYsl5xda1KB9_AbNmIEHGmexr86vLtxlXHc9dp4sU6188C9qggo6frz--IXkV_RXP7hdjE5f_vznsnk595fsfwEAAP__-b2DBw">