search for: curregion

...00101a5a175 in polly::MemoryAccess::MemoryAccess (this=0x101911ed0, Access=@0x10190fc48, Statement=0x10190ffa0) at /Users/Kariddi/Documents/Sviluppo/Tesi/llvm/tools/polly/lib/Analysis/ScopInfo.cpp:308 #4 0x0000000101a5b22a in polly::ScopStmt::buildAccesses (this=0x10190ffa0, tempScop=@0x10190eb70, CurRegion=@0x10190eed0) at /Users/Kariddi/Documents/Sviluppo/Tesi/llvm/tools/polly/lib/Analysis/ScopInfo.cpp:588 #5 0x0000000101a5bc08 in polly::ScopStmt::ScopStmt (this=0x10190ffa0, parent=@0x10190fdf0, tempScop=@0x10190eb70, CurRegion=@0x10190eed0, bb=@0x101905bd0, NestLoops=@0x7fff5fbfec20, Scatter=@0x7f...

...D(AffFunc, "No base pointer"); > + } This change is unneeded and unrelated. > > BaseValue = BasePointer->getValue(); > > @@ -245,8 +252,9 @@ > > AccessFunction = SE->getMinusSCEV(AccessFunction, BasePointer); > > - if (!isAffineExpr(&Context.CurRegion, AccessFunction, *SE, BaseValue)) > + if (!isAffineExpr(&Context.CurRegion, AccessFunction, *SE, BaseValue)&& !AllowNonAffine) > INVALID(AffFunc, "Bad memory address "<< *AccessFunction); > + > > // FIXME: Alias Analysis thinks IntToPtrInst al...

Mmm I found out a very strange behavior (to me) of the SCEV analysis of the loop bound of the external loop I posted. When in ScopDetection it gets the SCEV of the external loop bound in the "isValidLoop()" function with: const SCEV *LoopCount = SE->getBackedgeTakenCount(L); It returns a SCEVCouldNotCompute, but if I change the "if" block inside the loop from: if

...e where getPointerBase() does not yield a valid base pointer, but GetBaseValue(AccessFunction) does? > if (isa<UndefValue>(BaseValue)) > @@ -245,8 +267,9 @@ > > AccessFunction = SE->getMinusSCEV(AccessFunction, BasePointer); > > - if (!isAffineExpr(&Context.CurRegion, AccessFunction, *SE, BaseValue)) > - INVALID(AffFunc, "Bad memory address "<< *AccessFunction); > + //if (!isAffineExpr(&Context.CurRegion, AccessFunction, *SE, BaseValue)) > + // INVALID(AffFunc, "Bad memory address "<< *AccessFunction); Ca...

2011/11/15 Marcello Maggioni <hayarms at gmail.com>: > 2011/11/14 Tobias Grosser <tobias at grosser.es>: >> On 11/14/2011 02:45 PM, Marcello Maggioni wrote: >>> >>> 2011/11/14 Tobias Grosser<tobias at grosser.es>: >>>> >>>> On 11/14/2011 01:24 AM, Marcello Maggioni wrote: >>>>> >>>>> Hi Tobias.

...; +  } > > This change is unneeded and unrelated. > >> >>    BaseValue = BasePointer->getValue(); >> >> @@ -245,8 +252,9 @@ >> >>    AccessFunction = SE->getMinusSCEV(AccessFunction, BasePointer); >> >> -  if (!isAffineExpr(&Context.CurRegion, AccessFunction, *SE, BaseValue)) >> +  if (!isAffineExpr(&Context.CurRegion, AccessFunction, *SE, BaseValue)&& >>  !AllowNonAffine) >>      INVALID(AffFunc, "Bad memory address "<<  *AccessFunction); >> + >> >>    // FIXME: Alias Anal...

...not yield a valid base pointer, but > GetBaseValue(AccessFunction) does? > >>    if (isa<UndefValue>(BaseValue)) >> @@ -245,8 +267,9 @@ >> >>    AccessFunction = SE->getMinusSCEV(AccessFunction, BasePointer); >> >> -  if (!isAffineExpr(&Context.CurRegion, AccessFunction, *SE, BaseValue)) >> -    INVALID(AffFunc, "Bad memory address "<<  *AccessFunction); >> +    //if (!isAffineExpr(&Context.CurRegion, AccessFunction, *SE, >> BaseValue)) >> +    //  INVALID(AffFunc, "Bad memory address "<<...

...; + ?} > > This change is unneeded and unrelated. > >> >> ? ?BaseValue = BasePointer->getValue(); >> >> @@ -245,8 +252,9 @@ >> >> ? ?AccessFunction = SE->getMinusSCEV(AccessFunction, BasePointer); >> >> - ?if (!isAffineExpr(&Context.CurRegion, AccessFunction, *SE, BaseValue)) >> + ?if (!isAffineExpr(&Context.CurRegion, AccessFunction, *SE, BaseValue)&& >> ?!AllowNonAffine) >> ? ? ?INVALID(AffFunc, "Bad memory address "<< ?*AccessFunction); >> + >> >> ? ?// FIXME: Alias Anal...