2005-09-02 20:46:02 +02:00
|
|
|
//===-- AlphaISelLowering.h - Alpha DAG Lowering Interface ------*- C++ -*-===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
2007-12-29 21:36:04 +01:00
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
2005-09-02 20:46:02 +02:00
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This file defines the interfaces that Alpha uses to lower LLVM code into a
|
|
|
|
// selection DAG.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#ifndef LLVM_TARGET_ALPHA_ALPHAISELLOWERING_H
|
|
|
|
#define LLVM_TARGET_ALPHA_ALPHAISELLOWERING_H
|
|
|
|
|
2006-06-21 15:37:27 +02:00
|
|
|
#include "llvm/ADT/VectorExtras.h"
|
2005-09-02 20:46:02 +02:00
|
|
|
#include "llvm/Target/TargetLowering.h"
|
|
|
|
#include "llvm/CodeGen/SelectionDAG.h"
|
|
|
|
#include "Alpha.h"
|
|
|
|
|
|
|
|
namespace llvm {
|
|
|
|
|
2005-10-20 02:28:31 +02:00
|
|
|
namespace AlphaISD {
|
|
|
|
enum NodeType {
|
|
|
|
// Start the numbering where the builting ops and target ops leave off.
|
2008-09-23 20:42:32 +02:00
|
|
|
FIRST_NUMBER = ISD::BUILTIN_OP_END,
|
2005-11-30 08:19:56 +01:00
|
|
|
//These corrospond to the identical Instruction
|
2007-01-24 22:09:16 +01:00
|
|
|
CVTQT_, CVTQS_, CVTTQ_,
|
2005-12-24 06:36:33 +01:00
|
|
|
|
|
|
|
/// GPRelHi/GPRelLo - These represent the high and low 16-bit
|
2005-12-24 09:29:32 +01:00
|
|
|
/// parts of a global address respectively.
|
2011-02-25 22:41:48 +01:00
|
|
|
GPRelHi, GPRelLo,
|
2005-12-24 09:29:32 +01:00
|
|
|
|
|
|
|
/// RetLit - Literal Relocation of a Global
|
|
|
|
RelLit,
|
2005-12-24 06:36:33 +01:00
|
|
|
|
2006-06-13 20:27:39 +02:00
|
|
|
/// GlobalRetAddr - used to restore the return address
|
|
|
|
GlobalRetAddr,
|
2011-02-25 22:41:48 +01:00
|
|
|
|
2006-01-28 00:39:00 +01:00
|
|
|
/// CALL - Normal call.
|
|
|
|
CALL,
|
2005-12-24 06:36:33 +01:00
|
|
|
|
2005-12-25 02:34:27 +01:00
|
|
|
/// DIVCALL - used for special library calls for div and rem
|
2006-06-12 20:09:24 +02:00
|
|
|
DivCall,
|
2011-02-25 22:41:48 +01:00
|
|
|
|
2006-06-12 20:09:24 +02:00
|
|
|
/// return flag operand
|
2006-10-31 17:49:55 +01:00
|
|
|
RET_FLAG,
|
|
|
|
|
|
|
|
/// CHAIN = COND_BRANCH CHAIN, OPC, (G|F)PRC, DESTBB [, INFLAG] - This
|
2011-02-25 22:41:48 +01:00
|
|
|
/// corresponds to the COND_BRANCH pseudo instruction.
|
2006-10-31 17:49:55 +01:00
|
|
|
/// *PRC is the input register to compare to zero,
|
|
|
|
/// OPC is the branch opcode to use (e.g. Alpha::BEQ),
|
|
|
|
/// DESTBB is the destination block to branch to, and INFLAG is
|
|
|
|
/// an optional input flag argument.
|
|
|
|
COND_BRANCH_I, COND_BRANCH_F
|
2005-12-25 02:34:27 +01:00
|
|
|
|
2005-10-20 02:28:31 +02:00
|
|
|
};
|
|
|
|
}
|
|
|
|
|
2005-09-02 20:46:02 +02:00
|
|
|
class AlphaTargetLowering : public TargetLowering {
|
|
|
|
public:
|
2007-08-02 23:21:54 +02:00
|
|
|
explicit AlphaTargetLowering(TargetMachine &TM);
|
2011-02-25 22:41:48 +01:00
|
|
|
|
|
|
|
virtual MVT getShiftAmountTy(EVT LHSTy) const { return MVT::i64; }
|
|
|
|
|
2008-03-10 16:42:14 +01:00
|
|
|
/// getSetCCResultType - Get the SETCC result ValueType
|
2009-08-11 22:47:22 +02:00
|
|
|
virtual MVT::SimpleValueType getSetCCResultType(EVT VT) const;
|
2008-03-10 16:42:14 +01:00
|
|
|
|
2005-11-30 08:19:56 +01:00
|
|
|
/// LowerOperation - Provide custom lowering hooks for some operations.
|
|
|
|
///
|
2010-04-17 17:26:15 +02:00
|
|
|
virtual SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const;
|
2008-12-01 12:39:25 +01:00
|
|
|
|
|
|
|
/// ReplaceNodeResults - Replace the results of node with an illegal result
|
|
|
|
/// type with new values built out of custom code.
|
|
|
|
///
|
|
|
|
virtual void ReplaceNodeResults(SDNode *N, SmallVectorImpl<SDValue>&Results,
|
2010-04-17 17:26:15 +02:00
|
|
|
SelectionDAG &DAG) const;
|
2006-01-16 20:53:25 +01:00
|
|
|
|
2008-07-04 13:47:58 +02:00
|
|
|
// Friendly names for dumps
|
2006-01-16 20:53:25 +01:00
|
|
|
const char *getTargetNodeName(unsigned Opcode) 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.
llvm-svn: 78142
2009-08-05 03:29:28 +02:00
|
|
|
SDValue LowerCallResult(SDValue Chain, SDValue InFlag,
|
2009-09-02 10:44:58 +02: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.
llvm-svn: 78142
2009-08-05 03:29:28 +02:00
|
|
|
const SmallVectorImpl<ISD::InputArg> &Ins,
|
|
|
|
DebugLoc dl, SelectionDAG &DAG,
|
2010-04-17 17:26:15 +02:00
|
|
|
SmallVectorImpl<SDValue> &InVals) const;
|
2005-09-02 20:46:02 +02:00
|
|
|
|
2007-03-25 04:14:49 +02:00
|
|
|
ConstraintType getConstraintType(const std::string &Constraint) const;
|
2006-06-21 15:37:27 +02:00
|
|
|
|
2010-10-29 19:29:13 +02:00
|
|
|
/// Examine constraint string and operand type and determine a weight value.
|
|
|
|
/// The operand object must already have been set up with the operand type.
|
|
|
|
ConstraintWeight getSingleConstraintMatchWeight(
|
|
|
|
AsmOperandInfo &info, const char *constraint) const;
|
|
|
|
|
2011-06-29 21:40:01 +02:00
|
|
|
std::pair<unsigned, const TargetRegisterClass*>
|
|
|
|
getRegForInlineAsmConstraint(const std::string &Constraint,
|
|
|
|
EVT VT) const;
|
2006-06-21 15:37:27 +02:00
|
|
|
|
2010-05-01 02:01:06 +02:00
|
|
|
MachineBasicBlock *
|
|
|
|
EmitInstrWithCustomInserter(MachineInstr *MI,
|
|
|
|
MachineBasicBlock *BB) const;
|
2008-07-04 13:47:58 +02:00
|
|
|
|
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.
llvm-svn: 57748
2008-10-18 04:06:02 +02:00
|
|
|
virtual bool isOffsetFoldingLegal(const GlobalAddressSDNode *GA) const;
|
|
|
|
|
2009-10-27 20:56:55 +01:00
|
|
|
/// isFPImmLegal - Returns true if the target can instruction select the
|
|
|
|
/// specified FP immediate natively. If false, the legalizer will
|
|
|
|
/// materialize the FP immediate as a load from a constant pool.
|
2009-10-28 02:43:28 +01:00
|
|
|
virtual bool isFPImmLegal(const APFloat &Imm, EVT VT) const;
|
2009-10-27 20:56:55 +01:00
|
|
|
|
2008-07-04 13:47:58 +02:00
|
|
|
private:
|
|
|
|
// Helpers for custom lowering.
|
2008-07-27 23:46:04 +02:00
|
|
|
void LowerVAARG(SDNode *N, SDValue &Chain, SDValue &DataPtr,
|
2010-04-17 17:26:15 +02:00
|
|
|
SelectionDAG &DAG) const;
|
2008-07-04 13:47:58 +02: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.
llvm-svn: 78142
2009-08-05 03:29:28 +02:00
|
|
|
virtual SDValue
|
|
|
|
LowerFormalArguments(SDValue Chain,
|
2009-09-02 10:44:58 +02: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.
llvm-svn: 78142
2009-08-05 03:29:28 +02:00
|
|
|
const SmallVectorImpl<ISD::InputArg> &Ins,
|
|
|
|
DebugLoc dl, SelectionDAG &DAG,
|
2010-04-17 17:26:15 +02: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.
llvm-svn: 78142
2009-08-05 03:29:28 +02:00
|
|
|
|
|
|
|
virtual SDValue
|
2010-02-03 00:55:14 +01:00
|
|
|
LowerCall(SDValue Chain, SDValue Callee,
|
2010-01-27 01:07:07 +01:00
|
|
|
CallingConv::ID CallConv, bool isVarArg, bool &isTailCall,
|
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.
llvm-svn: 78142
2009-08-05 03:29:28 +02:00
|
|
|
const SmallVectorImpl<ISD::OutputArg> &Outs,
|
2010-07-07 17:54:55 +02:00
|
|
|
const SmallVectorImpl<SDValue> &OutVals,
|
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.
llvm-svn: 78142
2009-08-05 03:29:28 +02:00
|
|
|
const SmallVectorImpl<ISD::InputArg> &Ins,
|
|
|
|
DebugLoc dl, SelectionDAG &DAG,
|
2010-04-17 17:26:15 +02: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.
llvm-svn: 78142
2009-08-05 03:29:28 +02:00
|
|
|
|
|
|
|
virtual SDValue
|
|
|
|
LowerReturn(SDValue Chain,
|
2009-09-02 10:44:58 +02: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.
llvm-svn: 78142
2009-08-05 03:29:28 +02:00
|
|
|
const SmallVectorImpl<ISD::OutputArg> &Outs,
|
2010-07-07 17:54:55 +02:00
|
|
|
const SmallVectorImpl<SDValue> &OutVals,
|
2010-04-17 17:26:15 +02:00
|
|
|
DebugLoc dl, SelectionDAG &DAG) const;
|
2005-09-02 20:46:02 +02:00
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
#endif // LLVM_TARGET_ALPHA_ALPHAISELLOWERING_H
|