[PATCH] D97924: [LangRef] clarify the semantics of nocapture

Nuno Lopes via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Tue Apr 13 07:43:00 PDT 2021


nlopes added inline comments.


================
Comment at: llvm/docs/LangRef.rst:2671
+that is readable by the caller or subsequent function calls, such as a global
+variable or the caller's register.
+
----------------
let's make it explicit the pointer only escapes if that information is readable by the caller after the function exits. To account for the fact that information can be overwritten.
Maybe complement the example below to have something like:
   store i32 %j, i32* @glb ; escapes %a
   store i32 0, i32* @glb ; %a is not escaped anymore


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D97924



More information about the llvm-commits mailing list