search for: buildconditionset

...rns a SCEVCouldNotCompute, but if I change the "if" block > inside the loop from: > if (i+j> 1000) > to: > if (i> 1000) > > that SCEV results valid. > > Later in the ScopInfo pass it crashes analyzing the SCEV of the > comparison expression (in buildConditionSets ) . It's like if it > recognizes that "i" is a recurring expression that depends on the > execution of a loop, but can't derive that loop, and segfaults in > getLoopDepth ... > > Seems like a bug of the SCEV engine to me., but I'm not sure :( Hi Marcello, sor...

...V const*) + 283 10 LLVMPolly.dylib 0x0000000106866f71 SCEVAffinator::visit(llvm::SCEV const*) + 449 11 LLVMPolly.dylib 0x000000010685fd49 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...

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

...t = SE->getBackedgeTakenCount(L); It returns a SCEVCouldNotCompute, but if I change the "if" block inside the loop from: if (i+j > 1000) to: if (i > 1000) that SCEV results valid. Later in the ScopInfo pass it crashes analyzing the SCEV of the comparison expression (in buildConditionSets ) . It's like if it recognizes that "i" is a recurring expression that depends on the execution of a loop, but can't derive that loop, and segfaults in getLoopDepth ... Seems like a bug of the SCEV engine to me., but I'm not sure :( 2011/11/1 Marcello Maggioni <hayarms...

...t;>> inside the loop from: >>>     if (i+j>  1000) >>> to: >>>     if (i>  1000) >>> >>> that SCEV results valid. >>> >>> Later in the ScopInfo pass it crashes analyzing the SCEV of the >>> comparison expression (in buildConditionSets ) . It's like if it >>> recognizes that "i" is a recurring expression that depends on the >>> execution of a loop, but can't derive that loop, and segfaults in >>> getLoopDepth ... >>> >>> Seems like a bug of the SCEV engine to me., bu...