2005-10-29 01:46:35 +08:00
|
|
|
//===---- IA64ISelDAGToDAG.cpp - IA64 pattern matching inst selector ------===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file was developed by Duraid Madina and is distributed under
|
|
|
|
// the University of Illinois Open Source License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This file defines a pattern matching instruction selector for IA64,
|
|
|
|
// converting a legalized dag to an IA64 dag.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#include "IA64.h"
|
|
|
|
#include "IA64TargetMachine.h"
|
|
|
|
#include "IA64ISelLowering.h"
|
|
|
|
#include "llvm/CodeGen/MachineInstrBuilder.h"
|
|
|
|
#include "llvm/CodeGen/MachineFunction.h"
|
|
|
|
#include "llvm/CodeGen/SSARegMap.h"
|
|
|
|
#include "llvm/CodeGen/SelectionDAG.h"
|
|
|
|
#include "llvm/CodeGen/SelectionDAGISel.h"
|
|
|
|
#include "llvm/Target/TargetOptions.h"
|
|
|
|
#include "llvm/ADT/Statistic.h"
|
|
|
|
#include "llvm/Constants.h"
|
|
|
|
#include "llvm/GlobalValue.h"
|
2006-03-25 14:47:10 +08:00
|
|
|
#include "llvm/Intrinsics.h"
|
2005-10-29 01:46:35 +08:00
|
|
|
#include "llvm/Support/Debug.h"
|
|
|
|
#include "llvm/Support/MathExtras.h"
|
2006-01-23 07:41:00 +08:00
|
|
|
#include <iostream>
|
2006-08-08 06:28:20 +08:00
|
|
|
#include <queue>
|
2006-02-05 14:46:41 +08:00
|
|
|
#include <set>
|
2005-10-29 01:46:35 +08:00
|
|
|
using namespace llvm;
|
|
|
|
|
|
|
|
namespace {
|
|
|
|
Statistic<> FusedFP ("ia64-codegen", "Number of fused fp operations");
|
|
|
|
Statistic<> FrameOff("ia64-codegen", "Number of frame idx offsets collapsed");
|
|
|
|
|
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
/// IA64DAGToDAGISel - IA64 specific code to select IA64 machine
|
|
|
|
/// instructions for SelectionDAG operations.
|
|
|
|
///
|
|
|
|
class IA64DAGToDAGISel : public SelectionDAGISel {
|
|
|
|
IA64TargetLowering IA64Lowering;
|
|
|
|
unsigned GlobalBaseReg;
|
|
|
|
public:
|
2006-03-14 07:20:37 +08:00
|
|
|
IA64DAGToDAGISel(IA64TargetMachine &TM)
|
|
|
|
: SelectionDAGISel(IA64Lowering), IA64Lowering(*TM.getTargetLowering()) {}
|
2005-10-29 01:46:35 +08:00
|
|
|
|
|
|
|
virtual bool runOnFunction(Function &Fn) {
|
|
|
|
// Make sure we re-emit a set of the global base reg if necessary
|
|
|
|
GlobalBaseReg = 0;
|
|
|
|
return SelectionDAGISel::runOnFunction(Fn);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// getI64Imm - Return a target constant with the specified value, of type
|
|
|
|
/// i64.
|
|
|
|
inline SDOperand getI64Imm(uint64_t Imm) {
|
|
|
|
return CurDAG->getTargetConstant(Imm, MVT::i64);
|
|
|
|
}
|
|
|
|
|
|
|
|
/// getGlobalBaseReg - insert code into the entry mbb to materialize the PIC
|
|
|
|
/// base register. Return the virtual register that holds this value.
|
|
|
|
// SDOperand getGlobalBaseReg(); TODO: hmm
|
|
|
|
|
|
|
|
// Select - Convert the specified operand from a target-independent to a
|
|
|
|
// target-specific node if it hasn't already been changed.
|
2006-08-11 17:08:15 +08:00
|
|
|
SDNode *Select(SDOperand &Result, SDOperand N);
|
2005-10-29 01:46:35 +08:00
|
|
|
|
|
|
|
SDNode *SelectIntImmediateExpr(SDOperand LHS, SDOperand RHS,
|
|
|
|
unsigned OCHi, unsigned OCLo,
|
|
|
|
bool IsArithmetic = false,
|
|
|
|
bool Negate = false);
|
|
|
|
SDNode *SelectBitfieldInsert(SDNode *N);
|
|
|
|
|
|
|
|
/// SelectCC - Select a comparison of the specified values with the
|
|
|
|
/// specified condition code, returning the CR# of the expression.
|
|
|
|
SDOperand SelectCC(SDOperand LHS, SDOperand RHS, ISD::CondCode CC);
|
|
|
|
|
|
|
|
/// SelectAddr - Given the specified address, return the two operands for a
|
|
|
|
/// load/store instruction, and return true if it should be an indexed [r+r]
|
|
|
|
/// operation.
|
|
|
|
bool SelectAddr(SDOperand Addr, SDOperand &Op1, SDOperand &Op2);
|
|
|
|
|
|
|
|
/// InstructionSelectBasicBlock - This callback is invoked by
|
|
|
|
/// SelectionDAGISel when it has created a SelectionDAG for us to codegen.
|
|
|
|
virtual void InstructionSelectBasicBlock(SelectionDAG &DAG);
|
|
|
|
|
|
|
|
virtual const char *getPassName() const {
|
|
|
|
return "IA64 (Itanium) DAG->DAG Instruction Selector";
|
|
|
|
}
|
|
|
|
|
|
|
|
// Include the pieces autogenerated from the target description.
|
|
|
|
#include "IA64GenDAGISel.inc"
|
|
|
|
|
|
|
|
private:
|
2005-11-21 22:14:54 +08:00
|
|
|
SDOperand SelectDIV(SDOperand Op);
|
2005-10-29 01:46:35 +08:00
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
/// InstructionSelectBasicBlock - This callback is invoked by
|
|
|
|
/// SelectionDAGISel when it has created a SelectionDAG for us to codegen.
|
|
|
|
void IA64DAGToDAGISel::InstructionSelectBasicBlock(SelectionDAG &DAG) {
|
|
|
|
DEBUG(BB->dump());
|
|
|
|
|
|
|
|
// Select target instructions for the DAG.
|
2006-02-05 14:46:41 +08:00
|
|
|
DAG.setRoot(SelectRoot(DAG.getRoot()));
|
2005-10-29 01:46:35 +08:00
|
|
|
DAG.RemoveDeadNodes();
|
|
|
|
|
|
|
|
// Emit machine code to BB.
|
|
|
|
ScheduleAndEmitDAG(DAG);
|
|
|
|
}
|
|
|
|
|
2005-11-21 22:14:54 +08:00
|
|
|
SDOperand IA64DAGToDAGISel::SelectDIV(SDOperand Op) {
|
|
|
|
SDNode *N = Op.Val;
|
2006-02-09 08:37:58 +08:00
|
|
|
SDOperand Chain, Tmp1, Tmp2;
|
2006-08-08 06:28:20 +08:00
|
|
|
AddToQueue(Chain, N->getOperand(0));
|
2005-11-21 22:14:54 +08:00
|
|
|
|
2006-08-08 06:28:20 +08:00
|
|
|
AddToQueue(Tmp1, N->getOperand(0));
|
|
|
|
AddToQueue(Tmp2, N->getOperand(1));
|
2005-11-21 22:14:54 +08:00
|
|
|
|
|
|
|
bool isFP=false;
|
|
|
|
|
|
|
|
if(MVT::isFloatingPoint(Tmp1.getValueType()))
|
|
|
|
isFP=true;
|
|
|
|
|
|
|
|
bool isModulus=false; // is it a division or a modulus?
|
|
|
|
bool isSigned=false;
|
|
|
|
|
|
|
|
switch(N->getOpcode()) {
|
|
|
|
case ISD::FDIV:
|
|
|
|
case ISD::SDIV: isModulus=false; isSigned=true; break;
|
|
|
|
case ISD::UDIV: isModulus=false; isSigned=false; break;
|
|
|
|
case ISD::FREM:
|
|
|
|
case ISD::SREM: isModulus=true; isSigned=true; break;
|
|
|
|
case ISD::UREM: isModulus=true; isSigned=false; break;
|
|
|
|
}
|
|
|
|
|
|
|
|
// TODO: check for integer divides by powers of 2 (or other simple patterns?)
|
|
|
|
|
|
|
|
SDOperand TmpPR, TmpPR2;
|
|
|
|
SDOperand TmpF1, TmpF2, TmpF3, TmpF4, TmpF5, TmpF6, TmpF7, TmpF8;
|
|
|
|
SDOperand TmpF9, TmpF10,TmpF11,TmpF12,TmpF13,TmpF14,TmpF15;
|
2006-02-09 15:17:49 +08:00
|
|
|
SDNode *Result;
|
2006-01-16 22:33:04 +08:00
|
|
|
|
|
|
|
// we'll need copies of F0 and F1
|
|
|
|
SDOperand F0 = CurDAG->getRegister(IA64::F0, MVT::f64);
|
|
|
|
SDOperand F1 = CurDAG->getRegister(IA64::F1, MVT::f64);
|
2005-11-21 22:14:54 +08:00
|
|
|
|
|
|
|
// OK, emit some code:
|
|
|
|
|
|
|
|
if(!isFP) {
|
|
|
|
// first, load the inputs into FP regs.
|
2006-02-09 15:17:49 +08:00
|
|
|
TmpF1 =
|
|
|
|
SDOperand(CurDAG->getTargetNode(IA64::SETFSIG, MVT::f64, Tmp1), 0);
|
2005-11-21 22:14:54 +08:00
|
|
|
Chain = TmpF1.getValue(1);
|
2006-02-09 15:17:49 +08:00
|
|
|
TmpF2 =
|
|
|
|
SDOperand(CurDAG->getTargetNode(IA64::SETFSIG, MVT::f64, Tmp2), 0);
|
2005-11-21 22:14:54 +08:00
|
|
|
Chain = TmpF2.getValue(1);
|
|
|
|
|
|
|
|
// next, convert the inputs to FP
|
|
|
|
if(isSigned) {
|
2006-02-09 15:17:49 +08:00
|
|
|
TmpF3 =
|
|
|
|
SDOperand(CurDAG->getTargetNode(IA64::FCVTXF, MVT::f64, TmpF1), 0);
|
2005-11-21 22:14:54 +08:00
|
|
|
Chain = TmpF3.getValue(1);
|
2006-02-09 15:17:49 +08:00
|
|
|
TmpF4 =
|
|
|
|
SDOperand(CurDAG->getTargetNode(IA64::FCVTXF, MVT::f64, TmpF2), 0);
|
2005-11-21 22:14:54 +08:00
|
|
|
Chain = TmpF4.getValue(1);
|
2006-01-16 14:33:38 +08:00
|
|
|
} else { // is unsigned
|
2006-02-09 15:17:49 +08:00
|
|
|
TmpF3 =
|
|
|
|
SDOperand(CurDAG->getTargetNode(IA64::FCVTXUFS1, MVT::f64, TmpF1), 0);
|
2006-01-16 22:33:04 +08:00
|
|
|
Chain = TmpF3.getValue(1);
|
2006-02-09 15:17:49 +08:00
|
|
|
TmpF4 =
|
|
|
|
SDOperand(CurDAG->getTargetNode(IA64::FCVTXUFS1, MVT::f64, TmpF2), 0);
|
2006-01-16 22:33:04 +08:00
|
|
|
Chain = TmpF4.getValue(1);
|
2005-11-21 22:14:54 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
} else { // this is an FP divide/remainder, so we 'leak' some temp
|
|
|
|
// regs and assign TmpF3=Tmp1, TmpF4=Tmp2
|
|
|
|
TmpF3=Tmp1;
|
|
|
|
TmpF4=Tmp2;
|
|
|
|
}
|
|
|
|
|
|
|
|
// we start by computing an approximate reciprocal (good to 9 bits?)
|
|
|
|
// note, this instruction writes _both_ TmpF5 (answer) and TmpPR (predicate)
|
2006-01-16 14:33:38 +08:00
|
|
|
if(isFP)
|
2006-02-09 15:17:49 +08:00
|
|
|
TmpF5 = SDOperand(CurDAG->getTargetNode(IA64::FRCPAS0, MVT::f64, MVT::i1,
|
|
|
|
TmpF3, TmpF4), 0);
|
2006-01-16 14:33:38 +08:00
|
|
|
else
|
2006-02-09 15:17:49 +08:00
|
|
|
TmpF5 = SDOperand(CurDAG->getTargetNode(IA64::FRCPAS1, MVT::f64, MVT::i1,
|
|
|
|
TmpF3, TmpF4), 0);
|
2006-01-16 14:33:38 +08:00
|
|
|
|
2005-11-21 22:14:54 +08:00
|
|
|
TmpPR = TmpF5.getValue(1);
|
|
|
|
Chain = TmpF5.getValue(2);
|
|
|
|
|
2006-01-16 14:33:38 +08:00
|
|
|
SDOperand minusB;
|
|
|
|
if(isModulus) { // for remainders, it'll be handy to have
|
|
|
|
// copies of -input_b
|
2006-02-09 15:17:49 +08:00
|
|
|
minusB = SDOperand(CurDAG->getTargetNode(IA64::SUB, MVT::i64,
|
|
|
|
CurDAG->getRegister(IA64::r0, MVT::i64), Tmp2), 0);
|
2006-01-16 14:33:38 +08:00
|
|
|
Chain = minusB.getValue(1);
|
|
|
|
}
|
|
|
|
|
|
|
|
SDOperand TmpE0, TmpY1, TmpE1, TmpY2;
|
|
|
|
|
2006-02-09 15:17:49 +08:00
|
|
|
TmpE0 = SDOperand(CurDAG->getTargetNode(IA64::CFNMAS1, MVT::f64,
|
|
|
|
TmpF4, TmpF5, F1, TmpPR), 0);
|
2006-01-16 14:33:38 +08:00
|
|
|
Chain = TmpE0.getValue(1);
|
2006-02-09 15:17:49 +08:00
|
|
|
TmpY1 = SDOperand(CurDAG->getTargetNode(IA64::CFMAS1, MVT::f64,
|
|
|
|
TmpF5, TmpE0, TmpF5, TmpPR), 0);
|
2006-01-16 14:33:38 +08:00
|
|
|
Chain = TmpY1.getValue(1);
|
2006-02-09 15:17:49 +08:00
|
|
|
TmpE1 = SDOperand(CurDAG->getTargetNode(IA64::CFMAS1, MVT::f64,
|
|
|
|
TmpE0, TmpE0, F0, TmpPR), 0);
|
2006-01-16 14:33:38 +08:00
|
|
|
Chain = TmpE1.getValue(1);
|
2006-02-09 15:17:49 +08:00
|
|
|
TmpY2 = SDOperand(CurDAG->getTargetNode(IA64::CFMAS1, MVT::f64,
|
|
|
|
TmpY1, TmpE1, TmpY1, TmpPR), 0);
|
2006-01-16 14:33:38 +08:00
|
|
|
Chain = TmpY2.getValue(1);
|
2005-11-21 22:14:54 +08:00
|
|
|
|
2006-01-16 14:33:38 +08:00
|
|
|
if(isFP) { // if this is an FP divide, we finish up here and exit early
|
|
|
|
if(isModulus)
|
|
|
|
assert(0 && "Sorry, try another FORTRAN compiler.");
|
|
|
|
|
|
|
|
SDOperand TmpE2, TmpY3, TmpQ0, TmpR0;
|
|
|
|
|
2006-02-09 15:17:49 +08:00
|
|
|
TmpE2 = SDOperand(CurDAG->getTargetNode(IA64::CFMAS1, MVT::f64,
|
|
|
|
TmpE1, TmpE1, F0, TmpPR), 0);
|
2006-01-16 14:33:38 +08:00
|
|
|
Chain = TmpE2.getValue(1);
|
2006-02-09 15:17:49 +08:00
|
|
|
TmpY3 = SDOperand(CurDAG->getTargetNode(IA64::CFMAS1, MVT::f64,
|
|
|
|
TmpY2, TmpE2, TmpY2, TmpPR), 0);
|
2006-01-16 14:33:38 +08:00
|
|
|
Chain = TmpY3.getValue(1);
|
2006-02-09 15:17:49 +08:00
|
|
|
TmpQ0 =
|
|
|
|
SDOperand(CurDAG->getTargetNode(IA64::CFMADS1, MVT::f64, // double prec!
|
|
|
|
Tmp1, TmpY3, F0, TmpPR), 0);
|
2006-01-16 14:33:38 +08:00
|
|
|
Chain = TmpQ0.getValue(1);
|
2006-02-09 15:17:49 +08:00
|
|
|
TmpR0 =
|
|
|
|
SDOperand(CurDAG->getTargetNode(IA64::CFNMADS1, MVT::f64, // double prec!
|
|
|
|
Tmp2, TmpQ0, Tmp1, TmpPR), 0);
|
2006-01-16 14:33:38 +08:00
|
|
|
Chain = TmpR0.getValue(1);
|
|
|
|
|
|
|
|
// we want Result to have the same target register as the frcpa, so
|
|
|
|
// we two-address hack it. See the comment "for this to work..." on
|
|
|
|
// page 48 of Intel application note #245415
|
|
|
|
Result = CurDAG->getTargetNode(IA64::TCFMADS0, MVT::f64, // d.p. s0 rndg!
|
2006-02-09 15:17:49 +08:00
|
|
|
TmpF5, TmpY3, TmpR0, TmpQ0, TmpPR);
|
|
|
|
Chain = SDOperand(Result, 1);
|
|
|
|
return SDOperand(Result, 0); // XXX: early exit!
|
2006-01-16 14:33:38 +08:00
|
|
|
} else { // this is *not* an FP divide, so there's a bit left to do:
|
2005-11-21 22:14:54 +08:00
|
|
|
|
2006-01-16 14:33:38 +08:00
|
|
|
SDOperand TmpQ2, TmpR2, TmpQ3, TmpQ;
|
|
|
|
|
2006-02-09 15:17:49 +08:00
|
|
|
TmpQ2 = SDOperand(CurDAG->getTargetNode(IA64::CFMAS1, MVT::f64,
|
|
|
|
TmpF3, TmpY2, F0, TmpPR), 0);
|
2006-01-16 14:33:38 +08:00
|
|
|
Chain = TmpQ2.getValue(1);
|
2006-02-09 15:17:49 +08:00
|
|
|
TmpR2 = SDOperand(CurDAG->getTargetNode(IA64::CFNMAS1, MVT::f64,
|
|
|
|
TmpF4, TmpQ2, TmpF3, TmpPR), 0);
|
2006-01-16 14:33:38 +08:00
|
|
|
Chain = TmpR2.getValue(1);
|
2006-01-17 09:19:49 +08:00
|
|
|
|
2006-01-16 22:33:04 +08:00
|
|
|
// we want TmpQ3 to have the same target register as the frcpa? maybe we
|
|
|
|
// should two-address hack it. See the comment "for this to work..." on page
|
|
|
|
// 48 of Intel application note #245415
|
2006-02-09 15:17:49 +08:00
|
|
|
TmpQ3 = SDOperand(CurDAG->getTargetNode(IA64::TCFMAS1, MVT::f64,
|
|
|
|
TmpF5, TmpR2, TmpY2, TmpQ2, TmpPR), 0);
|
2006-01-16 14:33:38 +08:00
|
|
|
Chain = TmpQ3.getValue(1);
|
2006-01-16 22:33:04 +08:00
|
|
|
|
2006-01-17 09:19:49 +08:00
|
|
|
// STORY: without these two-address instructions (TCFMAS1 and TCFMADS0)
|
|
|
|
// the FPSWA won't be able to help out in the case of large/tiny
|
|
|
|
// arguments. Other fun bugs may also appear, e.g. 0/x = x, not 0.
|
|
|
|
|
2006-01-16 14:33:38 +08:00
|
|
|
if(isSigned)
|
2006-02-09 15:17:49 +08:00
|
|
|
TmpQ = SDOperand(CurDAG->getTargetNode(IA64::FCVTFXTRUNCS1,
|
|
|
|
MVT::f64, TmpQ3), 0);
|
2006-01-16 14:33:38 +08:00
|
|
|
else
|
2006-02-09 15:17:49 +08:00
|
|
|
TmpQ = SDOperand(CurDAG->getTargetNode(IA64::FCVTFXUTRUNCS1,
|
|
|
|
MVT::f64, TmpQ3), 0);
|
2006-01-16 14:33:38 +08:00
|
|
|
|
|
|
|
Chain = TmpQ.getValue(1);
|
2005-11-21 22:14:54 +08:00
|
|
|
|
2006-01-16 14:33:38 +08:00
|
|
|
if(isModulus) {
|
2006-02-09 15:17:49 +08:00
|
|
|
SDOperand FPminusB =
|
|
|
|
SDOperand(CurDAG->getTargetNode(IA64::SETFSIG, MVT::f64, minusB), 0);
|
2006-01-16 14:33:38 +08:00
|
|
|
Chain = FPminusB.getValue(1);
|
2006-02-09 15:17:49 +08:00
|
|
|
SDOperand Remainder =
|
|
|
|
SDOperand(CurDAG->getTargetNode(IA64::XMAL, MVT::f64,
|
|
|
|
TmpQ, FPminusB, TmpF1), 0);
|
2006-01-16 14:33:38 +08:00
|
|
|
Chain = Remainder.getValue(1);
|
|
|
|
Result = CurDAG->getTargetNode(IA64::GETFSIG, MVT::i64, Remainder);
|
2006-02-09 15:17:49 +08:00
|
|
|
Chain = SDOperand(Result, 1);
|
2006-01-16 14:33:38 +08:00
|
|
|
} else { // just an integer divide
|
|
|
|
Result = CurDAG->getTargetNode(IA64::GETFSIG, MVT::i64, TmpQ);
|
2006-02-09 15:17:49 +08:00
|
|
|
Chain = SDOperand(Result, 1);
|
2005-11-21 22:14:54 +08:00
|
|
|
}
|
|
|
|
|
2006-02-09 15:17:49 +08:00
|
|
|
return SDOperand(Result, 0);
|
2006-01-16 14:33:38 +08:00
|
|
|
} // wasn't an FP divide
|
2005-11-21 22:14:54 +08:00
|
|
|
}
|
|
|
|
|
2005-10-29 01:46:35 +08:00
|
|
|
// Select - Convert the specified operand from a target-independent to a
|
|
|
|
// target-specific node if it hasn't already been changed.
|
2006-08-11 17:08:15 +08:00
|
|
|
SDNode *IA64DAGToDAGISel::Select(SDOperand &Result, SDOperand Op) {
|
2005-10-29 01:46:35 +08:00
|
|
|
SDNode *N = Op.Val;
|
|
|
|
if (N->getOpcode() >= ISD::BUILTIN_OP_END &&
|
2006-02-09 08:37:58 +08:00
|
|
|
N->getOpcode() < IA64ISD::FIRST_NUMBER) {
|
|
|
|
Result = Op;
|
2006-08-11 17:08:15 +08:00
|
|
|
return NULL; // Already selected.
|
2006-02-09 08:37:58 +08:00
|
|
|
}
|
2005-10-29 01:46:35 +08:00
|
|
|
|
|
|
|
switch (N->getOpcode()) {
|
|
|
|
default: break;
|
|
|
|
|
2005-12-22 21:29:14 +08:00
|
|
|
case IA64ISD::BRCALL: { // XXX: this is also a hack!
|
2006-02-09 08:37:58 +08:00
|
|
|
SDOperand Chain;
|
2005-12-22 21:29:14 +08:00
|
|
|
SDOperand InFlag; // Null incoming flag value.
|
|
|
|
|
2006-08-08 06:28:20 +08:00
|
|
|
AddToQueue(Chain, N->getOperand(0));
|
2005-12-22 21:29:14 +08:00
|
|
|
if(N->getNumOperands()==3) // we have an incoming chain, callee and flag
|
2006-08-08 06:28:20 +08:00
|
|
|
AddToQueue(InFlag, N->getOperand(2));
|
2005-12-22 21:29:14 +08:00
|
|
|
|
|
|
|
unsigned CallOpcode;
|
|
|
|
SDOperand CallOperand;
|
|
|
|
|
|
|
|
// if we can call directly, do so
|
|
|
|
if (GlobalAddressSDNode *GASD =
|
|
|
|
dyn_cast<GlobalAddressSDNode>(N->getOperand(1))) {
|
|
|
|
CallOpcode = IA64::BRCALL_IPREL_GA;
|
|
|
|
CallOperand = CurDAG->getTargetGlobalAddress(GASD->getGlobal(), MVT::i64);
|
|
|
|
} else if (ExternalSymbolSDNode *ESSDN = // FIXME: we currently NEED this
|
|
|
|
// case for correctness, to avoid
|
|
|
|
// "non-pic code with imm reloc.n
|
|
|
|
// against dynamic symbol" errors
|
|
|
|
dyn_cast<ExternalSymbolSDNode>(N->getOperand(1))) {
|
|
|
|
CallOpcode = IA64::BRCALL_IPREL_ES;
|
|
|
|
CallOperand = N->getOperand(1);
|
|
|
|
} else {
|
|
|
|
// otherwise we need to load the function descriptor,
|
|
|
|
// load the branch target (function)'s entry point and GP,
|
|
|
|
// branch (call) then restore the GP
|
2006-02-09 08:37:58 +08:00
|
|
|
SDOperand FnDescriptor;
|
2006-08-08 06:28:20 +08:00
|
|
|
AddToQueue(FnDescriptor, N->getOperand(1));
|
2005-12-22 21:29:14 +08:00
|
|
|
|
|
|
|
// load the branch target's entry point [mem] and
|
|
|
|
// GP value [mem+8]
|
2006-02-09 15:17:49 +08:00
|
|
|
SDOperand targetEntryPoint=
|
|
|
|
SDOperand(CurDAG->getTargetNode(IA64::LD8, MVT::i64, FnDescriptor), 0);
|
2005-12-22 21:29:14 +08:00
|
|
|
Chain = targetEntryPoint.getValue(1);
|
2006-02-09 15:17:49 +08:00
|
|
|
SDOperand targetGPAddr=
|
|
|
|
SDOperand(CurDAG->getTargetNode(IA64::ADDS, MVT::i64,
|
|
|
|
FnDescriptor, CurDAG->getConstant(8, MVT::i64)), 0);
|
2005-12-22 21:29:14 +08:00
|
|
|
Chain = targetGPAddr.getValue(1);
|
2006-02-09 15:17:49 +08:00
|
|
|
SDOperand targetGP=
|
|
|
|
SDOperand(CurDAG->getTargetNode(IA64::LD8, MVT::i64, targetGPAddr), 0);
|
2005-12-22 21:29:14 +08:00
|
|
|
Chain = targetGP.getValue(1);
|
|
|
|
|
|
|
|
Chain = CurDAG->getCopyToReg(Chain, IA64::r1, targetGP, InFlag);
|
|
|
|
InFlag = Chain.getValue(1);
|
|
|
|
Chain = CurDAG->getCopyToReg(Chain, IA64::B6, targetEntryPoint, InFlag); // FLAG these?
|
|
|
|
InFlag = Chain.getValue(1);
|
|
|
|
|
|
|
|
CallOperand = CurDAG->getRegister(IA64::B6, MVT::i64);
|
|
|
|
CallOpcode = IA64::BRCALL_INDIRECT;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Finally, once everything is setup, emit the call itself
|
|
|
|
if(InFlag.Val)
|
2006-02-09 15:17:49 +08:00
|
|
|
Chain = SDOperand(CurDAG->getTargetNode(CallOpcode, MVT::Other, MVT::Flag,
|
|
|
|
CallOperand, InFlag), 0);
|
2005-12-22 21:29:14 +08:00
|
|
|
else // there might be no arguments
|
2006-02-09 15:17:49 +08:00
|
|
|
Chain = SDOperand(CurDAG->getTargetNode(CallOpcode, MVT::Other, MVT::Flag,
|
|
|
|
CallOperand, Chain), 0);
|
2005-12-22 21:29:14 +08:00
|
|
|
InFlag = Chain.getValue(1);
|
|
|
|
|
|
|
|
std::vector<SDOperand> CallResults;
|
|
|
|
|
|
|
|
CallResults.push_back(Chain);
|
|
|
|
CallResults.push_back(InFlag);
|
|
|
|
|
|
|
|
for (unsigned i = 0, e = CallResults.size(); i != e; ++i)
|
2006-08-08 06:28:20 +08:00
|
|
|
ReplaceUses(Op.getValue(i), CallResults[i]);
|
2006-02-09 08:37:58 +08:00
|
|
|
Result = CallResults[Op.ResNo];
|
2006-08-11 17:08:15 +08:00
|
|
|
return NULL;
|
2005-12-22 21:29:14 +08:00
|
|
|
}
|
2005-12-22 11:58:17 +08:00
|
|
|
|
2005-12-22 15:14:45 +08:00
|
|
|
case IA64ISD::GETFD: {
|
2006-02-09 08:37:58 +08:00
|
|
|
SDOperand Input;
|
2006-08-08 06:28:20 +08:00
|
|
|
AddToQueue(Input, N->getOperand(0));
|
2006-02-09 15:17:49 +08:00
|
|
|
Result = SDOperand(CurDAG->getTargetNode(IA64::GETFD, MVT::i64, Input), 0);
|
2006-08-11 17:08:15 +08:00
|
|
|
return Result.Val;
|
2005-12-22 15:14:45 +08:00
|
|
|
}
|
|
|
|
|
2005-11-21 22:14:54 +08:00
|
|
|
case ISD::FDIV:
|
|
|
|
case ISD::SDIV:
|
|
|
|
case ISD::UDIV:
|
|
|
|
case ISD::SREM:
|
2006-02-09 08:37:58 +08:00
|
|
|
case ISD::UREM:
|
|
|
|
Result = SelectDIV(Op);
|
2006-08-11 17:08:15 +08:00
|
|
|
return Result.Val;
|
2005-10-29 01:46:35 +08:00
|
|
|
|
2006-01-29 14:26:08 +08:00
|
|
|
case ISD::TargetConstantFP: {
|
2005-11-02 15:32:59 +08:00
|
|
|
SDOperand Chain = CurDAG->getEntryNode(); // this is a constant, so..
|
|
|
|
|
2006-02-09 08:37:58 +08:00
|
|
|
if (cast<ConstantFPSDNode>(N)->isExactlyValue(+0.0)) {
|
2006-08-16 15:30:09 +08:00
|
|
|
return CurDAG->getCopyFromReg(Chain, IA64::F0, MVT::f64).Val;
|
2006-02-09 08:37:58 +08:00
|
|
|
} else if (cast<ConstantFPSDNode>(N)->isExactlyValue(+1.0)) {
|
2006-08-16 15:30:09 +08:00
|
|
|
return CurDAG->getCopyFromReg(Chain, IA64::F1, MVT::f64).Val;
|
2006-02-09 08:37:58 +08:00
|
|
|
} else
|
2005-11-02 10:35:04 +08:00
|
|
|
assert(0 && "Unexpected FP constant!");
|
|
|
|
}
|
2005-10-29 01:46:35 +08:00
|
|
|
|
|
|
|
case ISD::FrameIndex: { // TODO: reduce creepyness
|
|
|
|
int FI = cast<FrameIndexSDNode>(N)->getIndex();
|
2006-08-16 15:30:09 +08:00
|
|
|
if (N->hasOneUse())
|
|
|
|
return CurDAG->SelectNodeTo(N, IA64::MOV, MVT::i64,
|
|
|
|
CurDAG->getTargetFrameIndex(FI, MVT::i64)).Val;
|
|
|
|
else
|
|
|
|
return SDOperand(CurDAG->getTargetNode(IA64::MOV, MVT::i64,
|
|
|
|
CurDAG->getTargetFrameIndex(FI, MVT::i64)), 0).Val;
|
2005-10-29 01:46:35 +08:00
|
|
|
}
|
|
|
|
|
2006-01-15 17:45:23 +08:00
|
|
|
case ISD::ConstantPool: { // TODO: nuke the constant pool
|
|
|
|
// (ia64 doesn't need one)
|
2006-02-01 06:23:14 +08:00
|
|
|
ConstantPoolSDNode *CP = cast<ConstantPoolSDNode>(N);
|
|
|
|
Constant *C = CP->get();
|
|
|
|
SDOperand CPI = CurDAG->getTargetConstantPool(C, MVT::i64,
|
|
|
|
CP->getAlignment());
|
2006-02-09 15:17:49 +08:00
|
|
|
Result = SDOperand(CurDAG->getTargetNode(IA64::ADDL_GA, MVT::i64, // ?
|
|
|
|
CurDAG->getRegister(IA64::r1, MVT::i64), CPI), 0);
|
2006-08-11 17:08:15 +08:00
|
|
|
return Result.Val;
|
2005-10-30 00:08:30 +08:00
|
|
|
}
|
|
|
|
|
2005-10-29 01:46:35 +08:00
|
|
|
case ISD::GlobalAddress: {
|
|
|
|
GlobalValue *GV = cast<GlobalAddressSDNode>(N)->getGlobal();
|
|
|
|
SDOperand GA = CurDAG->getTargetGlobalAddress(GV, MVT::i64);
|
2006-02-09 15:17:49 +08:00
|
|
|
SDOperand Tmp = SDOperand(CurDAG->getTargetNode(IA64::ADDL_GA, MVT::i64,
|
|
|
|
CurDAG->getRegister(IA64::r1, MVT::i64), GA), 0);
|
|
|
|
Result = SDOperand(CurDAG->getTargetNode(IA64::LD8, MVT::i64, Tmp), 0);
|
2006-08-11 17:08:15 +08:00
|
|
|
return Result.Val;
|
2005-10-29 01:46:35 +08:00
|
|
|
}
|
2005-12-22 11:58:17 +08:00
|
|
|
|
|
|
|
/* XXX case ISD::ExternalSymbol: {
|
|
|
|
SDOperand EA = CurDAG->getTargetExternalSymbol(cast<ExternalSymbolSDNode>(N)->getSymbol(),
|
|
|
|
MVT::i64);
|
|
|
|
SDOperand Tmp = CurDAG->getTargetNode(IA64::ADDL_EA, MVT::i64,
|
|
|
|
CurDAG->getRegister(IA64::r1, MVT::i64), EA);
|
|
|
|
return CurDAG->getTargetNode(IA64::LD8, MVT::i64, Tmp);
|
|
|
|
}
|
|
|
|
*/
|
|
|
|
|
2005-10-29 01:46:35 +08:00
|
|
|
case ISD::LOAD:
|
2006-01-21 00:10:05 +08:00
|
|
|
case ISD::EXTLOAD: // FIXME: load -1, not 1, for bools?
|
2005-10-29 01:46:35 +08:00
|
|
|
case ISD::ZEXTLOAD: {
|
2006-02-09 08:37:58 +08:00
|
|
|
SDOperand Chain, Address;
|
2006-08-08 06:28:20 +08:00
|
|
|
AddToQueue(Chain, N->getOperand(0));
|
|
|
|
AddToQueue(Address, N->getOperand(1));
|
2005-10-29 01:46:35 +08:00
|
|
|
|
|
|
|
MVT::ValueType TypeBeingLoaded = (N->getOpcode() == ISD::LOAD) ?
|
|
|
|
N->getValueType(0) : cast<VTSDNode>(N->getOperand(3))->getVT();
|
|
|
|
unsigned Opc;
|
|
|
|
switch (TypeBeingLoaded) {
|
2006-07-12 02:25:13 +08:00
|
|
|
default:
|
|
|
|
#ifndef NDEBUG
|
|
|
|
N->dump();
|
|
|
|
#endif
|
|
|
|
assert(0 && "Cannot load this type!");
|
2005-11-04 17:59:06 +08:00
|
|
|
case MVT::i1: { // this is a bool
|
|
|
|
Opc = IA64::LD1; // first we load a byte, then compare for != 0
|
2006-02-09 08:37:58 +08:00
|
|
|
if(N->getValueType(0) == MVT::i1) { // XXX: early exit!
|
2006-08-16 15:30:09 +08:00
|
|
|
return CurDAG->SelectNodeTo(N, IA64::CMPNE, MVT::i1, MVT::Other,
|
2006-02-09 15:17:49 +08:00
|
|
|
SDOperand(CurDAG->getTargetNode(Opc, MVT::i64, Address), 0),
|
2006-08-16 15:30:09 +08:00
|
|
|
CurDAG->getRegister(IA64::r0, MVT::i64),
|
|
|
|
Chain).getValue(Op.ResNo).Val;
|
2006-02-09 08:37:58 +08:00
|
|
|
}
|
2005-12-22 11:58:17 +08:00
|
|
|
/* otherwise, we want to load a bool into something bigger: LD1
|
|
|
|
will do that for us, so we just fall through */
|
2005-12-01 07:02:08 +08:00
|
|
|
}
|
2005-10-29 01:46:35 +08:00
|
|
|
case MVT::i8: Opc = IA64::LD1; break;
|
|
|
|
case MVT::i16: Opc = IA64::LD2; break;
|
|
|
|
case MVT::i32: Opc = IA64::LD4; break;
|
|
|
|
case MVT::i64: Opc = IA64::LD8; break;
|
|
|
|
|
|
|
|
case MVT::f32: Opc = IA64::LDF4; break;
|
|
|
|
case MVT::f64: Opc = IA64::LDF8; break;
|
|
|
|
}
|
|
|
|
|
2005-12-01 07:02:08 +08:00
|
|
|
// TODO: comment this
|
2006-08-16 15:30:09 +08:00
|
|
|
return CurDAG->SelectNodeTo(N, Opc, N->getValueType(0), MVT::Other,
|
|
|
|
Address, Chain).getValue(Op.ResNo).Val;
|
2005-10-29 01:46:35 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
case ISD::TRUNCSTORE:
|
|
|
|
case ISD::STORE: {
|
2006-02-09 08:37:58 +08:00
|
|
|
SDOperand Address, Chain;
|
2006-08-08 06:28:20 +08:00
|
|
|
AddToQueue(Address, N->getOperand(2));
|
|
|
|
AddToQueue(Chain, N->getOperand(0));
|
2005-11-07 11:11:02 +08:00
|
|
|
|
2005-10-29 01:46:35 +08:00
|
|
|
unsigned Opc;
|
|
|
|
if (N->getOpcode() == ISD::STORE) {
|
|
|
|
switch (N->getOperand(1).getValueType()) {
|
2005-11-07 11:11:02 +08:00
|
|
|
default: assert(0 && "unknown type in store");
|
|
|
|
case MVT::i1: { // this is a bool
|
|
|
|
Opc = IA64::ST1; // we store either 0 or 1 as a byte
|
2006-01-13 18:28:25 +08:00
|
|
|
// first load zero!
|
|
|
|
SDOperand Initial = CurDAG->getCopyFromReg(Chain, IA64::r0, MVT::i64);
|
|
|
|
Chain = Initial.getValue(1);
|
2006-01-20 11:40:25 +08:00
|
|
|
// then load 1 into the same reg iff the predicate to store is 1
|
2006-02-09 08:37:58 +08:00
|
|
|
SDOperand Tmp;
|
2006-08-08 06:28:20 +08:00
|
|
|
AddToQueue(Tmp, N->getOperand(1));
|
2006-02-11 15:33:17 +08:00
|
|
|
Tmp = SDOperand(CurDAG->getTargetNode(IA64::TPCADDS, MVT::i64, Initial,
|
|
|
|
CurDAG->getConstant(1, MVT::i64),
|
|
|
|
Tmp), 0);
|
2006-08-16 15:30:09 +08:00
|
|
|
return CurDAG->SelectNodeTo(N, Opc, MVT::Other, Address, Tmp, Chain).Val;
|
2005-12-01 07:02:08 +08:00
|
|
|
}
|
2005-10-29 01:46:35 +08:00
|
|
|
case MVT::i64: Opc = IA64::ST8; break;
|
|
|
|
case MVT::f64: Opc = IA64::STF8; break;
|
2005-11-07 11:11:02 +08:00
|
|
|
}
|
2005-10-29 01:46:35 +08:00
|
|
|
} else { //ISD::TRUNCSTORE
|
|
|
|
switch(cast<VTSDNode>(N->getOperand(4))->getVT()) {
|
2005-11-07 11:11:02 +08:00
|
|
|
default: assert(0 && "unknown type in truncstore");
|
2005-10-29 01:46:35 +08:00
|
|
|
case MVT::i8: Opc = IA64::ST1; break;
|
|
|
|
case MVT::i16: Opc = IA64::ST2; break;
|
|
|
|
case MVT::i32: Opc = IA64::ST4; break;
|
|
|
|
case MVT::f32: Opc = IA64::STF4; break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2006-02-09 08:37:58 +08:00
|
|
|
SDOperand N1, N2;
|
2006-08-08 06:28:20 +08:00
|
|
|
AddToQueue(N1, N->getOperand(1));
|
|
|
|
AddToQueue(N2, N->getOperand(2));
|
2006-08-16 15:30:09 +08:00
|
|
|
return CurDAG->SelectNodeTo(N, Opc, MVT::Other, N2, N1, Chain).Val;
|
2005-10-29 01:46:35 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
case ISD::BRCOND: {
|
2006-02-09 08:37:58 +08:00
|
|
|
SDOperand Chain, CC;
|
2006-08-08 06:28:20 +08:00
|
|
|
AddToQueue(Chain, N->getOperand(0));
|
|
|
|
AddToQueue(CC, N->getOperand(1));
|
2005-10-29 01:46:35 +08:00
|
|
|
MachineBasicBlock *Dest =
|
|
|
|
cast<BasicBlockSDNode>(N->getOperand(2))->getBasicBlock();
|
|
|
|
//FIXME - we do NOT need long branches all the time
|
2006-08-16 15:30:09 +08:00
|
|
|
return CurDAG->SelectNodeTo(N, IA64::BRLCOND_NOTCALL, MVT::Other, CC,
|
|
|
|
CurDAG->getBasicBlock(Dest), Chain).Val;
|
2005-10-29 01:46:35 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
case ISD::CALLSEQ_START:
|
|
|
|
case ISD::CALLSEQ_END: {
|
|
|
|
int64_t Amt = cast<ConstantSDNode>(N->getOperand(1))->getValue();
|
|
|
|
unsigned Opc = N->getOpcode() == ISD::CALLSEQ_START ?
|
|
|
|
IA64::ADJUSTCALLSTACKDOWN : IA64::ADJUSTCALLSTACKUP;
|
2006-02-09 08:37:58 +08:00
|
|
|
SDOperand N0;
|
2006-08-08 06:28:20 +08:00
|
|
|
AddToQueue(N0, N->getOperand(0));
|
2006-08-16 15:30:09 +08:00
|
|
|
return CurDAG->SelectNodeTo(N, Opc, MVT::Other, getI64Imm(Amt), N0).Val;
|
2005-10-29 01:46:35 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
case ISD::BR:
|
|
|
|
// FIXME: we don't need long branches all the time!
|
2006-02-09 08:37:58 +08:00
|
|
|
SDOperand N0;
|
2006-08-08 06:28:20 +08:00
|
|
|
AddToQueue(N0, N->getOperand(0));
|
2006-08-16 15:30:09 +08:00
|
|
|
return CurDAG->SelectNodeTo(N, IA64::BRL_NOTCALL, MVT::Other,
|
|
|
|
N->getOperand(1), N0).Val;
|
2005-10-29 01:46:35 +08:00
|
|
|
}
|
|
|
|
|
2006-08-11 17:08:15 +08:00
|
|
|
return SelectCode(Result, Op);
|
2005-10-29 01:46:35 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
/// createIA64DAGToDAGInstructionSelector - This pass converts a legalized DAG
|
|
|
|
/// into an IA64-specific DAG, ready for instruction scheduling.
|
|
|
|
///
|
2006-03-14 07:20:37 +08:00
|
|
|
FunctionPass
|
|
|
|
*llvm::createIA64DAGToDAGInstructionSelector(IA64TargetMachine &TM) {
|
2005-10-29 01:46:35 +08:00
|
|
|
return new IA64DAGToDAGISel(TM);
|
|
|
|
}
|
|
|
|
|