[InstCombine] Determine the result of a select based on a dominating condition.
authorChad Rosier <mcrosier@codeaurora.org>
Fri, 29 Apr 2016 21:12:31 +0000 (21:12 +0000)
committerChad Rosier <mcrosier@codeaurora.org>
Fri, 29 Apr 2016 21:12:31 +0000 (21:12 +0000)
commitcd62bf58219d78e9557a20eddb886c7cc582feb7
tree4c21b58c944cf35b5e32b631c2524270473cbea6
parent00c750cd12e7670136ae3bbddcd27ef4b8561feb
[InstCombine] Determine the result of a select based on a dominating condition.

Differential Revision: http://reviews.llvm.org/D19550

llvm-svn: 268104
llvm/lib/Analysis/ValueTracking.cpp
llvm/lib/Transforms/InstCombine/InstCombineSelect.cpp
llvm/test/Transforms/InstCombine/select-implied.ll [new file with mode: 0644]