Teach jump threading to "look through" a select when the branch direction of a termin...
authorFrits van Bommel <fvbommel@gmail.com>
Wed, 15 Dec 2010 09:51:20 +0000 (09:51 +0000)
committerFrits van Bommel <fvbommel@gmail.com>
Wed, 15 Dec 2010 09:51:20 +0000 (09:51 +0000)
commit26e097ca4bdb31000655ff9ec39fe7d9b7ea226d
treedb522151cd6ccf109a0185760d9f988b783429f0
parent22447ae54bcb8ca94ed994cad103074a24e66781
Teach jump threading to "look through" a select when the branch direction of a terminator depends on it.
When it sees a promising select it now tries to figure out whether the condition of the select is known in any of the predecessors and if so it maps the operands appropriately.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@121859 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/Scalar/JumpThreading.cpp
test/Transforms/JumpThreading/select.ll [new file with mode: 0644]