clang - 一维循环上的多面体优化

Question

LLVM 中的 Polly 会将 1d for 循环识别为范围吗？如果不是，为什么？当我尝试一个带有单个 for 循环的简单程序并运行以下命令时，我得到了Invalid Scop！

$ opt -basicaa -polly-ast -analyze parallel.preopt.ll -polly-process-unprofitable -polly-use-llvm-names

Printing analysis 'Polly - Create polyhedral description of Scops' for region: 'pregion_for_entry.entry.i => matvec_mult_ceWork.exit' in function '_pocl_kernel_matvec_mult_ceWork':
Invalid Scop!

标签： clangllvmcompiler-optimizationllvm-ir