[all-commits] [llvm/llvm-project] 852596: [BasicAA] Guess reasonable contexts for separate s...

[David Goldblatt via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 852596d804a1b07c01e30f2091acf9c8bf16bda4
      https://github.com/llvm/llvm-project/commit/852596d804a1b07c01e30f2091acf9c8bf16bda4
  Author: David Goldblatt <davidgoldblatt at fb.com>
  Date:   2024-01-04 (Thu, 04 Jan 2024)

  Changed paths:
    M llvm/include/llvm/Analysis/ValueTracking.h
    M llvm/lib/Analysis/BasicAliasAnalysis.cpp
    M llvm/lib/Analysis/ValueTracking.cpp
    A llvm/test/Analysis/BasicAA/separate_storage-alias-sets.ll

  Log Message:
  -----------
  [BasicAA] Guess reasonable contexts for separate storage hints (#76770)

The definition of the pointer of the memory location being queried is
always one such context. Even this conservative guess can be better than
no guess at all in some cases.

Fixes #64666

Co-authored-by: David Goldblatt <davidgoldblatt at meta.com>