[all-commits] [llvm/llvm-project] 578ab3: [Attributor][NFCI] Use a uniform necessary query t...

[Johannes Doerfert via All-commits]

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

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

  Log Message:
  -----------
  [Attributor][NFCI] Use a uniform necessary query to avoid a unique one

If we cannot reach the target from the entry of a function without
exclusion set, we cannot reach it at all. This can allow us to filter
unique queries based on a uniform one.


  Commit: 4fd9874696a48d8a8b6dbe3ca2e9252d2cec2714
      https://github.com/llvm/llvm-project/commit/4fd9874696a48d8a8b6dbe3ca2e9252d2cec2714
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2023-08-03 (Thu, 03 Aug 2023)

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

  Log Message:
  -----------
  [Attributor][NFCI] Exit reachability queries early if the target is not live


  Commit: 2a20c64a73b8b29ca0e3638a068217d1eac653d7
      https://github.com/llvm/llvm-project/commit/2a20c64a73b8b29ca0e3638a068217d1eac653d7
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2023-08-03 (Thu, 03 Aug 2023)

  Changed paths:
    M llvm/lib/Transforms/IPO/AttributorAttributes.cpp
    M llvm/test/Transforms/Attributor/noalias.ll

  Log Message:
  -----------
  [Attributor][NFCI] Use DominatorTree to short circuit reachability queries

If we do not have exlusion blocks and the target is live, we only need
to reach a dominating block.


  Commit: 78daab0a85a9d1055d0060897779d1caada37df4
      https://github.com/llvm/llvm-project/commit/78daab0a85a9d1055d0060897779d1caada37df4
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2023-08-03 (Thu, 03 Aug 2023)

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

  Log Message:
  -----------
  [Attributor][NFCI] Compute ReachabilityQueryInfo hash once and on demand


Compare: https://github.com/llvm/llvm-project/compare/6eb2c17cc866...78daab0a85a9