I am using Polly with LLVM-11.0 version. I am observing that in my C programs when the number of statements in a for-loop is higher (20 and above), either the jscop files are not getting generated or the following error message is printed. However, everything works fine when the number of statements is lesser than 20. Is there any restriction on the number of statements in a scop?
opt: /stor/shilpa/llvm_git/llvm-11.0/tools/polly/lib/Analysis/DependenceInfo.cpp:778: isl::noexceptions::union_map polly::Dependences::getDependences(int) const: Assertion `hasValidDependences() && "No valid dependences available"' failed.
PLEASE submit a bug report to
https://bugs.llvm.org/ and include the crash backtrace.
Stack dump:
0. Program arguments: /stor/shilpa/llvm_git/build/bin/opt -basic-aa -polly-opt-isl -polly-import-jscop -polly-optimized-scops -polly-ast -polly-parallel -polly-parallel-force -analyze -mattr=+avx512f -mcpu=knl -polly-process-unprofitable mypgm.ll
1. Running pass 'Function Pass Manager' on module 'mypgm.ll'.
2. Running pass 'Region Pass Manager' on function '@kernel_function'
3. Running pass 'Polly - Import Scops from JSON (Reads a .jscop file for each Scop)' on basic block '%for.body342'