================
@@ -15412,19 +15413,35 @@ The ``source`` argument must be annotated with an 
:ref:`elementtype
 type of the element pointed to by the pointer source. This type will be
 used along with the provided indices and source operand to compute a new
 pointer representing the result of a logical indexing into the basetype
-pointed by source.
+pointed to by ``source``.
 
 The ``basetype`` is only associated with ``<source>`` for this particular
 call. A frontend could possibly emit multiple structured
 GEP with the same source pointer but a different ``basetype``.
 
 ``[i32/i64] index, ...``:
 Indices used to traverse into the ``basetype`` and compute a pointer to the
-target element. Indices can be 32-bit or 64-bit unsigned integers. Indices 
being
-handled one by one, both sizes can be mixed in the same instruction. The
+target element. Indices can be 32-bit or 64-bit integers, which are
+treated as signed unless the ``unsigned`` bit is set in that index's flag. As
----------------
krzysz00 wrote:

They mean you're indexing off the left of your thing - such as in a SPIR-V 
robust access context - and you might go to the right again

https://github.com/llvm/llvm-project/pull/200093
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to