[all-commits] [llvm/llvm-project] 1bcadb: [LangRef] clarify the semantics of nocapture

[Juneyoung Lee via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 1bcadb0984e7676cb3539c42747d61d4633fd78e
      https://github.com/llvm/llvm-project/commit/1bcadb0984e7676cb3539c42747d61d4633fd78e
  Author: Juneyoung Lee <aqjune at gmail.com>
  Date:   2021-04-16 (Fri, 16 Apr 2021)

  Changed paths:
    M llvm/docs/LangRef.rst

  Log Message:
  -----------
  [LangRef] clarify the semantics of nocapture

This patch clarifies the semantics of nocapture attribute.

A 'Pointer Capture' subsection is added to describe the semantics of pointer capture first.

For the nocapture example with two same pointer arguments, it is consistent with the semantics that Alive2 used to run lit tests.

Reviewed By: nlopes

Differential Revision: https://reviews.llvm.org/D97924