[llvm-bugs] [Bug 32541] New: Assertion failed in leaky_bucket_1.ll: Requested parameters for an invalid SCEV!
via llvm-bugs
llvm-bugs at lists.llvm.org
Wed Apr 5 12:47:04 PDT 2017
http://bugs.llvm.org/show_bug.cgi?id=32541
Bug ID: 32541
Summary: Assertion failed in leaky_bucket_1.ll: Requested
parameters for an invalid SCEV!
Product: Polly
Version: unspecified
Hardware: All
OS: All
Status: NEW
Severity: enhancement
Priority: P
Component: Optimizer
Assignee: polly-dev at googlegroups.com
Reporter: llvm at meinersbur.de
CC: llvm-bugs at lists.llvm.org
Created attachment 18232
--> http://bugs.llvm.org/attachment.cgi?id=18232&action=edit
leaky_bucket_1.ll
The attached test fails in
Polly r299360
LLVM r299379
********************
FAIL: Polly :: leaky_bucket_1.ll (836 of 859)
******************** TEST 'Polly :: leaky_bucket_1.ll' FAILED
********************
Script:
--
opt -polly-process-unprofitable -polly-remarks-minimal -polly-scops -S <
C:\Users\Meinersbur\src\llvm\tools\polly\test\leaky_bucket_1.ll
--
Exit Code: 2147483651
Command Output (stdout):
--
$ "opt" "-polly-process-unprofitable" "-polly-remarks-minimal" "-polly-scops"
"-S"
# command stderr:
Assertion failed: Result.isValid() && "Requested parameters for an invalid
SCEV!", file
C:\Users\Meinersbur\src\llvm\tools\polly\lib\Support\SCEVValidator.cpp, line
596
#0 0x023930f9 HandleAbort
c:\users\meinersbur\src\llvm\lib\support\windows\signals.inc:405:0
#1 0x53132a9b (C:\WINDOWS\SYSTEM32\ucrtbased.dll+0xb2a9b)
#2 0x53134032 (C:\WINDOWS\SYSTEM32\ucrtbased.dll+0xb4032)
#3 0x53138544 (C:\WINDOWS\SYSTEM32\ucrtbased.dll+0xb8544)
#4 0x53136b2a (C:\WINDOWS\SYSTEM32\ucrtbased.dll+0xb6b2a)
#5 0x53138cea (C:\WINDOWS\SYSTEM32\ucrtbased.dll+0xb8cea)
#6 0x028ecf5e polly::getParamsInAffineExpr(class llvm::Region const *,class
llvm::Loop *,class llvm::SCEV const *,class llvm::ScalarEvolution &)
c:\users\meinersbur\src\llvm\tools\polly\lib\support\scevvalidator
.cpp:596:0
#7 0x028f238f polly::SCEVAffinator::visit(class llvm::SCEV const *)
c:\users\meinersbur\src\llvm\tools\polly\lib\support\scevaffinator.cpp:230:0
#8 0x028f1b22 polly::SCEVAffinator::getPwAff(class llvm::SCEV const *,class
llvm::BasicBlock *)
c:\users\meinersbur\src\llvm\tools\polly\lib\support\scevaffinator.cpp:143:0
#9 0x02821a0c polly::Scop::getPwAff(class llvm::SCEV const *,class
llvm::BasicBlock *,bool)
c:\users\meinersbur\src\llvm\tools\polly\lib\analysis\scopinfo.cpp:4232:0
#10 0x028182f2 polly::ScopStmt::getPwAff(class llvm::SCEV const *,bool)
c:\users\meinersbur\src\llvm\tools\polly\lib\analysis\scopinfo.cpp:1217:0
#11 0x02824234 buildConditionSets
c:\users\meinersbur\src\llvm\tools\polly\lib\analysis\scopinfo.cpp:1497:0
#12 0x02824597 buildConditionSets
c:\users\meinersbur\src\llvm\tools\polly\lib\analysis\scopinfo.cpp:1558:0
#13 0x028191fb polly::Scop::addLoopBoundsToHeaderDomain(class llvm::Loop
*,class llvm::LoopInfo &)
c:\users\meinersbur\src\llvm\tools\polly\lib\analysis\scopinfo.cpp:2911:0
#14 0x02819e68 polly::Scop::propagateDomainConstraints(class llvm::Region
*,class llvm::DominatorTree &,class llvm::LoopInfo &)
c:\users\meinersbur\src\llvm\tools\polly\lib\analysis\scopinfo.cpp:2846:0
#15 0x0281a5aa polly::Scop::buildDomains(class llvm::Region *,class
llvm::DominatorTree &,class llvm::LoopInfo &)
c:\users\meinersbur\src\llvm\tools\polly\lib\analysis\scopinfo.cpp:2425:0
#16 0x0281883a polly::Scop::init(class llvm::AAResults &,class
llvm::AssumptionCache &,class llvm::DominatorTree &,class llvm::LoopInfo &)
c:\users\meinersbur\src\llvm\tools\polly\lib\analysis\scopinfo.cpp:3364:
0
#17 0x028f6d1c polly::ScopBuilder::buildScop(class llvm::Region &,class
llvm::AssumptionCache &)
c:\users\meinersbur\src\llvm\tools\polly\lib\analysis\scopbuilder.cpp:677:0
#18 0x028f9a3e polly::ScopBuilder::ScopBuilder(class llvm::Region *,class
llvm::AssumptionCache &,class llvm::AAResults &,class llvm::DataLayout const
&,class llvm::DominatorTree &,class llvm::LoopInfo &,class p
olly::ScopDetection &,class llvm::ScalarEvolution &)
c:\users\meinersbur\src\llvm\tools\polly\lib\analysis\scopbuilder.cpp:693:0
#19 0x0282294f polly::ScopInfoRegionPass::runOnRegion(class llvm::Region
*,class llvm::RGPassManager &)
c:\users\meinersbur\src\llvm\tools\polly\lib\analysis\scopinfo.cpp:4685:0
#20 0x00fca4bc llvm::RGPassManager::runOnFunction(class llvm::Function &)
c:\users\meinersbur\src\llvm\lib\analysis\regionpass.cpp:97:0
#21 0x01974c45 llvm::FPPassManager::runOnFunction(class llvm::Function &)
c:\users\meinersbur\src\llvm\lib\ir\legacypassmanager.cpp:1513:0
#22 0x01974dea llvm::FPPassManager::runOnModule(class llvm::Module &)
c:\users\meinersbur\src\llvm\lib\ir\legacypassmanager.cpp:1534:0
#23 0x01975e2e `anonymous namespace'::MPPassManager::runOnModule
c:\users\meinersbur\src\llvm\lib\ir\legacypassmanager.cpp:1590:0
#24 0x0197650a llvm::legacy::PassManagerImpl::run(class llvm::Module &)
c:\users\meinersbur\src\llvm\lib\ir\legacypassmanager.cpp:1693:0
#25 0x01970b6d llvm::legacy::PassManager::run(class llvm::Module &)
c:\users\meinersbur\src\llvm\lib\ir\legacypassmanager.cpp:1725:0
#26 0x00bdab31 main c:\users\meinersbur\src\llvm\tools\opt\opt.cpp:741:0
#27 0x0312b52e invoke_main
f:\dd\vctools\crt\vcstartup\src\startup\exe_common.inl:64:0
#28 0x0312b3b0 _scrt_common_main_seh
f:\dd\vctools\crt\vcstartup\src\startup\exe_common.inl:253:0
#29 0x0312b24d _scrt_common_main
f:\dd\vctools\crt\vcstartup\src\startup\exe_common.inl:296:0
#30 0x0312b548 mainCRTStartup
f:\dd\vctools\crt\vcstartup\src\startup\exe_main.cpp:17:0
#31 0x76a98744 (C:\WINDOWS\System32\KERNEL32.DLL+0x18744)
#32 0x770a587d (C:\WINDOWS\SYSTEM32\ntdll.dll+0x6587d)
#33 0x770a584d (C:\WINDOWS\SYSTEM32\ntdll.dll+0x6584d)
--
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/20170405/021dae2e/attachment.html>
More information about the llvm-bugs
mailing list