Displaying 1 result from an estimated 1 matches for "p_int".
Did you mean:
u_int
2016 May 26
0
Clarifying pointer aliasing rules
...resses can be used to access multiple objects.
I am not sure if this interpretation of this clause is what is intended by both
the community and what is currently implemented in code.
Here's an example in psuedo IR to demonstrate this point (assume all
pointers are i8*):
p = alloca
q = alloca
p_int = ptrtoint p
q_int = ptrtoint q
p_or_q_int = select ( p < q ) p q
pq_diff = select ( p < q ) ( q - p ) ( p - q )
p_or_q = inttoptr p_or_q_int
x = gep p_or_q pq_diff
load x
Due to a control dependency, both "p" and "q" contribute to the
computation of "p_or_q_int"...