[all-commits] [llvm/llvm-project] 522403: [AssumptionCache] Track GlobalValues as affected v...

[Tyler Lanphear via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 52240399f9ccedb44b667a14345a7be6bb1dc40f
      https://github.com/llvm/llvm-project/commit/52240399f9ccedb44b667a14345a7be6bb1dc40f
  Author: Tyler Lanphear <tylanphear at gmail.com>
  Date:   2023-09-06 (Wed, 06 Sep 2023)

  Changed paths:
    M llvm/lib/Analysis/AssumptionCache.cpp
    M llvm/test/Analysis/AssumptionCache/basic.ll
    M llvm/test/Analysis/ScalarEvolution/ranges.ll

  Log Message:
  -----------
  [AssumptionCache] Track GlobalValues as affected values. (#65425)

Fixes a corner case of the analysis: previously GlobalValues could be
affected by assumptions, but were not tracked within AffectedValues.
This patch allows assumptions which affect a given GlobalValue to be
looked up via `assumptionsFor()`.

A small update to llvm/test/Analysis/ScalarEvolution/ranges.ll was
necessary due to knowledge about a global value now being propagated
from AssumptionCache -> ValueTracking -> ScalarEvolution.