SimplifyCFG now predicts some conditional branches to true or false depending on...
authorPete Cooper <peter_cooper@apple.com>
Sat, 17 Dec 2011 06:32:38 +0000 (06:32 +0000)
committerPete Cooper <peter_cooper@apple.com>
Sat, 17 Dec 2011 06:32:38 +0000 (06:32 +0000)
commit93ca12299f3210e300c9ac4f0fd8d6ce5b7d7d60
tree541df002e9efbaeed432f3dd090097f62870d8b7
parent5bb210e134c8bc66f77a78bb3aedc118d949698c
SimplifyCFG now predicts some conditional branches to true or false depending on previous branch on same comparison operands.

For example,

if (a == b) {
    if (a > b) // this is false

Fixes some of the issues on <rdar://problem/10554090>

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