================ @@ -15439,33 +15456,43 @@ The first index determines which element/field of ``basetype`` is selected, computes the pointer to access this element/field assuming ``source`` points to the start of ``basetype``. This pointer becomes the new ``source``, the current type the new -``basetype``, and the next indices is consumed until a scalar type is +``basetype``, and the next index is consumed until a scalar type is reached or all indices are consumed. -All indices must be consumed, and it is illegal to index into a scalar type. -Meaning the maximum number of indices depends on the depth of the basetype. - -Because this instruction performs a logical addressing, all indices are -assumed to be inbounds. This means it is not possible to access the next -element in the logical layout by overflowing: - -- If the indexed type is a struct with N fields, the index must be an - immediate/constant value in the range ``[0; N[``. -- If indexing into an array or vector, the index can be a variable, but - is assumed to be inbounds with regards to the current basetype logical layout. -- If the traversed type is an array or vector of N elements with ``N > 0``, - the index is assumed to belong to ``[0; N[``. -- If the traversed type is an array of size ``0``, the array size is assumed - to be known at runtime, and the instruction assumes the index is always - inbounds. - -In all cases **except** when the accessed type is a 0-sized array, indexing -out of bounds yields `poison`. When the index value is unknown, optimizations -can use the type bounds to determine the range of values the index can have. +All indices must be consumed, and it is illegal to index into a scalar type, +meaning the maximum number of indices depends on the depth of the basetype. + +If the indexed type is a struct with N fields, the index must be an +integer constant in the range ``[0, N)``. ---------------- krzysz00 wrote:
Yeah, it's the usual American notation. I'll fix it for consistency https://github.com/llvm/llvm-project/pull/200093 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
