[LangRef] Clarify GEP inbounds wrapping semantics
authorNikita Popov <nikita.ppv@gmail.com>
Tue, 3 Nov 2020 19:39:50 +0000 (20:39 +0100)
committerNikita Popov <nikita.ppv@gmail.com>
Fri, 13 Nov 2020 16:49:41 +0000 (17:49 +0100)
commitc87c37509692c35c6923bd09b293eb550830ad85
tree4023f797c924501c418a99f5c90013db2c48d7e2
parent27e9f0f95ef7b144d008bc1cf1459dced6cb5842
[LangRef] Clarify GEP inbounds wrapping semantics

Clarify the semantics of GEP inbounds, in particular with regard
to what it means for wrapping. This cleans up some confusion on
when it is legal to apply nuw/nsw flags to various parts of the
GEP calculation.

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