https://bugs.llvm.org/show_bug.cgi?id=32715
Bug ID: 32715
Summary: Assertion failure: /lib/Analysis/ScopInfo.cpp:797:
void
polly::MemoryAccess::computeBoundsOnAccessRelation(uns
igned int): Assertion `M in.sle(Max) && "Minimum
expected to be less or equal than max"' failed.
Product: Polly
Version: unspecified
Hardware: PC
OS: Linux
Status: NEW
Severity: normal
Priority: P
Component: Other
Assignee: polly-...@googlegroups.com
Reporter: sabua...@codeaurora.org
CC: llvm-bugs@lists.llvm.org
Created attachment 18315
--> https://bugs.llvm.org/attachment.cgi?id=18315&action=edit
reduced ll file for the test case
This bug causes a crash in ScopInfo with an assertion failure:
"opt: lib/Analysis/ScopInfo.cpp:797: void
polly::MemoryAccess::computeBoundsOnAccessRelation(unsigned int): Assertion `M
in.sle(Max) && "Minimum expected to be less or equal than max"' failed."
Reduced IR attached.
can recrete the crash with
opt -S -O3 -polly -polly-scops -polly-tiling=false -polly-allow-nonaffine
-polly-process-unprofitable ./test_case.ll
My investigation shows this was introduced by r294891 :
Author: Tobias Grosser <tob...@grosser.es>
Date: Sun Feb 12 08:11:12 2017 +0000
Do not use wrapping ranges to bound non-affine accesses
--
You are receiving this mail because:
You are on the CC list for the bug._______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
