[all-commits] [llvm/llvm-project] 9f0f84: [Attributor][FIX] Replace typo with something more...

[Johannes Doerfert via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 9f0f84f1406aa7211753ff15cbf0202b41f82f15
      https://github.com/llvm/llvm-project/commit/9f0f84f1406aa7211753ff15cbf0202b41f82f15
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2023-01-23 (Mon, 23 Jan 2023)

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

  Log Message:
  -----------
  [Attributor][FIX] Replace typo with something more sane


  Commit: 75728b41f86928aadbf17df344d1730433266395
      https://github.com/llvm/llvm-project/commit/75728b41f86928aadbf17df344d1730433266395
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2023-01-23 (Mon, 23 Jan 2023)

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

  Log Message:
  -----------
  [Attributor][FIX] Reachability needs to process the entire worklist


  Commit: 2f6fce8bba66512ed52a15fac8f10828b0e4daba
      https://github.com/llvm/llvm-project/commit/2f6fce8bba66512ed52a15fac8f10828b0e4daba
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2023-01-23 (Mon, 23 Jan 2023)

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

  Log Message:
  -----------
  [Attributor][FIX] Ensure not to run new queries during manifest

If we modified the IR during manifest, e.g., SPMDzation, we might end up
with un-cached reachability queries. This is not good as the result is
going to be optimistic. We now cache the updateImpl result and use it
during manifest.

Bug was exposed in a follow up extension.


  Commit: 1771d81475e335d36cea22032aed2dbee0dee077
      https://github.com/llvm/llvm-project/commit/1771d81475e335d36cea22032aed2dbee0dee077
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2023-01-23 (Mon, 23 Jan 2023)

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

  Log Message:
  -----------
  [Attributor] Allow to delete (assume) intrinsics outside the SCC


  Commit: fedbc689e16b3843d6a5ac7cb6a293fb22475121
      https://github.com/llvm/llvm-project/commit/fedbc689e16b3843d6a5ac7cb6a293fb22475121
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2023-01-23 (Mon, 23 Jan 2023)

  Changed paths:
    M llvm/lib/Transforms/IPO/AttributorAttributes.cpp
    M llvm/test/Transforms/OpenMP/barrier_removal.ll

  Log Message:
  -----------
  [Attributor] Check assumptions to improve `isAlignedBarrier` queries


Compare: https://github.com/llvm/llvm-project/compare/c3728d28821e...fedbc689e16b