[all-commits] [llvm/llvm-project] 9e9314: [SCEV] Support clearing Block/LoopDispositions for...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 9e931439ddb9b6b8f655940b9d8ed6db50c2a7e2
      https://github.com/llvm/llvm-project/commit/9e931439ddb9b6b8f655940b9d8ed6db50c2a7e2
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2022-10-07 (Fri, 07 Oct 2022)

  Changed paths:
    M llvm/include/llvm/Analysis/ScalarEvolution.h
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/lib/Transforms/Scalar/LoopDeletion.cpp
    M llvm/lib/Transforms/Scalar/LoopSink.cpp
    M llvm/lib/Transforms/Utils/LoopSimplify.cpp

  Log Message:
  -----------
  [SCEV] Support clearing Block/LoopDispositions for a single value.

Extend forgetBlockAndLoopDisposition to allow clearing information for a
single value. This can be useful when only a single value is changed,
e.g. because the instruction is moved.

We also need to clear the cached values for all SCEV users, because they
may depend on the starting value's disposition.

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D134614