[all-commits] [llvm/llvm-project] e0ccd1: [SCEV][NFC][CT] Do not waste time proving contextu...

[Max Kazantsev via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: e0ccd190ae8b3a7e8d79258218703a6ecadbc883
      https://github.com/llvm/llvm-project/commit/e0ccd190ae8b3a7e8d79258218703a6ecadbc883
  Author: Max Kazantsev <mkazantsev at azul.com>
  Date:   2022-07-20 (Wed, 20 Jul 2022)

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

  Log Message:
  -----------
  [SCEV][NFC][CT] Do not waste time proving contextual facts for unreached loops and blocks

In fact, in unreached code we can say that every fact is true. So do not waste time trying to
do something smarter.

Formally it's not an NFC because it may change query results in unreached code, but they
won't have any impact on execution.

Hypothetical CT boost expected but not measured in practice.

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