[all-commits] [llvm/llvm-project] c87c37: [LangRef] Clarify GEP inbounds wrapping semantics

Nikita Popov via All-commits all-commits at lists.llvm.org
Fri Nov 13 08:50:05 PST 2020


  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: c87c37509692c35c6923bd09b293eb550830ad85
      https://github.com/llvm/llvm-project/commit/c87c37509692c35c6923bd09b293eb550830ad85
  Author: Nikita Popov <nikita.ppv at gmail.com>
  Date:   2020-11-13 (Fri, 13 Nov 2020)

  Changed paths:
    M llvm/docs/LangRef.rst

  Log Message:
  -----------
  [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




More information about the All-commits mailing list