2005-10-20 00:29:02 +00:00
|
|
|
//===-- AlphaISelDAGToDAG.cpp - Alpha pattern matching inst selector ------===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
2007-12-29 20:36:04 +00:00
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
2005-10-20 00:29:02 +00:00
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This file defines a pattern matching instruction selector for Alpha,
|
|
|
|
// converting from a legalized dag to a Alpha dag.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#include "Alpha.h"
|
|
|
|
#include "AlphaTargetMachine.h"
|
|
|
|
#include "llvm/CodeGen/MachineInstrBuilder.h"
|
2005-11-30 07:19:56 +00:00
|
|
|
#include "llvm/CodeGen/MachineFrameInfo.h"
|
2005-10-20 00:29:02 +00:00
|
|
|
#include "llvm/CodeGen/MachineFunction.h"
|
2007-12-31 04:13:23 +00:00
|
|
|
#include "llvm/CodeGen/MachineRegisterInfo.h"
|
2005-10-20 00:29:02 +00:00
|
|
|
#include "llvm/CodeGen/SelectionDAG.h"
|
|
|
|
#include "llvm/CodeGen/SelectionDAGISel.h"
|
|
|
|
#include "llvm/Target/TargetOptions.h"
|
|
|
|
#include "llvm/Constants.h"
|
2007-01-19 21:13:56 +00:00
|
|
|
#include "llvm/DerivedTypes.h"
|
2005-10-20 00:29:02 +00:00
|
|
|
#include "llvm/GlobalValue.h"
|
2006-03-25 06:47:10 +00:00
|
|
|
#include "llvm/Intrinsics.h"
|
2009-07-14 23:09:55 +00:00
|
|
|
#include "llvm/LLVMContext.h"
|
2008-02-03 05:43:57 +00:00
|
|
|
#include "llvm/Support/Compiler.h"
|
2005-10-20 00:29:02 +00:00
|
|
|
#include "llvm/Support/Debug.h"
|
2009-07-08 20:53:28 +00:00
|
|
|
#include "llvm/Support/ErrorHandling.h"
|
2005-10-20 00:29:02 +00:00
|
|
|
#include "llvm/Support/MathExtras.h"
|
2009-07-08 20:53:28 +00:00
|
|
|
#include "llvm/Support/raw_ostream.h"
|
2005-10-22 22:06:58 +00:00
|
|
|
#include <algorithm>
|
2005-10-20 00:29:02 +00:00
|
|
|
using namespace llvm;
|
|
|
|
|
|
|
|
namespace {
|
|
|
|
|
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
/// AlphaDAGToDAGISel - Alpha specific code to select Alpha machine
|
|
|
|
/// instructions for SelectionDAG operations.
|
|
|
|
class AlphaDAGToDAGISel : public SelectionDAGISel {
|
2005-12-30 02:30:02 +00:00
|
|
|
static const int64_t IMM_LOW = -32768;
|
|
|
|
static const int64_t IMM_HIGH = 32767;
|
|
|
|
static const int64_t IMM_MULT = 65536;
|
2006-01-01 22:16:14 +00:00
|
|
|
static const int64_t IMM_FULLHIGH = IMM_HIGH + IMM_HIGH * IMM_MULT;
|
|
|
|
static const int64_t IMM_FULLLOW = IMM_LOW + IMM_LOW * IMM_MULT;
|
|
|
|
|
|
|
|
static int64_t get_ldah16(int64_t x) {
|
|
|
|
int64_t y = x / IMM_MULT;
|
|
|
|
if (x % IMM_MULT > IMM_HIGH)
|
2007-04-16 18:10:23 +00:00
|
|
|
++y;
|
2006-01-01 22:16:14 +00:00
|
|
|
return y;
|
|
|
|
}
|
|
|
|
|
|
|
|
static int64_t get_lda16(int64_t x) {
|
|
|
|
return x - get_ldah16(x) * IMM_MULT;
|
|
|
|
}
|
|
|
|
|
Use cute tblgen tricks to make zap handling more powerful. Specifically,
when the dag combiner simplifies an and mask, notice this and allow those bits
to be missing from the zap mask.
This compiles Alpha/zapnot4.ll into:
sll $16,3,$0
zapnot $0,3,$0
ret $31,($26),1
instead of:
ldah $0,1($31)
lda $0,-8($0)
sll $16,3,$1
and $1,$0,$0
ret $31,($26),1
It would be *really* nice to replace the hunk of code in the
AlphaISelDAGToDAG.cpp file that matches (and (srl (x, C), c2) into
(SRL (ZAPNOTi)) with a similar pattern, but I've spent enough time poking
at alpha. Make andrew will do this.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@30875 91177308-0d34-0410-b5e6-96231b3b80d8
2006-10-11 05:13:56 +00:00
|
|
|
/// get_zapImm - Return a zap mask if X is a valid immediate for a zapnot
|
|
|
|
/// instruction (if not, return 0). Note that this code accepts partial
|
|
|
|
/// zap masks. For example (and LHS, 1) is a valid zap, as long we know
|
|
|
|
/// that the bits 1-7 of LHS are already zero. If LHS is non-null, we are
|
|
|
|
/// in checking mode. If LHS is null, we assume that the mask has already
|
|
|
|
/// been validated before.
|
2010-02-16 07:26:36 +00:00
|
|
|
uint64_t get_zapImm(SDValue LHS, uint64_t Constant) const {
|
Use cute tblgen tricks to make zap handling more powerful. Specifically,
when the dag combiner simplifies an and mask, notice this and allow those bits
to be missing from the zap mask.
This compiles Alpha/zapnot4.ll into:
sll $16,3,$0
zapnot $0,3,$0
ret $31,($26),1
instead of:
ldah $0,1($31)
lda $0,-8($0)
sll $16,3,$1
and $1,$0,$0
ret $31,($26),1
It would be *really* nice to replace the hunk of code in the
AlphaISelDAGToDAG.cpp file that matches (and (srl (x, C), c2) into
(SRL (ZAPNOTi)) with a similar pattern, but I've spent enough time poking
at alpha. Make andrew will do this.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@30875 91177308-0d34-0410-b5e6-96231b3b80d8
2006-10-11 05:13:56 +00:00
|
|
|
uint64_t BitsToCheck = 0;
|
|
|
|
unsigned Result = 0;
|
|
|
|
for (unsigned i = 0; i != 8; ++i) {
|
|
|
|
if (((Constant >> 8*i) & 0xFF) == 0) {
|
|
|
|
// nothing to do.
|
|
|
|
} else {
|
|
|
|
Result |= 1 << i;
|
|
|
|
if (((Constant >> 8*i) & 0xFF) == 0xFF) {
|
|
|
|
// If the entire byte is set, zapnot the byte.
|
2008-08-28 21:40:38 +00:00
|
|
|
} else if (LHS.getNode() == 0) {
|
Use cute tblgen tricks to make zap handling more powerful. Specifically,
when the dag combiner simplifies an and mask, notice this and allow those bits
to be missing from the zap mask.
This compiles Alpha/zapnot4.ll into:
sll $16,3,$0
zapnot $0,3,$0
ret $31,($26),1
instead of:
ldah $0,1($31)
lda $0,-8($0)
sll $16,3,$1
and $1,$0,$0
ret $31,($26),1
It would be *really* nice to replace the hunk of code in the
AlphaISelDAGToDAG.cpp file that matches (and (srl (x, C), c2) into
(SRL (ZAPNOTi)) with a similar pattern, but I've spent enough time poking
at alpha. Make andrew will do this.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@30875 91177308-0d34-0410-b5e6-96231b3b80d8
2006-10-11 05:13:56 +00:00
|
|
|
// Otherwise, if the mask was previously validated, we know its okay
|
|
|
|
// to zapnot this entire byte even though all the bits aren't set.
|
|
|
|
} else {
|
|
|
|
// Otherwise we don't know that the it's okay to zapnot this entire
|
|
|
|
// byte. Only do this iff we can prove that the missing bits are
|
|
|
|
// already null, so the bytezap doesn't need to really null them.
|
|
|
|
BitsToCheck |= ~Constant & (0xFF << 8*i);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// If there are missing bits in a byte (for example, X & 0xEF00), check to
|
|
|
|
// see if the missing bits (0x1000) are already known zero if not, the zap
|
|
|
|
// isn't okay to do, as it won't clear all the required bits.
|
|
|
|
if (BitsToCheck &&
|
2008-02-25 21:11:39 +00:00
|
|
|
!CurDAG->MaskedValueIsZero(LHS,
|
|
|
|
APInt(LHS.getValueSizeInBits(),
|
|
|
|
BitsToCheck)))
|
Use cute tblgen tricks to make zap handling more powerful. Specifically,
when the dag combiner simplifies an and mask, notice this and allow those bits
to be missing from the zap mask.
This compiles Alpha/zapnot4.ll into:
sll $16,3,$0
zapnot $0,3,$0
ret $31,($26),1
instead of:
ldah $0,1($31)
lda $0,-8($0)
sll $16,3,$1
and $1,$0,$0
ret $31,($26),1
It would be *really* nice to replace the hunk of code in the
AlphaISelDAGToDAG.cpp file that matches (and (srl (x, C), c2) into
(SRL (ZAPNOTi)) with a similar pattern, but I've spent enough time poking
at alpha. Make andrew will do this.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@30875 91177308-0d34-0410-b5e6-96231b3b80d8
2006-10-11 05:13:56 +00:00
|
|
|
return 0;
|
|
|
|
|
|
|
|
return Result;
|
|
|
|
}
|
|
|
|
|
2006-01-01 22:16:14 +00:00
|
|
|
static uint64_t get_zapImm(uint64_t x) {
|
Use cute tblgen tricks to make zap handling more powerful. Specifically,
when the dag combiner simplifies an and mask, notice this and allow those bits
to be missing from the zap mask.
This compiles Alpha/zapnot4.ll into:
sll $16,3,$0
zapnot $0,3,$0
ret $31,($26),1
instead of:
ldah $0,1($31)
lda $0,-8($0)
sll $16,3,$1
and $1,$0,$0
ret $31,($26),1
It would be *really* nice to replace the hunk of code in the
AlphaISelDAGToDAG.cpp file that matches (and (srl (x, C), c2) into
(SRL (ZAPNOTi)) with a similar pattern, but I've spent enough time poking
at alpha. Make andrew will do this.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@30875 91177308-0d34-0410-b5e6-96231b3b80d8
2006-10-11 05:13:56 +00:00
|
|
|
unsigned build = 0;
|
|
|
|
for(int i = 0; i != 8; ++i) {
|
|
|
|
if ((x & 0x00FF) == 0x00FF)
|
|
|
|
build |= 1 << i;
|
|
|
|
else if ((x & 0x00FF) != 0)
|
|
|
|
return 0;
|
|
|
|
x >>= 8;
|
|
|
|
}
|
2006-01-02 21:15:53 +00:00
|
|
|
return build;
|
2006-01-01 22:16:14 +00:00
|
|
|
}
|
Use cute tblgen tricks to make zap handling more powerful. Specifically,
when the dag combiner simplifies an and mask, notice this and allow those bits
to be missing from the zap mask.
This compiles Alpha/zapnot4.ll into:
sll $16,3,$0
zapnot $0,3,$0
ret $31,($26),1
instead of:
ldah $0,1($31)
lda $0,-8($0)
sll $16,3,$1
and $1,$0,$0
ret $31,($26),1
It would be *really* nice to replace the hunk of code in the
AlphaISelDAGToDAG.cpp file that matches (and (srl (x, C), c2) into
(SRL (ZAPNOTi)) with a similar pattern, but I've spent enough time poking
at alpha. Make andrew will do this.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@30875 91177308-0d34-0410-b5e6-96231b3b80d8
2006-10-11 05:13:56 +00:00
|
|
|
|
|
|
|
|
2006-04-03 03:18:59 +00:00
|
|
|
static uint64_t getNearPower2(uint64_t x) {
|
|
|
|
if (!x) return 0;
|
|
|
|
unsigned at = CountLeadingZeros_64(x);
|
|
|
|
uint64_t complow = 1 << (63 - at);
|
|
|
|
uint64_t comphigh = 1 << (64 - at);
|
2006-12-07 22:21:48 +00:00
|
|
|
//cerr << x << ":" << complow << ":" << comphigh << "\n";
|
2009-08-09 22:37:07 +00:00
|
|
|
if (abs64(complow - x) <= abs64(comphigh - x))
|
2006-04-03 03:18:59 +00:00
|
|
|
return complow;
|
|
|
|
else
|
|
|
|
return comphigh;
|
|
|
|
}
|
|
|
|
|
2006-10-31 19:52:12 +00:00
|
|
|
static bool chkRemNearPower2(uint64_t x, uint64_t r, bool swap) {
|
|
|
|
uint64_t y = getNearPower2(x);
|
|
|
|
if (swap)
|
|
|
|
return (y - x) == r;
|
|
|
|
else
|
|
|
|
return (x - y) == r;
|
|
|
|
}
|
|
|
|
|
2008-07-27 21:46:04 +00:00
|
|
|
static bool isFPZ(SDValue N) {
|
2006-01-01 22:16:14 +00:00
|
|
|
ConstantFPSDNode *CN = dyn_cast<ConstantFPSDNode>(N);
|
2007-08-31 04:03:46 +00:00
|
|
|
return (CN && (CN->getValueAPF().isZero()));
|
2006-01-01 22:16:14 +00:00
|
|
|
}
|
2008-07-27 21:46:04 +00:00
|
|
|
static bool isFPZn(SDValue N) {
|
2006-01-01 22:16:14 +00:00
|
|
|
ConstantFPSDNode *CN = dyn_cast<ConstantFPSDNode>(N);
|
2007-08-31 04:03:46 +00:00
|
|
|
return (CN && CN->getValueAPF().isNegZero());
|
2006-01-01 22:16:14 +00:00
|
|
|
}
|
2008-07-27 21:46:04 +00:00
|
|
|
static bool isFPZp(SDValue N) {
|
2006-01-01 22:16:14 +00:00
|
|
|
ConstantFPSDNode *CN = dyn_cast<ConstantFPSDNode>(N);
|
2007-08-31 04:03:46 +00:00
|
|
|
return (CN && CN->getValueAPF().isPosZero());
|
2006-01-01 22:16:14 +00:00
|
|
|
}
|
|
|
|
|
2005-10-20 00:29:02 +00:00
|
|
|
public:
|
2008-05-14 01:58:56 +00:00
|
|
|
explicit AlphaDAGToDAGISel(AlphaTargetMachine &TM)
|
2009-01-15 19:20:50 +00:00
|
|
|
: SelectionDAGISel(TM)
|
2005-12-30 02:30:02 +00:00
|
|
|
{}
|
2005-10-20 00:29:02 +00:00
|
|
|
|
|
|
|
/// getI64Imm - Return a target constant with the specified value, of type
|
|
|
|
/// i64.
|
2008-07-27 21:46:04 +00:00
|
|
|
inline SDValue getI64Imm(int64_t Imm) {
|
2009-08-11 20:47:22 +00:00
|
|
|
return CurDAG->getTargetConstant(Imm, MVT::i64);
|
2005-10-20 00:29:02 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// Select - Convert the specified operand from a target-independent to a
|
|
|
|
// target-specific node if it hasn't already been changed.
|
2010-01-05 01:24:18 +00:00
|
|
|
SDNode *Select(SDNode *N);
|
2005-10-20 00:29:02 +00:00
|
|
|
|
|
|
|
virtual const char *getPassName() const {
|
|
|
|
return "Alpha DAG->DAG Pattern Instruction Selection";
|
|
|
|
}
|
|
|
|
|
2006-06-21 15:42:36 +00:00
|
|
|
/// SelectInlineAsmMemoryOperand - Implement addressing mode selection for
|
|
|
|
/// inline asm expressions.
|
2008-07-27 21:46:04 +00:00
|
|
|
virtual bool SelectInlineAsmMemoryOperand(const SDValue &Op,
|
2006-06-21 15:42:36 +00:00
|
|
|
char ConstraintCode,
|
2008-08-23 02:25:05 +00:00
|
|
|
std::vector<SDValue> &OutOps) {
|
2008-07-27 21:46:04 +00:00
|
|
|
SDValue Op0;
|
2006-06-21 15:42:36 +00:00
|
|
|
switch (ConstraintCode) {
|
|
|
|
default: return true;
|
|
|
|
case 'm': // memory
|
2006-08-26 01:07:58 +00:00
|
|
|
Op0 = Op;
|
2006-06-21 15:42:36 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
OutOps.push_back(Op0);
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
2005-10-20 00:29:02 +00:00
|
|
|
// Include the pieces autogenerated from the target description.
|
|
|
|
#include "AlphaGenDAGISel.inc"
|
|
|
|
|
|
|
|
private:
|
2009-06-03 20:30:14 +00:00
|
|
|
/// getTargetMachine - Return a reference to the TargetMachine, casted
|
|
|
|
/// to the target-specific type.
|
|
|
|
const AlphaTargetMachine &getTargetMachine() {
|
|
|
|
return static_cast<const AlphaTargetMachine &>(TM);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// getInstrInfo - Return a reference to the TargetInstrInfo, casted
|
|
|
|
/// to the target-specific type.
|
|
|
|
const AlphaInstrInfo *getInstrInfo() {
|
|
|
|
return getTargetMachine().getInstrInfo();
|
|
|
|
}
|
|
|
|
|
|
|
|
SDNode *getGlobalBaseReg();
|
|
|
|
SDNode *getGlobalRetAddr();
|
2010-01-05 01:24:18 +00:00
|
|
|
void SelectCALL(SDNode *Op);
|
2005-10-22 22:06:58 +00:00
|
|
|
|
2005-10-20 00:29:02 +00:00
|
|
|
};
|
|
|
|
}
|
|
|
|
|
2005-10-22 22:06:58 +00:00
|
|
|
/// getGlobalBaseReg - Output the instructions required to put the
|
|
|
|
/// GOT address into a register.
|
|
|
|
///
|
2009-06-03 20:30:14 +00:00
|
|
|
SDNode *AlphaDAGToDAGISel::getGlobalBaseReg() {
|
|
|
|
unsigned GlobalBaseReg = getInstrInfo()->getGlobalBaseReg(MF);
|
|
|
|
return CurDAG->getRegister(GlobalBaseReg, TLI.getPointerTy()).getNode();
|
2005-12-01 01:53:10 +00:00
|
|
|
}
|
|
|
|
|
2009-06-03 20:30:14 +00:00
|
|
|
/// getGlobalRetAddr - Grab the return address.
|
2005-12-01 01:53:10 +00:00
|
|
|
///
|
2009-06-03 20:30:14 +00:00
|
|
|
SDNode *AlphaDAGToDAGISel::getGlobalRetAddr() {
|
|
|
|
unsigned GlobalRetAddr = getInstrInfo()->getGlobalRetAddr(MF);
|
|
|
|
return CurDAG->getRegister(GlobalRetAddr, TLI.getPointerTy()).getNode();
|
2005-10-22 22:06:58 +00:00
|
|
|
}
|
|
|
|
|
2005-10-20 00:29:02 +00:00
|
|
|
// Select - Convert the specified operand from a target-independent to a
|
|
|
|
// target-specific node if it hasn't already been changed.
|
2010-01-05 01:24:18 +00:00
|
|
|
SDNode *AlphaDAGToDAGISel::Select(SDNode *N) {
|
2010-03-02 06:34:30 +00:00
|
|
|
if (N->isMachineOpcode())
|
2006-08-11 09:08:15 +00:00
|
|
|
return NULL; // Already selected.
|
2009-02-04 23:02:30 +00:00
|
|
|
DebugLoc dl = N->getDebugLoc();
|
2005-10-20 00:29:02 +00:00
|
|
|
|
|
|
|
switch (N->getOpcode()) {
|
|
|
|
default: break;
|
2006-02-09 00:37:58 +00:00
|
|
|
case AlphaISD::CALL:
|
2010-01-05 01:24:18 +00:00
|
|
|
SelectCALL(N);
|
2006-08-11 09:08:15 +00:00
|
|
|
return NULL;
|
2005-10-22 22:06:58 +00:00
|
|
|
|
2005-10-20 00:29:02 +00:00
|
|
|
case ISD::FrameIndex: {
|
2005-11-22 04:20:06 +00:00
|
|
|
int FI = cast<FrameIndexSDNode>(N)->getIndex();
|
2009-08-11 20:47:22 +00:00
|
|
|
return CurDAG->SelectNodeTo(N, Alpha::LDA, MVT::i64,
|
|
|
|
CurDAG->getTargetFrameIndex(FI, MVT::i32),
|
2006-08-26 08:00:10 +00:00
|
|
|
getI64Imm(0));
|
2005-10-20 00:29:02 +00:00
|
|
|
}
|
2009-06-03 20:30:14 +00:00
|
|
|
case ISD::GLOBAL_OFFSET_TABLE:
|
|
|
|
return getGlobalBaseReg();
|
|
|
|
case AlphaISD::GlobalRetAddr:
|
|
|
|
return getGlobalRetAddr();
|
2005-12-24 05:36:33 +00:00
|
|
|
|
2005-12-25 01:34:27 +00:00
|
|
|
case AlphaISD::DivCall: {
|
2008-07-27 21:46:04 +00:00
|
|
|
SDValue Chain = CurDAG->getEntryNode();
|
2010-01-05 01:24:18 +00:00
|
|
|
SDValue N0 = N->getOperand(0);
|
|
|
|
SDValue N1 = N->getOperand(1);
|
|
|
|
SDValue N2 = N->getOperand(2);
|
2009-02-04 23:02:30 +00:00
|
|
|
Chain = CurDAG->getCopyToReg(Chain, dl, Alpha::R24, N1,
|
2008-07-27 21:46:04 +00:00
|
|
|
SDValue(0,0));
|
2009-02-04 23:02:30 +00:00
|
|
|
Chain = CurDAG->getCopyToReg(Chain, dl, Alpha::R25, N2,
|
2007-04-16 18:10:23 +00:00
|
|
|
Chain.getValue(1));
|
2009-02-04 23:02:30 +00:00
|
|
|
Chain = CurDAG->getCopyToReg(Chain, dl, Alpha::R27, N0,
|
2007-04-16 18:10:23 +00:00
|
|
|
Chain.getValue(1));
|
2006-02-09 07:17:49 +00:00
|
|
|
SDNode *CNode =
|
2009-09-25 18:54:59 +00:00
|
|
|
CurDAG->getMachineNode(Alpha::JSRs, dl, MVT::Other, MVT::Flag,
|
|
|
|
Chain, Chain.getValue(1));
|
2009-08-11 20:47:22 +00:00
|
|
|
Chain = CurDAG->getCopyFromReg(Chain, dl, Alpha::R27, MVT::i64,
|
2008-07-27 21:46:04 +00:00
|
|
|
SDValue(CNode, 1));
|
2009-08-11 20:47:22 +00:00
|
|
|
return CurDAG->SelectNodeTo(N, Alpha::BISr, MVT::i64, Chain, Chain);
|
2005-10-20 00:29:02 +00:00
|
|
|
}
|
|
|
|
|
2006-01-16 21:22:38 +00:00
|
|
|
case ISD::READCYCLECOUNTER: {
|
2008-07-27 21:46:04 +00:00
|
|
|
SDValue Chain = N->getOperand(0);
|
2009-09-25 18:54:59 +00:00
|
|
|
return CurDAG->getMachineNode(Alpha::RPCC, dl, MVT::i64, MVT::Other,
|
|
|
|
Chain);
|
2006-01-16 21:22:38 +00:00
|
|
|
}
|
|
|
|
|
2005-11-22 04:20:06 +00:00
|
|
|
case ISD::Constant: {
|
2008-09-12 16:56:44 +00:00
|
|
|
uint64_t uval = cast<ConstantSDNode>(N)->getZExtValue();
|
2006-01-06 19:41:51 +00:00
|
|
|
|
2006-02-09 00:37:58 +00:00
|
|
|
if (uval == 0) {
|
2009-02-04 23:02:30 +00:00
|
|
|
SDValue Result = CurDAG->getCopyFromReg(CurDAG->getEntryNode(), dl,
|
2009-08-11 20:47:22 +00:00
|
|
|
Alpha::R31, MVT::i64);
|
2010-01-05 01:24:18 +00:00
|
|
|
ReplaceUses(SDValue(N, 0), Result);
|
2006-08-11 09:08:15 +00:00
|
|
|
return NULL;
|
2006-02-09 00:37:58 +00:00
|
|
|
}
|
2006-01-06 19:41:51 +00:00
|
|
|
|
2005-12-30 02:30:02 +00:00
|
|
|
int64_t val = (int64_t)uval;
|
|
|
|
int32_t val32 = (int32_t)val;
|
|
|
|
if (val <= IMM_HIGH + IMM_HIGH * IMM_MULT &&
|
2007-04-16 18:10:23 +00:00
|
|
|
val >= IMM_LOW + IMM_LOW * IMM_MULT)
|
2005-12-30 02:30:02 +00:00
|
|
|
break; //(LDAH (LDA))
|
|
|
|
if ((uval >> 32) == 0 && //empty upper bits
|
2007-04-16 18:10:23 +00:00
|
|
|
val32 <= IMM_HIGH + IMM_HIGH * IMM_MULT)
|
|
|
|
// val32 >= IMM_LOW + IMM_LOW * IMM_MULT) //always true
|
2005-12-30 02:30:02 +00:00
|
|
|
break; //(zext (LDAH (LDA)))
|
|
|
|
//Else use the constant pool
|
2009-08-13 21:58:54 +00:00
|
|
|
ConstantInt *C = ConstantInt::get(
|
|
|
|
Type::getInt64Ty(*CurDAG->getContext()), uval);
|
2009-08-11 20:47:22 +00:00
|
|
|
SDValue CPI = CurDAG->getTargetConstantPool(C, MVT::i64);
|
2009-09-25 18:54:59 +00:00
|
|
|
SDNode *Tmp = CurDAG->getMachineNode(Alpha::LDAHr, dl, MVT::i64, CPI,
|
|
|
|
SDValue(getGlobalBaseReg(), 0));
|
2009-08-11 20:47:22 +00:00
|
|
|
return CurDAG->SelectNodeTo(N, Alpha::LDQr, MVT::i64, MVT::Other,
|
2008-07-27 21:46:04 +00:00
|
|
|
CPI, SDValue(Tmp, 0), CurDAG->getEntryNode());
|
2005-11-22 04:20:06 +00:00
|
|
|
}
|
2008-10-07 02:10:26 +00:00
|
|
|
case ISD::TargetConstantFP:
|
|
|
|
case ISD::ConstantFP: {
|
2006-01-29 06:25:22 +00:00
|
|
|
ConstantFPSDNode *CN = cast<ConstantFPSDNode>(N);
|
2009-08-11 20:47:22 +00:00
|
|
|
bool isDouble = N->getValueType(0) == MVT::f64;
|
|
|
|
EVT T = isDouble ? MVT::f64 : MVT::f32;
|
2007-08-31 04:03:46 +00:00
|
|
|
if (CN->getValueAPF().isPosZero()) {
|
2006-08-16 07:30:09 +00:00
|
|
|
return CurDAG->SelectNodeTo(N, isDouble ? Alpha::CPYST : Alpha::CPYSS,
|
|
|
|
T, CurDAG->getRegister(Alpha::F31, T),
|
2006-08-26 08:00:10 +00:00
|
|
|
CurDAG->getRegister(Alpha::F31, T));
|
2007-08-31 04:03:46 +00:00
|
|
|
} else if (CN->getValueAPF().isNegZero()) {
|
2006-08-16 07:30:09 +00:00
|
|
|
return CurDAG->SelectNodeTo(N, isDouble ? Alpha::CPYSNT : Alpha::CPYSNS,
|
|
|
|
T, CurDAG->getRegister(Alpha::F31, T),
|
2006-08-26 08:00:10 +00:00
|
|
|
CurDAG->getRegister(Alpha::F31, T));
|
2006-01-29 06:25:22 +00:00
|
|
|
} else {
|
2010-04-07 22:58:41 +00:00
|
|
|
report_fatal_error("Unhandled FP constant type");
|
2005-11-22 04:20:06 +00:00
|
|
|
}
|
2006-01-29 06:25:22 +00:00
|
|
|
break;
|
|
|
|
}
|
2005-11-30 07:19:56 +00:00
|
|
|
|
|
|
|
case ISD::SETCC:
|
2008-08-28 21:40:38 +00:00
|
|
|
if (N->getOperand(0).getNode()->getValueType(0).isFloatingPoint()) {
|
2005-11-30 07:19:56 +00:00
|
|
|
ISD::CondCode CC = cast<CondCodeSDNode>(N->getOperand(2))->get();
|
2007-01-24 18:43:14 +00:00
|
|
|
|
|
|
|
unsigned Opc = Alpha::WTF;
|
2005-11-30 07:19:56 +00:00
|
|
|
bool rev = false;
|
2007-01-24 18:43:14 +00:00
|
|
|
bool inv = false;
|
2005-11-30 07:19:56 +00:00
|
|
|
switch(CC) {
|
2009-07-14 16:55:14 +00:00
|
|
|
default: DEBUG(N->dump(CurDAG)); llvm_unreachable("Unknown FP comparison!");
|
2007-01-24 18:43:14 +00:00
|
|
|
case ISD::SETEQ: case ISD::SETOEQ: case ISD::SETUEQ:
|
2007-04-16 18:10:23 +00:00
|
|
|
Opc = Alpha::CMPTEQ; break;
|
2007-01-24 18:43:14 +00:00
|
|
|
case ISD::SETLT: case ISD::SETOLT: case ISD::SETULT:
|
2007-04-16 18:10:23 +00:00
|
|
|
Opc = Alpha::CMPTLT; break;
|
2007-01-24 18:43:14 +00:00
|
|
|
case ISD::SETLE: case ISD::SETOLE: case ISD::SETULE:
|
2007-04-16 18:10:23 +00:00
|
|
|
Opc = Alpha::CMPTLE; break;
|
2007-01-24 18:43:14 +00:00
|
|
|
case ISD::SETGT: case ISD::SETOGT: case ISD::SETUGT:
|
2007-04-16 18:10:23 +00:00
|
|
|
Opc = Alpha::CMPTLT; rev = true; break;
|
2007-01-24 18:43:14 +00:00
|
|
|
case ISD::SETGE: case ISD::SETOGE: case ISD::SETUGE:
|
2007-04-16 18:10:23 +00:00
|
|
|
Opc = Alpha::CMPTLE; rev = true; break;
|
2007-01-24 18:43:14 +00:00
|
|
|
case ISD::SETNE: case ISD::SETONE: case ISD::SETUNE:
|
2007-04-16 18:10:23 +00:00
|
|
|
Opc = Alpha::CMPTEQ; inv = true; break;
|
2007-01-24 18:43:14 +00:00
|
|
|
case ISD::SETO:
|
2007-04-16 18:10:23 +00:00
|
|
|
Opc = Alpha::CMPTUN; inv = true; break;
|
2007-01-24 18:43:14 +00:00
|
|
|
case ISD::SETUO:
|
2007-04-16 18:10:23 +00:00
|
|
|
Opc = Alpha::CMPTUN; break;
|
2005-11-30 07:19:56 +00:00
|
|
|
};
|
2008-07-27 21:46:04 +00:00
|
|
|
SDValue tmp1 = N->getOperand(rev?1:0);
|
|
|
|
SDValue tmp2 = N->getOperand(rev?0:1);
|
2009-09-25 18:54:59 +00:00
|
|
|
SDNode *cmp = CurDAG->getMachineNode(Opc, dl, MVT::f64, tmp1, tmp2);
|
2007-01-24 18:43:14 +00:00
|
|
|
if (inv)
|
2009-09-25 18:54:59 +00:00
|
|
|
cmp = CurDAG->getMachineNode(Alpha::CMPTEQ, dl,
|
|
|
|
MVT::f64, SDValue(cmp, 0),
|
|
|
|
CurDAG->getRegister(Alpha::F31, MVT::f64));
|
2007-01-24 18:43:14 +00:00
|
|
|
switch(CC) {
|
|
|
|
case ISD::SETUEQ: case ISD::SETULT: case ISD::SETULE:
|
|
|
|
case ISD::SETUNE: case ISD::SETUGT: case ISD::SETUGE:
|
2007-04-16 18:10:23 +00:00
|
|
|
{
|
2009-09-25 18:54:59 +00:00
|
|
|
SDNode* cmp2 = CurDAG->getMachineNode(Alpha::CMPTUN, dl, MVT::f64,
|
|
|
|
tmp1, tmp2);
|
|
|
|
cmp = CurDAG->getMachineNode(Alpha::ADDT, dl, MVT::f64,
|
|
|
|
SDValue(cmp2, 0), SDValue(cmp, 0));
|
2007-04-16 18:10:23 +00:00
|
|
|
break;
|
|
|
|
}
|
2007-01-24 18:43:14 +00:00
|
|
|
default: break;
|
|
|
|
}
|
|
|
|
|
2009-09-25 18:54:59 +00:00
|
|
|
SDNode* LD = CurDAG->getMachineNode(Alpha::FTOIT, dl,
|
|
|
|
MVT::i64, SDValue(cmp, 0));
|
|
|
|
return CurDAG->getMachineNode(Alpha::CMPULT, dl, MVT::i64,
|
|
|
|
CurDAG->getRegister(Alpha::R31, MVT::i64),
|
|
|
|
SDValue(LD,0));
|
2005-11-30 07:19:56 +00:00
|
|
|
}
|
|
|
|
break;
|
2005-11-30 16:10:29 +00:00
|
|
|
|
2006-02-13 18:52:29 +00:00
|
|
|
case ISD::AND: {
|
2006-05-18 17:29:34 +00:00
|
|
|
ConstantSDNode* SC = NULL;
|
|
|
|
ConstantSDNode* MC = NULL;
|
2006-02-13 18:52:29 +00:00
|
|
|
if (N->getOperand(0).getOpcode() == ISD::SRL &&
|
2007-04-16 18:10:23 +00:00
|
|
|
(MC = dyn_cast<ConstantSDNode>(N->getOperand(1))) &&
|
|
|
|
(SC = dyn_cast<ConstantSDNode>(N->getOperand(0).getOperand(1)))) {
|
2008-09-12 16:56:44 +00:00
|
|
|
uint64_t sval = SC->getZExtValue();
|
|
|
|
uint64_t mval = MC->getZExtValue();
|
2007-04-16 18:10:23 +00:00
|
|
|
// If the result is a zap, let the autogened stuff handle it.
|
|
|
|
if (get_zapImm(N->getOperand(0), mval))
|
|
|
|
break;
|
|
|
|
// given mask X, and shift S, we want to see if there is any zap in the
|
|
|
|
// mask if we play around with the botton S bits
|
|
|
|
uint64_t dontcare = (~0ULL) >> (64 - sval);
|
|
|
|
uint64_t mask = mval << sval;
|
|
|
|
|
|
|
|
if (get_zapImm(mask | dontcare))
|
|
|
|
mask = mask | dontcare;
|
|
|
|
|
|
|
|
if (get_zapImm(mask)) {
|
2008-07-27 21:46:04 +00:00
|
|
|
SDValue Z =
|
2009-09-25 18:54:59 +00:00
|
|
|
SDValue(CurDAG->getMachineNode(Alpha::ZAPNOTi, dl, MVT::i64,
|
|
|
|
N->getOperand(0).getOperand(0),
|
|
|
|
getI64Imm(get_zapImm(mask))), 0);
|
|
|
|
return CurDAG->getMachineNode(Alpha::SRLr, dl, MVT::i64, Z,
|
|
|
|
getI64Imm(sval));
|
2006-02-13 18:52:29 +00:00
|
|
|
}
|
2007-04-16 18:10:23 +00:00
|
|
|
}
|
2006-02-13 18:52:29 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
2005-10-20 00:29:02 +00:00
|
|
|
}
|
2005-11-30 16:10:29 +00:00
|
|
|
|
2010-01-05 01:24:18 +00:00
|
|
|
return SelectCode(N);
|
2005-10-20 00:29:02 +00:00
|
|
|
}
|
|
|
|
|
2010-01-05 01:24:18 +00:00
|
|
|
void AlphaDAGToDAGISel::SelectCALL(SDNode *N) {
|
2005-11-22 04:20:06 +00:00
|
|
|
//TODO: add flag stuff to prevent nondeturministic breakage!
|
|
|
|
|
2008-07-27 21:46:04 +00:00
|
|
|
SDValue Chain = N->getOperand(0);
|
|
|
|
SDValue Addr = N->getOperand(1);
|
2009-07-19 01:11:32 +00:00
|
|
|
SDValue InFlag = N->getOperand(N->getNumOperands() - 1);
|
2009-02-04 23:02:30 +00:00
|
|
|
DebugLoc dl = N->getDebugLoc();
|
2005-10-22 22:06:58 +00:00
|
|
|
|
2005-12-25 17:36:48 +00:00
|
|
|
if (Addr.getOpcode() == AlphaISD::GPRelLo) {
|
2009-06-03 20:30:14 +00:00
|
|
|
SDValue GOT = SDValue(getGlobalBaseReg(), 0);
|
2009-02-04 23:02:30 +00:00
|
|
|
Chain = CurDAG->getCopyToReg(Chain, dl, Alpha::R29, GOT, InFlag);
|
2005-12-25 17:36:48 +00:00
|
|
|
InFlag = Chain.getValue(1);
|
2009-09-25 18:54:59 +00:00
|
|
|
Chain = SDValue(CurDAG->getMachineNode(Alpha::BSR, dl, MVT::Other,
|
|
|
|
MVT::Flag, Addr.getOperand(0),
|
|
|
|
Chain, InFlag), 0);
|
2005-12-25 17:36:48 +00:00
|
|
|
} else {
|
2009-02-04 23:02:30 +00:00
|
|
|
Chain = CurDAG->getCopyToReg(Chain, dl, Alpha::R27, Addr, InFlag);
|
2005-12-25 17:36:48 +00:00
|
|
|
InFlag = Chain.getValue(1);
|
2009-09-25 18:54:59 +00:00
|
|
|
Chain = SDValue(CurDAG->getMachineNode(Alpha::JSR, dl, MVT::Other,
|
|
|
|
MVT::Flag, Chain, InFlag), 0);
|
2005-12-25 17:36:48 +00:00
|
|
|
}
|
2005-12-01 01:53:10 +00:00
|
|
|
InFlag = Chain.getValue(1);
|
|
|
|
|
2010-01-05 01:24:18 +00:00
|
|
|
ReplaceUses(SDValue(N, 0), Chain);
|
|
|
|
ReplaceUses(SDValue(N, 1), InFlag);
|
2005-10-22 22:06:58 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2005-10-20 00:29:02 +00:00
|
|
|
/// createAlphaISelDag - This pass converts a legalized DAG into a
|
|
|
|
/// Alpha-specific DAG, ready for instruction scheduling.
|
|
|
|
///
|
2008-05-14 01:58:56 +00:00
|
|
|
FunctionPass *llvm::createAlphaISelDag(AlphaTargetMachine &TM) {
|
2005-10-20 00:29:02 +00:00
|
|
|
return new AlphaDAGToDAGISel(TM);
|
|
|
|
}
|