[NFC] Introduce API to detect tokens penetrating LCSSA form
authorMax Kazantsev <mkazantsev@azul.com>
Tue, 19 Jul 2022 05:50:43 +0000 (12:50 +0700)
committerMax Kazantsev <mkazantsev@azul.com>
Tue, 19 Jul 2022 06:52:30 +0000 (13:52 +0700)
commit51f837a68009c8ae15b828a0c93a744432410ad5
tree547a0123794cb7c823c2fa2bb3c09ac903a03534
parent5114e2c50a908733b298728e5c4baa12b6bb86bb
[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
llvm/include/llvm/Analysis/LoopInfo.h
llvm/lib/Analysis/LoopInfo.cpp
llvm/unittests/Analysis/LoopInfoTest.cpp