| commit | e959f7e17f0bb999ab032b1567600d39347e983a | [log] [tgz] |
|---|---|---|
| author | Duncan Sands <baldrick@free.fr> | Fri Mar 23 08:45:52 2012 +0000 |
| committer | Duncan Sands <baldrick@free.fr> | Fri Mar 23 08:45:52 2012 +0000 |
| tree | 6ff5d67d22e43559d62d04ab1a2bfae29fc708ba | |
| parent | 01b305f94c663d000e2128c7ea8c0c4e02e9eeb4 [diff] |
When propagating equalities, eg replacing A with B in every basic block dominated by Root, check that B is available throughout the scope. This is obviously true (famous last words?) given the current logic, but the check may be helpful if more complicated reasoning is added one day. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@153323 91177308-0d34-0410-b5e6-96231b3b80d8