search for: iv41

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. >>> >>&gt...
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...