Displaying 7 results from an estimated 7 matches for "isl_space".
2013 Jul 28
0
[LLVMdev] [Polly] Analysis of the expensive compile-time overhead of Polly Dependence pass
...en found previously in the base expression.
> int dimension = Parameters.size();
>
> Parameters.push_back(Parameter);
> @@ -777,9 +813,9 @@ void Scop::addParameterBounds() {
>
> void Scop::realignParams() {
> // Add all parameters into a common model.
> - isl_space *Space = isl_space_params_alloc(IslCtx, ParameterIds.size());
> + isl_space *Space = isl_space_params_alloc(IslCtx, ParameterIdsSpace.size());
>
> - for (ParamIdType::iterator PI = ParameterIds.begin(), PE = ParameterIds.end();
> + for (ParamIdType::iterator PI = ParameterIdsSpace.be...
2013 Jul 26
6
[LLVMdev] [Polly] Analysis of the expensive compile-time overhead of Polly Dependence pass
Hi Sebastian,
Recently, I found the "Polly - Calculate dependences" pass would lead to significant compile-time overhead when compiling some loop-intensive source code. Tobias told me you found similar problem as follows:
http://llvm.org/bugs/show_bug.cgi?id=14240
My evaluation shows that "Polly - Calculate dependences" pass consumes 96.4% of total compile-time overhead
2011 Nov 14
1
[LLVMdev] How to make Polly ignore some non-affine memory accesses
...s here. But why always setting
the type to may-write? A read should remain a read (as there is no
difference between read and may-read).
> + AccessRelation = isl_map_from_basic_map(createBasicAccessMap(Statement));
> + }
> +}
>
> void MemoryAccess::realignParams() {
> isl_space *ParamSpace = statement->getParent()->getParamSpace();
> --- ./lib/Analysis/TempScopInfo.cpp 2011-11-13 02:38:06.000000000 +0100
> +++ ../llvm2/tools/polly/./lib/Analysis/TempScopInfo.cpp 2011-11-13 02:35:22.000000000 +0100
> @@ -98,13 +98,24 @@
> dyn_cast<SCEVUnknown...
2013 Jul 29
0
[LLVMdev] [Polly] Analysis of the expensive compile-time overhead of Polly Dependence pass
On 07/29/2013 09:15 AM, Sven Verdoolaege wrote:
> On Mon, Jul 29, 2013 at 07:37:14AM -0700, Tobias Grosser wrote:
>> On 07/29/2013 03:18 AM, Sven Verdoolaege wrote:
>>> On Sun, Jul 28, 2013 at 04:42:25PM -0700, Tobias Grosser wrote:
>>>> Sven: In terms of making the behaviour of isl easier to understand,
>>>> it may make sense to fail/assert in case
2013 Jul 31
1
[LLVMdev] [Polly] Analysis of the expensive compile-time overhead of Polly Dependence pass
Hi Tobias and Sven,
Thanks for your discussion and suggestion.
@Sven: ISL actually allows users to have different identifiers with the same name. The problem that we have discussed is caused by incorrect usage of isl_space in Polly, so please do not worry about ISL library. You can skip the following information related to Polly implementation.
@Tobias and Polly developers:
I have attached a patch file to fix this problem. The key idea is to keep ISL library always seeing the same single parameter for those memory...
2011 Nov 14
0
[LLVMdev] How to make Polly ignore some non-affine memory accesses
...don't know how this reverted back to this way in the
patch for the new version , I'll get it fixed.
>> + AccessRelation =
>> isl_map_from_basic_map(createBasicAccessMap(Statement));
>> + }
>> +}
>>
>> void MemoryAccess::realignParams() {
>> isl_space *ParamSpace = statement->getParent()->getParamSpace();
>> --- ./lib/Analysis/TempScopInfo.cpp 2011-11-13 02:38:06.000000000
>> +0100
>> +++ ../llvm2/tools/polly/./lib/Analysis/TempScopInfo.cpp 2011-11-13
>> 02:35:22.000000000 +0100
>> @@ -98,13 +98,24...
2011 Nov 02
5
[LLVMdev] How to make Polly ignore some non-affine memory accesses
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