<html>
<head>
<base href="https://bugs.llvm.org/">
</head>
<body><table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Bug ID</th>
<td><a class="bz_bug_link
bz_status_NEW "
title="NEW - Assertion `getEffectiveSCEVType(Ops[i]->getType()) == ETy && "SCEVAddExpr operand types don't match!"' failed."
href="https://bugs.llvm.org/show_bug.cgi?id=44900">44900</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>Assertion `getEffectiveSCEVType(Ops[i]->getType()) == ETy && "SCEVAddExpr operand types don't match!"' failed.
</td>
</tr>
<tr>
<th>Product</th>
<td>libraries
</td>
</tr>
<tr>
<th>Version</th>
<td>trunk
</td>
</tr>
<tr>
<th>Hardware</th>
<td>PC
</td>
</tr>
<tr>
<th>OS</th>
<td>Linux
</td>
</tr>
<tr>
<th>Status</th>
<td>NEW
</td>
</tr>
<tr>
<th>Severity</th>
<td>normal
</td>
</tr>
<tr>
<th>Priority</th>
<td>P
</td>
</tr>
<tr>
<th>Component</th>
<td>Scalar Optimizations
</td>
</tr>
<tr>
<th>Assignee</th>
<td>unassignedbugs@nondot.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>wichard@vitalitystudios.com
</td>
</tr>
<tr>
<th>CC</th>
<td>llvm-bugs@lists.llvm.org
</td>
</tr></table>
<p>
<div>
<pre>Created <span class=""><a href="attachment.cgi?id=23127" name="attach_23127" title="bugpoint result">attachment 23127</a> <a href="attachment.cgi?id=23127&action=edit" title="bugpoint result">[details]</a></span>
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</pre>
</div>
</p>
<hr>
<span>You are receiving this mail because:</span>
<ul>
<li>You are on the CC list for the bug.</li>
</ul>
</body>
</html>