<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/57175>57175</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            Aggregate type documentation could be improved?
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          vext01
      </td>
    </tr>
</table>

<pre>
    I'm fairly new to LLVM and I'm just learning that there is more than one "array-like" type in the IR. I'm talking about *arrays* and *vectors*.

During my search to find the difference between these (which I now understand), I encountered the following passage in the [Aggregate types](https://llvm.org/docs/LangRef.html#aggregate-types) section of the language reference:

> Aggregate Types are a subset of derived types that can contain multiple member types. [Arrays](https://llvm.org/docs/LangRef.html#t-array) and [structs](https://llvm.org/docs/LangRef.html#t-struct) are aggregate types. [Vectors](https://llvm.org/docs/LangRef.html#t-vector) are not considered to be aggregate types.

Let's break it down.

## Aggregate Types are a subset of derived types that can contain multiple member types.

I think think this sentence may be incorrect, because an array is an aggregate type that cannot contain multiple member types. There can be only one element type.

Should the sentence instead read?:

> Aggregate Types are a subset of derived types that can contain multiple members.

Or maybe even:

> Some LLVM types can store multiple elements. A subset of these are considered to be "aggregate" types.

## Vectors are not considered to be aggregate types.

After reading the first sentence, a newbie will wonder why this is the case. After all, a vector, like an array, is a collection of elements, yet an array is aggregate and a vector is not.

Well, it did say it's a subset, but some additional clarifying prose may help for people new to LLVM?
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJy1VduOmzAQ_RryYm0E5P7AQ7rbSCttVamt2mdjBnDX2JFtQvn7ztghG9SqDytVQtzsuZyZM8elqcbiOcl3Hau5tGpkGgbmDXt5-f6JcV2xuPizd54p4FZL3TDfco83sMCkY53BJ_7SzGhgSZ5za_n4oOQr4Afz4xm3adrPnr8srw49V6_kipem92h0DEYOX0JUfF5AeGPpzzJJn5L0GO9PvSW7bmQO0xEtJVtLNCH_laxrzEoLYCX4ASCEdZTVfmgl7n5m2gys1xVY5zFSkh-S_BF_o5HptUfr6Ko2SpmBQp25c7y5YUg2H45NY6HhHgI4l2ye0H_r_dklq2OSn_BS6tItjW3wtTICUZxeuG6-QL1sfaeSfMUnHw_RR35AQMJLg2WsQyCFBj0FtnAFRd7vSpGsPrK3VL6RG8axF5y5vnTgyRHilBeCFFZD4wR2ShjtOQLqeuXlWQHroCvBxm3LgDH24z3Q_ENoJkEKvdx8cN72wr_XW7QO7gjdvPgh2e9XrrzPf2Ta5F8bT-VxsopcMEilP4Let-EFMLedY6UF_sqkZ5UZ9GwHRsHr__TqPs4zGkn9-nZ3yCnkNM1Dx0cCIpHm1gKV8xG_Be9xOjBI6BhNM73PwN4SuRbmX7z5FjSBksZQRqOckCSAgg7TCJtm-X5tTa_iuN3ylNp54BWSnlfJ6vTfKT-v4GdLhcLk4QL6L7G_mg6iNkbv5Nh5EsCb2ytarMbxLqkoQ5TqH9wixZwgTYLp_safK8vfx9JjjdoWqhoVHBVOogTeCk984KT-pQQ2SKXYYEgl2dCOkUrSBTPBHSC24I4rFe2mEXpkJPs3QtEP4hSmqtSbuk0louUR6zPj3w0DacfkmVYQ8gzRD4jRaeJkxRzZx0mc2BA4jseLo67xqpKUAFdMKG5lPQZxt8bF4WhBnVH1LTuDoT7eHYTIwwUU2Xab4pWmh0VVrKrD6sAXXnoFxfw8wPkXPeHjAa8IHKfR6zAYEpO89VYVc51qpG_7cilMdxWt6-MBjX6GeT1J53o6KU6bXbbbLNoiK-s9F9tsJ9YAabXZVDXPs_223JZ5xve7heIlKFegQqI0LmSRp3me7rNtts636_0yrdd7kYnVKs3W27LcJOsUOi7VchLNhS1CDmXfOFxU0iGvb4t4LspGA0z-ee9bY4sL_PJptgjZFiHV30Ltz44">