[all-commits] [llvm/llvm-project] b07bf1: [AssumptionCache] Add affected values for separate...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b07bf16a6f57b5bfa487d2291dc246ada37b0dfc
      https://github.com/llvm/llvm-project/commit/b07bf16a6f57b5bfa487d2291dc246ada37b0dfc
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2024-01-03 (Wed, 03 Jan 2024)

  Changed paths:
    M llvm/lib/Analysis/AssumptionCache.cpp
    M llvm/lib/Analysis/BasicAliasAnalysis.cpp

  Log Message:
  -----------
  [AssumptionCache] Add affected values for separate_storage (#76806)

Add the underlying object of both separate_storage arguments as affected
values. This allows us to use assumptionsFor() in BasicAA, which will be
more efficient if there are many assumes in the function.