[all-commits] [llvm/llvm-project] c1aa0d: [SCEV] Remove -verify-scev-maps flag

[Nikita Popov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: c1aa0dce48ced5c3cdd1b860bd80c0591ccdc4ed
      https://github.com/llvm/llvm-project/commit/c1aa0dce48ced5c3cdd1b860bd80c0591ccdc4ed
  Author: Nikita Popov <npopov at redhat.com>
  Date:   2023-06-09 (Fri, 09 Jun 2023)

  Changed paths:
    M llvm/lib/Analysis/ScalarEvolution.cpp
    M llvm/test/Analysis/ScalarEvolution/scev-expander-reuse-unroll.ll
    M llvm/test/Analysis/ScalarEvolution/scev-expander-reuse-vect.ll

  Log Message:
  -----------
  [SCEV] Remove -verify-scev-maps flag

This is now checked as part of the usual SCEV verification. There
is little value in checking this on each lookup.

These two maps are strictly synchronized nowadays, which was not
the case historically.