[all-commits] [llvm/llvm-project] ad5541: [LoopDeletion] Remove over-eager SCEV verification.

[Florian Hahn via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: ad5541045a63fe3049fc910d843bcbb78f7c7056
      https://github.com/llvm/llvm-project/commit/ad5541045a63fe3049fc910d843bcbb78f7c7056
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2020-10-12 (Mon, 12 Oct 2020)

  Changed paths:
    M llvm/lib/Transforms/Utils/LoopUtils.cpp

  Log Message:
  -----------
  [LoopDeletion] Remove over-eager SCEV verification.

60b852092c98dbdc6248d60109d90ae6f8ad841c introduced SCEV verification to
deleteDeadLoop, but it appears this check is currently a bit over-eager
and some users of deleteDeadLoop appear to only patch up SE after
calling it (e.g. PR47753).

Remove the extra check for now. We can consider adding it back after we
tracked down the source of the inconsistency for PR47753.