search for: affinesceviterator

...at to detect scops firstly we search for regions in CFG ( by > RegionInfo ) and then select regions that answer some requirements ( > in ScopDetection ). Because only affine expressions in conditions and > bounds are permissible, we trying to get scalar expressions into > affine form by AffineSCEVIterator. At present there plugs for scev > types Truncate, ZeroExtend, SignExtend, UDivExpr, UMaxExpr , SMaxExpr. > Also there are no support for wrap flags NUW, NSW, NW. It can be > unsafe if we doesn't provide this information in polly IR. Yes, if AffineSCEVIterator can iterate Truncate, Zer...

Hi. I see that to detect scops firstly we search for regions in CFG ( by RegionInfo ) and then select regions that answer some requirements ( in ScopDetection ). Because only affine expressions in conditions and bounds are permissible, we trying to get scalar expressions into affine form by AffineSCEVIterator. At present there plugs for scev types Truncate, ZeroExtend, SignExtend, UDivExpr, UMaxExpr , SMaxExpr. Also there are no support for wrap flags NUW, NSW, NW. It can be unsafe if we doesn't provide this information in polly IR. So I will mainly improve AffineSCEVIterator. Now I should to show...

...ps firstly we search for regions in CFG ( by >> RegionInfo ) and then select regions that answer some requirements ( >> in ScopDetection ). Because only affine expressions in conditions and >> bounds are permissible, we trying to get scalar expressions into >> affine form by AffineSCEVIterator. At present there plugs for scev >> types Truncate, ZeroExtend, SignExtend, UDivExpr, UMaxExpr , SMaxExpr. >> Also there are no support for wrap flags NUW, NSW, NW. It can be >> unsafe if we doesn't provide this information in polly IR. > Yes, if AffineSCEVIterator can iter...

...ps firstly we search for regions in CFG ( by >> RegionInfo ) and then select regions that answer some requirements ( >> in ScopDetection ). Because only affine expressions in conditions and >> bounds are permissible, we trying to get scalar expressions into >> affine form by AffineSCEVIterator. At present there plugs for scev >> types Truncate, ZeroExtend, SignExtend, UDivExpr, UMaxExpr , SMaxExpr. >> Also there are no support for wrap flags NUW, NSW, NW. It can be >> unsafe if we doesn't provide this information in polly IR. > Yes, if AffineSCEVIterator can iter...

...arch for regions in CFG ( by >>> RegionInfo ) and then select regions that answer some requirements ( >>> in ScopDetection ). Because only affine expressions in conditions and >>> bounds are permissible, we trying to get scalar expressions into >>> affine form by AffineSCEVIterator. At present there plugs for scev >>> types Truncate, ZeroExtend, SignExtend, UDivExpr, UMaxExpr , SMaxExpr. >>> Also there are no support for wrap flags NUW, NSW, NW. It can be >>> unsafe if we doesn't provide this information in polly IR. >> Yes, if AffineSCEVI...

...in CFG ( by >>>> RegionInfo ) and then select regions that answer some requirements ( >>>> in ScopDetection ). Because only affine expressions in conditions and >>>> bounds are permissible, we trying to get scalar expressions into >>>> affine form by AffineSCEVIterator. At present there plugs for scev >>>> types Truncate, ZeroExtend, SignExtend, UDivExpr, UMaxExpr , SMaxExpr. >>>> Also there are no support for wrap flags NUW, NSW, NW. It can be >>>> unsafe if we doesn't provide this information in polly IR. >>> &gt...

On 04/04/2011 12:23 AM, Vlad Krylov wrote: > > Hi. Hi Vlad, first of all it seems the conflict with raghesh was already solved. Nice. Regarding your draft. It looks like a reasonable first version, but it obviously needs to be extended for the final application. I would also recommend to install Polly and try to find the first test cases that cannot be handled. Some comments to your

Hi. My plan would be: 1w Study sources of Polly and LLVM docs relating to analysis. 2w Create tests which demonstrate problems with NSW/NUW 3-4w Fix the handling of wrap overflows. 5w Complete middle term paperwork. 6w Create tests for each of cases which are not currently optimized (e.g. have min/max, sext/zext, trunc or unsigned comparisons in the loop bounds or memory accesses). 7w Learn how