[PATCH] D97924: [LangRef] clarify the semantics of nocapture
    Juneyoung Lee via Phabricator via llvm-commits 
    llvm-commits at lists.llvm.org
       
    Tue Apr 13 19:54:41 PDT 2021
    
    
  
aqjune added inline comments.
================
Comment at: llvm/docs/LangRef.rst:2691
+      store i8* %c,   i8** @glb3
+      call void @g() ; If @g makes a copy of %c that outlives this call (@f), %c is captured
+      store i8* null, i8** @glb3
----------------
To clarify the case when `@f` calls another function, I added this.
If `@g` does not capture pointer (e.g. readnone & willreturn), calling `@g` is fine.
Does this make sense & is consistent with people's understanding?
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