[llvm-bugs] [Bug 44900] New: Assertion `getEffectiveSCEVType(Ops[i]->getType()) == ETy && "SCEVAddExpr operand types don't match!"' failed.

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=44900

            Bug ID: 44900
           Summary: Assertion `getEffectiveSCEVType(Ops[i]->getType()) ==
                    ETy && "SCEVAddExpr operand types don't match!"'
                    failed.
           Product: libraries
           Version: trunk
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Scalar Optimizations
          Assignee: unassignedbugs at nondot.org
          Reporter: wichard at vitalitystudios.com
                CC: llvm-bugs at lists.llvm.org

Created attachment 23127
  --> https://bugs.llvm.org/attachment.cgi?id=23127&action=edit
bugpoint result

Discovered while trying to narrow down a different issue. Reproduce w/ `opt -S
bugpoint-reduced-simplified.ll -alignment-from-assumptions`

opt: lib/Analysis/ScalarEvolution.cpp:2416: const llvm::SCEV*
llvm::ScalarEvolution::getAddExpr(llvm::SmallVectorImpl<const llvm::SCEV*>&,
llvm::SCEV::NoWrapFlags, unsigned int): Assertion
`getEffectiveSCEVType(Ops[i]->getType()) == ETy && "SCEVAddExpr operand types
don't match!"' failed.
Stack dump:
0.      Program arguments: opt -S bugpoint-reduced-simplified.bc
-alignment-from-assumptions 
1.      Running pass 'Function Pass Manager' on module
'bugpoint-reduced-simplified.bc'.
2.      Running pass 'Alignment from assumptions' on function
'@_ZN14gpgpu_gemm_exp11gemm_kernel17h843f4c12d1f7131eE'
 #0 0x0000563b9a5c68a7 llvm::sys::PrintStackTrace(llvm::raw_ostream&)
 #1 0x0000563b9a5c509f llvm::sys::RunSignalHandlers()
 #2 0x0000563b9a5c515e SignalHandler(int)
 #3 0x00007f06d6529540 __restore_rt
(/lib/x86_64-linux-gnu/libpthread.so.0+0x15540)
 #4 0x00007f06d5fbe3eb raise
/build/glibc-4WA41p/glibc-2.30/signal/../sysdeps/unix/sysv/linux/raise.c:51:1
 #5 0x00007f06d5f9d899 abort /build/glibc-4WA41p/glibc-2.30/stdlib/abort.c:81:7
 #6 0x00007f06d5f9d769 get_sysdep_segment_value
/build/glibc-4WA41p/glibc-2.30/intl/loadmsgcat.c:509:8
 #7 0x00007f06d5f9d769 _nl_load_domain
/build/glibc-4WA41p/glibc-2.30/intl/loadmsgcat.c:970:34
 #8 0x00007f06d5faf006 (/lib/x86_64-linux-gnu/libc.so.6+0x37006)
 #9 0x0000563b99e59a53
llvm::ScalarEvolution::getAddExpr(llvm::SmallVectorImpl<llvm::SCEV const*>&,
llvm::SCEV::NoWrapFlags, unsigned int) (.part.0)
#10 0x0000563b997763e3 llvm::ScalarEvolution::getAddExpr(llvm::SCEV const*,
llvm::SCEV const*, llvm::SCEV::NoWrapFlags, unsigned int)
#11 0x0000563b99e5d77c llvm::ScalarEvolution::getMinusSCEV(llvm::SCEV const*,
llvm::SCEV const*, llvm::SCEV::NoWrapFlags, unsigned int)
#12 0x0000563b9a3fc07d getNewAlignment(llvm::SCEV const*, llvm::SCEV const*,
llvm::SCEV const*, llvm::Value*, llvm::ScalarEvolution*)
#13 0x0000563b9a3fc8e8
llvm::AlignmentFromAssumptionsPass::processAssumption(llvm::CallInst*)
#14 0x0000563b9a3fce0e
llvm::AlignmentFromAssumptionsPass::runImpl(llvm::Function&,
llvm::AssumptionCache&, llvm::ScalarEvolution*, llvm::DominatorTree*)
#15 0x0000563b9a196410 llvm::FPPassManager::runOnFunction(llvm::Function&)
#16 0x0000563b9a196923 llvm::FPPassManager::runOnModule(llvm::Module&)
#17 0x0000563b9a196b86 llvm::legacy::PassManagerImpl::run(llvm::Module&)
#18 0x0000563b99225137 main
#19 0x00007f06d5f9f1e3 __libc_start_main
/build/glibc-4WA41p/glibc-2.30/csu/../csu/libc-start.c:342:3
#20 0x0000563b992b05be _start

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20200213/971a9263/attachment.html>