search for: scevvisitor

...CEV const*>::operator[](unsigned int) + 128 4 LLVMPolly.dylib 0x0000000106867af8 SCEVAffinator::getLoopDepth(llvm::Loop const*) + 72 5 LLVMPolly.dylib 0x00000001068676c7 SCEVAffinator::visitAddRecExpr(llvm::SCEVAddRecExpr const*) + 247 6 LLVMPolly.dylib 0x000000010686710b llvm::SCEVVisitor<SCEVAffinator, isl_pw_aff*>::visit(llvm::SCEV const*) + 283 7 LLVMPolly.dylib 0x0000000106866f71 SCEVAffinator::visit(llvm::SCEV const*) + 449 8 LLVMPolly.dylib 0x000000010686766c SCEVAffinator::visitAddRecExpr(llvm::SCEVAddRecExpr const*) + 156 9 LLVMPolly.dylib 0x000000010...

We've upgraded to llvm 2.4 and we're hitting an assert in SCEV: llvm/include/llvm/Analysis/ScalarEvolutionExpressions.h:669: RetVal llvm::SCEVVisitor<SC, RetVal>::visitCouldNotCompute(llvm::SCEVCouldNotCompute*) [with SC = llvm::SCEVExpander, RetVal = llvm::Value*]: Assertion `0 && "Invalid use of SCEVCouldNotCompute!"' failed. This happens in SCEVExpander::visitAddRecExpr where we drop down to this code: // If...

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

David Greene wrote: > We've upgraded to llvm 2.4 and we're hitting an assert in SCEV: > > llvm/include/llvm/Analysis/ScalarEvolutionExpressions.h:669: RetVal > llvm::SCEVVisitor<SC, > RetVal>::visitCouldNotCompute(llvm::SCEVCouldNotCompute*) [with SC = > llvm::SCEVExpander, RetVal = llvm::Value*]: Assertion `0 && "Invalid use of > SCEVCouldNotCompute!"' failed. > > This happens in SCEVExpander::visitAddRecExpr where we drop do...

On Friday 27 February 2009 00:50, Nick Lewycky wrote: > David Greene wrote: > > We've upgraded to llvm 2.4 and we're hitting an assert in SCEV: > > > > llvm/include/llvm/Analysis/ScalarEvolutionExpressions.h:669: RetVal > > llvm::SCEVVisitor<SC, > > RetVal>::visitCouldNotCompute(llvm::SCEVCouldNotCompute*) [with SC = > > llvm::SCEVExpander, RetVal = llvm::Value*]: Assertion `0 && "Invalid use > > of SCEVCouldNotCompute!"' failed. > > > > This happens in SCEVExpander::visitAddRec...

Hi Geoff, Firstly, I think it will be great if you have a small reproducer of this issue (which I can make fail after re-applying D18001 to ToT). > I’ve run into what appears to be a bug in ScalarEvolution, but I’m not sure > if it is instead caused by me missing an implicit assumption between LSR and > SCEV. > > This issue is caused by the change D18001, which is an attempt to

...igned int) + 128 > 4  LLVMPolly.dylib      0x0000000106867af8 > SCEVAffinator::getLoopDepth(llvm::Loop const*) + 72 > 5  LLVMPolly.dylib      0x00000001068676c7 > SCEVAffinator::visitAddRecExpr(llvm::SCEVAddRecExpr const*) + 247 > 6  LLVMPolly.dylib      0x000000010686710b > llvm::SCEVVisitor<SCEVAffinator, isl_pw_aff*>::visit(llvm::SCEV > const*) + 283 > 7  LLVMPolly.dylib      0x0000000106866f71 > SCEVAffinator::visit(llvm::SCEV const*) + 449 > 8  LLVMPolly.dylib      0x000000010686766c > SCEVAffinator::visitAddRecExpr(llvm::SCEVAddRecExpr const*) + 156 > 9  LL...

Hi All, I've run into what appears to be a bug in ScalarEvolution, but I'm not sure if it is instead caused by me missing an implicit assumption between LSR and SCEV. This issue is caused by the change D18001 <http://reviews.llvm.org/D18001> , which is an attempt to increase SCEV-inserted instruction re-use by picking a more canonical insertion position in the case where a new