search for: tempscopinfo

...gei Larin > Sent: Wednesday, July 03, 2013 12:29 PM > To: 'Tobias Grosser' > Cc: 'llvmdev' > Subject: Re: [LLVMdev] [LNT] Question about results reliability in LNT > infrustructure > > > Tobias, > > I seem to trigger an assert in Polly lib/Analysis/TempScopInfo.cpp > > void TempScopInfo::buildAffineCondition(Value &V, bool inverted, > Comparison **Comp) const { ... > ICmpInst *ICmp = dyn_cast<ICmpInst>(&V); > assert(ICmp && "Only ICmpInst of constant as condition suppor...

...E, BaseValue)&& !AllowNonAffine) > INVALID(AffFunc, "Bad memory address "<< *AccessFunction); > + > > // FIXME: Alias Analysis thinks IntToPtrInst aliases with alloca instructions > // created by IndependentBlocks Pass. > Index: lib/Analysis/TempScopInfo.cpp > =================================================================== > --- lib/Analysis/TempScopInfo.cpp (revision 144978) > +++ lib/Analysis/TempScopInfo.cpp (working copy) > @@ -98,12 +98,20 @@ > dyn_cast<SCEVUnknown>(SE->getPointerBase(AccessFunction)); &gt...

...013 12:29 PM > > To: 'Tobias Grosser' > > Cc: 'llvmdev' > > Subject: Re: [LLVMdev] [LNT] Question about results reliability in LNT > > infrustructure > > > > > > Tobias, > > > > I seem to trigger an assert in Polly lib/Analysis/TempScopInfo.cpp > > > > void TempScopInfo::buildAffineCondition(Value &V, bool inverted, > > Comparison **Comp) const { ... > > ICmpInst *ICmp = dyn_cast<ICmpInst>(&V); > > assert(ICmp && "Only ICmpInst of cons...

...*Operand = dyn_cast<SCEVValue>(getPointerOperand()) if (!Operand) return invalid Value; return Operand->getValue(); > /// @brief Check if a memory access can be part of a Scop. > /// > /// @param Inst The instruction accessing the memory. > --- ./include/polly/TempScopInfo.h 2011-11-13 02:37:59.000000000 +0100 > +++ ../llvm2/tools/polly/./include/polly/TempScopInfo.h 2011-11-13 02:34:47.000000000 +0100 > @@ -45,12 +45,13 @@ > private: > unsigned ElemBytes; > TypeKind Type; > + bool is_affine; I think IsAffine matches more the LLVM coding...

...ually all the test cases I have seem to continue working well, so this code can be removed without problems I think! >>    /// @brief Check if a memory access can be part of a Scop. >>    /// >>    /// @param Inst The instruction accessing the memory. >> --- ./include/polly/TempScopInfo.h      2011-11-13 02:37:59.000000000 >> +0100 >> +++ ../llvm2/tools/polly/./include/polly/TempScopInfo.h 2011-11-13 >> 02:34:47.000000000 +0100 >> @@ -45,12 +45,13 @@ >>  private: >>    unsigned ElemBytes; >>    TypeKind Type; >> +  bool is_affine; &g...

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.

...wNonAffine) >>      INVALID(AffFunc, "Bad memory address "<<  *AccessFunction); >> + >> >>    // FIXME: Alias Analysis thinks IntToPtrInst aliases with alloca >> instructions >>    // created by IndependentBlocks Pass. >> Index: lib/Analysis/TempScopInfo.cpp >> =================================================================== >> --- lib/Analysis/TempScopInfo.cpp       (revision 144978) >> +++ lib/Analysis/TempScopInfo.cpp       (working copy) >> @@ -98,12 +98,20 @@ >>          dyn_cast<SCEVUnknown>(SE->getPo...

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

On 07/01/2013 09:41 AM, Renato Golin wrote: > On 1 July 2013 02:02, Chris Matthews <chris.matthews at apple.com> wrote: > >> One thing that LNT is doing to help “smooth” the results for you is by >> presenting the min of the data at a particular revision, which (hopefully) >> is approximating the actual runtime without noise. >> > > That's an

On 1 July 2013 02:02, Chris Matthews <chris.matthews at apple.com> wrote: > One thing that LNT is doing to help “smooth” the results for you is by > presenting the min of the data at a particular revision, which (hopefully) > is approximating the actual runtime without noise. > That's an interesting idea, as you said, if you run multiple times on every revision. On ARM,

...wNonAffine) >> ? ? ?INVALID(AffFunc, "Bad memory address "<< ?*AccessFunction); >> + >> >> ? ?// FIXME: Alias Analysis thinks IntToPtrInst aliases with alloca >> instructions >> ? ?// created by IndependentBlocks Pass. >> Index: lib/Analysis/TempScopInfo.cpp >> =================================================================== >> --- lib/Analysis/TempScopInfo.cpp ? ? ? (revision 144978) >> +++ lib/Analysis/TempScopInfo.cpp ? ? ? (working copy) >> @@ -98,12 +98,20 @@ >> ? ? ? ? ?dyn_cast<SCEVUnknown>(SE->getPo...