From 388f669d956c08571108f26a5371e02269e662f5 Mon Sep 17 00:00:00 2001 From: Chris Lattner Date: Tue, 17 Jun 2003 15:25:37 +0000 Subject: [PATCH] Implement handling of constantexprs for disambiguation. This implements BasicAA/featuretest.ll:constexpr_test git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6740 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Analysis/BasicAliasAnalysis.cpp | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/lib/Analysis/BasicAliasAnalysis.cpp b/lib/Analysis/BasicAliasAnalysis.cpp index 42d00c2b605..b56782b5066 100644 --- a/lib/Analysis/BasicAliasAnalysis.cpp +++ b/lib/Analysis/BasicAliasAnalysis.cpp @@ -69,6 +69,12 @@ static const Value *getUnderlyingObject(const Value *V) { if (const Instruction *I = dyn_cast(V)) { if (isa(I) || isa(I)) return getUnderlyingObject(I->getOperand(0)); + } else if (const ConstantExpr *CE = dyn_cast(V)) { + if (CE->getOpcode() == Instruction::Cast || + CE->getOpcode() == Instruction::GetElementPtr) + return getUnderlyingObject(CE->getOperand(0)); + } else if (const ConstantPointerRef *CPR = dyn_cast(V)) { + return CPR->getValue(); } return 0; } -- 2.34.1