[PATCH] D82316: [LangRef] Add `noundef` attribute to documentation

[Evgenii Stepanov via Phabricator via llvm-commits]

eugenis added a comment.

In D82316#2117857 <https://reviews.llvm.org/D82316#2117857>, @jdoerfert wrote:

> I think, we could even remove the padding sentence and say "undefined or poison" bits. The latter seems to match our existing language. The former should be OK because a value of type `{ i8, i32 }` has 8 + 32 bits. The fact that the store and alloca size is different does not mean the value has undefined bits. If people agree with this interpretation we could also add a sentence explaining this difference.


That matches my understanding as well.

We could also add a note that value bits here explicitly do NOT mean storage representation to avoid any misunderstanding.


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

https://reviews.llvm.org/D82316