Move immediate constant predicate templates from the Blackfin target to MathExtras.h

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78793 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Jakob Stoklund Olesen 2009-08-12 06:22:07 +00:00
parent dfc17f75e8
commit d6eb635d1a
4 changed files with 28 additions and 28 deletions

View File

@ -52,6 +52,16 @@ inline bool isUInt32(int64_t Value) {
return static_cast<uint32_t>(Value) == Value; return static_cast<uint32_t>(Value) == Value;
} }
template<unsigned N>
inline bool isInt(int64_t x) {
return -(INT64_C(1)<<(N-1)) <= x && x < (INT64_C(1)<<(N-1));
}
template<unsigned N>
inline bool isUint(uint64_t x) {
return x < (UINT64_C(1)<<N);
}
/// isMask_32 - This function returns true if the argument is a sequence of ones /// isMask_32 - This function returns true if the argument is a sequence of ones
/// starting at the least significant bit with the remainder zero (32 bit /// starting at the least significant bit with the remainder zero (32 bit
/// version). Ex. isMask_32(0x0000FFFFU) == true. /// version). Ex. isMask_32(0x0000FFFFU) == true.

View File

@ -63,24 +63,24 @@ def HI16 : SDNodeXForm<imm, [{
// Immediates // Immediates
//===----------------------------------------------------------------------===// //===----------------------------------------------------------------------===//
def imm3 : PatLeaf<(imm), [{return isImm<3>(N->getSExtValue());}]>; def imm3 : PatLeaf<(imm), [{return isInt<3>(N->getSExtValue());}]>;
def uimm3 : PatLeaf<(imm), [{return isUimm<3>(N->getZExtValue());}]>; def uimm3 : PatLeaf<(imm), [{return isUint<3>(N->getZExtValue());}]>;
def uimm4 : PatLeaf<(imm), [{return isUimm<4>(N->getZExtValue());}]>; def uimm4 : PatLeaf<(imm), [{return isUint<4>(N->getZExtValue());}]>;
def uimm5 : PatLeaf<(imm), [{return isUimm<5>(N->getZExtValue());}]>; def uimm5 : PatLeaf<(imm), [{return isUint<5>(N->getZExtValue());}]>;
def uimm5m2 : PatLeaf<(imm), [{ def uimm5m2 : PatLeaf<(imm), [{
uint64_t value = N->getZExtValue(); uint64_t value = N->getZExtValue();
return value % 2 == 0 && isUimm<5>(value); return value % 2 == 0 && isUint<5>(value);
}]>; }]>;
def uimm6m4 : PatLeaf<(imm), [{ def uimm6m4 : PatLeaf<(imm), [{
uint64_t value = N->getZExtValue(); uint64_t value = N->getZExtValue();
return value % 4 == 0 && isUimm<6>(value); return value % 4 == 0 && isUint<6>(value);
}]>; }]>;
def imm7 : PatLeaf<(imm), [{return isImm<7>(N->getSExtValue());}]>; def imm7 : PatLeaf<(imm), [{return isInt<7>(N->getSExtValue());}]>;
def imm16 : PatLeaf<(imm), [{return isImm<16>(N->getSExtValue());}]>; def imm16 : PatLeaf<(imm), [{return isInt<16>(N->getSExtValue());}]>;
def uimm16 : PatLeaf<(imm), [{return isUimm<16>(N->getZExtValue());}]>; def uimm16 : PatLeaf<(imm), [{return isUint<16>(N->getZExtValue());}]>;
def ximm16 : PatLeaf<(imm), [{ def ximm16 : PatLeaf<(imm), [{
int64_t value = N->getSExtValue(); int64_t value = N->getSExtValue();
@ -89,12 +89,12 @@ def ximm16 : PatLeaf<(imm), [{
def imm17m2 : PatLeaf<(imm), [{ def imm17m2 : PatLeaf<(imm), [{
int64_t value = N->getSExtValue(); int64_t value = N->getSExtValue();
return value % 2 == 0 && isImm<17>(value); return value % 2 == 0 && isInt<17>(value);
}]>; }]>;
def imm18m4 : PatLeaf<(imm), [{ def imm18m4 : PatLeaf<(imm), [{
int64_t value = N->getSExtValue(); int64_t value = N->getSExtValue();
return value % 4 == 0 && isImm<18>(value); return value % 4 == 0 && isInt<18>(value);
}]>; }]>;
// 32-bit bitmask transformed to a bit number // 32-bit bitmask transformed to a bit number

View File

@ -128,7 +128,7 @@ void BlackfinRegisterInfo::adjustRegister(MachineBasicBlock &MBB,
int delta) const { int delta) const {
if (!delta) if (!delta)
return; return;
if (isImm<7>(delta)) { if (isInt<7>(delta)) {
BuildMI(MBB, I, DL, TII.get(BF::ADDpp_imm7), Reg) BuildMI(MBB, I, DL, TII.get(BF::ADDpp_imm7), Reg)
.addReg(Reg) // No kill on two-addr operand .addReg(Reg) // No kill on two-addr operand
.addImm(delta); .addImm(delta);
@ -159,17 +159,17 @@ void BlackfinRegisterInfo::loadConstant(MachineBasicBlock &MBB,
DebugLoc DL, DebugLoc DL,
unsigned Reg, unsigned Reg,
int value) const { int value) const {
if (isImm<7>(value)) { if (isInt<7>(value)) {
BuildMI(MBB, I, DL, TII.get(BF::LOADimm7), Reg).addImm(value); BuildMI(MBB, I, DL, TII.get(BF::LOADimm7), Reg).addImm(value);
return; return;
} }
if (isUimm<16>(value)) { if (isUint<16>(value)) {
BuildMI(MBB, I, DL, TII.get(BF::LOADuimm16), Reg).addImm(value); BuildMI(MBB, I, DL, TII.get(BF::LOADuimm16), Reg).addImm(value);
return; return;
} }
if (isImm<16>(value)) { if (isInt<16>(value)) {
BuildMI(MBB, I, DL, TII.get(BF::LOADimm16), Reg).addImm(value); BuildMI(MBB, I, DL, TII.get(BF::LOADimm16), Reg).addImm(value);
return; return;
} }
@ -254,20 +254,20 @@ void BlackfinRegisterInfo::eliminateFrameIndex(MachineBasicBlock::iterator II,
assert(FIPos==1 && "Bad frame index operand"); assert(FIPos==1 && "Bad frame index operand");
MI.getOperand(FIPos).ChangeToRegister(BaseReg, false); MI.getOperand(FIPos).ChangeToRegister(BaseReg, false);
MI.getOperand(FIPos+1).setImm(Offset); MI.getOperand(FIPos+1).setImm(Offset);
if (isUimm<6>(Offset)) { if (isUint<6>(Offset)) {
MI.setDesc(TII.get(isStore MI.setDesc(TII.get(isStore
? BF::STORE32p_uimm6m4 ? BF::STORE32p_uimm6m4
: BF::LOAD32p_uimm6m4)); : BF::LOAD32p_uimm6m4));
return; return;
} }
if (BaseReg == BF::FP && isUimm<7>(-Offset)) { if (BaseReg == BF::FP && isUint<7>(-Offset)) {
MI.setDesc(TII.get(isStore MI.setDesc(TII.get(isStore
? BF::STORE32fp_nimm7m4 ? BF::STORE32fp_nimm7m4
: BF::LOAD32fp_nimm7m4)); : BF::LOAD32fp_nimm7m4));
MI.getOperand(FIPos+1).setImm(-Offset); MI.getOperand(FIPos+1).setImm(-Offset);
return; return;
} }
if (isImm<18>(Offset)) { if (isInt<18>(Offset)) {
MI.setDesc(TII.get(isStore MI.setDesc(TII.get(isStore
? BF::STORE32p_imm18m4 ? BF::STORE32p_imm18m4
: BF::LOAD32p_imm18m4)); : BF::LOAD32p_imm18m4));

View File

@ -24,16 +24,6 @@ namespace llvm {
class TargetInstrInfo; class TargetInstrInfo;
class Type; class Type;
template<unsigned N>
static inline bool isImm(int x) {
return x >= -(1<<(N-1)) && x < (1<<(N-1));
}
template<unsigned N>
static inline bool isUimm(unsigned x) {
return x < (1<<N);
}
// Subregister indices, keep in sync with BlackfinRegisterInfo.td // Subregister indices, keep in sync with BlackfinRegisterInfo.td
enum BfinSubregIdx { enum BfinSubregIdx {
bfin_subreg_lo16 = 1, bfin_subreg_lo16 = 1,