mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2025-01-15 07:34:33 +00:00
Add a m_SignBit pattern for convenience.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@124656 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
7681c6da60
commit
93c780288d
@ -116,6 +116,21 @@ struct all_ones_ty {
|
|||||||
/// m_AllOnes() - Match an integer or vector with all bits set to true.
|
/// m_AllOnes() - Match an integer or vector with all bits set to true.
|
||||||
inline all_ones_ty m_AllOnes() { return all_ones_ty(); }
|
inline all_ones_ty m_AllOnes() { return all_ones_ty(); }
|
||||||
|
|
||||||
|
struct signbit_ty {
|
||||||
|
template<typename ITy>
|
||||||
|
bool match(ITy *V) {
|
||||||
|
if (const ConstantInt *CI = dyn_cast<ConstantInt>(V))
|
||||||
|
return CI->getValue().isSignBit();
|
||||||
|
if (const ConstantVector *CV = dyn_cast<ConstantVector>(V))
|
||||||
|
if (ConstantInt *CI = cast_or_null<ConstantInt>(CV->getSplatValue()))
|
||||||
|
return CI->getValue().isSignBit();
|
||||||
|
return false;
|
||||||
|
}
|
||||||
|
};
|
||||||
|
|
||||||
|
/// m_SignBit() - Match an integer or vector with only the sign bit(s) set.
|
||||||
|
inline signbit_ty m_SignBit() { return signbit_ty(); }
|
||||||
|
|
||||||
|
|
||||||
template<typename Class>
|
template<typename Class>
|
||||||
struct bind_ty {
|
struct bind_ty {
|
||||||
|
@ -666,9 +666,7 @@ bool llvm::isPowerOfTwo(Value *V, const TargetData *TD, unsigned Depth) {
|
|||||||
|
|
||||||
// (signbit) >>l X is clearly a power of two if the one is not shifted off the
|
// (signbit) >>l X is clearly a power of two if the one is not shifted off the
|
||||||
// bottom. If it is shifted off the bottom then the result is undefined.
|
// bottom. If it is shifted off the bottom then the result is undefined.
|
||||||
ConstantInt *CI;
|
if (match(V, m_LShr(m_SignBit(), m_Value())))
|
||||||
if (match(V, m_LShr(m_ConstantInt(CI), m_Value())) &&
|
|
||||||
CI->getValue().isSignBit())
|
|
||||||
return true;
|
return true;
|
||||||
|
|
||||||
// The remaining tests are all recursive, so bail out if we hit the limit.
|
// The remaining tests are all recursive, so bail out if we hit the limit.
|
||||||
|
Loading…
x
Reference in New Issue
Block a user