Add an argument to PHITranslateValue to specify the DominatorTree. If this
authorBob Wilson <bob.wilson@apple.com>
Wed, 24 Feb 2010 01:39:00 +0000 (01:39 +0000)
committerBob Wilson <bob.wilson@apple.com>
Wed, 24 Feb 2010 01:39:00 +0000 (01:39 +0000)
commit9d2ed8e632b71914b2a668932f4f49b87c3ca0b1
tree509e863adc4d263f96df159cd8139d372dc1cb7f
parentc3027f769a7a7479f3c24537d9d525edd83e90b1
Add an argument to PHITranslateValue to specify the DominatorTree.  If this
argument is non-null, pass it along to PHITranslateSubExpr so that it can
prefer using existing values that dominate the PredBB, instead of just
blindly picking the first equivalent value that it finds on a uselist.
Also when the DominatorTree is specified, have PHITranslateValue filter
out any result that does not dominate the PredBB.  This is basically just
refactoring the check that used to be in GetAvailablePHITranslatedSubExpr
and also in GVN.

Despite my initial expectations, this change does not affect the results
of GVN for any testcases that I could find, but it should help compile time.
Before this change, if PHITranslateSubExpr picked a value that does not
dominate, PHITranslateWithInsertion would then insert a new value, which GVN
would later determine to be redundant and would replace.  By picking a good
value to begin with, we save GVN the extra work of inserting and then
replacing a new value.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@97010 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/Analysis/PHITransAddr.h
lib/Analysis/MemoryDependenceAnalysis.cpp
lib/Analysis/PHITransAddr.cpp
lib/Transforms/Scalar/GVN.cpp