diff options
| author | Nuno Lopes <nunoplopes@sapo.pt> | 2012-12-31 13:52:36 +0000 |
|---|---|---|
| committer | Nuno Lopes <nunoplopes@sapo.pt> | 2012-12-31 13:52:36 +0000 |
| commit | 729e602082beee6ce248f6ab7bfdf734fbcf0e37 (patch) | |
| tree | 894c3d36af2333a0c6502afb030b3c60d1c2d6d1 /lib/Analysis/MemoryBuiltins.cpp | |
| parent | 6931055232eb2836dfc3e6dc51f06cee80dadf4b (diff) | |
| download | llvm-729e602082beee6ce248f6ab7bfdf734fbcf0e37.tar.gz llvm-729e602082beee6ce248f6ab7bfdf734fbcf0e37.tar.bz2 llvm-729e602082beee6ce248f6ab7bfdf734fbcf0e37.tar.xz | |
add support for PHI nodes to ObjectSizeOffsetVisitor
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@171298 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/MemoryBuiltins.cpp')
| -rw-r--r-- | lib/Analysis/MemoryBuiltins.cpp | 17 |
1 files changed, 14 insertions, 3 deletions
diff --git a/lib/Analysis/MemoryBuiltins.cpp b/lib/Analysis/MemoryBuiltins.cpp index cfd8fcfdb7..2503bfa216 100644 --- a/lib/Analysis/MemoryBuiltins.cpp +++ b/lib/Analysis/MemoryBuiltins.cpp @@ -535,9 +535,20 @@ SizeOffsetType ObjectSizeOffsetVisitor::visitLoadInst(LoadInst&) { return unknown(); } -SizeOffsetType ObjectSizeOffsetVisitor::visitPHINode(PHINode&) { - // too complex to analyze statically. - return unknown(); +SizeOffsetType ObjectSizeOffsetVisitor::visitPHINode(PHINode &PHI) { + if (PHI.getNumIncomingValues() == 0) + return unknown(); + + SizeOffsetType Ret = compute(PHI.getIncomingValue(0)); + if (!bothKnown(Ret)) + return unknown(); + + // verify that all PHI incoming pointers have the same size and offset + for (unsigned i = 1, e = PHI.getNumIncomingValues(); i != e; ++i) { + if (compute(PHI.getIncomingValue(i)) != Ret) + return unknown(); + } + return Ret; } SizeOffsetType ObjectSizeOffsetVisitor::visitSelectInst(SelectInst &I) { |