diff options
| author | Nick Lewycky <nicholas@mxc.ca> | 2009-09-19 18:33:36 +0000 |
|---|---|---|
| committer | Nick Lewycky <nicholas@mxc.ca> | 2009-09-19 18:33:36 +0000 |
| commit | 4980177e93ff0c3d02a6fa98a5c91e4b168d6c0c (patch) | |
| tree | 85dc6d15ec799d5116ec32c9a8db80f1b01a9a25 | |
| parent | d899f5970f3e1437cff128a7cf3331a8bcf599b9 (diff) | |
| download | external_llvm-4980177e93ff0c3d02a6fa98a5c91e4b168d6c0c.zip external_llvm-4980177e93ff0c3d02a6fa98a5c91e4b168d6c0c.tar.gz external_llvm-4980177e93ff0c3d02a6fa98a5c91e4b168d6c0c.tar.bz2 | |
Lett users of sparse propagation do their own thing with phi nodes if they want
to. This can be combined with LCSSA or SSI form to store more information on a
PHINode than can be computed by looking at its incoming values.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@82317 91177308-0d34-0410-b5e6-96231b3b80d8
| -rw-r--r-- | include/llvm/Analysis/SparsePropagation.h | 6 | ||||
| -rw-r--r-- | lib/Analysis/SparsePropagation.cpp | 7 |
2 files changed, 13 insertions, 0 deletions
diff --git a/include/llvm/Analysis/SparsePropagation.h b/include/llvm/Analysis/SparsePropagation.h index cc655aa..820e1bd 100644 --- a/include/llvm/Analysis/SparsePropagation.h +++ b/include/llvm/Analysis/SparsePropagation.h @@ -72,6 +72,12 @@ public: virtual LatticeVal ComputeConstant(Constant *C) { return getOverdefinedVal(); // always safe } + + /// IsSpecialCasedPHI - Given a PHI node, determine whether this PHI node is + /// one that the we want to handle through ComputeInstructionState. + virtual bool IsSpecialCasedPHI(PHINode *PN) { + return false; + } /// GetConstant - If the specified lattice value is representable as an LLVM /// constant value, return it. Otherwise return null. The returned value diff --git a/lib/Analysis/SparsePropagation.cpp b/lib/Analysis/SparsePropagation.cpp index 17bb73f..8a74745 100644 --- a/lib/Analysis/SparsePropagation.cpp +++ b/lib/Analysis/SparsePropagation.cpp @@ -223,6 +223,13 @@ void SparseSolver::visitTerminatorInst(TerminatorInst &TI) { } void SparseSolver::visitPHINode(PHINode &PN) { + if (LatticeFunc->IsSpecialCasedPHI(&PN)) { + LatticeVal IV = LatticeFunc->ComputeInstructionState(PN, *this); + if (IV != LatticeFunc->getUntrackedVal()) + UpdateState(PN, IV); + return; + } + LatticeVal PNIV = getOrInitValueState(&PN); LatticeVal Overdefined = LatticeFunc->getOverdefinedVal(); |