[PATCH] Use ScalarEvolution to create tight bounds on the parameters

[Tobias Grosser]

On 12.02.2015 16:49, Sebastian Pop wrote:
> On Thu, Feb 12, 2015 at 2:03 AM, Johannes Doerfert
> <doerfert at cs.uni-saarland.de> wrote:
>> Index: test/ScopInfo/ranged_parameter.ll
>> ===================================================================
>> --- /dev/null
>> +++ test/ScopInfo/ranged_parameter.ll
>> @@ -0,0 +1,38 @@
>> +; RUN: opt %loadPolly -polly-scops -analyze < %s | FileCheck %s
>> +;
>> +; CHECK: Context:
>> +; CHECK:   [p_0] -> {  : p_0 >= 0 and p_0 <= 255 }
>> +;
>> +;    void jd(int *A, int *p /* in [0,256) */) {
>
> I don't see A statically defined, so we don't know its size, and so I wonder
> what information do we look at to compute that *p is in [0,256)?

Hi Johannes,

I would be interested in an answer to this question as well.

Tobias