[LoopDeletion] Support selects when symbolically evaluating 1st iteration
authorMax Kazantsev <mkazantsev@azul.com>
Sat, 9 Oct 2021 07:47:44 +0000 (14:47 +0700)
committerMax Kazantsev <mkazantsev@azul.com>
Sat, 9 Oct 2021 07:47:44 +0000 (14:47 +0700)
commit4c0da2366305c49672d89ee0e90afcf85fa2641f
tree6a09cd174a8063283b418287d853b4bb133a68de
parent49ca01047f0c1d0003ee49ebec5a6fa154aa6612
[LoopDeletion] Support selects when symbolically evaluating 1st iteration

Adds support for selects for which we know value on the 1st iteration.

Differential Revision: https://reviews.llvm.org/D104111
Reviewed By: nikic
llvm/lib/Transforms/Scalar/LoopDeletion.cpp
llvm/test/Transforms/LoopDeletion/eval_first_iteration.ll