search for: next_elt

...uld keep GEP essentially the same, but disassociate the type being GEPd over from the type of the operands. So, assuming the new ptr type is spelled "ptr", we could use this syntax: %inner.ptr = getelementptr ptr, ptr %x, i32 1 Or if I was adding 1 to a "struct A*" value in C: %next_elt = getelementptr %struct.A, ptr %x, i32 1 Ditto for all other instructions that care about pointee types, like load and store: %v = load i32, ptr %p ; loads already know (and store!) their loaded type internally store i32 %v, ptr %p ; no need to duplicate that %p points to, we have the type on %v...

...ally the same, but disassociate the type being GEPd over from the type of the operands. So, assuming the new ptr type is spelled "ptr", we could use this syntax: > %inner.ptr = getelementptr ptr, ptr %x, i32 1 > > Or if I was adding 1 to a "struct A*" value in C: > %next_elt = getelementptr %struct.A, ptr %x, i32 1 > > Ditto for all other instructions that care about pointee types, like load and store: > %v = load i32, ptr %p ; loads already know (and store!) their loaded type internally > store i32 %v, ptr %p ; no need to duplicate that %p points to, we h...

...he >> type being GEPd over from the type of the operands. So, assuming the new >> ptr type is spelled "ptr", we could use this syntax: >> %inner.ptr = getelementptr ptr, ptr %x, i32 1 >> >> Or if I was adding 1 to a "struct A*" value in C: >> %next_elt = getelementptr %struct.A, ptr %x, i32 1 >> >> Ditto for all other instructions that care about pointee types, like load >> and store: >> %v = load i32, ptr %p ; loads already know (and store!) their loaded type >> internally >> store i32 %v, ptr %p ; no need to...

It's an idea been thrown around in a few different threads (including Rafael's recent http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20141201/247285.html and Chandler's http://llvm.org/viewvc/llvm-project?rev=226781&view=rev ) so I'm putting up my hand to volunteer to do the work & interested in getting a bit more feedback, thoughts on best approaches, timing,