2008-03-17 03:21:36 +00:00
|
|
|
//===-- SparcISelLowering.h - Sparc DAG Lowering Interface ------*- C++ -*-===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This file defines the interfaces that Sparc uses to lower LLVM code into a
|
|
|
|
// selection DAG.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2014-08-13 16:26:38 +00:00
|
|
|
#ifndef LLVM_LIB_TARGET_SPARC_SPARCISELLOWERING_H
|
|
|
|
#define LLVM_LIB_TARGET_SPARC_SPARCISELLOWERING_H
|
2008-03-17 03:21:36 +00:00
|
|
|
|
|
|
|
#include "Sparc.h"
|
2012-03-17 18:46:09 +00:00
|
|
|
#include "llvm/Target/TargetLowering.h"
|
2008-03-17 03:21:36 +00:00
|
|
|
|
|
|
|
namespace llvm {
|
2013-04-02 04:08:54 +00:00
|
|
|
class SparcSubtarget;
|
|
|
|
|
2008-03-17 03:21:36 +00:00
|
|
|
namespace SPISD {
|
2015-05-07 21:33:59 +00:00
|
|
|
enum NodeType : unsigned {
|
2008-09-23 18:42:32 +00:00
|
|
|
FIRST_NUMBER = ISD::BUILTIN_OP_END,
|
2013-04-03 04:41:44 +00:00
|
|
|
CMPICC, // Compare two GPR operands, set icc+xcc.
|
2008-03-17 03:21:36 +00:00
|
|
|
CMPFCC, // Compare two FP operands, set fcc.
|
|
|
|
BRICC, // Branch to dest on icc condition
|
2013-04-03 04:41:44 +00:00
|
|
|
BRXCC, // Branch to dest on xcc condition (64-bit only).
|
2008-03-17 03:21:36 +00:00
|
|
|
BRFCC, // Branch to dest on fcc condition
|
|
|
|
SELECT_ICC, // Select between two values using the current ICC flags.
|
2013-04-04 03:08:00 +00:00
|
|
|
SELECT_XCC, // Select between two values using the current XCC flags.
|
2008-03-17 03:21:36 +00:00
|
|
|
SELECT_FCC, // Select between two values using the current FCC flags.
|
2008-10-10 20:28:10 +00:00
|
|
|
|
2008-03-17 03:21:36 +00:00
|
|
|
Hi, Lo, // Hi/Lo operations, typically on a global address.
|
2008-10-10 20:28:10 +00:00
|
|
|
|
2008-03-17 03:21:36 +00:00
|
|
|
FTOI, // FP to Int within a FP register.
|
|
|
|
ITOF, // Int to FP within a FP register.
|
2013-11-03 12:28:40 +00:00
|
|
|
FTOX, // FP to Int64 within a FP register.
|
|
|
|
XTOF, // Int64 to FP within a FP register.
|
2008-10-10 20:28:10 +00:00
|
|
|
|
2008-03-17 03:21:36 +00:00
|
|
|
CALL, // A call instruction.
|
2009-09-15 17:46:24 +00:00
|
|
|
RET_FLAG, // Return with a flag operand.
|
2013-09-22 06:48:52 +00:00
|
|
|
GLOBAL_BASE_REG, // Global base reg for PIC.
|
|
|
|
FLUSHW, // FLUSH register windows to stack.
|
|
|
|
|
|
|
|
TLS_ADD, // For Thread Local Storage (TLS).
|
|
|
|
TLS_LD,
|
|
|
|
TLS_CALL
|
2008-03-17 03:21:36 +00:00
|
|
|
};
|
2015-06-23 09:49:53 +00:00
|
|
|
}
|
2008-10-10 20:28:10 +00:00
|
|
|
|
2008-03-17 03:21:36 +00:00
|
|
|
class SparcTargetLowering : public TargetLowering {
|
2013-04-02 04:08:54 +00:00
|
|
|
const SparcSubtarget *Subtarget;
|
2008-03-17 03:21:36 +00:00
|
|
|
public:
|
2015-01-30 23:46:43 +00:00
|
|
|
SparcTargetLowering(TargetMachine &TM, const SparcSubtarget &STI);
|
2014-04-29 07:57:13 +00:00
|
|
|
SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const override;
|
2008-10-10 20:28:10 +00:00
|
|
|
|
2014-05-14 21:14:37 +00:00
|
|
|
/// computeKnownBitsForTargetNode - Determine which of the bits specified
|
2008-10-10 20:28:10 +00:00
|
|
|
/// in Mask are known to be either zero or one and return them in the
|
2008-03-17 03:21:36 +00:00
|
|
|
/// KnownZero/KnownOne bitsets.
|
2014-05-14 21:14:37 +00:00
|
|
|
void computeKnownBitsForTargetNode(const SDValue Op,
|
|
|
|
APInt &KnownZero,
|
|
|
|
APInt &KnownOne,
|
|
|
|
const SelectionDAG &DAG,
|
|
|
|
unsigned Depth = 0) const override;
|
2008-10-10 20:28:10 +00:00
|
|
|
|
2014-04-29 07:57:13 +00:00
|
|
|
MachineBasicBlock *
|
2010-05-01 00:01:06 +00:00
|
|
|
EmitInstrWithCustomInserter(MachineInstr *MI,
|
2014-04-29 07:57:13 +00:00
|
|
|
MachineBasicBlock *MBB) const override;
|
2008-10-10 20:28:10 +00:00
|
|
|
|
2014-04-29 07:57:13 +00:00
|
|
|
const char *getTargetNodeName(unsigned Opcode) const override;
|
2008-10-10 20:28:10 +00:00
|
|
|
|
2015-07-05 19:29:18 +00:00
|
|
|
ConstraintType getConstraintType(StringRef Constraint) const override;
|
2014-01-22 01:29:51 +00:00
|
|
|
ConstraintWeight
|
|
|
|
getSingleConstraintMatchWeight(AsmOperandInfo &info,
|
2014-04-29 07:57:13 +00:00
|
|
|
const char *constraint) const override;
|
2014-01-22 01:29:51 +00:00
|
|
|
void LowerAsmOperandForConstraint(SDValue Op,
|
|
|
|
std::string &Constraint,
|
|
|
|
std::vector<SDValue> &Ops,
|
2014-04-29 07:57:13 +00:00
|
|
|
SelectionDAG &DAG) const override;
|
2015-02-26 22:38:43 +00:00
|
|
|
std::pair<unsigned, const TargetRegisterClass *>
|
|
|
|
getRegForInlineAsmConstraint(const TargetRegisterInfo *TRI,
|
2015-07-05 19:29:18 +00:00
|
|
|
StringRef Constraint, MVT VT) const override;
|
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
|
|
|
|
2014-04-29 07:57:13 +00:00
|
|
|
bool isOffsetFoldingLegal(const GlobalAddressSDNode *GA) const override;
|
2015-07-09 15:12:23 +00:00
|
|
|
MVT getScalarShiftAmountTy(const DataLayout &, EVT) const override {
|
2015-07-09 02:09:20 +00:00
|
|
|
return MVT::i32;
|
|
|
|
}
|
2009-06-30 22:38:32 +00:00
|
|
|
|
2015-11-07 01:11:31 +00:00
|
|
|
/// If a physical register, this returns the register that receives the
|
|
|
|
/// exception address on entry to an EH pad.
|
|
|
|
unsigned
|
|
|
|
getExceptionPointerRegister(const Constant *PersonalityFn) const override {
|
|
|
|
return SP::I0;
|
|
|
|
}
|
|
|
|
|
|
|
|
/// If a physical register, this returns the register that receives the
|
|
|
|
/// exception typeid on entry to a landing pad.
|
|
|
|
unsigned
|
|
|
|
getExceptionSelectorRegister(const Constant *PersonalityFn) const override {
|
|
|
|
return SP::I1;
|
|
|
|
}
|
|
|
|
|
2013-12-09 04:02:15 +00:00
|
|
|
/// getSetCCResultType - Return the ISD::SETCC ValueType
|
2015-07-09 02:09:04 +00:00
|
|
|
EVT getSetCCResultType(const DataLayout &DL, LLVMContext &Context,
|
|
|
|
EVT VT) const override;
|
2013-12-09 04:02:15 +00:00
|
|
|
|
2014-04-29 07:57:13 +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
|
|
|
LowerFormalArguments(SDValue Chain,
|
2009-09-02 08:44:58 +00:00
|
|
|
CallingConv::ID CallConv,
|
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
|
|
|
bool isVarArg,
|
|
|
|
const SmallVectorImpl<ISD::InputArg> &Ins,
|
2013-05-25 02:42:55 +00:00
|
|
|
SDLoc dl, SelectionDAG &DAG,
|
2014-04-29 07:57:13 +00:00
|
|
|
SmallVectorImpl<SDValue> &InVals) const override;
|
2013-04-02 04:09:02 +00:00
|
|
|
SDValue LowerFormalArguments_32(SDValue Chain,
|
|
|
|
CallingConv::ID CallConv,
|
|
|
|
bool isVarArg,
|
|
|
|
const SmallVectorImpl<ISD::InputArg> &Ins,
|
2013-05-25 02:42:55 +00:00
|
|
|
SDLoc dl, SelectionDAG &DAG,
|
2013-04-02 04:09:02 +00:00
|
|
|
SmallVectorImpl<SDValue> &InVals) const;
|
|
|
|
SDValue LowerFormalArguments_64(SDValue Chain,
|
|
|
|
CallingConv::ID CallConv,
|
|
|
|
bool isVarArg,
|
|
|
|
const SmallVectorImpl<ISD::InputArg> &Ins,
|
2013-05-25 02:42:55 +00:00
|
|
|
SDLoc dl, SelectionDAG &DAG,
|
2013-04-02 04:09:02 +00:00
|
|
|
SmallVectorImpl<SDValue> &InVals) const;
|
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
|
|
|
|
2014-04-29 07:57:13 +00:00
|
|
|
SDValue
|
2012-05-25 16:35:28 +00:00
|
|
|
LowerCall(TargetLowering::CallLoweringInfo &CLI,
|
2014-04-29 07:57:13 +00:00
|
|
|
SmallVectorImpl<SDValue> &InVals) const override;
|
2013-04-07 19:10:57 +00:00
|
|
|
SDValue LowerCall_32(TargetLowering::CallLoweringInfo &CLI,
|
|
|
|
SmallVectorImpl<SDValue> &InVals) const;
|
|
|
|
SDValue LowerCall_64(TargetLowering::CallLoweringInfo &CLI,
|
|
|
|
SmallVectorImpl<SDValue> &InVals) const;
|
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
|
|
|
|
2014-04-29 07:57:13 +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
|
|
|
LowerReturn(SDValue Chain,
|
2009-09-02 08:44:58 +00:00
|
|
|
CallingConv::ID CallConv, bool isVarArg,
|
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
|
|
|
const SmallVectorImpl<ISD::OutputArg> &Outs,
|
2010-07-07 15:54:55 +00:00
|
|
|
const SmallVectorImpl<SDValue> &OutVals,
|
2014-04-29 07:57:13 +00:00
|
|
|
SDLoc dl, SelectionDAG &DAG) const override;
|
2013-04-06 23:57:33 +00:00
|
|
|
SDValue LowerReturn_32(SDValue Chain,
|
|
|
|
CallingConv::ID CallConv, bool IsVarArg,
|
|
|
|
const SmallVectorImpl<ISD::OutputArg> &Outs,
|
|
|
|
const SmallVectorImpl<SDValue> &OutVals,
|
2013-05-25 02:42:55 +00:00
|
|
|
SDLoc DL, SelectionDAG &DAG) const;
|
2013-04-06 23:57:33 +00:00
|
|
|
SDValue LowerReturn_64(SDValue Chain,
|
|
|
|
CallingConv::ID CallConv, bool IsVarArg,
|
|
|
|
const SmallVectorImpl<ISD::OutputArg> &Outs,
|
|
|
|
const SmallVectorImpl<SDValue> &OutVals,
|
2013-05-25 02:42:55 +00:00
|
|
|
SDLoc DL, SelectionDAG &DAG) const;
|
2009-09-15 17:46:24 +00:00
|
|
|
|
2010-04-17 15:26:15 +00:00
|
|
|
SDValue LowerGlobalAddress(SDValue Op, SelectionDAG &DAG) const;
|
2013-09-22 06:48:52 +00:00
|
|
|
SDValue LowerGlobalTLSAddress(SDValue Op, SelectionDAG &DAG) const;
|
2010-04-17 15:26:15 +00:00
|
|
|
SDValue LowerConstantPool(SDValue Op, SelectionDAG &DAG) const;
|
2013-06-03 05:58:33 +00:00
|
|
|
SDValue LowerBlockAddress(SDValue Op, SelectionDAG &DAG) const;
|
2011-02-21 03:42:44 +00:00
|
|
|
|
|
|
|
unsigned getSRetArgSize(SelectionDAG &DAG, SDValue Callee) const;
|
2013-04-14 01:33:32 +00:00
|
|
|
SDValue withTargetFlags(SDValue Op, unsigned TF, SelectionDAG &DAG) const;
|
|
|
|
SDValue makeHiLoPair(SDValue Op, unsigned HiTF, unsigned LoTF,
|
|
|
|
SelectionDAG &DAG) const;
|
2013-04-14 04:35:16 +00:00
|
|
|
SDValue makeAddress(SDValue Op, SelectionDAG &DAG) const;
|
2013-09-03 04:11:59 +00:00
|
|
|
|
|
|
|
SDValue LowerF128_LibCallArg(SDValue Chain, ArgListTy &Args,
|
|
|
|
SDValue Arg, SDLoc DL,
|
|
|
|
SelectionDAG &DAG) const;
|
|
|
|
SDValue LowerF128Op(SDValue Op, SelectionDAG &DAG,
|
|
|
|
const char *LibFuncName,
|
|
|
|
unsigned numArgs) const;
|
|
|
|
SDValue LowerF128Compare(SDValue LHS, SDValue RHS,
|
|
|
|
unsigned &SPCC,
|
|
|
|
SDLoc DL,
|
|
|
|
SelectionDAG &DAG) const;
|
|
|
|
|
2014-04-29 07:57:13 +00:00
|
|
|
bool ShouldShrinkFPConstant(EVT VT) const override {
|
2013-09-03 04:11:59 +00:00
|
|
|
// Do not shrink FP constpool if VT == MVT::f128.
|
|
|
|
// (ldd, call _Q_fdtoq) is more expensive than two ldds.
|
|
|
|
return VT != MVT::f128;
|
|
|
|
}
|
2013-11-03 12:28:40 +00:00
|
|
|
|
2014-04-29 07:57:13 +00:00
|
|
|
void ReplaceNodeResults(SDNode *N,
|
[Sparc] Implement i64 load/store support for 32-bit sparc.
The LDD/STD instructions can load/store a 64bit quantity from/to
memory to/from a consecutive even/odd pair of (32-bit) registers. They
are part of SparcV8, and also present in SparcV9. (Although deprecated
there, as you can store 64bits in one register).
As recommended on llvmdev in the thread "How to enable use of 64bit
load/store for 32bit architecture" from Apr 2015, I've modeled the
64-bit load/store operations as working on a v2i32 type, rather than
making i64 a legal type, but with few legal operations. The latter
does not (currently) work, as there is much code in llvm which assumes
that if i64 is legal, operations like "add" will actually work on it.
The same assumption does not hold for v2i32 -- for vector types, it is
workable to support only load/store, and expand everything else.
This patch:
- Adds a new register class, IntPair, for even/odd pairs of registers.
- Modifies the list of reserved registers, the stack spilling code,
and register copying code to support the IntPair register class.
- Adds support in AsmParser. (note that in asm text, you write the
name of the first register of the pair only. So the parser has to
morph the single register into the equivalent paired register).
- Adds the new instructions themselves (LDD/STD/LDDA/STDA).
- Hooks up the instructions and registers as a vector type v2i32. Adds
custom legalizer to transform i64 load/stores into v2i32 load/stores
and bitcasts, so that the new instructions can actually be
generated, and marks all operations other than load/store on v2i32
as needing to be expanded.
- Copies the unfortunate SelectInlineAsm hack from ARMISelDAGToDAG.
This hack undoes the transformation of i64 operands into two
arbitrarily-allocated separate i32 registers in
SelectionDAGBuilder. and instead passes them in a single
IntPair. (Arbitrarily allocated registers are not useful, asm code
expects to be receiving a pair, which can be passed to ldd/std.)
Also adds a bunch of test cases covering all the bugs I've added along
the way.
Differential Revision: http://reviews.llvm.org/D8713
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@244484 91177308-0d34-0410-b5e6-96231b3b80d8
2015-08-10 19:11:39 +00:00
|
|
|
SmallVectorImpl<SDValue>& Results,
|
|
|
|
SelectionDAG &DAG) const override;
|
2014-01-24 06:23:31 +00:00
|
|
|
|
|
|
|
MachineBasicBlock *expandSelectCC(MachineInstr *MI, MachineBasicBlock *BB,
|
|
|
|
unsigned BROpcode) const;
|
|
|
|
MachineBasicBlock *expandAtomicRMW(MachineInstr *MI,
|
|
|
|
MachineBasicBlock *BB,
|
|
|
|
unsigned Opcode,
|
|
|
|
unsigned CondCode = 0) const;
|
2008-03-17 03:21:36 +00:00
|
|
|
};
|
|
|
|
} // end namespace llvm
|
|
|
|
|
|
|
|
#endif // SPARC_ISELLOWERING_H
|