[SCEV] Add llvm.experimental.guard conditions to applyLoopGuards()
authorJoshua Cao <cao.joshua@yahoo.com>
Tue, 10 Jan 2023 03:24:50 +0000 (19:24 -0800)
committerJoshua Cao <cao.joshua@yahoo.com>
Tue, 10 Jan 2023 03:35:16 +0000 (19:35 -0800)
commit8d92a8226eb71f0199f4cc83b961bf5440a1e503
tree052f965e5bd0063843069e956661451e5d1112e8
parente3b47d31ae8aaedff8ef74976eb9497d97df5ac2
[SCEV] Add llvm.experimental.guard conditions to applyLoopGuards()

Conditions for dominating branches and llvm.assumes are already
collected. This also adds conditions from guards.

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D141243
llvm/lib/Analysis/ScalarEvolution.cpp
llvm/test/Analysis/ScalarEvolution/trip-multiple-guard-info.ll