[all-commits] [llvm/llvm-project] 51f837: [NFC] Introduce API to detect tokens penetrating L...

[Max Kazantsev via All-commits]

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

  Changed paths:
    M llvm/include/llvm/Analysis/LoopInfo.h
    M llvm/lib/Analysis/LoopInfo.cpp
    M llvm/unittests/Analysis/LoopInfoTest.cpp

  Log Message:
  -----------
  [NFC] Introduce API to detect tokens penetrating LCSSA form

Following discussion in PR56243, we need to somehow detect the situation
when token values penetrate LCSSA form for transforms that require that
it is maintained by all values (for example, to sustain use-def dominance
invarians). This patch introduces a parameter to LCSSA checkers to control
their ignorance about tokens.

Differential Revision: https://reviews.llvm.org/D129983
Reviewed By: efriedma