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

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert added a comment.

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.


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

https://reviews.llvm.org/D82316