[LangRef] Mention that freeze does not consider aggregate's paddings
authorJuneyoung Lee <aqjune@gmail.com>
Fri, 17 Jul 2020 02:53:26 +0000 (11:53 +0900)
committerJuneyoung Lee <aqjune@gmail.com>
Fri, 17 Jul 2020 02:53:26 +0000 (11:53 +0900)
commitfd1f8072a863d7d542165c6bec73f415c65b2482
tree60512bde0114f6c69e7ca7d54e437a020e2255c0
parent3a18665748342d8a55c3000dcc2c444ba1de2049
[LangRef] Mention that freeze does not consider aggregate's paddings

Make explicit that freeze does not touch paddings of an aggregate.
(Relevant comment: https://reviews.llvm.org/D83752#2152550)

This implies that `v = freeze(load p); store v, q` may still leave undef bits
or poison in memory if `v` is an aggregate, but it still happens for
non-byte integers such as i1.

Differential Revision: https://reviews.llvm.org/D83927
llvm/docs/LangRef.rst