[PATCH] D86189: [LangRef] State that storing an aggregate fills padding with undef

Juneyoung Lee via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Sat Aug 22 01:18:51 PDT 2020


aqjune marked an inline comment as done.
aqjune added inline comments.


================
Comment at: llvm/docs/LangRef.rst:9242
+If the value being loaded is of aggregate type, the bytes that correspond to
+padding is not read, because it is impossible to observe padding from the
+loaded aggregate value.
----------------
efriedma wrote:
> "is not read" might be a little strong; I'm not sure we want to promise the generated code won't access the address in question, just that the bytes in question aren't part of the value representation.
Yes, what I intended to say was that it is accessed but not participate into the returned value. Updated the sentence


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D86189/new/

https://reviews.llvm.org/D86189



More information about the llvm-commits mailing list