<html>
<head>
<base href="http://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 failed in leaky_bucket_1.ll: Requested parameters for an invalid SCEV!"
href="http://bugs.llvm.org/show_bug.cgi?id=32541">32541</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>Assertion failed in leaky_bucket_1.ll: Requested parameters for an invalid SCEV!
</td>
</tr>
<tr>
<th>Product</th>
<td>Polly
</td>
</tr>
<tr>
<th>Version</th>
<td>unspecified
</td>
</tr>
<tr>
<th>Hardware</th>
<td>All
</td>
</tr>
<tr>
<th>OS</th>
<td>All
</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>llvm@meinersbur.de
</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=18232" name="attach_18232" title="leaky_bucket_1.ll">attachment 18232</a> <a href="attachment.cgi?id=18232&action=edit" title="leaky_bucket_1.ll">[details]</a></span>
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)</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>