diff options
| author | Chris Lattner <sabre@nondot.org> | 2008-08-09 17:23:35 +0000 |
|---|---|---|
| committer | Chris Lattner <sabre@nondot.org> | 2008-08-09 17:23:35 +0000 |
| commit | afcde473c5baf292038ec494917f18c77a043340 (patch) | |
| tree | a14d89a0a96559f58302c1de84ce99485a7ce43c /lib/Analysis/SparsePropagation.cpp | |
| parent | 1d85163ec22e4413abc79ddd5d57e184095eaca0 (diff) | |
"This patch adds a virtual call to AbstractLatticeFunction to derive a
type lattice value for an Argument*, giving clients the opportunity to
use something other than Top for it if they choose to."
Patch by John McCall!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@54589 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/SparsePropagation.cpp')
| -rw-r--r-- | lib/Analysis/SparsePropagation.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/Analysis/SparsePropagation.cpp b/lib/Analysis/SparsePropagation.cpp index 2fda64c733..8f042c2783 100644 --- a/lib/Analysis/SparsePropagation.cpp +++ b/lib/Analysis/SparsePropagation.cpp @@ -57,8 +57,10 @@ SparseSolver::LatticeVal SparseSolver::getOrInitValueState(Value *V) { return LatticeFunc->getUntrackedVal(); else if (Constant *C = dyn_cast<Constant>(V)) LV = LatticeFunc->ComputeConstant(C); + else if (Argument *A = dyn_cast<Argument>(V)) + LV = LatticeFunc->ComputeArgument(A); else if (!isa<Instruction>(V)) - // Non-instructions (e.g. formal arguments) are overdefined. + // All other non-instructions are overdefined. LV = LatticeFunc->getOverdefinedVal(); else // All instructions are underdefined by default. |