[PATCH] D136929: [Statepoint] Use default attributes for some GC intrinsics

[Anna Thomas via Phabricator via llvm-commits]

anna added a comment.

All attributes added here look right to me for the proposed intrinsics (and cannot be added for gc.statepoint). The `nosync` is a bit tricky.
nosync from langref:

  This function attribute indicates that the function does not communicate (synchronize) with another thread through memory or other well-defined means. 

gc.relocates are a way to make sure that past a gc.statepoint, we do not use the original pointers, we use the relocated pointers. There is no ordering requirement w.r.t. other threads (that is already provided for through the statepoint intrinsic).


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

https://reviews.llvm.org/D136929