Displaying 7 results from an estimated 7 matches for "accessrelation".
2011 Nov 19
0
[LLVMdev] How to make Polly ignore some non-affine memory accesses
...ious
> - // again.
> - isl_int v;
> - isl_int_init(v);
> - isl_int_set_si(v, Access.getElemSizeInBytes());
> - Affine = isl_pw_aff_scale_down(Affine, v);
> - isl_int_clear(v);
> + isl_pw_aff *Affine = SCEVAffinator::getPwAff(Statement, Access.getOffset());
>
> - AccessRelation = isl_map_from_pw_aff(Affine);
> - AccessRelation = isl_map_set_tuple_name(AccessRelation, isl_dim_in,
> - Statement->getBaseName());
> - AccessRelation = isl_map_set_tuple_name(AccessRelation, isl_dim_out,
> -...
2011 Nov 18
5
[LLVMdev] How to make Polly ignore some non-affine memory accesses
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.
2011 Nov 20
2
[LLVMdev] How to make Polly ignore some non-affine memory accesses
...t v;
>> - isl_int_init(v);
>> - isl_int_set_si(v, Access.getElemSizeInBytes());
>> - Affine = isl_pw_aff_scale_down(Affine, v);
>> - isl_int_clear(v);
>> + isl_pw_aff *Affine = SCEVAffinator::getPwAff(Statement,
>> Access.getOffset());
>>
>> - AccessRelation = isl_map_from_pw_aff(Affine);
>> - AccessRelation = isl_map_set_tuple_name(AccessRelation, isl_dim_in,
>> - Statement->getBaseName());
>> - AccessRelation = isl_map_set_tuple_name(AccessRelation, isl_dim_out,
>> - ...
2011 Nov 21
0
[LLVMdev] How to get ELF section virtual starting address from MCSymbolRefExpr?
...t v;
>> - ?isl_int_init(v);
>> - ?isl_int_set_si(v, Access.getElemSizeInBytes());
>> - ?Affine = isl_pw_aff_scale_down(Affine, v);
>> - ?isl_int_clear(v);
>> + ? ?isl_pw_aff *Affine = SCEVAffinator::getPwAff(Statement,
>> Access.getOffset());
>>
>> - ?AccessRelation = isl_map_from_pw_aff(Affine);
>> - ?AccessRelation = isl_map_set_tuple_name(AccessRelation, isl_dim_in,
>> - ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?Statement->getBaseName());
>> - ?AccessRelation = isl_map_set_tuple_name(AccessRelation, isl_dim_out,
>> - ? ? ? ? ? ? ?...
2011 Nov 14
1
[LLVMdev] How to make Polly ignore some non-affine memory accesses
...)
> + {
This should be
if (Access.isAffine()) {
> +
> + isl_pw_aff *Affine = SCEVAffinator::getPwAff(Statement, Access.getOffset());
> +
> setBaseName();
>
> // Devide the access function by the size of the elements in the array.
> @@ -334,6 +338,12 @@
> AccessRelation = isl_map_set_tuple_name(AccessRelation, isl_dim_out,
> getBaseName().c_str());
> }
> + else
> + {
this should be
} else {
> + Type = MayWrite;
You are right, we should use may-accesses here. But why always setting
the type...
2011 Nov 14
0
[LLVMdev] How to make Polly ignore some non-affine memory accesses
...ne()) {
>
>
>> +
>> + isl_pw_aff *Affine = SCEVAffinator::getPwAff(Statement,
>> Access.getOffset());
>> +
>> setBaseName();
>>
>> // Devide the access function by the size of the elements in the array.
>> @@ -334,6 +338,12 @@
>> AccessRelation = isl_map_set_tuple_name(AccessRelation, isl_dim_out,
>> getBaseName().c_str());
>> }
>> + else
>> + {
>
> this should be
> } else {
>
>> + Type = MayWrite;
>
> You are right, we should use may-acces...
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