resolve a fixme. I haven't figured out how to write a testcase

to exercise this though.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89954 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2009-11-26 16:52:32 +00:00
parent 856a72cf38
commit 5369250b73

View File

@ -400,7 +400,7 @@ static Value *GetLinearExpression(Value *V, APInt &Scale, APInt &Offset,
V = GetLinearExpression(BOp->getOperand(0), Scale, Offset, TD);
Offset += RHSC->getValue();
return V;
// TODO: SHL, MUL, OR.
// TODO: SHL, MUL.
}
}
}
@ -610,10 +610,9 @@ BasicAliasAnalysis::aliasGEP(const GEPOperator *GEP1, unsigned V1Size,
// Check to see if these two pointers are related by the getelementptr
// instruction. If one pointer is a GEP with a non-zero index of the other
// pointer, we know they cannot alias.
//
// FIXME: The check below only looks at the size of one of the pointers, not
// both, this may cause us to miss things.
if (V1Size == ~0U || V2Size == ~0U)
// If both accesses are unknown size, we can't do anything useful here.
if (V1Size == ~0U && V2Size == ~0U)
return MayAlias;
AliasResult R = aliasCheck(UnderlyingV1, ~0U, V2, V2Size);