<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 failure in DeLICM"
href="https://bugs.llvm.org/show_bug.cgi?id=48783">48783</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>Assertion failure in DeLICM
</td>
</tr>
<tr>
<th>Product</th>
<td>Polly
</td>
</tr>
<tr>
<th>Version</th>
<td>unspecified
</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>enhancement
</td>
</tr>
<tr>
<th>Priority</th>
<td>P
</td>
</tr>
<tr>
<th>Component</th>
<td>Optimizer
</td>
</tr>
<tr>
<th>Assignee</th>
<td>polly-dev@googlegroups.com
</td>
</tr>
<tr>
<th>Reporter</th>
<td>nikita.ppv@gmail.com
</td>
</tr>
<tr>
<th>CC</th>
<td>llvm-bugs@lists.llvm.org
</td>
</tr></table>
<p>
<div>
<pre>Test case <a href="https://gist.github.com/nikic/46e510c9ec9f8e6583078b7e67b7e811">https://gist.github.com/nikic/46e510c9ec9f8e6583078b7e67b7e811</a> under
"opt -polly-delicm -analyze" produces the following assertion failure:
Printing analysis 'Polly - DeLICM/DePRE' for region:
'for.body5.us.for.body5.us_crit_edge.i => for.cond2.for.end_crit_edge.us.i' in
function 'main':
Printing analysis 'Polly - DeLICM/DePRE' for region: 'for.body.us.i =>
fill_samples.exit' in function 'main':
opt: /home/nikic/llvm-project/polly/lib/Transform/ZoneAlgo.cpp:577:
isl::noexceptions::union_map polly::ZoneAlgorithm::computePerPHI(const
polly::ScopArrayInfo*): Assertion `!Result.is_injective().is_false()' failed.
PLEASE submit a bug report to <a href="https://bugs.llvm.org/">https://bugs.llvm.org/</a> and include the crash
backtrace.
Stack dump:
0. Program arguments: build/bin/opt -polly-delicm -analyze
1. Running pass 'Function Pass Manager' on module '<stdin>'.
2. Running pass 'Region Pass Manager' on function '@main'
3. Running pass 'Polly - DeLICM/DePRE' on basic block
'%for.body.us.preheader.i'
#0 0x000055e6b0db09b1 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int)
(build/bin/opt+0x302b9b1)
#1 0x000055e6b0dae584 llvm::sys::RunSignalHandlers() (build/bin/opt+0x3029584)
#2 0x000055e6b0dae6fb SignalHandler(int) (build/bin/opt+0x30296fb)
#3 0x00007f2cadd253c0 __restore_rt
(/lib/x86_64-linux-gnu/libpthread.so.0+0x153c0)
#4 0x00007f2cad7c518b raise
/build/glibc-ZN95T4/glibc-2.31/signal/../sysdeps/unix/sysv/linux/raise.c:51:1
#5 0x00007f2cad7a4859 abort /build/glibc-ZN95T4/glibc-2.31/stdlib/abort.c:81:7
#6 0x00007f2cad7a4729 get_sysdep_segment_value
/build/glibc-ZN95T4/glibc-2.31/intl/loadmsgcat.c:509:8
#7 0x00007f2cad7a4729 _nl_load_domain
/build/glibc-ZN95T4/glibc-2.31/intl/loadmsgcat.c:970:34
#8 0x00007f2cad7b5f36 (/lib/x86_64-linux-gnu/libc.so.6+0x36f36)
#9 0x000055e6b163c962 polly::ZoneAlgorithm::computePerPHI(polly::ScopArrayInfo
const*) (build/bin/opt+0x38b7962)
#10 0x000055e6b162c4c5 (anonymous
namespace)::DeLICMImpl::tryMapPHI(polly::ScopArrayInfo const*,
isl::noexceptions::map) (build/bin/opt+0x38a74c5)
#11 0x000055e6b1631b3b (anonymous namespace)::DeLICMImpl::greedyCollapse()
(build/bin/opt+0x38acb3b)
#12 0x000055e6b1634b74 (anonymous namespace)::DeLICM::runOnScop(polly::Scop&)
(build/bin/opt+0x38afb74)
Note that the test case is exactly identical to
<a href="https://github.com/llvm/llvm-project/blob/main/polly/test/DeLICM/pr41656.ll">https://github.com/llvm/llvm-project/blob/main/polly/test/DeLICM/pr41656.ll</a>
with an added "udiv i64 1, %indvars.iv.next.i" line. The purpose of that line
is to produce better SCEV nowrap flags, mirroring the effect that
<a href="https://reviews.llvm.org/D92739">https://reviews.llvm.org/D92739</a> would have on the original test case for
PR41656.</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>