Displaying 5 results from an estimated 5 matches for "buildconditionsets".
2011 Nov 03
0
[LLVMdev] How to make Polly ignore some non-affine memory accesses
...rns a SCEVCouldNotCompute, but if I change the "if" block
> inside the loop from:
> if (i+j> 1000)
> to:
> if (i> 1000)
>
> that SCEV results valid.
>
> Later in the ScopInfo pass it crashes analyzing the SCEV of the
> comparison expression (in buildConditionSets ) . It's like if it
> recognizes that "i" is a recurring expression that depends on the
> execution of a loop, but can't derive that loop, and segfaults in
> getLoopDepth ...
>
> Seems like a bug of the SCEV engine to me., but I'm not sure :(
Hi Marcello,
sorr...
2011 Nov 01
0
[LLVMdev] How to make Polly ignore some non-affine memory accesses
Mmm, this code seems to kill polly:
#include <stdio.h>
#include <stdlib.h>
int main()
{
char *B;
int i,j,k,h;
const int x = 0, y=0;
B = (char *)malloc(sizeof(char)*1024*1024);
for (i = 1; i < 1024; i++)
for (j = 1; j < 1024; j++)
{
if (i+j > 1000)
B[j] = i;
}
printf("Random Value: %d", B[rand() % 1024*1024]);
return 0;
}
running:
opt
2011 Oct 27
2
[LLVMdev] How to make Polly ignore some non-affine memory accesses
Perfect, thank you very much :)
2011/10/26 Tobias Grosser <tobias at grosser.es>:
> On 10/24/2011 11:32 PM, Marcello Maggioni wrote:
>>
>> Strange , with --enable-shared (I use auto tool by the way ...) it gives:
>>
>> MacBook-Pro-di-Marcello:examples Kariddi$ ./compile_ex.sh
>> not_so_simple_loop
>> clang (LLVM option parsing): Unknown command line
2011 Nov 02
5
[LLVMdev] How to make Polly ignore some non-affine memory accesses
...t = SE->getBackedgeTakenCount(L);
It returns a SCEVCouldNotCompute, but if I change the "if" block
inside the loop from:
if (i+j > 1000)
to:
if (i > 1000)
that SCEV results valid.
Later in the ScopInfo pass it crashes analyzing the SCEV of the
comparison expression (in buildConditionSets ) . It's like if it
recognizes that "i" is a recurring expression that depends on the
execution of a loop, but can't derive that loop, and segfaults in
getLoopDepth ...
Seems like a bug of the SCEV engine to me., but I'm not sure :(
2011/11/1 Marcello Maggioni <hayarms a...
2011 Nov 14
0
[LLVMdev] How to make Polly ignore some non-affine memory accesses
...t;>> inside the loop from:
>>> if (i+j> 1000)
>>> to:
>>> if (i> 1000)
>>>
>>> that SCEV results valid.
>>>
>>> Later in the ScopInfo pass it crashes analyzing the SCEV of the
>>> comparison expression (in buildConditionSets ) . It's like if it
>>> recognizes that "i" is a recurring expression that depends on the
>>> execution of a loop, but can't derive that loop, and segfaults in
>>> getLoopDepth ...
>>>
>>> Seems like a bug of the SCEV engine to me., but...