search for: udivexpr

Displaying 8 results from an estimated 8 matches for "udivexpr".

2011 Apr 08
0
[LLVMdev] [GSoC] Increase the coverage of Polly
...gions 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, ZeroExtend and SignExtend correctly, polly can accept much more Scops. > > So I will...
2011 Apr 08
2
[LLVMdev] [GSoC] Increase the coverage of Polly
...r 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, ZeroExtend and > SignExtend correctly, polly can accept much more Scops. &...
2011 Apr 07
3
[LLVMdev] [GSoC] Increase the coverage of Polly
...) 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 test cases indicating that - loops with above-listed types expressions cannot be c...
2011 Apr 08
0
[LLVMdev] [GSoC] Increase the coverage of Polly
...nts ( >>> 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, ZeroExtend and >> SignExtend correctly, polly can accept mu...
2011 Apr 08
1
[LLVMdev] [GSoC] Increase the coverage of Polly
...t;> 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, ZeroExtend and >>> SignExtend c...
2011 Apr 08
1
[LLVMdev] [GSoC] Increase the coverage of Polly
...r 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, ZeroExtend and > SignExtend correctly, polly can accept much more Scops. &...
2011 Apr 05
0
[LLVMdev] [GSoC] Increase the coverage of Polly
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
2011 Apr 03
3
[LLVMdev] [GSoC] Increase the coverage of Polly
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