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

    <tr>
        <th>Summary</th>
        <td>
            clang crashes at -Os and above on x86_64-linux-gnu: Assertion `DepDest && "must be in schedule window"' failed 
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
      </td>
    </tr>

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

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

<pre>
    This appears to be a recent regression from 13.0.1. 

```
[507] % clangtk -v
clang version 15.0.0 (https://github.com/llvm/llvm-project.git 973183612ea26bdc2394863f38a46514c33dc026)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /local/suz-local/opfuzz/bin
Found candidate GCC installation: /usr/lib/gcc/i686-linux-gnu/8
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/6
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/6.5.0
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/7
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/7.5.0
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/8
Selected GCC installation: /usr/lib/gcc/x86_64-linux-gnu/7.5.0
Candidate multilib: .;@m64
Selected multilib: .;@m64
[508] % 
[508] % clangtk -O1 small.c; ./a.out
[509] % 
[509] % clangtk -Os small.c
clang-15: /local/suz-local/software/clangbuild/llvm-project/llvm/lib/Transforms/Vectorize/SLPVectorizer.cpp:8074: void llvm::slpvectorizer::BoUpSLP::BlockScheduling::calculateDependencies(llvm::slpvectorizer::BoUpSLP::ScheduleData*, bool, llvm::slpvectorizer::BoUpSLP*): Assertion `DepDest && "must be in schedule window"' 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: /local/suz-local/software/local/clang-trunk/bin/clang-15 -cc1 -triple x86_64-unknown-linux-gnu -emit-obj --mrelax-relocations -disable-free -clear-ast-before-backend -main-file-name small.c -mrelocation-model static -mframe-pointer=none -fmath-errno -ffp-contract=on -fno-rounding-math -mconstructor-aliases -funwind-tables=2 -target-cpu x86-64 -tune-cpu generic -mllvm -treat-scalable-fixed-error-as-warning -debugger-tuning=gdb -fcoverage-compilation-dir=/local/suz-local/software/emitesting/bugs/20220320-clangtk-m64-O3-mllvm-enable-constraint-elimination-build-142423/delta -resource-dir /local/suz-local/software/local/clang-trunk/lib/clang/15.0.0 -I /usr/local/include/csmith -I /local/suz-local/software/local/include -internal-isystem /local/suz-local/software/local/clang-trunk/lib/clang/15.0.0/include -internal-isystem /usr/local/include -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/7.5.0/../../../../x86_64-linux-gnu/include -internal-externc-isystem /usr/include/x86_64-linux-gnu -internal-externc-isystem /include -internal-externc-isystem /usr/include -Os -fdebug-compilation-dir=/local/suz-local/software/emitesting/bugs/20220320-clangtk-m64-O3-mllvm-enable-constraint-elimination-build-142423/delta -ferror-limit 19 -fgnuc-version=4.2.1 -fcolor-diagnostics -vectorize-loops -vectorize-slp -faddrsig -D__GCC_HAVE_DWARF2_CFI_ASM=1 -o /tmp/small-ef3c77.o -x c small.c
1.      <eof> parser at end of file
2.      Optimizer
 #0 0x0000563502e2a04f PrintStackTraceSignalHandler(void*) Signals.cpp:0:0
 #1 0x0000563502e27abc SignalHandler(int) Signals.cpp:0:0
 #2 0x00007fc006be38a0 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x128a0)
 #3 0x00007fc005894f47 raise /build/glibc-2ORdQG/glibc-2.27/signal/../sysdeps/unix/sysv/linux/raise.c:51:0
 #4 0x00007fc0058968b1 abort /build/glibc-2ORdQG/glibc-2.27/stdlib/abort.c:81:0
 #5 0x00007fc00588642a __assert_fail_base /build/glibc-2ORdQG/glibc-2.27/assert/assert.c:89:0
 #6 0x00007fc0058864a2 (/lib/x86_64-linux-gnu/libc.so.6+0x304a2)
 #7 0x000056350309c5ef llvm::slpvectorizer::BoUpSLP::BlockScheduling::calculateDependencies(llvm::slpvectorizer::BoUpSLP::ScheduleData*, bool, llvm::slpvectorizer::BoUpSLP*) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x3d495ef)
 #8 0x00005635005deeab llvm::slpvectorizer::BoUpSLP::BlockScheduling::tryScheduleBundle(llvm::ArrayRef<llvm::Value*>, llvm::slpvectorizer::BoUpSLP*, (anonymous namespace)::InstructionsState const&)::'lambda'(bool, llvm::slpvectorizer::BoUpSLP::ScheduleData*)::operator()(bool, llvm::slpvectorizer::BoUpSLP::ScheduleData*) const SLPVectorizer.cpp:0:0
 #9 0x00005635030a201b llvm::slpvectorizer::BoUpSLP::buildTree_rec(llvm::ArrayRef<llvm::Value*>, unsigned int, llvm::slpvectorizer::BoUpSLP::EdgeInfo const&) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x3d4f01b)
#10 0x00005635030a5b95 llvm::slpvectorizer::BoUpSLP::buildTree(llvm::ArrayRef<llvm::Value*>, llvm::ArrayRef<llvm::Value*>) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x3d52b95)
#11 0x00005635030afaf0 llvm::SLPVectorizerPass::tryToVectorizeList(llvm::ArrayRef<llvm::Value*>, llvm::slpvectorizer::BoUpSLP&, bool) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x3d5caf0)
#12 0x00005635030b5646 llvm::SLPVectorizerPass::vectorizeSimpleInstructions(llvm::SmallVectorImpl<llvm::Instruction*>&, llvm::BasicBlock*, llvm::slpvectorizer::BoUpSLP&, bool) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x3d62646)
#13 0x00005635030b7399 llvm::SLPVectorizerPass::vectorizeChainsInBlock(llvm::BasicBlock*, llvm::slpvectorizer::BoUpSLP&) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x3d64399)
#14 0x00005635030b9d7d llvm::SLPVectorizerPass::runImpl(llvm::Function&, llvm::ScalarEvolution*, llvm::TargetTransformInfo*, llvm::TargetLibraryInfo*, llvm::AAResults*, llvm::LoopInfo*, llvm::DominatorTree*, llvm::AssumptionCache*, llvm::DemandedBits*, llvm::OptimizationRemarkEmitter*) (.part.2440) SLPVectorizer.cpp:0:0
#15 0x00005635030badab llvm::SLPVectorizerPass::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x3d67dab)
#16 0x0000563504064301 llvm::detail::PassModel<llvm::Function, llvm::SLPVectorizerPass, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Function> >::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x4d11301)
#17 0x00005635025879bc llvm::PassManager<llvm::Function, llvm::AnalysisManager<llvm::Function> >::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x32349bc)
#18 0x0000563500a1e121 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>&) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x16cb121)
#19 0x00005635025873da llvm::ModuleToFunctionPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x32343da)
#20 0x0000563500a1ea81 llvm::detail::PassModel<llvm::Module, llvm::ModuleToFunctionPassAdaptor, llvm::PreservedAnalyses, llvm::AnalysisManager<llvm::Module> >::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x16cba81)
#21 0x0000563502585b94 llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module> >::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x3232b94)
#22 0x000056350316aac0 (anonymous namespace)::EmitAssemblyHelper::RunOptimizationPipeline(clang::BackendAction, std::unique_ptr<llvm::raw_pwrite_stream, std::default_delete<llvm::raw_pwrite_stream> >&, std::unique_ptr<llvm::ToolOutputFile, std::default_delete<llvm::ToolOutputFile> >&) (.constprop.836) BackendUtil.cpp:0:0
#23 0x000056350316da92 clang::EmitBackendOutput(clang::DiagnosticsEngine&, clang::HeaderSearchOptions const&, clang::CodeGenOptions const&, clang::TargetOptions const&, clang::LangOptions const&, llvm::StringRef, llvm::Module*, clang::BackendAction, std::unique_ptr<llvm::raw_pwrite_stream, std::default_delete<llvm::raw_pwrite_stream> >) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x3e1aa92)
#24 0x0000563503e84c4b clang::BackendConsumer::HandleTranslationUnit(clang::ASTContext&) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x4b31c4b)
#25 0x0000563504dbeb29 clang::ParseAST(clang::Sema&, bool, bool) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x5a6bb29)
#26 0x0000563503e837e0 clang::CodeGenAction::ExecuteAction() (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x4b307e0)
#27 0x0000563503815651 clang::FrontendAction::Execute() (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x44c2651)
#28 0x00005635037afc4a clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x445cc4a)
#29 0x00005635038e3353 clang::ExecuteCompilerInvocation(clang::CompilerInstance*) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x4590353)
#30 0x000056350075a981 cc1_main(llvm::ArrayRef<char const*>, char const*, void*) (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x1407981)
#31 0x0000563500756819 ExecuteCC1Tool(llvm::SmallVectorImpl<char const*>&) driver.cpp:0:0
#32 0x000056350069e129 main (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x134b129)
#33 0x00007fc005877b97 __libc_start_main /build/glibc-2ORdQG/glibc-2.27/csu/../csu/libc-start.c:344:0
#34 0x000056350075638a _start (/local/suz-local/software/local/clang-trunk/bin/clang-15+0x140338a)
clang-15: error: unable to execute command: Aborted
clang-15: error: clang frontend command failed due to signal (use -v to see invocation)
clang version 15.0.0 (https://github.com/llvm/llvm-project.git 973183612ea26bdc2394863f38a46514c33dc026)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /local/suz-local/opfuzz/bin
clang-15: note: diagnostic msg: 
********************

PLEASE ATTACH THE FOLLOWING FILES TO THE BUG REPORT:
Preprocessed source(s) and associated run script(s) are located at:
clang-15: note: diagnostic msg: /tmp/small-db69c2.c
clang-15: note: diagnostic msg: /tmp/small-db69c2.sh
clang-15: note: diagnostic msg: 

********************
[510] % 
[510] % cat small.c
int a, f;
volatile int b, c, d, e;
int main() {
  if (e > f) {
    int g = d;
    b = (c || d) | (f && f);
    a = f / g | (d && c);
  }
  return 0;
}
```

Compiler Explorer: https://godbolt.org/z/q4eEd6da6

@fhahn 
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJztW1tz4rgS_jXkRWXKd-yHPBBIZlKVPckJzO4jJdsyeMdYXknOJPPrt1s2xCIkITNQNWf3bGXB6NLq_vqibkuT8OzpfL4qJKF1zaiQRHGSMEKJYCmrFHwtBZOy4BXJBV8TxxvaQ2dIBvZ0YI-7z9Du_tqfwUVgjwbBlAzcgKQlrZbqK7Ee2l79mzwwoWk6AZCzYWC0UqqWA288cK_gb1moVZMMU76GH2X5sPmyasH_ZKkawgASjzwn8kLHZdQNkyx1vdiPQi_3IuqHgeOnnpelthsO3Lhde07FkilYhDxG4SL0rab6WvFvlVUWVfNoLaumG7cSjGZkzTNW4uiay-Kx7bqupKJlybJpIbAL-eIpLeFbNt-tzTOv8-b7d3hIiqqdeMWbKiMprbIio4qRT5MJKVpiVAEUHbFGCiRZJAhCmsJnEUZhj0H3KvpJgp3sfZLhCUgOQbXHJzs6AcnTcNqpacZKsFeWHYvFyZa5dVOqAicCoeHAuxj49jr0d1Z9a5B21GjjqPvats576xC5Bs6HKdAAQu4VHfJG9ebEe-jEL-nILZ3naGA5wRuuJHmuvlHB4FGPTpqizHbCQS9IaCDnglYy52It4cfvMICL4jtSmN3cbX-KYVrXsHBkj3xc_4EXGdFkIAp5Y1nWD9uhbdMF_1IDhe4HMPh1lq5Y1oCqlm0jsJw2oF82ZTWrMlalBQMeosPJdhTZlCo6cCEcTkjCeYnfBxHBKTGKM5aSCTQ0ApEZ2JkyqQBjiIYhfLnrBn5CpC8qIrslybeiyvg36By4I5LTAsLcsNXT3c3leHZJZJOsIfBSkjRL2BpqLhRuGB-L3RjTpGwQlysC1gwspGWTMaJWjKSCyhVJaPpVCZoyFLuGhQRPYRcCe5a8EW0zzqRS8rSgaOiiQUFEUauO5ZkCIiRr1qjjtsmGrvhO8KWgawJ7QbOGLU4eZnubptZiFSz3tQvvmzYnIFaaOgQ6ixrQfG2PIRYDEC2e_Eksay1YSR8t-AT6qC1JrKyQNCmZlQvGgGQJ-7JFpbISBibNLAQHbItYa1pUVg5asiq6ZhvHIppmR83SexiBqKMK7MlBcmbVvKgUGs604hUska-pWllMiIrDj7y2Ul4h_LBVTsF-rLzilsDQCHZu4VigBEMkoIBGaNGyoJIB53lToQ1ZCvkHYKcuoKE3XSutG0TECn1oaiqmG5asYkIzhgaCyDGqLAlItwAUjyxDvnANaYEmKuAAAGJgf0smkJB2vekyS2D1lENeQZdAm6_rog2zgCYK-r6CUSngIkgP9Nos0Txd23Vtz7WtLoBZEDutW69l12KV5rJFAnShLFYW66Jq19VxynJ813c9IAVqUJSAolsLRrZ-2OraIKfb4LvLoazr3nbSTes8CwdLEG_VDTpw0Y1fWtpaKlpahXySiq2Pyvh7C-2V6M2hh-yl7tVw-PJjz_CXC7JHfEhfLvyM9i6dt2d_fAm9kVq59oNf2Njz1nVxnCJODA2ARWp1yT8w6g_doaMdt4RxWUGXFQeuUhBuu78B-7w2GmD3gzk0y4AMRIPpYgG51eLz-PfLxfSP8f2Vu5hcXS_Gs99gBaDOET4F2wAggCHSYrmXjkZDiHWPJDXzEQd3iIE3YTwfeJekhoqICUIVwYDLc4LRth3p4sjbWoFsuAfrNljIs4n9aMN_QegFtstcavs5uRMAmN6Q5rirzYolaPkz7GAlTHUjzDzajZu0XbJLTWz9_5a2s0N7RJOU7BKDld4l5HaERnlq22HCoGKyyWIBwQkgZguBiUK0daU9XgEdtdJV0lBydKcL-9Fxgcq21sJlvP4yQRT7uT8iYDySEW12bSK3BGKp5d7eZ__99Pxz6I5QYVqKjXuCN2SsRluFuP_YNjxoboAz-NakMUUdB44psL_DSRglDqEJ15IexonKWjT0LL1ItLNIYC4Shb5LAVWqE7EF5lOLhB4ueztv-9AuGZtLhi-WpO4BuktRa6HWmmfDFENro76VeXacBiz_h-TFG2h-PtVrscv8GMAx0Iv66NlBxhhNfhY9JZ424l806OcGcmMh6NM9sOFNnht_p2XDUGjv8kMQTRAiCmnh05o3kmBiKWudiMft4Osu7cNUFSIa1KF6Sxi0r1n0EKgeSrpOMtAT2HH0ITXt13VHmNeQ3sE0rcX4SKRb_sm-ynAnasamY1DXdj6iWu3zc8jpIc6mH9ZgU2EsZFgtqY-JfJkt2XWV876iju8IOYCxdQTcq-wdtIIkDn4ErZ-w9fdHHx-IwAU5DSCcHSBymts9Jg3Du4NYv_X5Od923BSouZM4ffgcSk-ARgrCGmi4JhpJEPrh-2hsuZ8Va6it-0HIgGWGyVxL4BoGGuj0Jm0wCk2YLqgsUh2Bu1j4CyAYugCQgaC3g-DIi-MPIDhZQfYur6tOzugY4p9AbB-kMsT2d8SOs1H2vtiwhjaEvpyQPXZWsKP_Gb54EJcPvGw2VmL0t-cH25eLGFRfGXNTJIKKp70jxuN7JptSyRc9N1Dp7J0y5brS4qINiLsEpWzWNXI8obC9vZzN1lAdsOyi2LNmV8LoMu4eBoqvl1Ct4duhbcY0hDJIDV3ft3Vh8fZGiaoKdlRFMyMHel1Vh6lpDCXBkyzkb7SiSzTHyZ5JnXufwDJHII1hmWFfXN8G07WdHrsZU5D6t88o7W_tsdI-pk1rfAGT0X0H1RoTDyxr4WDyh0AiCNT_Dvx-5jiArgG_Ua-4QTSKoSru4YSQv8XqvwA2DypgQMWAzSxUqMMc9xhWezq4_2_9TpgmoCVDjfGu9XsZ7bELaoNqZ843rKF6xhmtsYraK3g74UNid1NOaLse1pLPQrv2ru3S6GO2u5FyciBUx7K9LVSvW94vpwC0OsDXUICzY3VQ3PkHBIF9sP_T4AJ7hRLQN-Ayix4npDS133vRgmkYnuGuk_LpMyvrTd5931T9nO2uqFlZVFgmt-cqXSqvzwjH25ArVdb2NFXxV8MWtTIxEfTbov4mCsUWEk_h1sakjOUUMtYFuBFT7J2Jm3AdHrLuHMqm20bVjboqWss4ZNGdWb0V24RVv-moBa-HkacbOzy-qKLcm7K63o6GMhq7pAcoaqMj0i5s4j19Prq4rJZaHVr83pDPjGZMzBgV6eq2bo96n9_IGEMnEK8-seqdUW2l8c6gG3jaN6SXZipRVEt8lbAnGnblwi9mWUd3WeZQ0Lfhsma5ySI_9ZM9OEwA02a98c32FEYXiO2B3Jeq2LGU8WwOcxR7PM2bOD_xHODUEMUox_wsYQm-9Xxm6Q5PuYAvk9EZFIPGu41TveMIaJgkrlHsu-EO-t6I2Xs8pLPC1kMfWdootjHM6CTY2sCHwah5WBI5QRg4fUavBCp76y99Tk_Do5-6wILBo5HpeyOapz41wcQDZCb03cYKtqC9eL4u1Ens2A9SYNOQw3z_HjHPCzwjRrccP4vz0N2CMbl_Ie4pjob8ILaBvT7_5tGwPQpoDFlrmjoLvMjz2tvddEXFJnKPuzLIbIOG3gHykXM_3x7FZu5nnkKDGGEERcgG-4kz10HizXeyL2XSFpSJ4uGVV0qekUHZYQzVakwQt2ML7PlQYhnBaPcYezRK4hFZLPAcFXYmKtSiY-SgY91U4iGsPs9uH3WnpqOPeD3fN0X3d_H2IkrahY-vbQ-Ib4Xv387UVznwodEXQfDaH2t1Dppc4wtG7Bzj4TjL3pje3v_OuwiymdvdNiRZoym3x_4oXSMZsR50G8PLis8u3efxX3ifvA9uxTF1GpPnCzRkLZeaXGdFP_HXu-jf3QIdz-fjyWcy_3xJrm5vbm7_uP7PJ3J1fXM5I_Nb3Xzx5RO5v7y7vZ-jBtq5-25xRhL9_tWbnNsBghF9oxF6qdqSPBAC8_JPloRx6u67f_xREnL1A5o4lj6Ci8CxX165fm4DtMyrTUWlCMXNIsdr4LrpgWOWWqJfKZLonQU_Mvxg21HY2e1QeoMZde2EFDl6GsOknOQ7fUQTXULfFAh6vfZEt-GeDOMn8IcL4lx99yDf3FHW1yr686ieh_1XSLcdnm2Gp-bwwWi6eRRMNaIi9rZ327f7D1faC_ZdegBbWl1yoVP73RvOPEt4qYZc4PU5dMu_fHaZQdEYGmr27XxFVxU5y869LPZieqYKVbLzNmbpq85M4u0yvM6nvSDhD4xAHHtxbedoF7rJWSPK8x-_sR34EAvPVueBPRph_psHIztOcz-LqOOMcselSUSzPDwracJKeQ5WCSZ5VpxvrhfiJUE7HDIKlLKcRpkTOVEYAlhQcEB5jgsjsmfiXPOgbyf6dllIJZ87IV7gdQi2oU8bteLi_PsKNhVeLWVzpjk-1-z-DSJLTTo">