1
0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-24 03:33:20 +01:00

Add an int64_t variant of abs, for host environments

without one.  Use it where we were using abs on
int64_t objects.
(I strongly suspect the casts to unsigned in the
fragments in LoopStrengthReduce are not doing whatever
the original intent was, but the obvious change to
uint64_t doesn't work.  Maybe later.)

llvm-svn: 71612
This commit is contained in:
Dale Johannesen 2009-05-13 00:24:22 +00:00
parent 4bb5e9d1df
commit 18cc7c12b7
3 changed files with 12 additions and 5 deletions

View File

@ -425,6 +425,13 @@ inline uint64_t RoundUpToAlignment(uint64_t Value, uint64_t Align) {
return ((Value + Align - 1) / Align) * Align; return ((Value + Align - 1) / Align) * Align;
} }
/// abs64 - absolute value of a 64-bit int. Not all environments support
/// "abs" on whatever their name for the 64-bit int type is. The absolute
/// value of the largest negative number is undefined, as with "abs".
inline int64_t abs64(int64_t x) {
return (x < 0) ? -x : x;
}
} // End llvm namespace } // End llvm namespace
#endif #endif

View File

@ -69,7 +69,7 @@ def nearP2X : SDNodeXForm<imm, [{
}]>; }]>;
def nearP2RemX : SDNodeXForm<imm, [{ def nearP2RemX : SDNodeXForm<imm, [{
uint64_t x = uint64_t x =
abs(N->getZExtValue() - getNearPower2((uint64_t)N->getZExtValue())); abs64(N->getZExtValue() - getNearPower2((uint64_t)N->getZExtValue()));
return getI64Imm(Log2_64(x)); return getI64Imm(Log2_64(x));
}]>; }]>;
@ -124,7 +124,7 @@ def immRemP2 : PatLeaf<(imm), [{
getNearPower2((uint64_t)N->getZExtValue())); getNearPower2((uint64_t)N->getZExtValue()));
}]>; }]>;
def immUExt8ME : PatLeaf<(imm), [{ //use this imm for mulqi def immUExt8ME : PatLeaf<(imm), [{ //use this imm for mulqi
int64_t d = abs((int64_t)N->getZExtValue() - int64_t d = abs64((int64_t)N->getZExtValue() -
(int64_t)getNearPower2((uint64_t)N->getZExtValue())); (int64_t)getNearPower2((uint64_t)N->getZExtValue()));
if (isPowerOf2_64(d)) return false; if (isPowerOf2_64(d)) return false;
switch (d) { switch (d) {

View File

@ -1013,7 +1013,7 @@ SCEVHandle LoopStrengthReduce::CheckForIVReuse(bool HasBaseReg,
continue; continue;
int64_t SSInt = cast<SCEVConstant>(SI->first)->getValue()->getSExtValue(); int64_t SSInt = cast<SCEVConstant>(SI->first)->getValue()->getSExtValue();
if (SI->first != Stride && if (SI->first != Stride &&
(unsigned(abs(SInt)) < SSInt || (SInt % SSInt) != 0)) (unsigned(abs64(SInt)) < SSInt || (SInt % SSInt) != 0))
continue; continue;
int64_t Scale = SInt / SSInt; int64_t Scale = SInt / SSInt;
// Check that this stride is valid for all the types used for loads and // Check that this stride is valid for all the types used for loads and
@ -1900,7 +1900,7 @@ ICmpInst *LoopStrengthReduce::ChangeCompareStride(Loop *L, ICmpInst *Cond,
continue; continue;
int64_t SSInt = cast<SCEVConstant>(SI->first)->getValue()->getSExtValue(); int64_t SSInt = cast<SCEVConstant>(SI->first)->getValue()->getSExtValue();
if (SSInt == CmpSSInt || if (SSInt == CmpSSInt ||
abs(SSInt) < abs(CmpSSInt) || abs64(SSInt) < abs64(CmpSSInt) ||
(SSInt % CmpSSInt) != 0) (SSInt % CmpSSInt) != 0)
continue; continue;
@ -2336,7 +2336,7 @@ void LoopStrengthReduce::OptimizeLoopTermCond(Loop *L) {
cast<SCEVConstant>(SI->first)->getValue()->getSExtValue(); cast<SCEVConstant>(SI->first)->getValue()->getSExtValue();
if (SSInt == SInt) if (SSInt == SInt)
return; // This can definitely be reused. return; // This can definitely be reused.
if (unsigned(abs(SSInt)) < SInt || (SSInt % SInt) != 0) if (unsigned(abs64(SSInt)) < SInt || (SSInt % SInt) != 0)
continue; continue;
int64_t Scale = SSInt / SInt; int64_t Scale = SSInt / SInt;
bool AllUsesAreAddresses = true; bool AllUsesAreAddresses = true;