Open Quuxplusone opened 7 years ago
leaky_bucket_1.ll
Created attachment 18232 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)
Attached leaky_bucket_1.ll (5556 bytes, text/plain): leaky_bucket_1.ll
leaky_bucket_1.ll
(5556 bytes, text/plain)