projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 01b305f) | patch
When propagating equalities, eg replacing A with B in every basic block
authorDuncan Sands <baldrick@free.fr>
Fri, 23 Mar 2012 08:45:52 +0000 (08:45 +0000)
committerDuncan Sands <baldrick@free.fr>
Fri, 23 Mar 2012 08:45:52 +0000 (08:45 +0000)
commite959f7e17f0bb999ab032b1567600d39347e983a
tree6ff5d67d22e43559d62d04ab1a2bfae29fc708batree | snapshot
parent01b305f94c663d000e2128c7ea8c0c4e02e9eeb4commit | 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
lib/Transforms/Scalar/GVN.cpp diff | blob | history
C/C++ LLVM-based compilers that forbids OOTA behaviors