[ValueTracking] update directlyImpliesPoison to look into select's condition
authorJuneyoung Lee <aqjune@gmail.com>
Sun, 7 Mar 2021 14:16:39 +0000 (23:16 +0900)
committerJuneyoung Lee <aqjune@gmail.com>
Sun, 7 Mar 2021 14:16:44 +0000 (23:16 +0900)
commit2c16c4a43c756dd0e6e11426badfd858040dd46a
tree6c01e98dba5b06434cd01867aca0734c544e69b7
parentcd938ab162b0ac560dd0e9fee290980c7e0e47e5
[ValueTracking] update directlyImpliesPoison to look into select's condition

This is a minor update in directlyImpliesPoison and makes it look into select's
condition.
Splitted from https://reviews.llvm.org/D96945
llvm/lib/Analysis/ValueTracking.cpp
llvm/test/Transforms/InstCombine/select-safe-bool-transforms.ll