[all-commits] [llvm/llvm-project] 5eba78: [Attributor] Use checkForAllUses instead of custom...

[Johannes Doerfert via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 5eba7846a5cb3777bf1178da5bbd86f117157d98
      https://github.com/llvm/llvm-project/commit/5eba7846a5cb3777bf1178da5bbd86f117157d98
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2021-07-20 (Tue, 20 Jul 2021)

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

  Log Message:
  -----------
  [Attributor] Use checkForAllUses instead of custom use tracking

AAMemoryBehaviorFloating used a custom use tracking mechanism even
though checkForAllUses exists and is already more powerful. Further,
AAMemoryBehaviorFloating uses AANoCapture to guarantee that there are no
aliases and following the uses is sufficient. This is an OK assumption
if checkForAllUses is used but custom tracking is easily out of sync
with AANoCapture and problems follow.


  Commit: 5957cf9f11bf28591196730cb639e29a11e76abb
      https://github.com/llvm/llvm-project/commit/5957cf9f11bf28591196730cb639e29a11e76abb
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2021-07-20 (Tue, 20 Jul 2021)

  Changed paths:
    M llvm/lib/Transforms/IPO/AttributorAttributes.cpp
    M llvm/test/Transforms/Attributor/IPConstantProp/return-argument.ll
    M llvm/test/Transforms/Attributor/memory_locations.ll
    M llvm/test/Transforms/Attributor/readattrs.ll

  Log Message:
  -----------
  [Attributor] Simplify to values in the genericValueTraversal

We already simplified to a constant, given the new interface we can also
simplify to a generic value.


  Commit: c66cbee140ce69fa17ffb6b8b03616beca30dca1
      https://github.com/llvm/llvm-project/commit/c66cbee140ce69fa17ffb6b8b03616beca30dca1
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2021-07-20 (Tue, 20 Jul 2021)

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

  Log Message:
  -----------
  [Attributor] Use set vector instead of vector to prevent duplicates


Compare: https://github.com/llvm/llvm-project/compare/3f981fc1861a...c66cbee140ce