2008-03-17 03:21:36 +00:00
|
|
|
//===-- SparcISelLowering.cpp - Sparc DAG Lowering Implementation ---------===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This file implements the interfaces that Sparc uses to lower LLVM code into a
|
|
|
|
// selection DAG.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#include "SparcISelLowering.h"
|
|
|
|
#include "SparcTargetMachine.h"
|
|
|
|
#include "llvm/Function.h"
|
2008-03-17 05:41:48 +00:00
|
|
|
#include "llvm/CodeGen/CallingConvLower.h"
|
2008-03-17 03:21:36 +00:00
|
|
|
#include "llvm/CodeGen/MachineFrameInfo.h"
|
|
|
|
#include "llvm/CodeGen/MachineFunction.h"
|
|
|
|
#include "llvm/CodeGen/MachineInstrBuilder.h"
|
|
|
|
#include "llvm/CodeGen/MachineRegisterInfo.h"
|
|
|
|
#include "llvm/CodeGen/SelectionDAG.h"
|
2009-07-28 03:13:23 +00:00
|
|
|
#include "llvm/Target/TargetLoweringObjectFile.h"
|
2008-10-10 20:28:10 +00:00
|
|
|
#include "llvm/ADT/VectorExtras.h"
|
2009-07-11 20:10:48 +00:00
|
|
|
#include "llvm/Support/ErrorHandling.h"
|
2008-03-17 03:21:36 +00:00
|
|
|
using namespace llvm;
|
|
|
|
|
2008-03-17 05:41:48 +00:00
|
|
|
|
2008-03-17 03:21:36 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
2008-03-17 05:41:48 +00:00
|
|
|
// Calling Convention Implementation
|
2008-03-17 03:21:36 +00:00
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2008-03-17 05:41:48 +00:00
|
|
|
#include "SparcGenCallingConv.inc"
|
2008-03-17 03:21:36 +00:00
|
|
|
|
Major calling convention code refactoring.
Instead of awkwardly encoding calling-convention information with ISD::CALL,
ISD::FORMAL_ARGUMENTS, ISD::RET, and ISD::ARG_FLAGS nodes, TargetLowering
provides three virtual functions for targets to override:
LowerFormalArguments, LowerCall, and LowerRet, which replace the custom
lowering done on the special nodes. They provide the same information, but
in a more immediately usable format.
This also reworks much of the target-independent tail call logic. The
decision of whether or not to perform a tail call is now cleanly split
between target-independent portions, and the target dependent portion
in IsEligibleForTailCallOptimization.
This also synchronizes all in-tree targets, to help enable future
refactoring and feature work.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78142 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05 01:29:28 +00:00
|
|
|
SDValue
|
|
|
|
SparcTargetLowering::LowerReturn(SDValue Chain,
|
|
|
|
unsigned CallConv, bool isVarArg,
|
|
|
|
const SmallVectorImpl<ISD::OutputArg> &Outs,
|
|
|
|
DebugLoc dl, SelectionDAG &DAG) {
|
|
|
|
|
2008-03-17 05:41:48 +00:00
|
|
|
// CCValAssign - represent the assignment of the return value to locations.
|
|
|
|
SmallVector<CCValAssign, 16> RVLocs;
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 05:41:48 +00:00
|
|
|
// CCState - Info about the registers and stack slot.
|
Major calling convention code refactoring.
Instead of awkwardly encoding calling-convention information with ISD::CALL,
ISD::FORMAL_ARGUMENTS, ISD::RET, and ISD::ARG_FLAGS nodes, TargetLowering
provides three virtual functions for targets to override:
LowerFormalArguments, LowerCall, and LowerRet, which replace the custom
lowering done on the special nodes. They provide the same information, but
in a more immediately usable format.
This also reworks much of the target-independent tail call logic. The
decision of whether or not to perform a tail call is now cleanly split
between target-independent portions, and the target dependent portion
in IsEligibleForTailCallOptimization.
This also synchronizes all in-tree targets, to help enable future
refactoring and feature work.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78142 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05 01:29:28 +00:00
|
|
|
CCState CCInfo(CallConv, isVarArg, DAG.getTarget(),
|
|
|
|
RVLocs, *DAG.getContext());
|
2008-10-10 20:27:31 +00:00
|
|
|
|
Major calling convention code refactoring.
Instead of awkwardly encoding calling-convention information with ISD::CALL,
ISD::FORMAL_ARGUMENTS, ISD::RET, and ISD::ARG_FLAGS nodes, TargetLowering
provides three virtual functions for targets to override:
LowerFormalArguments, LowerCall, and LowerRet, which replace the custom
lowering done on the special nodes. They provide the same information, but
in a more immediately usable format.
This also reworks much of the target-independent tail call logic. The
decision of whether or not to perform a tail call is now cleanly split
between target-independent portions, and the target dependent portion
in IsEligibleForTailCallOptimization.
This also synchronizes all in-tree targets, to help enable future
refactoring and feature work.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78142 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05 01:29:28 +00:00
|
|
|
// Analize return values.
|
|
|
|
CCInfo.AnalyzeReturn(Outs, RetCC_Sparc32);
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 05:41:48 +00:00
|
|
|
// If this is the first return lowered for this function, add the regs to the
|
|
|
|
// liveout set for the function.
|
|
|
|
if (DAG.getMachineFunction().getRegInfo().liveout_empty()) {
|
|
|
|
for (unsigned i = 0; i != RVLocs.size(); ++i)
|
|
|
|
if (RVLocs[i].isRegLoc())
|
|
|
|
DAG.getMachineFunction().getRegInfo().addLiveOut(RVLocs[i].getLocReg());
|
2008-03-17 03:21:36 +00:00
|
|
|
}
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-07-27 21:46:04 +00:00
|
|
|
SDValue Flag;
|
2008-03-17 03:21:36 +00:00
|
|
|
|
2008-03-17 05:41:48 +00:00
|
|
|
// Copy the result values into the output registers.
|
|
|
|
for (unsigned i = 0; i != RVLocs.size(); ++i) {
|
|
|
|
CCValAssign &VA = RVLocs[i];
|
|
|
|
assert(VA.isRegLoc() && "Can only return in registers!");
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2009-02-04 23:02:30 +00:00
|
|
|
Chain = DAG.getCopyToReg(Chain, dl, VA.getLocReg(),
|
Major calling convention code refactoring.
Instead of awkwardly encoding calling-convention information with ISD::CALL,
ISD::FORMAL_ARGUMENTS, ISD::RET, and ISD::ARG_FLAGS nodes, TargetLowering
provides three virtual functions for targets to override:
LowerFormalArguments, LowerCall, and LowerRet, which replace the custom
lowering done on the special nodes. They provide the same information, but
in a more immediately usable format.
This also reworks much of the target-independent tail call logic. The
decision of whether or not to perform a tail call is now cleanly split
between target-independent portions, and the target dependent portion
in IsEligibleForTailCallOptimization.
This also synchronizes all in-tree targets, to help enable future
refactoring and feature work.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78142 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05 01:29:28 +00:00
|
|
|
Outs[i].Val, Flag);
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 05:41:48 +00:00
|
|
|
// Guarantee that all emitted copies are stuck together with flags.
|
|
|
|
Flag = Chain.getValue(1);
|
2008-03-17 03:21:36 +00:00
|
|
|
}
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-08-28 21:40:38 +00:00
|
|
|
if (Flag.getNode())
|
2009-02-04 23:02:30 +00:00
|
|
|
return DAG.getNode(SPISD::RET_FLAG, dl, MVT::Other, Chain, Flag);
|
|
|
|
return DAG.getNode(SPISD::RET_FLAG, dl, MVT::Other, Chain);
|
2008-03-17 03:21:36 +00:00
|
|
|
}
|
|
|
|
|
Major calling convention code refactoring.
Instead of awkwardly encoding calling-convention information with ISD::CALL,
ISD::FORMAL_ARGUMENTS, ISD::RET, and ISD::ARG_FLAGS nodes, TargetLowering
provides three virtual functions for targets to override:
LowerFormalArguments, LowerCall, and LowerRet, which replace the custom
lowering done on the special nodes. They provide the same information, but
in a more immediately usable format.
This also reworks much of the target-independent tail call logic. The
decision of whether or not to perform a tail call is now cleanly split
between target-independent portions, and the target dependent portion
in IsEligibleForTailCallOptimization.
This also synchronizes all in-tree targets, to help enable future
refactoring and feature work.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78142 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05 01:29:28 +00:00
|
|
|
/// LowerFormalArguments - V8 uses a very simple ABI, where all values are
|
|
|
|
/// passed in either one or two GPRs, including FP values. TODO: we should
|
|
|
|
/// pass FP values in FP registers for fastcc functions.
|
2009-07-19 19:53:46 +00:00
|
|
|
SDValue
|
Major calling convention code refactoring.
Instead of awkwardly encoding calling-convention information with ISD::CALL,
ISD::FORMAL_ARGUMENTS, ISD::RET, and ISD::ARG_FLAGS nodes, TargetLowering
provides three virtual functions for targets to override:
LowerFormalArguments, LowerCall, and LowerRet, which replace the custom
lowering done on the special nodes. They provide the same information, but
in a more immediately usable format.
This also reworks much of the target-independent tail call logic. The
decision of whether or not to perform a tail call is now cleanly split
between target-independent portions, and the target dependent portion
in IsEligibleForTailCallOptimization.
This also synchronizes all in-tree targets, to help enable future
refactoring and feature work.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78142 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05 01:29:28 +00:00
|
|
|
SparcTargetLowering::LowerFormalArguments(SDValue Chain,
|
|
|
|
unsigned CallConv, bool isVarArg,
|
|
|
|
const SmallVectorImpl<ISD::InputArg>
|
|
|
|
&Ins,
|
|
|
|
DebugLoc dl, SelectionDAG &DAG,
|
|
|
|
SmallVectorImpl<SDValue> &InVals) {
|
|
|
|
|
2008-03-17 03:21:36 +00:00
|
|
|
MachineFunction &MF = DAG.getMachineFunction();
|
|
|
|
MachineRegisterInfo &RegInfo = MF.getRegInfo();
|
2009-07-19 19:53:46 +00:00
|
|
|
|
|
|
|
// Assign locations to all of the incoming arguments.
|
|
|
|
SmallVector<CCValAssign, 16> ArgLocs;
|
Major calling convention code refactoring.
Instead of awkwardly encoding calling-convention information with ISD::CALL,
ISD::FORMAL_ARGUMENTS, ISD::RET, and ISD::ARG_FLAGS nodes, TargetLowering
provides three virtual functions for targets to override:
LowerFormalArguments, LowerCall, and LowerRet, which replace the custom
lowering done on the special nodes. They provide the same information, but
in a more immediately usable format.
This also reworks much of the target-independent tail call logic. The
decision of whether or not to perform a tail call is now cleanly split
between target-independent portions, and the target dependent portion
in IsEligibleForTailCallOptimization.
This also synchronizes all in-tree targets, to help enable future
refactoring and feature work.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78142 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05 01:29:28 +00:00
|
|
|
CCState CCInfo(CallConv, isVarArg, getTargetMachine(),
|
|
|
|
ArgLocs, *DAG.getContext());
|
|
|
|
CCInfo.AnalyzeFormalArguments(Ins, CC_Sparc32);
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 03:21:36 +00:00
|
|
|
static const unsigned ArgRegs[] = {
|
|
|
|
SP::I0, SP::I1, SP::I2, SP::I3, SP::I4, SP::I5
|
|
|
|
};
|
|
|
|
const unsigned *CurArgReg = ArgRegs, *ArgRegEnd = ArgRegs+6;
|
|
|
|
unsigned ArgOffset = 68;
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2009-07-19 19:53:46 +00:00
|
|
|
for (unsigned i = 0, e = ArgLocs.size(); i != e; ++i) {
|
|
|
|
SDValue ArgValue;
|
|
|
|
CCValAssign &VA = ArgLocs[i];
|
|
|
|
// FIXME: We ignore the register assignments of AnalyzeFormalArguments
|
|
|
|
// because it doesn't know how to split a double into two i32 registers.
|
|
|
|
MVT ObjectVT = VA.getValVT();
|
2008-06-06 12:08:01 +00:00
|
|
|
switch (ObjectVT.getSimpleVT()) {
|
2009-07-14 16:55:14 +00:00
|
|
|
default: llvm_unreachable("Unhandled argument type!");
|
2008-03-17 03:21:36 +00:00
|
|
|
case MVT::i1:
|
|
|
|
case MVT::i8:
|
|
|
|
case MVT::i16:
|
|
|
|
case MVT::i32:
|
Major calling convention code refactoring.
Instead of awkwardly encoding calling-convention information with ISD::CALL,
ISD::FORMAL_ARGUMENTS, ISD::RET, and ISD::ARG_FLAGS nodes, TargetLowering
provides three virtual functions for targets to override:
LowerFormalArguments, LowerCall, and LowerRet, which replace the custom
lowering done on the special nodes. They provide the same information, but
in a more immediately usable format.
This also reworks much of the target-independent tail call logic. The
decision of whether or not to perform a tail call is now cleanly split
between target-independent portions, and the target dependent portion
in IsEligibleForTailCallOptimization.
This also synchronizes all in-tree targets, to help enable future
refactoring and feature work.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78142 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05 01:29:28 +00:00
|
|
|
if (!Ins[i].Used) { // Argument is dead.
|
|
|
|
if (CurArgReg < ArgRegEnd) ++CurArgReg;
|
|
|
|
InVals.push_back(DAG.getUNDEF(ObjectVT));
|
|
|
|
} else if (CurArgReg < ArgRegEnd) { // Lives in an incoming GPR
|
2008-03-17 03:21:36 +00:00
|
|
|
unsigned VReg = RegInfo.createVirtualRegister(&SP::IntRegsRegClass);
|
|
|
|
MF.getRegInfo().addLiveIn(*CurArgReg++, VReg);
|
Major calling convention code refactoring.
Instead of awkwardly encoding calling-convention information with ISD::CALL,
ISD::FORMAL_ARGUMENTS, ISD::RET, and ISD::ARG_FLAGS nodes, TargetLowering
provides three virtual functions for targets to override:
LowerFormalArguments, LowerCall, and LowerRet, which replace the custom
lowering done on the special nodes. They provide the same information, but
in a more immediately usable format.
This also reworks much of the target-independent tail call logic. The
decision of whether or not to perform a tail call is now cleanly split
between target-independent portions, and the target dependent portion
in IsEligibleForTailCallOptimization.
This also synchronizes all in-tree targets, to help enable future
refactoring and feature work.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78142 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05 01:29:28 +00:00
|
|
|
SDValue Arg = DAG.getCopyFromReg(Chain, dl, VReg, MVT::i32);
|
2008-03-17 03:21:36 +00:00
|
|
|
if (ObjectVT != MVT::i32) {
|
|
|
|
unsigned AssertOp = ISD::AssertSext;
|
2009-02-04 02:34:38 +00:00
|
|
|
Arg = DAG.getNode(AssertOp, dl, MVT::i32, Arg,
|
2008-03-17 03:21:36 +00:00
|
|
|
DAG.getValueType(ObjectVT));
|
2009-02-04 02:34:38 +00:00
|
|
|
Arg = DAG.getNode(ISD::TRUNCATE, dl, ObjectVT, Arg);
|
2008-03-17 03:21:36 +00:00
|
|
|
}
|
Major calling convention code refactoring.
Instead of awkwardly encoding calling-convention information with ISD::CALL,
ISD::FORMAL_ARGUMENTS, ISD::RET, and ISD::ARG_FLAGS nodes, TargetLowering
provides three virtual functions for targets to override:
LowerFormalArguments, LowerCall, and LowerRet, which replace the custom
lowering done on the special nodes. They provide the same information, but
in a more immediately usable format.
This also reworks much of the target-independent tail call logic. The
decision of whether or not to perform a tail call is now cleanly split
between target-independent portions, and the target dependent portion
in IsEligibleForTailCallOptimization.
This also synchronizes all in-tree targets, to help enable future
refactoring and feature work.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78142 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05 01:29:28 +00:00
|
|
|
InVals.push_back(Arg);
|
2008-03-17 03:21:36 +00:00
|
|
|
} else {
|
|
|
|
int FrameIdx = MF.getFrameInfo()->CreateFixedObject(4, ArgOffset);
|
2008-07-27 21:46:04 +00:00
|
|
|
SDValue FIPtr = DAG.getFrameIndex(FrameIdx, MVT::i32);
|
|
|
|
SDValue Load;
|
2008-03-17 03:21:36 +00:00
|
|
|
if (ObjectVT == MVT::i32) {
|
Major calling convention code refactoring.
Instead of awkwardly encoding calling-convention information with ISD::CALL,
ISD::FORMAL_ARGUMENTS, ISD::RET, and ISD::ARG_FLAGS nodes, TargetLowering
provides three virtual functions for targets to override:
LowerFormalArguments, LowerCall, and LowerRet, which replace the custom
lowering done on the special nodes. They provide the same information, but
in a more immediately usable format.
This also reworks much of the target-independent tail call logic. The
decision of whether or not to perform a tail call is now cleanly split
between target-independent portions, and the target dependent portion
in IsEligibleForTailCallOptimization.
This also synchronizes all in-tree targets, to help enable future
refactoring and feature work.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78142 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05 01:29:28 +00:00
|
|
|
Load = DAG.getLoad(MVT::i32, dl, Chain, FIPtr, NULL, 0);
|
2008-03-17 03:21:36 +00:00
|
|
|
} else {
|
|
|
|
ISD::LoadExtType LoadOp = ISD::SEXTLOAD;
|
|
|
|
|
|
|
|
// Sparc is big endian, so add an offset based on the ObjectVT.
|
2008-06-06 12:08:01 +00:00
|
|
|
unsigned Offset = 4-std::max(1U, ObjectVT.getSizeInBits()/8);
|
2009-02-04 02:34:38 +00:00
|
|
|
FIPtr = DAG.getNode(ISD::ADD, dl, MVT::i32, FIPtr,
|
2008-03-17 03:21:36 +00:00
|
|
|
DAG.getConstant(Offset, MVT::i32));
|
Major calling convention code refactoring.
Instead of awkwardly encoding calling-convention information with ISD::CALL,
ISD::FORMAL_ARGUMENTS, ISD::RET, and ISD::ARG_FLAGS nodes, TargetLowering
provides three virtual functions for targets to override:
LowerFormalArguments, LowerCall, and LowerRet, which replace the custom
lowering done on the special nodes. They provide the same information, but
in a more immediately usable format.
This also reworks much of the target-independent tail call logic. The
decision of whether or not to perform a tail call is now cleanly split
between target-independent portions, and the target dependent portion
in IsEligibleForTailCallOptimization.
This also synchronizes all in-tree targets, to help enable future
refactoring and feature work.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78142 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05 01:29:28 +00:00
|
|
|
Load = DAG.getExtLoad(LoadOp, dl, MVT::i32, Chain, FIPtr,
|
2008-03-17 03:21:36 +00:00
|
|
|
NULL, 0, ObjectVT);
|
2009-02-04 02:34:38 +00:00
|
|
|
Load = DAG.getNode(ISD::TRUNCATE, dl, ObjectVT, Load);
|
2008-03-17 03:21:36 +00:00
|
|
|
}
|
Major calling convention code refactoring.
Instead of awkwardly encoding calling-convention information with ISD::CALL,
ISD::FORMAL_ARGUMENTS, ISD::RET, and ISD::ARG_FLAGS nodes, TargetLowering
provides three virtual functions for targets to override:
LowerFormalArguments, LowerCall, and LowerRet, which replace the custom
lowering done on the special nodes. They provide the same information, but
in a more immediately usable format.
This also reworks much of the target-independent tail call logic. The
decision of whether or not to perform a tail call is now cleanly split
between target-independent portions, and the target dependent portion
in IsEligibleForTailCallOptimization.
This also synchronizes all in-tree targets, to help enable future
refactoring and feature work.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78142 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05 01:29:28 +00:00
|
|
|
InVals.push_back(Load);
|
2008-03-17 03:21:36 +00:00
|
|
|
}
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 03:21:36 +00:00
|
|
|
ArgOffset += 4;
|
|
|
|
break;
|
|
|
|
case MVT::f32:
|
Major calling convention code refactoring.
Instead of awkwardly encoding calling-convention information with ISD::CALL,
ISD::FORMAL_ARGUMENTS, ISD::RET, and ISD::ARG_FLAGS nodes, TargetLowering
provides three virtual functions for targets to override:
LowerFormalArguments, LowerCall, and LowerRet, which replace the custom
lowering done on the special nodes. They provide the same information, but
in a more immediately usable format.
This also reworks much of the target-independent tail call logic. The
decision of whether or not to perform a tail call is now cleanly split
between target-independent portions, and the target dependent portion
in IsEligibleForTailCallOptimization.
This also synchronizes all in-tree targets, to help enable future
refactoring and feature work.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78142 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05 01:29:28 +00:00
|
|
|
if (!Ins[i].Used) { // Argument is dead.
|
|
|
|
if (CurArgReg < ArgRegEnd) ++CurArgReg;
|
|
|
|
InVals.push_back(DAG.getUNDEF(ObjectVT));
|
|
|
|
} else if (CurArgReg < ArgRegEnd) { // Lives in an incoming GPR
|
2008-03-17 03:21:36 +00:00
|
|
|
// FP value is passed in an integer register.
|
|
|
|
unsigned VReg = RegInfo.createVirtualRegister(&SP::IntRegsRegClass);
|
|
|
|
MF.getRegInfo().addLiveIn(*CurArgReg++, VReg);
|
Major calling convention code refactoring.
Instead of awkwardly encoding calling-convention information with ISD::CALL,
ISD::FORMAL_ARGUMENTS, ISD::RET, and ISD::ARG_FLAGS nodes, TargetLowering
provides three virtual functions for targets to override:
LowerFormalArguments, LowerCall, and LowerRet, which replace the custom
lowering done on the special nodes. They provide the same information, but
in a more immediately usable format.
This also reworks much of the target-independent tail call logic. The
decision of whether or not to perform a tail call is now cleanly split
between target-independent portions, and the target dependent portion
in IsEligibleForTailCallOptimization.
This also synchronizes all in-tree targets, to help enable future
refactoring and feature work.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78142 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05 01:29:28 +00:00
|
|
|
SDValue Arg = DAG.getCopyFromReg(Chain, dl, VReg, MVT::i32);
|
2008-03-17 03:21:36 +00:00
|
|
|
|
2009-02-04 02:34:38 +00:00
|
|
|
Arg = DAG.getNode(ISD::BIT_CONVERT, dl, MVT::f32, Arg);
|
Major calling convention code refactoring.
Instead of awkwardly encoding calling-convention information with ISD::CALL,
ISD::FORMAL_ARGUMENTS, ISD::RET, and ISD::ARG_FLAGS nodes, TargetLowering
provides three virtual functions for targets to override:
LowerFormalArguments, LowerCall, and LowerRet, which replace the custom
lowering done on the special nodes. They provide the same information, but
in a more immediately usable format.
This also reworks much of the target-independent tail call logic. The
decision of whether or not to perform a tail call is now cleanly split
between target-independent portions, and the target dependent portion
in IsEligibleForTailCallOptimization.
This also synchronizes all in-tree targets, to help enable future
refactoring and feature work.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78142 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05 01:29:28 +00:00
|
|
|
InVals.push_back(Arg);
|
2008-03-17 03:21:36 +00:00
|
|
|
} else {
|
|
|
|
int FrameIdx = MF.getFrameInfo()->CreateFixedObject(4, ArgOffset);
|
2008-07-27 21:46:04 +00:00
|
|
|
SDValue FIPtr = DAG.getFrameIndex(FrameIdx, MVT::i32);
|
Major calling convention code refactoring.
Instead of awkwardly encoding calling-convention information with ISD::CALL,
ISD::FORMAL_ARGUMENTS, ISD::RET, and ISD::ARG_FLAGS nodes, TargetLowering
provides three virtual functions for targets to override:
LowerFormalArguments, LowerCall, and LowerRet, which replace the custom
lowering done on the special nodes. They provide the same information, but
in a more immediately usable format.
This also reworks much of the target-independent tail call logic. The
decision of whether or not to perform a tail call is now cleanly split
between target-independent portions, and the target dependent portion
in IsEligibleForTailCallOptimization.
This also synchronizes all in-tree targets, to help enable future
refactoring and feature work.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78142 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05 01:29:28 +00:00
|
|
|
SDValue Load = DAG.getLoad(MVT::f32, dl, Chain, FIPtr, NULL, 0);
|
|
|
|
InVals.push_back(Load);
|
2008-03-17 03:21:36 +00:00
|
|
|
}
|
|
|
|
ArgOffset += 4;
|
|
|
|
break;
|
|
|
|
|
|
|
|
case MVT::i64:
|
|
|
|
case MVT::f64:
|
Major calling convention code refactoring.
Instead of awkwardly encoding calling-convention information with ISD::CALL,
ISD::FORMAL_ARGUMENTS, ISD::RET, and ISD::ARG_FLAGS nodes, TargetLowering
provides three virtual functions for targets to override:
LowerFormalArguments, LowerCall, and LowerRet, which replace the custom
lowering done on the special nodes. They provide the same information, but
in a more immediately usable format.
This also reworks much of the target-independent tail call logic. The
decision of whether or not to perform a tail call is now cleanly split
between target-independent portions, and the target dependent portion
in IsEligibleForTailCallOptimization.
This also synchronizes all in-tree targets, to help enable future
refactoring and feature work.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78142 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05 01:29:28 +00:00
|
|
|
if (!Ins[i].Used) { // Argument is dead.
|
|
|
|
if (CurArgReg < ArgRegEnd) ++CurArgReg;
|
|
|
|
if (CurArgReg < ArgRegEnd) ++CurArgReg;
|
|
|
|
InVals.push_back(DAG.getUNDEF(ObjectVT));
|
|
|
|
} else {
|
2008-07-27 21:46:04 +00:00
|
|
|
SDValue HiVal;
|
2008-03-17 03:21:36 +00:00
|
|
|
if (CurArgReg < ArgRegEnd) { // Lives in an incoming GPR
|
|
|
|
unsigned VRegHi = RegInfo.createVirtualRegister(&SP::IntRegsRegClass);
|
|
|
|
MF.getRegInfo().addLiveIn(*CurArgReg++, VRegHi);
|
Major calling convention code refactoring.
Instead of awkwardly encoding calling-convention information with ISD::CALL,
ISD::FORMAL_ARGUMENTS, ISD::RET, and ISD::ARG_FLAGS nodes, TargetLowering
provides three virtual functions for targets to override:
LowerFormalArguments, LowerCall, and LowerRet, which replace the custom
lowering done on the special nodes. They provide the same information, but
in a more immediately usable format.
This also reworks much of the target-independent tail call logic. The
decision of whether or not to perform a tail call is now cleanly split
between target-independent portions, and the target dependent portion
in IsEligibleForTailCallOptimization.
This also synchronizes all in-tree targets, to help enable future
refactoring and feature work.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78142 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05 01:29:28 +00:00
|
|
|
HiVal = DAG.getCopyFromReg(Chain, dl, VRegHi, MVT::i32);
|
2008-03-17 03:21:36 +00:00
|
|
|
} else {
|
|
|
|
int FrameIdx = MF.getFrameInfo()->CreateFixedObject(4, ArgOffset);
|
2008-07-27 21:46:04 +00:00
|
|
|
SDValue FIPtr = DAG.getFrameIndex(FrameIdx, MVT::i32);
|
Major calling convention code refactoring.
Instead of awkwardly encoding calling-convention information with ISD::CALL,
ISD::FORMAL_ARGUMENTS, ISD::RET, and ISD::ARG_FLAGS nodes, TargetLowering
provides three virtual functions for targets to override:
LowerFormalArguments, LowerCall, and LowerRet, which replace the custom
lowering done on the special nodes. They provide the same information, but
in a more immediately usable format.
This also reworks much of the target-independent tail call logic. The
decision of whether or not to perform a tail call is now cleanly split
between target-independent portions, and the target dependent portion
in IsEligibleForTailCallOptimization.
This also synchronizes all in-tree targets, to help enable future
refactoring and feature work.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78142 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05 01:29:28 +00:00
|
|
|
HiVal = DAG.getLoad(MVT::i32, dl, Chain, FIPtr, NULL, 0);
|
2008-03-17 03:21:36 +00:00
|
|
|
}
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-07-27 21:46:04 +00:00
|
|
|
SDValue LoVal;
|
2008-03-17 03:21:36 +00:00
|
|
|
if (CurArgReg < ArgRegEnd) { // Lives in an incoming GPR
|
|
|
|
unsigned VRegLo = RegInfo.createVirtualRegister(&SP::IntRegsRegClass);
|
|
|
|
MF.getRegInfo().addLiveIn(*CurArgReg++, VRegLo);
|
Major calling convention code refactoring.
Instead of awkwardly encoding calling-convention information with ISD::CALL,
ISD::FORMAL_ARGUMENTS, ISD::RET, and ISD::ARG_FLAGS nodes, TargetLowering
provides three virtual functions for targets to override:
LowerFormalArguments, LowerCall, and LowerRet, which replace the custom
lowering done on the special nodes. They provide the same information, but
in a more immediately usable format.
This also reworks much of the target-independent tail call logic. The
decision of whether or not to perform a tail call is now cleanly split
between target-independent portions, and the target dependent portion
in IsEligibleForTailCallOptimization.
This also synchronizes all in-tree targets, to help enable future
refactoring and feature work.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78142 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05 01:29:28 +00:00
|
|
|
LoVal = DAG.getCopyFromReg(Chain, dl, VRegLo, MVT::i32);
|
2008-03-17 03:21:36 +00:00
|
|
|
} else {
|
|
|
|
int FrameIdx = MF.getFrameInfo()->CreateFixedObject(4, ArgOffset+4);
|
2008-07-27 21:46:04 +00:00
|
|
|
SDValue FIPtr = DAG.getFrameIndex(FrameIdx, MVT::i32);
|
Major calling convention code refactoring.
Instead of awkwardly encoding calling-convention information with ISD::CALL,
ISD::FORMAL_ARGUMENTS, ISD::RET, and ISD::ARG_FLAGS nodes, TargetLowering
provides three virtual functions for targets to override:
LowerFormalArguments, LowerCall, and LowerRet, which replace the custom
lowering done on the special nodes. They provide the same information, but
in a more immediately usable format.
This also reworks much of the target-independent tail call logic. The
decision of whether or not to perform a tail call is now cleanly split
between target-independent portions, and the target dependent portion
in IsEligibleForTailCallOptimization.
This also synchronizes all in-tree targets, to help enable future
refactoring and feature work.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78142 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05 01:29:28 +00:00
|
|
|
LoVal = DAG.getLoad(MVT::i32, dl, Chain, FIPtr, NULL, 0);
|
2008-03-17 03:21:36 +00:00
|
|
|
}
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 03:21:36 +00:00
|
|
|
// Compose the two halves together into an i64 unit.
|
2008-10-10 20:27:31 +00:00
|
|
|
SDValue WholeValue =
|
2009-02-04 02:34:38 +00:00
|
|
|
DAG.getNode(ISD::BUILD_PAIR, dl, MVT::i64, LoVal, HiVal);
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 03:21:36 +00:00
|
|
|
// If we want a double, do a bit convert.
|
|
|
|
if (ObjectVT == MVT::f64)
|
2009-02-04 02:34:38 +00:00
|
|
|
WholeValue = DAG.getNode(ISD::BIT_CONVERT, dl, MVT::f64, WholeValue);
|
2008-10-10 20:27:31 +00:00
|
|
|
|
Major calling convention code refactoring.
Instead of awkwardly encoding calling-convention information with ISD::CALL,
ISD::FORMAL_ARGUMENTS, ISD::RET, and ISD::ARG_FLAGS nodes, TargetLowering
provides three virtual functions for targets to override:
LowerFormalArguments, LowerCall, and LowerRet, which replace the custom
lowering done on the special nodes. They provide the same information, but
in a more immediately usable format.
This also reworks much of the target-independent tail call logic. The
decision of whether or not to perform a tail call is now cleanly split
between target-independent portions, and the target dependent portion
in IsEligibleForTailCallOptimization.
This also synchronizes all in-tree targets, to help enable future
refactoring and feature work.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78142 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05 01:29:28 +00:00
|
|
|
InVals.push_back(WholeValue);
|
2008-03-17 03:21:36 +00:00
|
|
|
}
|
|
|
|
ArgOffset += 8;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 03:21:36 +00:00
|
|
|
// Store remaining ArgRegs to the stack if this is a varargs function.
|
2009-07-19 19:53:46 +00:00
|
|
|
if (isVarArg) {
|
2008-03-17 03:21:36 +00:00
|
|
|
// Remember the vararg offset for the va_start implementation.
|
|
|
|
VarArgsFrameOffset = ArgOffset;
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2009-07-19 19:53:46 +00:00
|
|
|
std::vector<SDValue> OutChains;
|
|
|
|
|
2008-03-17 03:21:36 +00:00
|
|
|
for (; CurArgReg != ArgRegEnd; ++CurArgReg) {
|
|
|
|
unsigned VReg = RegInfo.createVirtualRegister(&SP::IntRegsRegClass);
|
|
|
|
MF.getRegInfo().addLiveIn(*CurArgReg, VReg);
|
2009-02-04 02:34:38 +00:00
|
|
|
SDValue Arg = DAG.getCopyFromReg(DAG.getRoot(), dl, VReg, MVT::i32);
|
2008-03-17 03:21:36 +00:00
|
|
|
|
|
|
|
int FrameIdx = MF.getFrameInfo()->CreateFixedObject(4, ArgOffset);
|
2008-07-27 21:46:04 +00:00
|
|
|
SDValue FIPtr = DAG.getFrameIndex(FrameIdx, MVT::i32);
|
2008-03-17 03:21:36 +00:00
|
|
|
|
2009-02-04 02:34:38 +00:00
|
|
|
OutChains.push_back(DAG.getStore(DAG.getRoot(), dl, Arg, FIPtr, NULL, 0));
|
2008-03-17 03:21:36 +00:00
|
|
|
ArgOffset += 4;
|
|
|
|
}
|
2009-07-19 19:53:46 +00:00
|
|
|
|
|
|
|
if (!OutChains.empty()) {
|
Major calling convention code refactoring.
Instead of awkwardly encoding calling-convention information with ISD::CALL,
ISD::FORMAL_ARGUMENTS, ISD::RET, and ISD::ARG_FLAGS nodes, TargetLowering
provides three virtual functions for targets to override:
LowerFormalArguments, LowerCall, and LowerRet, which replace the custom
lowering done on the special nodes. They provide the same information, but
in a more immediately usable format.
This also reworks much of the target-independent tail call logic. The
decision of whether or not to perform a tail call is now cleanly split
between target-independent portions, and the target dependent portion
in IsEligibleForTailCallOptimization.
This also synchronizes all in-tree targets, to help enable future
refactoring and feature work.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78142 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05 01:29:28 +00:00
|
|
|
OutChains.push_back(Chain);
|
|
|
|
Chain = DAG.getNode(ISD::TokenFactor, dl, MVT::Other,
|
|
|
|
&OutChains[0], OutChains.size());
|
2009-07-19 19:53:46 +00:00
|
|
|
}
|
2008-03-17 03:21:36 +00:00
|
|
|
}
|
2008-10-10 20:27:31 +00:00
|
|
|
|
Major calling convention code refactoring.
Instead of awkwardly encoding calling-convention information with ISD::CALL,
ISD::FORMAL_ARGUMENTS, ISD::RET, and ISD::ARG_FLAGS nodes, TargetLowering
provides three virtual functions for targets to override:
LowerFormalArguments, LowerCall, and LowerRet, which replace the custom
lowering done on the special nodes. They provide the same information, but
in a more immediately usable format.
This also reworks much of the target-independent tail call logic. The
decision of whether or not to perform a tail call is now cleanly split
between target-independent portions, and the target dependent portion
in IsEligibleForTailCallOptimization.
This also synchronizes all in-tree targets, to help enable future
refactoring and feature work.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78142 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05 01:29:28 +00:00
|
|
|
return Chain;
|
2008-03-17 03:21:36 +00:00
|
|
|
}
|
|
|
|
|
Major calling convention code refactoring.
Instead of awkwardly encoding calling-convention information with ISD::CALL,
ISD::FORMAL_ARGUMENTS, ISD::RET, and ISD::ARG_FLAGS nodes, TargetLowering
provides three virtual functions for targets to override:
LowerFormalArguments, LowerCall, and LowerRet, which replace the custom
lowering done on the special nodes. They provide the same information, but
in a more immediately usable format.
This also reworks much of the target-independent tail call logic. The
decision of whether or not to perform a tail call is now cleanly split
between target-independent portions, and the target dependent portion
in IsEligibleForTailCallOptimization.
This also synchronizes all in-tree targets, to help enable future
refactoring and feature work.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78142 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05 01:29:28 +00:00
|
|
|
SDValue
|
|
|
|
SparcTargetLowering::LowerCall(SDValue Chain, SDValue Callee,
|
|
|
|
unsigned CallConv, bool isVarArg,
|
|
|
|
bool isTailCall,
|
|
|
|
const SmallVectorImpl<ISD::OutputArg> &Outs,
|
|
|
|
const SmallVectorImpl<ISD::InputArg> &Ins,
|
|
|
|
DebugLoc dl, SelectionDAG &DAG,
|
|
|
|
SmallVectorImpl<SDValue> &InVals) {
|
2008-03-17 06:01:07 +00:00
|
|
|
|
2008-03-17 06:58:37 +00:00
|
|
|
#if 0
|
|
|
|
// Analyze operands of the call, assigning locations to each operand.
|
|
|
|
SmallVector<CCValAssign, 16> ArgLocs;
|
Major calling convention code refactoring.
Instead of awkwardly encoding calling-convention information with ISD::CALL,
ISD::FORMAL_ARGUMENTS, ISD::RET, and ISD::ARG_FLAGS nodes, TargetLowering
provides three virtual functions for targets to override:
LowerFormalArguments, LowerCall, and LowerRet, which replace the custom
lowering done on the special nodes. They provide the same information, but
in a more immediately usable format.
This also reworks much of the target-independent tail call logic. The
decision of whether or not to perform a tail call is now cleanly split
between target-independent portions, and the target dependent portion
in IsEligibleForTailCallOptimization.
This also synchronizes all in-tree targets, to help enable future
refactoring and feature work.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78142 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05 01:29:28 +00:00
|
|
|
CCState CCInfo(CallConv, isVarArg, DAG.getTarget(), ArgLocs);
|
|
|
|
CCInfo.AnalyzeCallOperands(Outs, CC_Sparc32);
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 06:58:37 +00:00
|
|
|
// Get the size of the outgoing arguments stack space requirement.
|
|
|
|
unsigned ArgsSize = CCInfo.getNextStackOffset();
|
|
|
|
// FIXME: We can't use this until f64 is known to take two GPRs.
|
|
|
|
#else
|
|
|
|
(void)CC_Sparc32;
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 03:21:36 +00:00
|
|
|
// Count the size of the outgoing arguments.
|
|
|
|
unsigned ArgsSize = 0;
|
Major calling convention code refactoring.
Instead of awkwardly encoding calling-convention information with ISD::CALL,
ISD::FORMAL_ARGUMENTS, ISD::RET, and ISD::ARG_FLAGS nodes, TargetLowering
provides three virtual functions for targets to override:
LowerFormalArguments, LowerCall, and LowerRet, which replace the custom
lowering done on the special nodes. They provide the same information, but
in a more immediately usable format.
This also reworks much of the target-independent tail call logic. The
decision of whether or not to perform a tail call is now cleanly split
between target-independent portions, and the target dependent portion
in IsEligibleForTailCallOptimization.
This also synchronizes all in-tree targets, to help enable future
refactoring and feature work.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78142 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05 01:29:28 +00:00
|
|
|
for (unsigned i = 0, e = Outs.size(); i != e; ++i) {
|
|
|
|
switch (Outs[i].Val.getValueType().getSimpleVT()) {
|
2009-07-14 16:55:14 +00:00
|
|
|
default: llvm_unreachable("Unknown value type!");
|
2008-03-17 06:58:37 +00:00
|
|
|
case MVT::i1:
|
|
|
|
case MVT::i8:
|
|
|
|
case MVT::i16:
|
|
|
|
case MVT::i32:
|
|
|
|
case MVT::f32:
|
|
|
|
ArgsSize += 4;
|
|
|
|
break;
|
|
|
|
case MVT::i64:
|
|
|
|
case MVT::f64:
|
|
|
|
ArgsSize += 8;
|
|
|
|
break;
|
2008-03-17 03:21:36 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
if (ArgsSize > 4*6)
|
|
|
|
ArgsSize -= 4*6; // Space for first 6 arguments is prereserved.
|
|
|
|
else
|
|
|
|
ArgsSize = 0;
|
2008-10-10 20:27:31 +00:00
|
|
|
#endif
|
|
|
|
|
2008-03-17 03:21:36 +00:00
|
|
|
// Keep stack frames 8-byte aligned.
|
|
|
|
ArgsSize = (ArgsSize+7) & ~7;
|
|
|
|
|
2008-10-11 22:08:30 +00:00
|
|
|
Chain = DAG.getCALLSEQ_START(Chain, DAG.getIntPtrConstant(ArgsSize, true));
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-07-27 21:46:04 +00:00
|
|
|
SmallVector<std::pair<unsigned, SDValue>, 8> RegsToPass;
|
|
|
|
SmallVector<SDValue, 8> MemOpChains;
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 06:58:37 +00:00
|
|
|
#if 0
|
|
|
|
// Walk the register/memloc assignments, inserting copies/loads.
|
|
|
|
for (unsigned i = 0, e = ArgLocs.size(); i != e; ++i) {
|
|
|
|
CCValAssign &VA = ArgLocs[i];
|
Major calling convention code refactoring.
Instead of awkwardly encoding calling-convention information with ISD::CALL,
ISD::FORMAL_ARGUMENTS, ISD::RET, and ISD::ARG_FLAGS nodes, TargetLowering
provides three virtual functions for targets to override:
LowerFormalArguments, LowerCall, and LowerRet, which replace the custom
lowering done on the special nodes. They provide the same information, but
in a more immediately usable format.
This also reworks much of the target-independent tail call logic. The
decision of whether or not to perform a tail call is now cleanly split
between target-independent portions, and the target dependent portion
in IsEligibleForTailCallOptimization.
This also synchronizes all in-tree targets, to help enable future
refactoring and feature work.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78142 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05 01:29:28 +00:00
|
|
|
SDValue Arg = Outs[i].Val;
|
2008-03-17 06:58:37 +00:00
|
|
|
|
|
|
|
// Promote the value if needed.
|
|
|
|
switch (VA.getLocInfo()) {
|
2009-07-14 16:55:14 +00:00
|
|
|
default: llvm_unreachable("Unknown loc info!");
|
2008-03-17 06:58:37 +00:00
|
|
|
case CCValAssign::Full: break;
|
|
|
|
case CCValAssign::SExt:
|
|
|
|
Arg = DAG.getNode(ISD::SIGN_EXTEND, VA.getLocVT(), Arg);
|
|
|
|
break;
|
|
|
|
case CCValAssign::ZExt:
|
|
|
|
Arg = DAG.getNode(ISD::ZERO_EXTEND, VA.getLocVT(), Arg);
|
|
|
|
break;
|
|
|
|
case CCValAssign::AExt:
|
|
|
|
Arg = DAG.getNode(ISD::ANY_EXTEND, VA.getLocVT(), Arg);
|
|
|
|
break;
|
|
|
|
}
|
2008-10-10 20:27:31 +00:00
|
|
|
|
|
|
|
// Arguments that can be passed on register must be kept at
|
2008-03-17 06:58:37 +00:00
|
|
|
// RegsToPass vector
|
|
|
|
if (VA.isRegLoc()) {
|
|
|
|
RegsToPass.push_back(std::make_pair(VA.getLocReg(), Arg));
|
|
|
|
continue;
|
|
|
|
}
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 06:58:37 +00:00
|
|
|
assert(VA.isMemLoc());
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 06:58:37 +00:00
|
|
|
// Create a store off the stack pointer for this argument.
|
2008-07-27 21:46:04 +00:00
|
|
|
SDValue StackPtr = DAG.getRegister(SP::O6, MVT::i32);
|
2008-03-17 06:58:37 +00:00
|
|
|
// FIXME: VERIFY THAT 68 IS RIGHT.
|
2008-07-27 21:46:04 +00:00
|
|
|
SDValue PtrOff = DAG.getIntPtrConstant(VA.getLocMemOffset()+68);
|
2008-03-17 06:58:37 +00:00
|
|
|
PtrOff = DAG.getNode(ISD::ADD, MVT::i32, StackPtr, PtrOff);
|
|
|
|
MemOpChains.push_back(DAG.getStore(Chain, Arg, PtrOff, NULL, 0));
|
|
|
|
}
|
2008-10-10 20:27:31 +00:00
|
|
|
|
|
|
|
#else
|
2008-03-17 06:58:37 +00:00
|
|
|
static const unsigned ArgRegs[] = {
|
|
|
|
SP::I0, SP::I1, SP::I2, SP::I3, SP::I4, SP::I5
|
|
|
|
};
|
2008-03-17 03:21:36 +00:00
|
|
|
unsigned ArgOffset = 68;
|
2008-03-17 06:58:37 +00:00
|
|
|
|
Major calling convention code refactoring.
Instead of awkwardly encoding calling-convention information with ISD::CALL,
ISD::FORMAL_ARGUMENTS, ISD::RET, and ISD::ARG_FLAGS nodes, TargetLowering
provides three virtual functions for targets to override:
LowerFormalArguments, LowerCall, and LowerRet, which replace the custom
lowering done on the special nodes. They provide the same information, but
in a more immediately usable format.
This also reworks much of the target-independent tail call logic. The
decision of whether or not to perform a tail call is now cleanly split
between target-independent portions, and the target dependent portion
in IsEligibleForTailCallOptimization.
This also synchronizes all in-tree targets, to help enable future
refactoring and feature work.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78142 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05 01:29:28 +00:00
|
|
|
for (unsigned i = 0, e = Outs.size(); i != e; ++i) {
|
|
|
|
SDValue Val = Outs[i].Val;
|
2008-06-06 12:08:01 +00:00
|
|
|
MVT ObjectVT = Val.getValueType();
|
2008-07-27 21:46:04 +00:00
|
|
|
SDValue ValToStore(0, 0);
|
2008-03-17 03:21:36 +00:00
|
|
|
unsigned ObjSize;
|
2008-06-06 12:08:01 +00:00
|
|
|
switch (ObjectVT.getSimpleVT()) {
|
2009-07-14 16:55:14 +00:00
|
|
|
default: llvm_unreachable("Unhandled argument type!");
|
2008-03-17 03:21:36 +00:00
|
|
|
case MVT::i32:
|
|
|
|
ObjSize = 4;
|
|
|
|
|
2008-03-17 06:58:37 +00:00
|
|
|
if (RegsToPass.size() >= 6) {
|
2008-03-17 03:21:36 +00:00
|
|
|
ValToStore = Val;
|
|
|
|
} else {
|
2008-03-17 06:58:37 +00:00
|
|
|
RegsToPass.push_back(std::make_pair(ArgRegs[RegsToPass.size()], Val));
|
2008-03-17 03:21:36 +00:00
|
|
|
}
|
|
|
|
break;
|
|
|
|
case MVT::f32:
|
|
|
|
ObjSize = 4;
|
2008-03-17 06:58:37 +00:00
|
|
|
if (RegsToPass.size() >= 6) {
|
2008-03-17 03:21:36 +00:00
|
|
|
ValToStore = Val;
|
|
|
|
} else {
|
|
|
|
// Convert this to a FP value in an int reg.
|
2009-02-04 20:06:27 +00:00
|
|
|
Val = DAG.getNode(ISD::BIT_CONVERT, dl, MVT::i32, Val);
|
2008-03-17 06:58:37 +00:00
|
|
|
RegsToPass.push_back(std::make_pair(ArgRegs[RegsToPass.size()], Val));
|
2008-03-17 03:21:36 +00:00
|
|
|
}
|
|
|
|
break;
|
2008-12-12 08:05:40 +00:00
|
|
|
case MVT::f64: {
|
2008-03-17 03:21:36 +00:00
|
|
|
ObjSize = 8;
|
2008-12-12 08:05:40 +00:00
|
|
|
if (RegsToPass.size() >= 6) {
|
|
|
|
ValToStore = Val; // Whole thing is passed in memory.
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Break into top and bottom parts by storing to the stack and loading
|
|
|
|
// out the parts as integers. Top part goes in a reg.
|
|
|
|
SDValue StackPtr = DAG.CreateStackTemporary(MVT::f64, MVT::i32);
|
2009-02-04 20:06:27 +00:00
|
|
|
SDValue Store = DAG.getStore(DAG.getEntryNode(), dl,
|
|
|
|
Val, StackPtr, NULL, 0);
|
2008-12-12 08:05:40 +00:00
|
|
|
// Sparc is big-endian, so the high part comes first.
|
2009-02-04 20:06:27 +00:00
|
|
|
SDValue Hi = DAG.getLoad(MVT::i32, dl, Store, StackPtr, NULL, 0, 0);
|
2008-12-12 08:05:40 +00:00
|
|
|
// Increment the pointer to the other half.
|
2009-02-04 20:06:27 +00:00
|
|
|
StackPtr = DAG.getNode(ISD::ADD, dl, StackPtr.getValueType(), StackPtr,
|
2008-12-12 08:05:40 +00:00
|
|
|
DAG.getIntPtrConstant(4));
|
|
|
|
// Load the low part.
|
2009-02-04 20:06:27 +00:00
|
|
|
SDValue Lo = DAG.getLoad(MVT::i32, dl, Store, StackPtr, NULL, 0, 0);
|
2008-12-12 08:05:40 +00:00
|
|
|
|
|
|
|
RegsToPass.push_back(std::make_pair(ArgRegs[RegsToPass.size()], Hi));
|
|
|
|
|
|
|
|
if (RegsToPass.size() >= 6) {
|
|
|
|
ValToStore = Lo;
|
|
|
|
ArgOffset += 4;
|
|
|
|
ObjSize = 4;
|
|
|
|
} else {
|
|
|
|
RegsToPass.push_back(std::make_pair(ArgRegs[RegsToPass.size()], Lo));
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case MVT::i64: {
|
2008-03-17 03:21:36 +00:00
|
|
|
ObjSize = 8;
|
2008-03-17 06:58:37 +00:00
|
|
|
if (RegsToPass.size() >= 6) {
|
2008-03-17 03:21:36 +00:00
|
|
|
ValToStore = Val; // Whole thing is passed in memory.
|
|
|
|
break;
|
|
|
|
}
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 03:21:36 +00:00
|
|
|
// Split the value into top and bottom part. Top part goes in a reg.
|
2009-02-04 20:06:27 +00:00
|
|
|
SDValue Hi = DAG.getNode(ISD::EXTRACT_ELEMENT, dl, MVT::i32, Val,
|
2008-03-17 03:21:36 +00:00
|
|
|
DAG.getConstant(1, MVT::i32));
|
2009-02-04 20:06:27 +00:00
|
|
|
SDValue Lo = DAG.getNode(ISD::EXTRACT_ELEMENT, dl, MVT::i32, Val,
|
2008-03-17 03:21:36 +00:00
|
|
|
DAG.getConstant(0, MVT::i32));
|
2008-03-17 06:58:37 +00:00
|
|
|
RegsToPass.push_back(std::make_pair(ArgRegs[RegsToPass.size()], Hi));
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 06:58:37 +00:00
|
|
|
if (RegsToPass.size() >= 6) {
|
2008-03-17 03:21:36 +00:00
|
|
|
ValToStore = Lo;
|
|
|
|
ArgOffset += 4;
|
|
|
|
ObjSize = 4;
|
|
|
|
} else {
|
2008-03-17 06:58:37 +00:00
|
|
|
RegsToPass.push_back(std::make_pair(ArgRegs[RegsToPass.size()], Lo));
|
2008-03-17 03:21:36 +00:00
|
|
|
}
|
|
|
|
break;
|
|
|
|
}
|
2008-12-12 08:05:40 +00:00
|
|
|
}
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-08-28 21:40:38 +00:00
|
|
|
if (ValToStore.getNode()) {
|
2008-07-27 21:46:04 +00:00
|
|
|
SDValue StackPtr = DAG.getRegister(SP::O6, MVT::i32);
|
|
|
|
SDValue PtrOff = DAG.getConstant(ArgOffset, MVT::i32);
|
2009-02-04 20:06:27 +00:00
|
|
|
PtrOff = DAG.getNode(ISD::ADD, dl, MVT::i32, StackPtr, PtrOff);
|
|
|
|
MemOpChains.push_back(DAG.getStore(Chain, dl, ValToStore,
|
|
|
|
PtrOff, NULL, 0));
|
2008-03-17 03:21:36 +00:00
|
|
|
}
|
|
|
|
ArgOffset += ObjSize;
|
|
|
|
}
|
2008-03-17 06:58:37 +00:00
|
|
|
#endif
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 03:21:36 +00:00
|
|
|
// Emit all stores, make sure the occur before any copies into physregs.
|
2008-03-17 06:58:37 +00:00
|
|
|
if (!MemOpChains.empty())
|
2009-02-04 20:06:27 +00:00
|
|
|
Chain = DAG.getNode(ISD::TokenFactor, dl, MVT::Other,
|
2008-03-17 06:58:37 +00:00
|
|
|
&MemOpChains[0], MemOpChains.size());
|
2008-10-10 20:27:31 +00:00
|
|
|
|
|
|
|
// Build a sequence of copy-to-reg nodes chained together with token
|
2008-03-17 06:58:37 +00:00
|
|
|
// chain and flag operands which copy the outgoing args into registers.
|
|
|
|
// The InFlag in necessary since all emited instructions must be
|
|
|
|
// stuck together.
|
2008-07-27 21:46:04 +00:00
|
|
|
SDValue InFlag;
|
2008-03-17 06:58:37 +00:00
|
|
|
for (unsigned i = 0, e = RegsToPass.size(); i != e; ++i) {
|
|
|
|
unsigned Reg = RegsToPass[i].first;
|
|
|
|
// Remap I0->I7 -> O0->O7.
|
|
|
|
if (Reg >= SP::I0 && Reg <= SP::I7)
|
|
|
|
Reg = Reg-SP::I0+SP::O0;
|
|
|
|
|
2009-02-04 20:06:27 +00:00
|
|
|
Chain = DAG.getCopyToReg(Chain, dl, Reg, RegsToPass[i].second, InFlag);
|
2008-03-17 03:21:36 +00:00
|
|
|
InFlag = Chain.getValue(1);
|
|
|
|
}
|
|
|
|
|
|
|
|
// If the callee is a GlobalAddress node (quite common, every direct call is)
|
|
|
|
// turn it into a TargetGlobalAddress node so that legalize doesn't hack it.
|
2008-09-16 21:48:12 +00:00
|
|
|
// Likewise ExternalSymbol -> TargetExternalSymbol.
|
2008-03-17 03:21:36 +00:00
|
|
|
if (GlobalAddressSDNode *G = dyn_cast<GlobalAddressSDNode>(Callee))
|
|
|
|
Callee = DAG.getTargetGlobalAddress(G->getGlobal(), MVT::i32);
|
2008-09-16 21:48:12 +00:00
|
|
|
else if (ExternalSymbolSDNode *E = dyn_cast<ExternalSymbolSDNode>(Callee))
|
|
|
|
Callee = DAG.getTargetExternalSymbol(E->getSymbol(), MVT::i32);
|
2008-03-17 03:21:36 +00:00
|
|
|
|
2008-06-06 12:08:01 +00:00
|
|
|
std::vector<MVT> NodeTys;
|
2008-03-17 03:21:36 +00:00
|
|
|
NodeTys.push_back(MVT::Other); // Returns a chain
|
|
|
|
NodeTys.push_back(MVT::Flag); // Returns a flag for retval copy to use.
|
2008-07-27 21:46:04 +00:00
|
|
|
SDValue Ops[] = { Chain, Callee, InFlag };
|
2009-02-04 20:06:27 +00:00
|
|
|
Chain = DAG.getNode(SPISD::CALL, dl, NodeTys, Ops, InFlag.getNode() ? 3 : 2);
|
2008-03-17 03:21:36 +00:00
|
|
|
InFlag = Chain.getValue(1);
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-10-11 22:08:30 +00:00
|
|
|
Chain = DAG.getCALLSEQ_END(Chain, DAG.getIntPtrConstant(ArgsSize, true),
|
|
|
|
DAG.getIntPtrConstant(0, true), InFlag);
|
2008-03-17 06:01:07 +00:00
|
|
|
InFlag = Chain.getValue(1);
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 06:01:07 +00:00
|
|
|
// Assign locations to each value returned by this call.
|
|
|
|
SmallVector<CCValAssign, 16> RVLocs;
|
Major calling convention code refactoring.
Instead of awkwardly encoding calling-convention information with ISD::CALL,
ISD::FORMAL_ARGUMENTS, ISD::RET, and ISD::ARG_FLAGS nodes, TargetLowering
provides three virtual functions for targets to override:
LowerFormalArguments, LowerCall, and LowerRet, which replace the custom
lowering done on the special nodes. They provide the same information, but
in a more immediately usable format.
This also reworks much of the target-independent tail call logic. The
decision of whether or not to perform a tail call is now cleanly split
between target-independent portions, and the target dependent portion
in IsEligibleForTailCallOptimization.
This also synchronizes all in-tree targets, to help enable future
refactoring and feature work.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78142 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05 01:29:28 +00:00
|
|
|
CCState RVInfo(CallConv, isVarArg, DAG.getTarget(),
|
2009-07-22 00:24:57 +00:00
|
|
|
RVLocs, *DAG.getContext());
|
2008-10-10 20:27:31 +00:00
|
|
|
|
Major calling convention code refactoring.
Instead of awkwardly encoding calling-convention information with ISD::CALL,
ISD::FORMAL_ARGUMENTS, ISD::RET, and ISD::ARG_FLAGS nodes, TargetLowering
provides three virtual functions for targets to override:
LowerFormalArguments, LowerCall, and LowerRet, which replace the custom
lowering done on the special nodes. They provide the same information, but
in a more immediately usable format.
This also reworks much of the target-independent tail call logic. The
decision of whether or not to perform a tail call is now cleanly split
between target-independent portions, and the target dependent portion
in IsEligibleForTailCallOptimization.
This also synchronizes all in-tree targets, to help enable future
refactoring and feature work.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78142 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05 01:29:28 +00:00
|
|
|
RVInfo.AnalyzeCallResult(Ins, RetCC_Sparc32);
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 06:01:07 +00:00
|
|
|
// Copy all of the result registers out of their specified physreg.
|
|
|
|
for (unsigned i = 0; i != RVLocs.size(); ++i) {
|
|
|
|
unsigned Reg = RVLocs[i].getLocReg();
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 06:01:07 +00:00
|
|
|
// Remap I0->I7 -> O0->O7.
|
|
|
|
if (Reg >= SP::I0 && Reg <= SP::I7)
|
|
|
|
Reg = Reg-SP::I0+SP::O0;
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2009-02-04 20:06:27 +00:00
|
|
|
Chain = DAG.getCopyFromReg(Chain, dl, Reg,
|
2008-03-17 06:01:07 +00:00
|
|
|
RVLocs[i].getValVT(), InFlag).getValue(1);
|
|
|
|
InFlag = Chain.getValue(2);
|
Major calling convention code refactoring.
Instead of awkwardly encoding calling-convention information with ISD::CALL,
ISD::FORMAL_ARGUMENTS, ISD::RET, and ISD::ARG_FLAGS nodes, TargetLowering
provides three virtual functions for targets to override:
LowerFormalArguments, LowerCall, and LowerRet, which replace the custom
lowering done on the special nodes. They provide the same information, but
in a more immediately usable format.
This also reworks much of the target-independent tail call logic. The
decision of whether or not to perform a tail call is now cleanly split
between target-independent portions, and the target dependent portion
in IsEligibleForTailCallOptimization.
This also synchronizes all in-tree targets, to help enable future
refactoring and feature work.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78142 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05 01:29:28 +00:00
|
|
|
InVals.push_back(Chain.getValue(0));
|
2008-03-17 03:21:36 +00:00
|
|
|
}
|
2008-10-10 20:27:31 +00:00
|
|
|
|
Major calling convention code refactoring.
Instead of awkwardly encoding calling-convention information with ISD::CALL,
ISD::FORMAL_ARGUMENTS, ISD::RET, and ISD::ARG_FLAGS nodes, TargetLowering
provides three virtual functions for targets to override:
LowerFormalArguments, LowerCall, and LowerRet, which replace the custom
lowering done on the special nodes. They provide the same information, but
in a more immediately usable format.
This also reworks much of the target-independent tail call logic. The
decision of whether or not to perform a tail call is now cleanly split
between target-independent portions, and the target dependent portion
in IsEligibleForTailCallOptimization.
This also synchronizes all in-tree targets, to help enable future
refactoring and feature work.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@78142 91177308-0d34-0410-b5e6-96231b3b80d8
2009-08-05 01:29:28 +00:00
|
|
|
return Chain;
|
2008-03-17 03:21:36 +00:00
|
|
|
}
|
|
|
|
|
2008-03-17 05:41:48 +00:00
|
|
|
|
|
|
|
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// TargetLowering Implementation
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
/// IntCondCCodeToICC - Convert a DAG integer condition code to a SPARC ICC
|
|
|
|
/// condition.
|
|
|
|
static SPCC::CondCodes IntCondCCodeToICC(ISD::CondCode CC) {
|
|
|
|
switch (CC) {
|
2009-07-14 16:55:14 +00:00
|
|
|
default: llvm_unreachable("Unknown integer condition code!");
|
2008-03-17 05:41:48 +00:00
|
|
|
case ISD::SETEQ: return SPCC::ICC_E;
|
|
|
|
case ISD::SETNE: return SPCC::ICC_NE;
|
|
|
|
case ISD::SETLT: return SPCC::ICC_L;
|
|
|
|
case ISD::SETGT: return SPCC::ICC_G;
|
|
|
|
case ISD::SETLE: return SPCC::ICC_LE;
|
|
|
|
case ISD::SETGE: return SPCC::ICC_GE;
|
|
|
|
case ISD::SETULT: return SPCC::ICC_CS;
|
|
|
|
case ISD::SETULE: return SPCC::ICC_LEU;
|
|
|
|
case ISD::SETUGT: return SPCC::ICC_GU;
|
|
|
|
case ISD::SETUGE: return SPCC::ICC_CC;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// FPCondCCodeToFCC - Convert a DAG floatingp oint condition code to a SPARC
|
|
|
|
/// FCC condition.
|
|
|
|
static SPCC::CondCodes FPCondCCodeToFCC(ISD::CondCode CC) {
|
|
|
|
switch (CC) {
|
2009-07-14 16:55:14 +00:00
|
|
|
default: llvm_unreachable("Unknown fp condition code!");
|
2008-03-17 05:41:48 +00:00
|
|
|
case ISD::SETEQ:
|
|
|
|
case ISD::SETOEQ: return SPCC::FCC_E;
|
|
|
|
case ISD::SETNE:
|
|
|
|
case ISD::SETUNE: return SPCC::FCC_NE;
|
|
|
|
case ISD::SETLT:
|
|
|
|
case ISD::SETOLT: return SPCC::FCC_L;
|
|
|
|
case ISD::SETGT:
|
|
|
|
case ISD::SETOGT: return SPCC::FCC_G;
|
|
|
|
case ISD::SETLE:
|
|
|
|
case ISD::SETOLE: return SPCC::FCC_LE;
|
|
|
|
case ISD::SETGE:
|
|
|
|
case ISD::SETOGE: return SPCC::FCC_GE;
|
|
|
|
case ISD::SETULT: return SPCC::FCC_UL;
|
|
|
|
case ISD::SETULE: return SPCC::FCC_ULE;
|
|
|
|
case ISD::SETUGT: return SPCC::FCC_UG;
|
|
|
|
case ISD::SETUGE: return SPCC::FCC_UGE;
|
|
|
|
case ISD::SETUO: return SPCC::FCC_U;
|
|
|
|
case ISD::SETO: return SPCC::FCC_O;
|
|
|
|
case ISD::SETONE: return SPCC::FCC_LG;
|
|
|
|
case ISD::SETUEQ: return SPCC::FCC_UE;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2009-08-07 01:32:21 +00:00
|
|
|
namespace {
|
|
|
|
|
2009-07-28 03:13:23 +00:00
|
|
|
class TargetLoweringObjectFileSparc : public TargetLoweringObjectFileELF {
|
|
|
|
public:
|
|
|
|
void getSectionFlagsAsString(SectionKind Kind,
|
|
|
|
SmallVectorImpl<char> &Str) const {
|
|
|
|
if (Kind.isMergeableConst() || Kind.isMergeableCString())
|
|
|
|
return TargetLoweringObjectFileELF::getSectionFlagsAsString(Kind, Str);
|
|
|
|
|
|
|
|
// FIXME: Inefficient.
|
|
|
|
std::string Res;
|
|
|
|
if (!Kind.isMetadata())
|
|
|
|
Res += ",#alloc";
|
|
|
|
if (Kind.isText())
|
|
|
|
Res += ",#execinstr";
|
|
|
|
if (Kind.isWriteable())
|
|
|
|
Res += ",#write";
|
|
|
|
if (Kind.isThreadLocal())
|
|
|
|
Res += ",#tls";
|
|
|
|
|
|
|
|
Str.append(Res.begin(), Res.end());
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2009-08-07 01:32:21 +00:00
|
|
|
}
|
2008-03-17 05:41:48 +00:00
|
|
|
|
|
|
|
SparcTargetLowering::SparcTargetLowering(TargetMachine &TM)
|
2009-07-28 03:13:23 +00:00
|
|
|
: TargetLowering(TM, new TargetLoweringObjectFileSparc()) {
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 05:41:48 +00:00
|
|
|
// Set up the register classes.
|
|
|
|
addRegisterClass(MVT::i32, SP::IntRegsRegisterClass);
|
|
|
|
addRegisterClass(MVT::f32, SP::FPRegsRegisterClass);
|
|
|
|
addRegisterClass(MVT::f64, SP::DFPRegsRegisterClass);
|
|
|
|
|
|
|
|
// Turn FP extload into load/fextend
|
2008-10-14 21:26:46 +00:00
|
|
|
setLoadExtAction(ISD::EXTLOAD, MVT::f32, Expand);
|
2008-03-17 05:41:48 +00:00
|
|
|
// Sparc doesn't have i1 sign extending load
|
2008-10-14 21:26:46 +00:00
|
|
|
setLoadExtAction(ISD::SEXTLOAD, MVT::i1, Promote);
|
2008-03-17 05:41:48 +00:00
|
|
|
// Turn FP truncstore into trunc + store.
|
|
|
|
setTruncStoreAction(MVT::f64, MVT::f32, Expand);
|
|
|
|
|
|
|
|
// Custom legalize GlobalAddress nodes into LO/HI parts.
|
|
|
|
setOperationAction(ISD::GlobalAddress, MVT::i32, Custom);
|
|
|
|
setOperationAction(ISD::GlobalTLSAddress, MVT::i32, Custom);
|
|
|
|
setOperationAction(ISD::ConstantPool , MVT::i32, Custom);
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 05:41:48 +00:00
|
|
|
// Sparc doesn't have sext_inreg, replace them with shl/sra
|
|
|
|
setOperationAction(ISD::SIGN_EXTEND_INREG, MVT::i16, Expand);
|
|
|
|
setOperationAction(ISD::SIGN_EXTEND_INREG, MVT::i8 , Expand);
|
|
|
|
setOperationAction(ISD::SIGN_EXTEND_INREG, MVT::i1 , Expand);
|
|
|
|
|
|
|
|
// Sparc has no REM or DIVREM operations.
|
|
|
|
setOperationAction(ISD::UREM, MVT::i32, Expand);
|
|
|
|
setOperationAction(ISD::SREM, MVT::i32, Expand);
|
|
|
|
setOperationAction(ISD::SDIVREM, MVT::i32, Expand);
|
|
|
|
setOperationAction(ISD::UDIVREM, MVT::i32, Expand);
|
|
|
|
|
|
|
|
// Custom expand fp<->sint
|
|
|
|
setOperationAction(ISD::FP_TO_SINT, MVT::i32, Custom);
|
|
|
|
setOperationAction(ISD::SINT_TO_FP, MVT::i32, Custom);
|
|
|
|
|
|
|
|
// Expand fp<->uint
|
|
|
|
setOperationAction(ISD::FP_TO_UINT, MVT::i32, Expand);
|
|
|
|
setOperationAction(ISD::UINT_TO_FP, MVT::i32, Expand);
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 05:41:48 +00:00
|
|
|
setOperationAction(ISD::BIT_CONVERT, MVT::f32, Expand);
|
|
|
|
setOperationAction(ISD::BIT_CONVERT, MVT::i32, Expand);
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 05:41:48 +00:00
|
|
|
// Sparc has no select or setcc: expand to SELECT_CC.
|
|
|
|
setOperationAction(ISD::SELECT, MVT::i32, Expand);
|
|
|
|
setOperationAction(ISD::SELECT, MVT::f32, Expand);
|
|
|
|
setOperationAction(ISD::SELECT, MVT::f64, Expand);
|
|
|
|
setOperationAction(ISD::SETCC, MVT::i32, Expand);
|
|
|
|
setOperationAction(ISD::SETCC, MVT::f32, Expand);
|
|
|
|
setOperationAction(ISD::SETCC, MVT::f64, Expand);
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 05:41:48 +00:00
|
|
|
// Sparc doesn't have BRCOND either, it has BR_CC.
|
|
|
|
setOperationAction(ISD::BRCOND, MVT::Other, Expand);
|
|
|
|
setOperationAction(ISD::BRIND, MVT::Other, Expand);
|
|
|
|
setOperationAction(ISD::BR_JT, MVT::Other, Expand);
|
|
|
|
setOperationAction(ISD::BR_CC, MVT::i32, Custom);
|
|
|
|
setOperationAction(ISD::BR_CC, MVT::f32, Custom);
|
|
|
|
setOperationAction(ISD::BR_CC, MVT::f64, Custom);
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 05:41:48 +00:00
|
|
|
setOperationAction(ISD::SELECT_CC, MVT::i32, Custom);
|
|
|
|
setOperationAction(ISD::SELECT_CC, MVT::f32, Custom);
|
|
|
|
setOperationAction(ISD::SELECT_CC, MVT::f64, Custom);
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 05:41:48 +00:00
|
|
|
// SPARC has no intrinsics for these particular operations.
|
|
|
|
setOperationAction(ISD::MEMBARRIER, MVT::Other, Expand);
|
|
|
|
|
|
|
|
setOperationAction(ISD::FSIN , MVT::f64, Expand);
|
|
|
|
setOperationAction(ISD::FCOS , MVT::f64, Expand);
|
|
|
|
setOperationAction(ISD::FREM , MVT::f64, Expand);
|
|
|
|
setOperationAction(ISD::FSIN , MVT::f32, Expand);
|
|
|
|
setOperationAction(ISD::FCOS , MVT::f32, Expand);
|
|
|
|
setOperationAction(ISD::FREM , MVT::f32, Expand);
|
|
|
|
setOperationAction(ISD::CTPOP, MVT::i32, Expand);
|
|
|
|
setOperationAction(ISD::CTTZ , MVT::i32, Expand);
|
|
|
|
setOperationAction(ISD::CTLZ , MVT::i32, Expand);
|
|
|
|
setOperationAction(ISD::ROTL , MVT::i32, Expand);
|
|
|
|
setOperationAction(ISD::ROTR , MVT::i32, Expand);
|
|
|
|
setOperationAction(ISD::BSWAP, MVT::i32, Expand);
|
|
|
|
setOperationAction(ISD::FCOPYSIGN, MVT::f64, Expand);
|
|
|
|
setOperationAction(ISD::FCOPYSIGN, MVT::f32, Expand);
|
|
|
|
setOperationAction(ISD::FPOW , MVT::f64, Expand);
|
|
|
|
setOperationAction(ISD::FPOW , MVT::f32, Expand);
|
|
|
|
|
|
|
|
setOperationAction(ISD::SHL_PARTS, MVT::i32, Expand);
|
|
|
|
setOperationAction(ISD::SRA_PARTS, MVT::i32, Expand);
|
|
|
|
setOperationAction(ISD::SRL_PARTS, MVT::i32, Expand);
|
|
|
|
|
|
|
|
// FIXME: Sparc provides these multiplies, but we don't have them yet.
|
|
|
|
setOperationAction(ISD::UMUL_LOHI, MVT::i32, Expand);
|
2008-10-10 20:29:31 +00:00
|
|
|
setOperationAction(ISD::SMUL_LOHI, MVT::i32, Expand);
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 05:41:48 +00:00
|
|
|
// We don't have line number support yet.
|
2008-06-30 20:59:49 +00:00
|
|
|
setOperationAction(ISD::DBG_STOPPOINT, MVT::Other, Expand);
|
2008-03-17 05:41:48 +00:00
|
|
|
setOperationAction(ISD::DEBUG_LOC, MVT::Other, Expand);
|
2008-07-01 00:05:16 +00:00
|
|
|
setOperationAction(ISD::DBG_LABEL, MVT::Other, Expand);
|
|
|
|
setOperationAction(ISD::EH_LABEL, MVT::Other, Expand);
|
2008-03-17 05:41:48 +00:00
|
|
|
|
|
|
|
// VASTART needs to be custom lowered to use the VarArgsFrameIndex.
|
|
|
|
setOperationAction(ISD::VASTART , MVT::Other, Custom);
|
|
|
|
// VAARG needs to be lowered to not do unaligned accesses for doubles.
|
|
|
|
setOperationAction(ISD::VAARG , MVT::Other, Custom);
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 05:41:48 +00:00
|
|
|
// Use the default implementation.
|
|
|
|
setOperationAction(ISD::VACOPY , MVT::Other, Expand);
|
|
|
|
setOperationAction(ISD::VAEND , MVT::Other, Expand);
|
2008-10-10 20:27:31 +00:00
|
|
|
setOperationAction(ISD::STACKSAVE , MVT::Other, Expand);
|
2008-03-17 05:41:48 +00:00
|
|
|
setOperationAction(ISD::STACKRESTORE , MVT::Other, Expand);
|
|
|
|
setOperationAction(ISD::DYNAMIC_STACKALLOC, MVT::i32 , Custom);
|
|
|
|
|
|
|
|
// No debug info support yet.
|
2008-06-30 20:59:49 +00:00
|
|
|
setOperationAction(ISD::DBG_STOPPOINT, MVT::Other, Expand);
|
2008-07-01 00:05:16 +00:00
|
|
|
setOperationAction(ISD::DBG_LABEL, MVT::Other, Expand);
|
|
|
|
setOperationAction(ISD::EH_LABEL, MVT::Other, Expand);
|
2008-03-17 05:41:48 +00:00
|
|
|
setOperationAction(ISD::DECLARE, MVT::Other, Expand);
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 05:41:48 +00:00
|
|
|
setStackPointerRegisterToSaveRestore(SP::O6);
|
|
|
|
|
|
|
|
if (TM.getSubtarget<SparcSubtarget>().isV9())
|
|
|
|
setOperationAction(ISD::CTPOP, MVT::i32, Legal);
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 05:41:48 +00:00
|
|
|
computeRegisterProperties();
|
|
|
|
}
|
|
|
|
|
|
|
|
const char *SparcTargetLowering::getTargetNodeName(unsigned Opcode) const {
|
|
|
|
switch (Opcode) {
|
|
|
|
default: return 0;
|
|
|
|
case SPISD::CMPICC: return "SPISD::CMPICC";
|
|
|
|
case SPISD::CMPFCC: return "SPISD::CMPFCC";
|
|
|
|
case SPISD::BRICC: return "SPISD::BRICC";
|
|
|
|
case SPISD::BRFCC: return "SPISD::BRFCC";
|
|
|
|
case SPISD::SELECT_ICC: return "SPISD::SELECT_ICC";
|
|
|
|
case SPISD::SELECT_FCC: return "SPISD::SELECT_FCC";
|
|
|
|
case SPISD::Hi: return "SPISD::Hi";
|
|
|
|
case SPISD::Lo: return "SPISD::Lo";
|
|
|
|
case SPISD::FTOI: return "SPISD::FTOI";
|
|
|
|
case SPISD::ITOF: return "SPISD::ITOF";
|
|
|
|
case SPISD::CALL: return "SPISD::CALL";
|
|
|
|
case SPISD::RET_FLAG: return "SPISD::RET_FLAG";
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// isMaskedValueZeroForTargetNode - Return true if 'Op & Mask' is known to
|
|
|
|
/// be zero. Op is expected to be a target specific node. Used by DAG
|
|
|
|
/// combiner.
|
2008-07-27 21:46:04 +00:00
|
|
|
void SparcTargetLowering::computeMaskedBitsForTargetNode(const SDValue Op,
|
2008-03-17 05:41:48 +00:00
|
|
|
const APInt &Mask,
|
2008-10-10 20:27:31 +00:00
|
|
|
APInt &KnownZero,
|
2008-03-17 05:41:48 +00:00
|
|
|
APInt &KnownOne,
|
|
|
|
const SelectionDAG &DAG,
|
|
|
|
unsigned Depth) const {
|
|
|
|
APInt KnownZero2, KnownOne2;
|
|
|
|
KnownZero = KnownOne = APInt(Mask.getBitWidth(), 0); // Don't know anything.
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 05:41:48 +00:00
|
|
|
switch (Op.getOpcode()) {
|
|
|
|
default: break;
|
|
|
|
case SPISD::SELECT_ICC:
|
|
|
|
case SPISD::SELECT_FCC:
|
|
|
|
DAG.ComputeMaskedBits(Op.getOperand(1), Mask, KnownZero, KnownOne,
|
|
|
|
Depth+1);
|
|
|
|
DAG.ComputeMaskedBits(Op.getOperand(0), Mask, KnownZero2, KnownOne2,
|
|
|
|
Depth+1);
|
2008-10-10 20:27:31 +00:00
|
|
|
assert((KnownZero & KnownOne) == 0 && "Bits known to be one AND zero?");
|
|
|
|
assert((KnownZero2 & KnownOne2) == 0 && "Bits known to be one AND zero?");
|
|
|
|
|
2008-03-17 05:41:48 +00:00
|
|
|
// Only known if known in both the LHS and RHS.
|
|
|
|
KnownOne &= KnownOne2;
|
|
|
|
KnownZero &= KnownZero2;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2008-03-17 03:21:36 +00:00
|
|
|
// Look at LHS/RHS/CC and see if they are a lowered setcc instruction. If so
|
|
|
|
// set LHS/RHS and SPCC to the LHS/RHS of the setcc and SPCC to the condition.
|
2008-07-27 21:46:04 +00:00
|
|
|
static void LookThroughSetCC(SDValue &LHS, SDValue &RHS,
|
2008-03-17 03:21:36 +00:00
|
|
|
ISD::CondCode CC, unsigned &SPCC) {
|
2008-09-12 16:56:44 +00:00
|
|
|
if (isa<ConstantSDNode>(RHS) &&
|
|
|
|
cast<ConstantSDNode>(RHS)->getZExtValue() == 0 &&
|
2008-10-10 20:27:31 +00:00
|
|
|
CC == ISD::SETNE &&
|
2008-03-17 03:21:36 +00:00
|
|
|
((LHS.getOpcode() == SPISD::SELECT_ICC &&
|
|
|
|
LHS.getOperand(3).getOpcode() == SPISD::CMPICC) ||
|
|
|
|
(LHS.getOpcode() == SPISD::SELECT_FCC &&
|
|
|
|
LHS.getOperand(3).getOpcode() == SPISD::CMPFCC)) &&
|
|
|
|
isa<ConstantSDNode>(LHS.getOperand(0)) &&
|
|
|
|
isa<ConstantSDNode>(LHS.getOperand(1)) &&
|
2008-09-12 16:56:44 +00:00
|
|
|
cast<ConstantSDNode>(LHS.getOperand(0))->getZExtValue() == 1 &&
|
|
|
|
cast<ConstantSDNode>(LHS.getOperand(1))->getZExtValue() == 0) {
|
2008-07-27 21:46:04 +00:00
|
|
|
SDValue CMPCC = LHS.getOperand(3);
|
2008-09-12 16:56:44 +00:00
|
|
|
SPCC = cast<ConstantSDNode>(LHS.getOperand(2))->getZExtValue();
|
2008-03-17 03:21:36 +00:00
|
|
|
LHS = CMPCC.getOperand(0);
|
|
|
|
RHS = CMPCC.getOperand(1);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2008-07-27 21:46:04 +00:00
|
|
|
static SDValue LowerGLOBALADDRESS(SDValue Op, SelectionDAG &DAG) {
|
2008-03-17 03:21:36 +00:00
|
|
|
GlobalValue *GV = cast<GlobalAddressSDNode>(Op)->getGlobal();
|
2009-02-06 21:50:26 +00:00
|
|
|
// FIXME there isn't really any debug info here
|
|
|
|
DebugLoc dl = Op.getDebugLoc();
|
2008-07-27 21:46:04 +00:00
|
|
|
SDValue GA = DAG.getTargetGlobalAddress(GV, MVT::i32);
|
2009-02-06 21:50:26 +00:00
|
|
|
SDValue Hi = DAG.getNode(SPISD::Hi, dl, MVT::i32, GA);
|
|
|
|
SDValue Lo = DAG.getNode(SPISD::Lo, dl, MVT::i32, GA);
|
|
|
|
return DAG.getNode(ISD::ADD, dl, MVT::i32, Lo, Hi);
|
2008-03-17 03:21:36 +00:00
|
|
|
}
|
|
|
|
|
2008-07-27 21:46:04 +00:00
|
|
|
static SDValue LowerCONSTANTPOOL(SDValue Op, SelectionDAG &DAG) {
|
2008-03-17 03:21:36 +00:00
|
|
|
ConstantPoolSDNode *N = cast<ConstantPoolSDNode>(Op);
|
2009-02-06 21:50:26 +00:00
|
|
|
// FIXME there isn't really any debug info here
|
|
|
|
DebugLoc dl = Op.getDebugLoc();
|
2008-03-17 03:21:36 +00:00
|
|
|
Constant *C = N->getConstVal();
|
2008-07-27 21:46:04 +00:00
|
|
|
SDValue CP = DAG.getTargetConstantPool(C, MVT::i32, N->getAlignment());
|
2009-02-06 21:50:26 +00:00
|
|
|
SDValue Hi = DAG.getNode(SPISD::Hi, dl, MVT::i32, CP);
|
|
|
|
SDValue Lo = DAG.getNode(SPISD::Lo, dl, MVT::i32, CP);
|
|
|
|
return DAG.getNode(ISD::ADD, dl, MVT::i32, Lo, Hi);
|
2008-03-17 03:21:36 +00:00
|
|
|
}
|
|
|
|
|
2008-07-27 21:46:04 +00:00
|
|
|
static SDValue LowerFP_TO_SINT(SDValue Op, SelectionDAG &DAG) {
|
2009-02-07 00:55:49 +00:00
|
|
|
DebugLoc dl = Op.getDebugLoc();
|
2008-03-17 03:21:36 +00:00
|
|
|
// Convert the fp value to integer in an FP register.
|
|
|
|
assert(Op.getValueType() == MVT::i32);
|
2009-02-07 00:55:49 +00:00
|
|
|
Op = DAG.getNode(SPISD::FTOI, dl, MVT::f32, Op.getOperand(0));
|
|
|
|
return DAG.getNode(ISD::BIT_CONVERT, dl, MVT::i32, Op);
|
2008-03-17 03:21:36 +00:00
|
|
|
}
|
|
|
|
|
2008-07-27 21:46:04 +00:00
|
|
|
static SDValue LowerSINT_TO_FP(SDValue Op, SelectionDAG &DAG) {
|
2009-02-07 00:55:49 +00:00
|
|
|
DebugLoc dl = Op.getDebugLoc();
|
2008-03-17 03:21:36 +00:00
|
|
|
assert(Op.getOperand(0).getValueType() == MVT::i32);
|
2009-02-07 00:55:49 +00:00
|
|
|
SDValue Tmp = DAG.getNode(ISD::BIT_CONVERT, dl, MVT::f32, Op.getOperand(0));
|
2008-03-17 03:21:36 +00:00
|
|
|
// Convert the int value to FP in an FP register.
|
2009-02-07 00:55:49 +00:00
|
|
|
return DAG.getNode(SPISD::ITOF, dl, Op.getValueType(), Tmp);
|
2008-03-17 03:21:36 +00:00
|
|
|
}
|
|
|
|
|
2008-07-27 21:46:04 +00:00
|
|
|
static SDValue LowerBR_CC(SDValue Op, SelectionDAG &DAG) {
|
|
|
|
SDValue Chain = Op.getOperand(0);
|
2008-03-17 03:21:36 +00:00
|
|
|
ISD::CondCode CC = cast<CondCodeSDNode>(Op.getOperand(1))->get();
|
2008-07-27 21:46:04 +00:00
|
|
|
SDValue LHS = Op.getOperand(2);
|
|
|
|
SDValue RHS = Op.getOperand(3);
|
|
|
|
SDValue Dest = Op.getOperand(4);
|
2009-02-05 22:07:54 +00:00
|
|
|
DebugLoc dl = Op.getDebugLoc();
|
2008-03-17 03:21:36 +00:00
|
|
|
unsigned Opc, SPCC = ~0U;
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 03:21:36 +00:00
|
|
|
// If this is a br_cc of a "setcc", and if the setcc got lowered into
|
|
|
|
// an CMP[IF]CC/SELECT_[IF]CC pair, find the original compared values.
|
|
|
|
LookThroughSetCC(LHS, RHS, CC, SPCC);
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 03:21:36 +00:00
|
|
|
// Get the condition flag.
|
2008-07-27 21:46:04 +00:00
|
|
|
SDValue CompareFlag;
|
2008-03-17 03:21:36 +00:00
|
|
|
if (LHS.getValueType() == MVT::i32) {
|
2008-06-06 12:08:01 +00:00
|
|
|
std::vector<MVT> VTs;
|
2008-03-17 03:21:36 +00:00
|
|
|
VTs.push_back(MVT::i32);
|
|
|
|
VTs.push_back(MVT::Flag);
|
2008-07-27 21:46:04 +00:00
|
|
|
SDValue Ops[2] = { LHS, RHS };
|
2009-02-05 22:07:54 +00:00
|
|
|
CompareFlag = DAG.getNode(SPISD::CMPICC, dl, VTs, Ops, 2).getValue(1);
|
2008-03-17 03:21:36 +00:00
|
|
|
if (SPCC == ~0U) SPCC = IntCondCCodeToICC(CC);
|
|
|
|
Opc = SPISD::BRICC;
|
|
|
|
} else {
|
2009-02-05 22:07:54 +00:00
|
|
|
CompareFlag = DAG.getNode(SPISD::CMPFCC, dl, MVT::Flag, LHS, RHS);
|
2008-03-17 03:21:36 +00:00
|
|
|
if (SPCC == ~0U) SPCC = FPCondCCodeToFCC(CC);
|
|
|
|
Opc = SPISD::BRFCC;
|
|
|
|
}
|
2009-02-05 22:07:54 +00:00
|
|
|
return DAG.getNode(Opc, dl, MVT::Other, Chain, Dest,
|
2008-03-17 03:21:36 +00:00
|
|
|
DAG.getConstant(SPCC, MVT::i32), CompareFlag);
|
|
|
|
}
|
|
|
|
|
2008-07-27 21:46:04 +00:00
|
|
|
static SDValue LowerSELECT_CC(SDValue Op, SelectionDAG &DAG) {
|
|
|
|
SDValue LHS = Op.getOperand(0);
|
|
|
|
SDValue RHS = Op.getOperand(1);
|
2008-03-17 03:21:36 +00:00
|
|
|
ISD::CondCode CC = cast<CondCodeSDNode>(Op.getOperand(4))->get();
|
2008-07-27 21:46:04 +00:00
|
|
|
SDValue TrueVal = Op.getOperand(2);
|
|
|
|
SDValue FalseVal = Op.getOperand(3);
|
2009-02-05 22:07:54 +00:00
|
|
|
DebugLoc dl = Op.getDebugLoc();
|
2008-03-17 03:21:36 +00:00
|
|
|
unsigned Opc, SPCC = ~0U;
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 03:21:36 +00:00
|
|
|
// If this is a select_cc of a "setcc", and if the setcc got lowered into
|
|
|
|
// an CMP[IF]CC/SELECT_[IF]CC pair, find the original compared values.
|
|
|
|
LookThroughSetCC(LHS, RHS, CC, SPCC);
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-07-27 21:46:04 +00:00
|
|
|
SDValue CompareFlag;
|
2008-03-17 03:21:36 +00:00
|
|
|
if (LHS.getValueType() == MVT::i32) {
|
2008-06-06 12:08:01 +00:00
|
|
|
std::vector<MVT> VTs;
|
2008-03-17 03:21:36 +00:00
|
|
|
VTs.push_back(LHS.getValueType()); // subcc returns a value
|
|
|
|
VTs.push_back(MVT::Flag);
|
2008-07-27 21:46:04 +00:00
|
|
|
SDValue Ops[2] = { LHS, RHS };
|
2009-02-05 22:07:54 +00:00
|
|
|
CompareFlag = DAG.getNode(SPISD::CMPICC, dl, VTs, Ops, 2).getValue(1);
|
2008-03-17 03:21:36 +00:00
|
|
|
Opc = SPISD::SELECT_ICC;
|
|
|
|
if (SPCC == ~0U) SPCC = IntCondCCodeToICC(CC);
|
|
|
|
} else {
|
2009-02-05 22:07:54 +00:00
|
|
|
CompareFlag = DAG.getNode(SPISD::CMPFCC, dl, MVT::Flag, LHS, RHS);
|
2008-03-17 03:21:36 +00:00
|
|
|
Opc = SPISD::SELECT_FCC;
|
|
|
|
if (SPCC == ~0U) SPCC = FPCondCCodeToFCC(CC);
|
|
|
|
}
|
2009-02-05 22:07:54 +00:00
|
|
|
return DAG.getNode(Opc, dl, TrueVal.getValueType(), TrueVal, FalseVal,
|
2008-03-17 03:21:36 +00:00
|
|
|
DAG.getConstant(SPCC, MVT::i32), CompareFlag);
|
|
|
|
}
|
|
|
|
|
2008-07-27 21:46:04 +00:00
|
|
|
static SDValue LowerVASTART(SDValue Op, SelectionDAG &DAG,
|
2008-03-17 03:21:36 +00:00
|
|
|
SparcTargetLowering &TLI) {
|
|
|
|
// vastart just stores the address of the VarArgsFrameIndex slot into the
|
|
|
|
// memory location argument.
|
2009-02-07 19:59:05 +00:00
|
|
|
DebugLoc dl = Op.getDebugLoc();
|
2009-02-04 20:06:27 +00:00
|
|
|
SDValue Offset = DAG.getNode(ISD::ADD, dl, MVT::i32,
|
2008-03-17 03:21:36 +00:00
|
|
|
DAG.getRegister(SP::I6, MVT::i32),
|
|
|
|
DAG.getConstant(TLI.getVarArgsFrameOffset(),
|
|
|
|
MVT::i32));
|
|
|
|
const Value *SV = cast<SrcValueSDNode>(Op.getOperand(2))->getValue();
|
2009-02-04 20:06:27 +00:00
|
|
|
return DAG.getStore(Op.getOperand(0), dl, Offset, Op.getOperand(1), SV, 0);
|
2008-03-17 03:21:36 +00:00
|
|
|
}
|
|
|
|
|
2008-07-27 21:46:04 +00:00
|
|
|
static SDValue LowerVAARG(SDValue Op, SelectionDAG &DAG) {
|
2008-08-28 21:40:38 +00:00
|
|
|
SDNode *Node = Op.getNode();
|
2008-06-06 12:08:01 +00:00
|
|
|
MVT VT = Node->getValueType(0);
|
2008-07-27 21:46:04 +00:00
|
|
|
SDValue InChain = Node->getOperand(0);
|
|
|
|
SDValue VAListPtr = Node->getOperand(1);
|
2008-03-17 03:21:36 +00:00
|
|
|
const Value *SV = cast<SrcValueSDNode>(Node->getOperand(2))->getValue();
|
2009-02-04 20:06:27 +00:00
|
|
|
DebugLoc dl = Node->getDebugLoc();
|
|
|
|
SDValue VAList = DAG.getLoad(MVT::i32, dl, InChain, VAListPtr, SV, 0);
|
2008-03-17 03:21:36 +00:00
|
|
|
// Increment the pointer, VAList, to the next vaarg
|
2009-02-04 20:06:27 +00:00
|
|
|
SDValue NextPtr = DAG.getNode(ISD::ADD, dl, MVT::i32, VAList,
|
2008-06-06 12:08:01 +00:00
|
|
|
DAG.getConstant(VT.getSizeInBits()/8,
|
2008-03-17 03:21:36 +00:00
|
|
|
MVT::i32));
|
|
|
|
// Store the incremented VAList to the legalized pointer
|
2009-02-04 20:06:27 +00:00
|
|
|
InChain = DAG.getStore(VAList.getValue(1), dl, NextPtr,
|
2008-03-17 03:21:36 +00:00
|
|
|
VAListPtr, SV, 0);
|
|
|
|
// Load the actual argument out of the pointer VAList, unless this is an
|
|
|
|
// f64 load.
|
|
|
|
if (VT != MVT::f64)
|
2009-02-04 20:06:27 +00:00
|
|
|
return DAG.getLoad(VT, dl, InChain, VAList, NULL, 0);
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 03:21:36 +00:00
|
|
|
// Otherwise, load it as i64, then do a bitconvert.
|
2009-02-04 20:06:27 +00:00
|
|
|
SDValue V = DAG.getLoad(MVT::i64, dl, InChain, VAList, NULL, 0);
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 03:21:36 +00:00
|
|
|
// Bit-Convert the value to f64.
|
2008-07-27 21:46:04 +00:00
|
|
|
SDValue Ops[2] = {
|
2009-02-04 20:06:27 +00:00
|
|
|
DAG.getNode(ISD::BIT_CONVERT, dl, MVT::f64, V),
|
2008-03-17 03:21:36 +00:00
|
|
|
V.getValue(1)
|
|
|
|
};
|
2009-02-04 20:06:27 +00:00
|
|
|
return DAG.getMergeValues(Ops, 2, dl);
|
2008-03-17 03:21:36 +00:00
|
|
|
}
|
|
|
|
|
2008-07-27 21:46:04 +00:00
|
|
|
static SDValue LowerDYNAMIC_STACKALLOC(SDValue Op, SelectionDAG &DAG) {
|
|
|
|
SDValue Chain = Op.getOperand(0); // Legalize the chain.
|
|
|
|
SDValue Size = Op.getOperand(1); // Legalize the size.
|
2009-02-04 23:02:30 +00:00
|
|
|
DebugLoc dl = Op.getDebugLoc();
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 03:21:36 +00:00
|
|
|
unsigned SPReg = SP::O6;
|
2009-02-04 23:02:30 +00:00
|
|
|
SDValue SP = DAG.getCopyFromReg(Chain, dl, SPReg, MVT::i32);
|
|
|
|
SDValue NewSP = DAG.getNode(ISD::SUB, dl, MVT::i32, SP, Size); // Value
|
|
|
|
Chain = DAG.getCopyToReg(SP.getValue(1), dl, SPReg, NewSP); // Output chain
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 03:21:36 +00:00
|
|
|
// The resultant pointer is actually 16 words from the bottom of the stack,
|
|
|
|
// to provide a register spill area.
|
2009-02-04 23:02:30 +00:00
|
|
|
SDValue NewVal = DAG.getNode(ISD::ADD, dl, MVT::i32, NewSP,
|
2008-03-17 03:21:36 +00:00
|
|
|
DAG.getConstant(96, MVT::i32));
|
2008-07-27 21:46:04 +00:00
|
|
|
SDValue Ops[2] = { NewVal, Chain };
|
2009-02-04 23:02:30 +00:00
|
|
|
return DAG.getMergeValues(Ops, 2, dl);
|
2008-03-17 03:21:36 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2008-07-27 21:46:04 +00:00
|
|
|
SDValue SparcTargetLowering::
|
|
|
|
LowerOperation(SDValue Op, SelectionDAG &DAG) {
|
2008-03-17 03:21:36 +00:00
|
|
|
switch (Op.getOpcode()) {
|
2009-07-14 16:55:14 +00:00
|
|
|
default: llvm_unreachable("Should not custom lower this!");
|
2008-03-17 03:21:36 +00:00
|
|
|
// Frame & Return address. Currently unimplemented
|
2008-07-27 21:46:04 +00:00
|
|
|
case ISD::RETURNADDR: return SDValue();
|
|
|
|
case ISD::FRAMEADDR: return SDValue();
|
2008-03-17 03:21:36 +00:00
|
|
|
case ISD::GlobalTLSAddress:
|
2009-07-14 16:55:14 +00:00
|
|
|
llvm_unreachable("TLS not implemented for Sparc.");
|
2008-03-17 03:21:36 +00:00
|
|
|
case ISD::GlobalAddress: return LowerGLOBALADDRESS(Op, DAG);
|
|
|
|
case ISD::ConstantPool: return LowerCONSTANTPOOL(Op, DAG);
|
|
|
|
case ISD::FP_TO_SINT: return LowerFP_TO_SINT(Op, DAG);
|
|
|
|
case ISD::SINT_TO_FP: return LowerSINT_TO_FP(Op, DAG);
|
|
|
|
case ISD::BR_CC: return LowerBR_CC(Op, DAG);
|
|
|
|
case ISD::SELECT_CC: return LowerSELECT_CC(Op, DAG);
|
|
|
|
case ISD::VASTART: return LowerVASTART(Op, DAG, *this);
|
|
|
|
case ISD::VAARG: return LowerVAARG(Op, DAG);
|
|
|
|
case ISD::DYNAMIC_STACKALLOC: return LowerDYNAMIC_STACKALLOC(Op, DAG);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
MachineBasicBlock *
|
|
|
|
SparcTargetLowering::EmitInstrWithCustomInserter(MachineInstr *MI,
|
2009-02-07 16:15:20 +00:00
|
|
|
MachineBasicBlock *BB) const {
|
2008-03-17 03:21:36 +00:00
|
|
|
const TargetInstrInfo &TII = *getTargetMachine().getInstrInfo();
|
|
|
|
unsigned BROpcode;
|
|
|
|
unsigned CC;
|
2009-02-13 02:31:35 +00:00
|
|
|
DebugLoc dl = MI->getDebugLoc();
|
2008-03-17 03:21:36 +00:00
|
|
|
// Figure out the conditional branch opcode to use for this select_cc.
|
|
|
|
switch (MI->getOpcode()) {
|
2009-07-14 16:55:14 +00:00
|
|
|
default: llvm_unreachable("Unknown SELECT_CC!");
|
2008-03-17 03:21:36 +00:00
|
|
|
case SP::SELECT_CC_Int_ICC:
|
|
|
|
case SP::SELECT_CC_FP_ICC:
|
|
|
|
case SP::SELECT_CC_DFP_ICC:
|
|
|
|
BROpcode = SP::BCOND;
|
|
|
|
break;
|
|
|
|
case SP::SELECT_CC_Int_FCC:
|
|
|
|
case SP::SELECT_CC_FP_FCC:
|
|
|
|
case SP::SELECT_CC_DFP_FCC:
|
|
|
|
BROpcode = SP::FBCOND;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
CC = (SPCC::CondCodes)MI->getOperand(3).getImm();
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 03:21:36 +00:00
|
|
|
// To "insert" a SELECT_CC instruction, we actually have to insert the diamond
|
|
|
|
// control-flow pattern. The incoming instruction knows the destination vreg
|
|
|
|
// to set, the condition code register to branch on, the true/false values to
|
|
|
|
// select between, and a branch opcode to use.
|
|
|
|
const BasicBlock *LLVM_BB = BB->getBasicBlock();
|
2008-07-07 23:14:23 +00:00
|
|
|
MachineFunction::iterator It = BB;
|
2008-03-17 03:21:36 +00:00
|
|
|
++It;
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 03:21:36 +00:00
|
|
|
// thisMBB:
|
|
|
|
// ...
|
|
|
|
// TrueVal = ...
|
|
|
|
// [f]bCC copy1MBB
|
|
|
|
// fallthrough --> copy0MBB
|
|
|
|
MachineBasicBlock *thisMBB = BB;
|
|
|
|
MachineFunction *F = BB->getParent();
|
2008-07-07 23:14:23 +00:00
|
|
|
MachineBasicBlock *copy0MBB = F->CreateMachineBasicBlock(LLVM_BB);
|
|
|
|
MachineBasicBlock *sinkMBB = F->CreateMachineBasicBlock(LLVM_BB);
|
2009-02-13 02:31:35 +00:00
|
|
|
BuildMI(BB, dl, TII.get(BROpcode)).addMBB(sinkMBB).addImm(CC);
|
2008-07-07 23:14:23 +00:00
|
|
|
F->insert(It, copy0MBB);
|
|
|
|
F->insert(It, sinkMBB);
|
2008-06-21 20:21:19 +00:00
|
|
|
// Update machine-CFG edges by transferring all successors of the current
|
2008-03-17 03:21:36 +00:00
|
|
|
// block to the new block which will contain the Phi node for the select.
|
2008-06-21 20:21:19 +00:00
|
|
|
sinkMBB->transferSuccessors(BB);
|
|
|
|
// Next, add the true and fallthrough blocks as its successors.
|
2008-03-17 03:21:36 +00:00
|
|
|
BB->addSuccessor(copy0MBB);
|
|
|
|
BB->addSuccessor(sinkMBB);
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 03:21:36 +00:00
|
|
|
// copy0MBB:
|
|
|
|
// %FalseValue = ...
|
|
|
|
// # fallthrough to sinkMBB
|
|
|
|
BB = copy0MBB;
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 03:21:36 +00:00
|
|
|
// Update machine-CFG edges
|
|
|
|
BB->addSuccessor(sinkMBB);
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-03-17 03:21:36 +00:00
|
|
|
// sinkMBB:
|
|
|
|
// %Result = phi [ %FalseValue, copy0MBB ], [ %TrueValue, thisMBB ]
|
|
|
|
// ...
|
|
|
|
BB = sinkMBB;
|
2009-02-13 02:31:35 +00:00
|
|
|
BuildMI(BB, dl, TII.get(SP::PHI), MI->getOperand(0).getReg())
|
2008-03-17 03:21:36 +00:00
|
|
|
.addReg(MI->getOperand(2).getReg()).addMBB(copy0MBB)
|
|
|
|
.addReg(MI->getOperand(1).getReg()).addMBB(thisMBB);
|
2008-10-10 20:27:31 +00:00
|
|
|
|
2008-07-07 23:14:23 +00:00
|
|
|
F->DeleteMachineInstr(MI); // The pseudo instruction is gone now.
|
2008-03-17 03:21:36 +00:00
|
|
|
return BB;
|
|
|
|
}
|
2008-10-10 20:28:10 +00:00
|
|
|
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// Sparc Inline Assembly Support
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
/// getConstraintType - Given a constraint letter, return the type of
|
|
|
|
/// constraint it is for this target.
|
|
|
|
SparcTargetLowering::ConstraintType
|
|
|
|
SparcTargetLowering::getConstraintType(const std::string &Constraint) const {
|
|
|
|
if (Constraint.size() == 1) {
|
|
|
|
switch (Constraint[0]) {
|
|
|
|
default: break;
|
|
|
|
case 'r': return C_RegisterClass;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return TargetLowering::getConstraintType(Constraint);
|
|
|
|
}
|
|
|
|
|
|
|
|
std::pair<unsigned, const TargetRegisterClass*>
|
|
|
|
SparcTargetLowering::getRegForInlineAsmConstraint(const std::string &Constraint,
|
|
|
|
MVT VT) const {
|
|
|
|
if (Constraint.size() == 1) {
|
|
|
|
switch (Constraint[0]) {
|
|
|
|
case 'r':
|
|
|
|
return std::make_pair(0U, SP::IntRegsRegisterClass);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
return TargetLowering::getRegForInlineAsmConstraint(Constraint, VT);
|
|
|
|
}
|
|
|
|
|
|
|
|
std::vector<unsigned> SparcTargetLowering::
|
|
|
|
getRegClassForInlineAsmConstraint(const std::string &Constraint,
|
|
|
|
MVT VT) const {
|
|
|
|
if (Constraint.size() != 1)
|
|
|
|
return std::vector<unsigned>();
|
|
|
|
|
|
|
|
switch (Constraint[0]) {
|
|
|
|
default: break;
|
|
|
|
case 'r':
|
|
|
|
return make_vector<unsigned>(SP::L0, SP::L1, SP::L2, SP::L3,
|
|
|
|
SP::L4, SP::L5, SP::L6, SP::L7,
|
|
|
|
SP::I0, SP::I1, SP::I2, SP::I3,
|
|
|
|
SP::I4, SP::I5,
|
|
|
|
SP::O0, SP::O1, SP::O2, SP::O3,
|
|
|
|
SP::O4, SP::O5, SP::O7, 0);
|
|
|
|
}
|
|
|
|
|
|
|
|
return std::vector<unsigned>();
|
|
|
|
}
|
Teach DAGCombine to fold constant offsets into GlobalAddress nodes,
and add a TargetLowering hook for it to use to determine when this
is legal (i.e. not in PIC mode, etc.)
This allows instruction selection to emit folded constant offsets
in more cases, such as the included testcase, eliminating the need
for explicit arithmetic instructions.
This eliminates the need for the C++ code in X86ISelDAGToDAG.cpp
that attempted to achieve the same effect, but wasn't as effective.
Also, fix handling of offsets in GlobalAddressSDNodes in several
places, including changing GlobalAddressSDNode's offset from
int to int64_t.
The Mips, Alpha, Sparc, and CellSPU targets appear to be
unaware of GlobalAddress offsets currently, so set the hook to
false on those targets.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@57748 91177308-0d34-0410-b5e6-96231b3b80d8
2008-10-18 02:06:02 +00:00
|
|
|
|
|
|
|
bool
|
|
|
|
SparcTargetLowering::isOffsetFoldingLegal(const GlobalAddressSDNode *GA) const {
|
|
|
|
// The Sparc target isn't yet aware of offsets.
|
|
|
|
return false;
|
|
|
|
}
|
2009-06-30 22:38:32 +00:00
|
|
|
|
2009-07-01 18:50:55 +00:00
|
|
|
/// getFunctionAlignment - Return the Log2 alignment of this function.
|
2009-06-30 22:38:32 +00:00
|
|
|
unsigned SparcTargetLowering::getFunctionAlignment(const Function *) const {
|
|
|
|
return 4;
|
|
|
|
}
|