GVN proceeds in the presence of dead code.
authorShuxin Yang <shuxin.llvm@gmail.com>
Thu, 19 Sep 2013 17:22:51 +0000 (17:22 +0000)
committerShuxin Yang <shuxin.llvm@gmail.com>
Thu, 19 Sep 2013 17:22:51 +0000 (17:22 +0000)
commit1bc7315c022b327a496366a78eb31ba446c699bd
treea253f541fe901a797a2623c361526b8521bce745
parent31eb340cb68172874f5ad6d1fd7b3cb286a8615c
GVN proceeds in the presence of dead code.

This is how it ignores the dead code:
1) When a dead branch target, say block B, is identified, all the
    blocks dominated by B is dead as well.

2) The PHIs of those blocks in dominance-frontier(B) is updated such
   that the operands corresponding to dead predecessors are replaced
   by "UndefVal".

   Using lattice's jargon, the "UndefVal" is the "Top" in essence.
   Phi node like this "phi(v1 bb1, undef xx)" will be optimized into
   "v1" if v1 is constant, or v1 is an instruction which dominate this
   PHI node.

3) When analyzing the availability of a load L, all dead mem-ops which
   L depends on disguise as a load which evaluate exactly same value as L.

4) The dead mem-ops will be materialized as "UndefVal" during code motion.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@191017 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/Scalar/GVN.cpp
test/Transforms/GVN/2007-07-26-InterlockingLoops.ll
test/Transforms/GVN/2008-07-02-Unreachable.ll
test/Transforms/GVN/cond_br.ll [new file with mode: 0644]
test/Transforms/GVN/cond_br2.ll [new file with mode: 0644]
test/Transforms/GVN/local-pre.ll
test/Transforms/GVN/rle-nonlocal.ll
test/Transforms/GVN/rle-semidominated.ll
test/Transforms/GVN/rle.ll