[all-commits] [llvm/llvm-project] 6a390c: [clang] ``noconvergent`` does not affect calls to ...

[Sameer Sahasrabuddhe via All-commits]

  Branch: refs/heads/users/ssahasra/clarify-noconvergent
  Home:   https://github.com/llvm/llvm-project
  Commit: 6a390c2cf3ec17587ded6d359f48abbbe976a5ac
      https://github.com/llvm/llvm-project/commit/6a390c2cf3ec17587ded6d359f48abbbe976a5ac
  Author: Sameer Sahasrabuddhe <sameer.sahasrabuddhe at amd.com>
  Date:   2025-03-24 (Mon, 24 Mar 2025)

  Changed paths:
    M clang/include/clang/Basic/AttrDocs.td

  Log Message:
  -----------
  [clang] ``noconvergent`` does not affect calls to convergent functions

When placed on a function, the ``clang::noconvergent`` attribute ensures that
the function is not assumed to be convergent. But the same attribute has no
effect on function calls. A call is convergent if the callee is convergent. This
is based on the fact that in LLVM, a call always inherits all the attributes of
the callee. Only ``convergent`` is an attribute in LLVM IR, and there is no
equivalent of ``clang::noconvergent``.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications