[PATCH] D47747: [LangRef] Clarify "undefined" for various instructions.

[Eli Friedman via Phabricator via llvm-commits]

efriedma created this revision.
efriedma added reviewers: nlopes, dberlin, hfinkel.

Some places in LangRef say something like "the result is undefined"; instead, state what happens more explicitly. Some places don't say at all what happens when an invariant is violated; readers should assume the behavior is undefined, but clarify that in a few places related to memory accesses, where it might be confusing since some loads return undef or poison.

Not sure I've chosen the right resolution to all these cases; we might want to change some of these to return poison instead.


Repository:
  rL LLVM

https://reviews.llvm.org/D47747

Files:
  docs/LangRef.rst

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D47747.149866.patch
Type: text/x-patch
Size: 14805 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20180604/af3afbaf/attachment.bin>