search for: isl_set

Hi, thanks to Tobias for doing most of the work to get the vector code generation working with ISL's code generation. Attached are two patches to port the vector code generation part of the testsuite from Cloog/CodeGen to Isl/CodeGen. Tobi, do you want to commit these two patches separately, or you want me to combine them, as the second patch is needed to make the testsuite pass? Also, let

...85fd49 SCEVAffinator::getPwAff(polly::ScopStmt const*, llvm::SCEV const*, llvm::Value const*) + 57 12 LLVMPolly.dylib 0x000000010685d076 polly::ScopStmt::buildConditionSet(polly::Comparison const&) const + 54 13 LLVMPolly.dylib 0x000000010685d414 polly::ScopStmt::addConditionsToDomain(isl_set*, polly::TempScop&, llvm::Region const&) const + 196 14 LLVMPolly.dylib 0x000000010685d519 polly::ScopStmt::buildDomain(polly::TempScop&, llvm::Region const&) const + 169 15 LLVMPolly.dylib 0x000000010685d90d polly::ScopStmt::ScopStmt(polly::Scop&, polly::TempScop&...

Perfect, thank you very much :) 2011/10/26 Tobias Grosser <tobias at grosser.es>: > On 10/24/2011 11:32 PM, Marcello Maggioni wrote: >> >> Strange , with --enable-shared (I use auto tool by the way ...) it gives: >> >> MacBook-Pro-di-Marcello:examples Kariddi$ ./compile_ex.sh >> not_so_simple_loop >> clang (LLVM option parsing): Unknown command line

...(polly::ScopStmt const*, llvm::SCEV const*, > llvm::Value const*) + 57 > 12 LLVMPolly.dylib      0x000000010685d076 > polly::ScopStmt::buildConditionSet(polly::Comparison const&) const + > 54 > 13 LLVMPolly.dylib      0x000000010685d414 > polly::ScopStmt::addConditionsToDomain(isl_set*, polly::TempScop&, > llvm::Region const&) const + 196 > 14 LLVMPolly.dylib      0x000000010685d519 > polly::ScopStmt::buildDomain(polly::TempScop&, llvm::Region const&) > const + 169 > 15 LLVMPolly.dylib      0x000000010685d90d > polly::ScopStmt::ScopStmt(polly::S...

...e] | +- C[x][y] = sqrt(C[x][y]); [condition: C[x][y] > 0] | +- printf("Some output"); [condition: verbose] The tree is mutable by transformations, IR will be generated from it at the end. Loops bounds and affine conditions can also optionally be expressed as isl_sets. Statements have properties: - Conditions under which they are executed - Is it if-convertible? - Can be executed even in the original IR it would not be executed? - If executed at least once, executing multiple times has no effect? - Hotness information from PGO - #pragma annotations from clang...

** *Hi everyone,As you may know, stock LLVM does not provide the kind of advanced loop transformations necessary to provide good performance on many applications. LLVM's Polly project provides many of the required capabilities, including loop transformations such as fission, fusion, skewing, blocking/tiling, and interchange, all powered by state-of-the-art dependence analysis. Polly also