mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2025-01-31 20:51:52 +01:00
Clarify that the rules about object hopping kick in when a pointer is
deferenced, rather than when the pointer value is computed. llvm-svn: 96596
This commit is contained in:
parent
a3a061eab9
commit
d6397d8097
@ -44,10 +44,10 @@
|
||||
where it doesn't do this. With GEP you can avoid this problem.
|
||||
|
||||
<p>Also, GEP carries additional pointer aliasing rules. It's invalid to take a
|
||||
GEP from one object and address into a different separately allocated
|
||||
object. IR producers (front-ends) must follow this rule, and consumers
|
||||
(optimizers, specifically alias analysis) benefit from being able to rely
|
||||
on it.</p>
|
||||
GEP from one object, address into a different separately allocated
|
||||
object, and deference it. IR producers (front-ends) must follow this rule,
|
||||
and consumers (optimizers, specifically alias analysis) benefit from being
|
||||
able to rely on it.</p>
|
||||
|
||||
<p>And, GEP is more concise in common cases.</p>
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user