[llvm-bugs] [Bug 34813] New: unbounded optimum (in isl/isl_tab_pip.c:706)

[via llvm-bugs]

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

            Bug ID: 34813
           Summary: unbounded optimum (in isl/isl_tab_pip.c:706)
           Product: Polly
           Version: unspecified
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Optimizer
          Assignee: polly-dev at googlegroups.com
          Reporter: alex.susu at gmail.com
                CC: llvm-bugs at lists.llvm.org

Created attachment 19218
  --> https://bugs.llvm.org/attachment.cgi?id=19218&action=edit
bugpoint "reduced" test and build script and full standard output and error

Hello.
    Please find attached a bugpoint "reduced" test (and build script and full
output) that crashes Polly with the following stack trace:
      #7 0x00007fa0dedc1cb7 isl_handle_error
/home/alexsusu/LLVM/llvmSep06_2017/llvm/tools/polly/lib/External/isl/isl_ctx.c:101:0
      #8 0x00007fa0dee8c763 sol_add
/home/alexsusu/LLVM/llvmSep06_2017/llvm/tools/polly/lib/External/isl/isl_tab_pip.c:705:0
      #9 0x00007fa0dee94fc8 find_solutions
/home/alexsusu/LLVM/llvmSep06_2017/llvm/tools/polly/lib/External/isl/isl_tab_pip.c:4114:0
...
      #33 0x00007fa0e936ec9a (anonymous
namespace)::ForwardOpTreeImpl::singleLocation(isl::noexceptions::union_map,
isl::noexceptions::set)
/home/alexsusu/LLVM/llvmSep06_2017/llvm/tools/polly/lib/Transform/ForwardOpTree.cpp:245:0
      #34 0x00007fa0e936fb5c (anonymous
namespace)::ForwardOpTreeImpl::forwardKnownLoad(polly::ScopStmt*,
llvm::Instruction*, polly::ScopStmt*, llvm::Loop*, isl::noexceptions::map,
polly::ScopStmt*, llvm::Loop*, isl::noexceptions::map, bool)
/home/alexsusu/LLVM/llvmSep06_2017/llvm/tools/polly/lib/Transform/ForwardOpTree.cpp:460:0
      #35 0x00007fa0e9370838 (anonymous
namespace)::ForwardOpTreeImpl::forwardTree(polly::ScopStmt*, llvm::Value*,
polly::ScopStmt*, llvm::Loop*, isl::noexceptions::map, bool)
/home/alexsusu/LLVM/llvmSep06_2017/llvm/tools/polly/lib/Transform/ForwardOpTree.cpp:719:0
      #36 0x00007fa0e9370240 (anonymous
namespace)::ForwardOpTreeImpl::forwardSpeculatable(polly::ScopStmt*,
llvm::Instruction*, polly::ScopStmt*, llvm::Loop*, isl::noexceptions::map,
bool)
/home/alexsusu/LLVM/llvmSep06_2017/llvm/tools/polly/lib/Transform/ForwardOpTree.cpp:577:0
      ...
      ...
      #44 0x00007fa0e93711c3 (anonymous
namespace)::ForwardOpTree::runOnScop(polly::Scop&)
/home/alexsusu/LLVM/llvmSep06_2017/llvm/tools/polly/lib/Transform/ForwardOpTree.cpp:860:0
      #45 0x00007fa0e928d475 polly::ScopPass::runOnRegion(llvm::Region*,
llvm::RGPassManager&)
/home/alexsusu/LLVM/llvmSep06_2017/llvm/tools/polly/lib/Analysis/ScopPass.cpp:34:0
      #46 0x00007fa0e87aded7
llvm::RGPassManager::runOnFunction(llvm::Function&)
/home/alexsusu/LLVM/llvmSep06_2017/llvm/lib/Analysis/RegionPass.cpp:98:0
      #47 0x00007fa0e7b67f42
llvm::FPPassManager::runOnFunction(llvm::Function&)
/home/alexsusu/LLVM/llvmSep06_2017/llvm/lib/IR/LegacyPassManager.cpp:1514:0
      #48 0x00007fa0e7b680d5 llvm::FPPassManager::runOnModule(llvm::Module&)
/home/alexsusu/LLVM/llvmSep06_2017/llvm/lib/IR/LegacyPassManager.cpp:1535:0
      #49 0x00007fa0e7b68470 (anonymous
namespace)::MPPassManager::runOnModule(llvm::Module&)
/home/alexsusu/LLVM/llvmSep06_2017/llvm/lib/IR/LegacyPassManager.cpp:1591:0
      #50 0x00007fa0e7b68bc7 llvm::legacy::PassManagerImpl::run(llvm::Module&)
/home/alexsusu/LLVM/llvmSep06_2017/llvm/lib/IR/LegacyPassManager.cpp:1694:0
      #51 0x00007fa0e7b68e07 llvm::legacy::PassManager::run(llvm::Module&)
/home/alexsusu/LLVM/llvmSep06_2017/llvm/lib/IR/LegacyPassManager.cpp:1726:0
      #52 0x00000000004b1d7c main
/home/alexsusu/LLVM/llvmSep06_2017/llvm/tools/opt/opt.cpp:760:0    

    I see another bug related to unbounded optimum was reported at
https://bugs.llvm.org/show_bug.cgi?id=30956 .


  Best regards,
    Alex

-- 
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/20171003/a4b00d72/attachment-0001.html>