[all-commits] [llvm/llvm-project] d50423: [Attributor][NFC] Precommit test for #63291

[Johannes Doerfert via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d50423aead7af1212cf23e6bd6547b4f8006bf2e
      https://github.com/llvm/llvm-project/commit/d50423aead7af1212cf23e6bd6547b4f8006bf2e
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2023-06-13 (Tue, 13 Jun 2023)

  Changed paths:
    M llvm/test/Transforms/Attributor/memory_locations.ll

  Log Message:
  -----------
  [Attributor][NFC] Precommit test for #63291

See: https://github.com/llvm/llvm-project/issues/63291


  Commit: 6d8f14f001042bfc28f94ac976c4b6ad61c4c07a
      https://github.com/llvm/llvm-project/commit/6d8f14f001042bfc28f94ac976c4b6ad61c4c07a
  Author: Johannes Doerfert <johannes at jdoerfert.de>
  Date:   2023-06-13 (Tue, 13 Jun 2023)

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

  Log Message:
  -----------
  [Attributor][FIX] Ensure unknown accesses are honored

If we had an unknown access but already some prior knowledge (known), we
could have ended up ignoring the unknown access all together. The
problem is that we track unknown not as all locations but separately.
This patch bridges the gap and expands the unknown bits to "all bits"
when we add an access.

Fixes: https://github.com/llvm/llvm-project/issues/63291


Compare: https://github.com/llvm/llvm-project/compare/6ac2ce7d844c...6d8f14f00104