[llvm-bugs] [Bug 48783] New: Assertion failure in DeLICM

[via llvm-bugs]

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

            Bug ID: 48783
           Summary: Assertion failure in DeLICM
           Product: Polly
           Version: unspecified
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Optimizer
          Assignee: polly-dev at googlegroups.com
          Reporter: nikita.ppv at gmail.com
                CC: llvm-bugs at lists.llvm.org

Test case https://gist.github.com/nikic/46e510c9ec9f8e6583078b7e67b7e811 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 https://bugs.llvm.org/ 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
https://github.com/llvm/llvm-project/blob/main/polly/test/DeLICM/pr41656.ll
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
https://reviews.llvm.org/D92739 would have on the original test case for
PR41656.

-- 
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/20210117/094e5c01/attachment.html>