[all-commits] [llvm/llvm-project] aeab61: [SCEV] Only verify BECounts for reachable loops (P...

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: aeab6167b0a13ab3a46798c0a9929458e0413f08
      https://github.com/llvm/llvm-project/commit/aeab6167b0a13ab3a46798c0a9929458e0413f08
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2022-03-01 (Tue, 01 Mar 2022)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/test/Transforms/IndVarSimplify/X86/pr35406.ll

  Log Message:
  -----------
  [SCEV] Only verify BECounts for reachable loops (PR50523)

For unreachable loops, any BECount is legal, and since D98706 SCEV
can make use of this for loops that are unreachable due to constant
branches. To avoid false positives, adjust SCEV verification to only
check BECounts in reachable loops.

Fixes https://github.com/llvm/llvm-project/issues/50523.

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