Displaying 5 results from an estimated 5 matches for "iv41".
Did you mean:
iv1
2016 Jul 25
3
Alias Analysis with inbound GEPs
Hi,
I'm checking aliasing of two pointers:
%GEP1 = getelementptr inbounds %struct.s, %struct.s* %0, i64 0, i32 1, i64 %indvars.iv41, i64 %indvars.iv39
%GEP2 = getelementptr inbounds %struct.s, %struct.s* %0, i64 0, i32 16
The result I got is "PartialAlias" because the indices of the GEP1 are variable. Shouldn't the "inbounds" keyword mean that the access to sub-array is also in-bounds?
I'm trying...
2016 Jul 26
2
Alias Analysis with inbound GEPs
...lt;llvm-dev at lists.llvm.org>
> Sent: Monday, July 25, 2016 9:45:55 AM
> Subject: [llvm-dev] Alias Analysis with inbound GEPs
>
> Hi,
>
> I’m checking aliasing of two pointers:
>
> %GEP1 = getelementptr inbounds %struct.s, %struct.s* %0, i64 0, i32 1, i64 %indvars.iv41, i64 %indvars.iv39
> %GEP2 = getelementptr inbounds %struct.s, %struct.s* %0, i64 0, i32 16
>
> The result I got is “PartialAlias” because the indices of the GEP1 are variable.
> That seems like a bug. PartialAlias should only be returned when we can prove a partial overlap. Otherwi...
2016 Jul 25
2
Alias Analysis with inbound GEPs
I’m checking aliasing of two pointers:
%GEP1 = getelementptr inbounds %struct.s, %struct.s* %0, i64 0, i32 1, i64 %indvars.iv41, i64 %indvars.iv39
%GEP2 = getelementptr inbounds %struct.s, %struct.s* %0, i64 0, i32 16
The result I got is “PartialAlias” because the indices of the GEP1 are variable.
That seems like a bug. PartialAlias should only be returned when we can prove a partial overlap. Otherwise, MayAlias should b...
2016 Jul 25
4
Alias Analysis with inbound GEPs
...E: [llvm-dev] Alias Analysis with inbound GEPs
>>>
>>>
>>>>
>>>> I’m checking aliasing of two pointers:
>>>>
>>>>
>>>>
>>>> %GEP1 = getelementptr inbounds %struct.s, %struct.s* %0, i64 0, i32 1, i64 %indvars.iv41, i64 %indvars.iv39
>>>>
>>>> %GEP2 = getelementptr inbounds %struct.s, %struct.s* %0, i64 0, i32 16
>>>>
>>>>
>>>>
>>>> The result I got is “PartialAlias” because the indices of the GEP1 are variable.
>>>
>>>...
2016 Jul 26
2
Alias Analysis with inbound GEPs
...gt; >>>
> >>>>
> >>>> I’m checking aliasing of two pointers:
> >>>>
> >>>>
> >>>>
> >>>> %GEP1 = getelementptr inbounds %struct.s, %struct.s* %0, i64 0,
> >>>> i32 1, i64 %indvars.iv41, i64 %indvars.iv39
> >>>>
> >>>> %GEP2 = getelementptr inbounds %struct.s, %struct.s* %0, i64 0,
> >>>> i32 16
> >>>>
> >>>>
> >>>>
> >>>> The result I got is “PartialAlias” because the in...