[all-commits] [llvm/llvm-project] 4b599f: [SCEV] Verify block disposition cache.

[Florian Hahn via All-commits]

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

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp

  Log Message:
  -----------
  [SCEV] Verify block disposition cache.

This extends the existing SCEV verification to catch cache invalidation
issues as in #57837.

The validation logic is similar to the recently added loop disposition
cache validation in bb68b2402daa9.

Reviewed By: nikic

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