[llvm-branch-commits] [llvm] [SCEVDivision] Add assertion to check operand types match (NFCI) (PR #204146)

Tue Jun 16 06:56:09 PDT 2026

github-actions[bot] wrote:

<!--PREMERGE ADVISOR COMMENT: Linux-->
# :penguin: Linux x64 Test Results

* 175696 tests passed
* 3504 tests skipped
* 1 test failed

## Failed Tests
(click on a test name to see its output)

### Polly
<details>
<summary>Polly.ScopInfo/multidim_invalid_dimension.ll</summary>

```
Exit Code: 2

Command Output (stdout):
--
# RUN: at line 1
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/opt  -polly-process-unprofitable  -polly-remarks-minimal  -polly-use-llvm-names  -polly-import-jscop-dir=/home/gha/actions-runner/_work/llvm-project/llvm-project/polly/test/ScopInfo  -polly-codegen-verify  '-passes=polly-custom<scops>' -polly-print-scops -disable-output < /home/gha/actions-runner/_work/llvm-project/llvm-project/polly/test/ScopInfo/multidim_invalid_dimension.ll | /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/polly/test/ScopInfo/multidim_invalid_dimension.ll
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/opt -polly-process-unprofitable -polly-remarks-minimal -polly-use-llvm-names -polly-import-jscop-dir=/home/gha/actions-runner/_work/llvm-project/llvm-project/polly/test/ScopInfo -polly-codegen-verify '-passes=polly-custom<scops>' -polly-print-scops -disable-output
# .---command stderr------------
# | opt: /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Analysis/ScalarEvolutionDivision.cpp:60: static void llvm::SCEVDivision::divide(ScalarEvolution &, const SCEV *, const SCEV *, const SCEV **, const SCEV **): Assertion `Numerator->getType() == Denominator->getType() && "Numerator and Denominator must have the same type"' failed.
# | PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace and instructions to reproduce the bug.
# | Stack dump:
# | 0.	Program arguments: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/opt -polly-process-unprofitable -polly-remarks-minimal -polly-use-llvm-names -polly-import-jscop-dir=/home/gha/actions-runner/_work/llvm-project/llvm-project/polly/test/ScopInfo -polly-codegen-verify -passes=polly-custom<scops> -polly-print-scops -disable-output
# | 1.	Running pass "function(polly)" on module "<stdin>"
# |  #0 0x00000000051d5d28 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Support/Unix/Signals.inc:881:13
# |  #1 0x00000000051d2b81 llvm::sys::RunSignalHandlers() /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Support/Signals.cpp:109:18
# |  #2 0x00000000051d6b81 SignalHandler(int, siginfo_t*, void*) /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Support/Unix/Signals.inc:448:38
# |  #3 0x000079a988ade330 (/lib/x86_64-linux-gnu/libc.so.6+0x45330)
# |  #4 0x000079a988b37b2c pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x9eb2c)
# |  #5 0x000079a988ade27e raise (/lib/x86_64-linux-gnu/libc.so.6+0x4527e)
# |  #6 0x000079a988ac18ff abort (/lib/x86_64-linux-gnu/libc.so.6+0x288ff)
# |  #7 0x000079a988ac181b (/lib/x86_64-linux-gnu/libc.so.6+0x2881b)
# |  #8 0x000079a988ad4517 (/lib/x86_64-linux-gnu/libc.so.6+0x3b517)
# |  #9 0x0000000005e95686 (/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/opt+0x5e95686)
# | #10 0x0000000005e90620 llvm::findArrayDimensions(llvm::ScalarEvolution&, llvm::SmallVectorImpl<llvm::SCEV const*>&, llvm::SmallVectorImpl<llvm::SCEV const*>&, llvm::SCEV const*) /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Analysis/Delinearization.cpp:318:10
# | #11 0x0000000008d24b24 polly::ScopDetection::hasBaseAffineAccesses(polly::ScopDetection::DetectionContext&, llvm::SCEVUnknown const*, llvm::Loop*) const /home/gha/actions-runner/_work/llvm-project/llvm-project/polly/lib/Analysis/ScopDetection.cpp:1045:62
# | #12 0x0000000008d29a2d hasAffineMemoryAccesses /home/gha/actions-runner/_work/llvm-project/llvm-project/polly/lib/Analysis/ScopDetection.cpp:1061:9
# | #13 0x0000000008d29a2d polly::ScopDetection::allBlocksValid(polly::ScopDetection::DetectionContext&) /home/gha/actions-runner/_work/llvm-project/llvm-project/polly/lib/Analysis/ScopDetection.cpp:1691:8
# | #14 0x0000000008d1f054 polly::ScopDetection::isValidRegion(polly::ScopDetection::DetectionContext&) /home/gha/actions-runner/_work/llvm-project/llvm-project/polly/lib/Analysis/ScopDetection.cpp:1815:7
# | #15 0x0000000008d1d747 polly::ScopDetection::findScops(llvm::Region&) /home/gha/actions-runner/_work/llvm-project/llvm-project/polly/lib/Analysis/ScopDetection.cpp:1595:7
# | #16 0x0000000008d1d814 operator++ /usr/lib/gcc/x86_64-linux-gnu/13/../../../../include/c++/13/bits/stl_iterator.h:1111:2
# | #17 0x0000000008d1d814 polly::ScopDetection::findScops(llvm::Region&) /home/gha/actions-runner/_work/llvm-project/llvm-project/polly/lib/Analysis/ScopDetection.cpp:1611:24
# | #18 0x0000000008d1ca0a size /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/SmallVector.h:83:32
# | #19 0x0000000008d1ca0a size /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/SetVector.h:103:57
# | #20 0x0000000008d1ca0a polly::ScopDetection::detect(llvm::Function&) /home/gha/actions-runner/_work/llvm-project/llvm-project/polly/lib/Analysis/ScopDetection.cpp:361:34
# | #21 0x0000000008d17892 operator[] /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/Bitset.h:106:43
# | #22 0x0000000008d17892 isPhaseEnabled /home/gha/actions-runner/_work/llvm-project/llvm-project/polly/include/polly/Pass/PhaseManager.h:90:12
# | #23 0x0000000008d17892 run /home/gha/actions-runner/_work/llvm-project/llvm-project/polly/lib/Pass/PhaseManager.cpp:107:14
# | #24 0x0000000008d17892 polly::runPollyPass(llvm::Function&, llvm::AnalysisManager<llvm::Function>&, polly::PollyPassOptions) /home/gha/actions-runner/_work/llvm-project/llvm-project/polly/lib/Pass/PhaseManager.cpp:440:48
# | #25 0x0000000008dc8aae polly::PollyFunctionPass::run(llvm::Function&, llvm::AnalysisManager<llvm::Function>&) /home/gha/actions-runner/_work/llvm-project/llvm-project/polly/lib/Pass/PollyFunctionPass.cpp:16:21
# | #26 0x0000000005410c3c llvm::ModuleToFunctionPassAdaptor::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/IR/PassManager.cpp:132:23
# | #27 0x000000000540b4c9 llvm::PassManager<llvm::Module, llvm::AnalysisManager<llvm::Module>>::run(llvm::Module&, llvm::AnalysisManager<llvm::Module>&) /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/IR/PassManagerImpl.h:80:8
# | #28 0x000000000669df26 ~SmallPtrSetImplBase /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/SmallPtrSet.h:89:9
# | #29 0x000000000669df26 ~PreservedAnalyses /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/IR/Analysis.h:112:7
# | #30 0x000000000669df26 llvm::runPassPipeline(llvm::StringRef, llvm::Module&, llvm::TargetMachine*, llvm::TargetLibraryInfoImpl*, llvm::ToolOutputFile*, llvm::ToolOutputFile*, llvm::ToolOutputFile*, llvm::StringRef, llvm::ArrayRef<llvm::PassPlugin>, llvm::ArrayRef<std::function<void (llvm::PassBuilder&)>>, llvm::opt_tool::OutputKind, llvm::opt_tool::VerifierKind, bool, bool, bool, bool, bool, bool, bool, bool) /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/tools/opt/NewPMDriver.cpp:572:3
# | #31 0x00000000051a1653 optMain /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/tools/opt/optdriver.cpp:0:10
# | #32 0x000079a988ac31ca (/lib/x86_64-linux-gnu/libc.so.6+0x2a1ca)
# | #33 0x000079a988ac328b __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x2a28b)
# | #34 0x000000000519eb65 _start (/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/opt+0x519eb65)
# `-----------------------------
# error: command failed with exit status: -6
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/polly/test/ScopInfo/multidim_invalid_dimension.ll
# .---command stderr------------
# | FileCheck error: '<stdin>' is empty.
# | FileCheck command line:  /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/polly/test/ScopInfo/multidim_invalid_dimension.ll
# `-----------------------------
# error: command failed with exit status: 2

--

```
</details>

If these failures are unrelated to your changes (for example tests are broken or flaky at HEAD), please open an issue at https://github.com/llvm/llvm-project/issues and add the `infrastructure` label.

https://github.com/llvm/llvm-project/pull/204146