[all-commits] [llvm/llvm-project] b11ef3: [LangRef] Remove module flag description that does...

[Johannes Doerfert via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b11ef3a575c21a17f48de2ab3696bd5118b355e1
      https://github.com/llvm/llvm-project/commit/b11ef3a575c21a17f48de2ab3696bd5118b355e1
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2023-08-29 (Tue, 29 Aug 2023)

  Changed paths:
    M llvm/docs/LangRef.rst
    M llvm/test/Transforms/GlobalDCE/virtual-functions-visibility-pre-lto.ll

  Log Message:
  -----------
  [LangRef] Remove module flag description that does not exist anymore

After https://reviews.llvm.org/D153655, LTOPostLink metadata is not a
thing anymore.


  Commit: 936661084c0413d877088f73f2fb7f6d0e1e6643
      https://github.com/llvm/llvm-project/commit/936661084c0413d877088f73f2fb7f6d0e1e6643
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2023-08-29 (Tue, 29 Aug 2023)

  Changed paths:
    M llvm/include/llvm/Transforms/IPO/Attributor.h
    M llvm/lib/Transforms/IPO/Attributor.cpp
    M llvm/lib/Transforms/IPO/AttributorAttributes.cpp

  Log Message:
  -----------
  [Attributor][NFC] Add querying AA to shouldSpecializeCallSiteForCallee

The callback might require an AA, e.g., to ask other AAs for information
in a way that will enfore dependences.


  Commit: 498887ae8a354461bcff9c37b50dd407f2f1ed64
      https://github.com/llvm/llvm-project/commit/498887ae8a354461bcff9c37b50dd407f2f1ed64
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2023-08-29 (Tue, 29 Aug 2023)

  Changed paths:
    M llvm/include/llvm/Transforms/IPO/Attributor.h
    M llvm/lib/Transforms/IPO/Attributor.cpp
    M llvm/lib/Transforms/IPO/AttributorAttributes.cpp
    M llvm/test/Transforms/Attributor/callgraph.ll

  Log Message:
  -----------
  [Attributor] Introduce the closed world flag

The Attributor user can now set the closed world flag
(`AttributorConfig.IsClosedWorldModule` or
`-attributor-assume-closed-world`) in order to specialize call edges
based only on available callees. That means, we assume all functions are
known and hence all potential callees must be declared/defined in the
module. We will use this for GPUs and LTO cases, but for now the user
has to set it via a flag.


Compare: https://github.com/llvm/llvm-project/compare/fdef7952cbc2...498887ae8a35