[all-commits] [llvm/llvm-project] ba8ee4: [SCEV] Verify all IR -> SCEV mappings

[Nikita Popov via All-commits]

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

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

  Log Message:
  -----------
  [SCEV] Verify all IR -> SCEV mappings

This extends SCEV verification to check not only backedge-taken
counts, but all entries in the IR -> SCEV cache. The restrictions
are the same as for the BECount case, i.e. we ignore expressions
based on undef, we only diagnose constant deltas (there are way
too many false positives otherwise) and we limit to reachable code.

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