From 1bec75e7304bccc2d3c32e24e4df937f04e8d65a Mon Sep 17 00:00:00 2001
From: Chris Lattner <sabre@nondot.org>
Date: Tue, 17 Jun 2003 15:25:37 +0000
Subject: [PATCH] Implement handling of constantexprs for disambiguation.  This
 implements BasicAA/featuretest.ll:constexpr_test

llvm-svn: 6740
---
 llvm/lib/Analysis/BasicAliasAnalysis.cpp | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/llvm/lib/Analysis/BasicAliasAnalysis.cpp b/llvm/lib/Analysis/BasicAliasAnalysis.cpp
index 42d00c2b605d..b56782b5066c 100644
--- a/llvm/lib/Analysis/BasicAliasAnalysis.cpp
+++ b/llvm/lib/Analysis/BasicAliasAnalysis.cpp
@@ -69,6 +69,12 @@ static const Value *getUnderlyingObject(const Value *V) {
   if (const Instruction *I = dyn_cast<Instruction>(V)) {
     if (isa<CastInst>(I) || isa<GetElementPtrInst>(I))
       return getUnderlyingObject(I->getOperand(0));
+  } else if (const ConstantExpr *CE = dyn_cast<ConstantExpr>(V)) {
+    if (CE->getOpcode() == Instruction::Cast ||
+        CE->getOpcode() == Instruction::GetElementPtr)
+      return getUnderlyingObject(CE->getOperand(0));
+  } else if (const ConstantPointerRef *CPR = dyn_cast<ConstantPointerRef>(V)) {
+    return CPR->getValue();
   }
   return 0;
 }