Reviewers: hfinkel, dberlin
Subscribers: mcrosier, llvm-commits
Differential Revision: https://reviews.llvm.org/D37432
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@313170
91177308-0d34-0410-b5e6-
96231b3b80d8
A pointer value is *based* on another pointer value according to the
following rules:
-- A pointer value formed from a ``getelementptr`` operation is *based*
- on the second value operand of the ``getelementptr``.
+- A pointer value formed from a scalar ``getelementptr`` operation is *based* on
+ the pointer-typed operand of the ``getelementptr``.
+- The pointer in lane *l* of the result of a vector ``getelementptr`` operation
+ is *based* on the pointer in lane *l* of the vector-of-pointers-typed operand
+ of the ``getelementptr``.
- The result value of a ``bitcast`` is *based* on the operand of the
``bitcast``.
- A pointer value formed by an ``inttoptr`` is *based* on all pointer