From 05b18f143f91b3b52234a6f31594461eebed413f Mon Sep 17 00:00:00 2001 From: Dan Gohman Date: Wed, 15 Dec 2010 20:49:55 +0000 Subject: Reapply r121886, and also update DecomposeGEPExpression to keep it in sync. llvm-svn: 121895 --- llvm/lib/Analysis/BasicAliasAnalysis.cpp | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'llvm/lib/Analysis/BasicAliasAnalysis.cpp') diff --git a/llvm/lib/Analysis/BasicAliasAnalysis.cpp b/llvm/lib/Analysis/BasicAliasAnalysis.cpp index fc996fb..1a526fc 100644 --- a/llvm/lib/Analysis/BasicAliasAnalysis.cpp +++ b/llvm/lib/Analysis/BasicAliasAnalysis.cpp @@ -27,6 +27,7 @@ #include "llvm/Pass.h" #include "llvm/Analysis/CaptureTracking.h" #include "llvm/Analysis/MemoryBuiltins.h" +#include "llvm/Analysis/InstructionSimplify.h" #include "llvm/Analysis/ValueTracking.h" #include "llvm/Target/TargetData.h" #include "llvm/ADT/SmallPtrSet.h" @@ -262,6 +263,14 @@ DecomposeGEPExpression(const Value *V, int64_t &BaseOffs, V = Op->getOperand(0); continue; } + + if (const Instruction *I = dyn_cast(V)) + // TODO: Get a DominatorTree and use it here. + if (const Value *Simplified = + SimplifyInstruction(const_cast(I), TD)) { + V = Simplified; + continue; + } const GEPOperator *GEPOp = dyn_cast(Op); if (GEPOp == 0) -- cgit v1.1