2007-06-06 07:42:06 +00:00
|
|
|
//===-- MipsISelLowering.h - Mips DAG Lowering Interface --------*- C++ -*-===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
2007-12-29 20:36:04 +00:00
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
2007-06-06 07:42:06 +00:00
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This file defines the interfaces that Mips uses to lower LLVM code into a
|
|
|
|
// selection DAG.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#ifndef MipsISELLOWERING_H
|
|
|
|
#define MipsISELLOWERING_H
|
|
|
|
|
|
|
|
#include "llvm/CodeGen/SelectionDAG.h"
|
|
|
|
#include "llvm/Target/TargetLowering.h"
|
|
|
|
#include "Mips.h"
|
|
|
|
#include "MipsSubtarget.h"
|
|
|
|
|
|
|
|
namespace llvm {
|
|
|
|
namespace MipsISD {
|
|
|
|
enum NodeType {
|
|
|
|
// Start the numbering from where ISD NodeType finishes.
|
2008-09-23 18:42:32 +00:00
|
|
|
FIRST_NUMBER = ISD::BUILTIN_OP_END,
|
2007-06-06 07:42:06 +00:00
|
|
|
|
|
|
|
// Jump and link (call)
|
|
|
|
JmpLink,
|
|
|
|
|
|
|
|
// Get the Higher 16 bits from a 32-bit immediate
|
|
|
|
// No relation with Mips Hi register
|
|
|
|
Hi,
|
|
|
|
|
|
|
|
// Get the Lower 16 bits from a 32-bit immediate
|
|
|
|
// No relation with Mips Lo register
|
|
|
|
Lo,
|
|
|
|
|
2008-07-21 18:52:34 +00:00
|
|
|
// Handle gp_rel (small data/bss sections) relocation.
|
|
|
|
GPRel,
|
|
|
|
|
2008-08-13 07:13:40 +00:00
|
|
|
// Conditional Move
|
|
|
|
CMov,
|
|
|
|
|
2008-06-06 00:58:26 +00:00
|
|
|
// Select CC Pseudo Instruction
|
|
|
|
SelectCC,
|
|
|
|
|
2008-07-29 19:05:28 +00:00
|
|
|
// Floating Point Select CC Pseudo Instruction
|
|
|
|
FPSelectCC,
|
|
|
|
|
2008-07-09 04:45:36 +00:00
|
|
|
// Floating Point Branch Conditional
|
Several changes to Mips backend, experimental fp support being the most
important.
- Cleanup in the Subtarget info with addition of new features, not all support
yet, but they allow the future inclusion of features easier. Among new features,
we have : Arch family info (mips1, mips2, ...), ABI info (o32, eabi), 64-bit
integer
and float registers, allegrex vector FPU (VFPU), single float only support.
- TargetMachine now detects allegrex core.
- Added allegrex (Mips32r2) sext_inreg instructions.
- *Added Float Point Instructions*, handling single float only, and
aliased accesses for 32-bit FPUs.
- Some cleanup in FP instruction formats and FP register classes.
- Calling conventions improved to support mips 32-bit EABI.
- Added Asm Printer support for fp cond codes.
- Added support for sret copy to a return register.
- EABI support added into LowerCALL and FORMAL_ARGS.
- MipsFunctionInfo now keeps a virtual register per function to track the
sret on function entry until function ret.
- MipsInstrInfo FP support into methods (isMoveInstr, isLoadFromStackSlot, ...),
FP cond codes mapping and initial FP Branch Analysis.
- Two new Mips SDNode to handle fp branch and compare instructions : FPBrcond,
FPCmp
- MipsTargetLowering : handling different FP classes, Allegrex support, sret
return copy, no homing location within EABI, non 32-bit stack objects
arguments, and asm constraint for float.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@53146 91177308-0d34-0410-b5e6-96231b3b80d8
2008-07-05 19:05:21 +00:00
|
|
|
FPBrcond,
|
|
|
|
|
2008-07-09 04:45:36 +00:00
|
|
|
// Floating Point Compare
|
Several changes to Mips backend, experimental fp support being the most
important.
- Cleanup in the Subtarget info with addition of new features, not all support
yet, but they allow the future inclusion of features easier. Among new features,
we have : Arch family info (mips1, mips2, ...), ABI info (o32, eabi), 64-bit
integer
and float registers, allegrex vector FPU (VFPU), single float only support.
- TargetMachine now detects allegrex core.
- Added allegrex (Mips32r2) sext_inreg instructions.
- *Added Float Point Instructions*, handling single float only, and
aliased accesses for 32-bit FPUs.
- Some cleanup in FP instruction formats and FP register classes.
- Calling conventions improved to support mips 32-bit EABI.
- Added Asm Printer support for fp cond codes.
- Added support for sret copy to a return register.
- EABI support added into LowerCALL and FORMAL_ARGS.
- MipsFunctionInfo now keeps a virtual register per function to track the
sret on function entry until function ret.
- MipsInstrInfo FP support into methods (isMoveInstr, isLoadFromStackSlot, ...),
FP cond codes mapping and initial FP Branch Analysis.
- Two new Mips SDNode to handle fp branch and compare instructions : FPBrcond,
FPCmp
- MipsTargetLowering : handling different FP classes, Allegrex support, sret
return copy, no homing location within EABI, non 32-bit stack objects
arguments, and asm constraint for float.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@53146 91177308-0d34-0410-b5e6-96231b3b80d8
2008-07-05 19:05:21 +00:00
|
|
|
FPCmp,
|
|
|
|
|
2009-05-27 17:23:44 +00:00
|
|
|
// Floating Point Rounding
|
|
|
|
FPRound,
|
|
|
|
|
2007-06-06 07:42:06 +00:00
|
|
|
// Return
|
2007-11-05 03:02:32 +00:00
|
|
|
Ret
|
2007-06-06 07:42:06 +00:00
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
// TargetLowering Implementation
|
|
|
|
//===--------------------------------------------------------------------===//
|
|
|
|
class MipsTargetLowering : public TargetLowering
|
|
|
|
{
|
|
|
|
public:
|
|
|
|
|
2007-08-02 21:21:54 +00:00
|
|
|
explicit MipsTargetLowering(MipsTargetMachine &TM);
|
2007-06-06 07:42:06 +00:00
|
|
|
|
|
|
|
/// LowerOperation - Provide custom lowering hooks for some operations.
|
2008-07-27 21:46:04 +00:00
|
|
|
virtual SDValue LowerOperation(SDValue Op, SelectionDAG &DAG);
|
2007-06-06 07:42:06 +00:00
|
|
|
|
|
|
|
/// getTargetNodeName - This method returns the name of a target specific
|
|
|
|
// DAG node.
|
|
|
|
virtual const char *getTargetNodeName(unsigned Opcode) const;
|
|
|
|
|
2008-03-10 15:42:14 +00:00
|
|
|
/// getSetCCResultType - get the ISD::SETCC result ValueType
|
2009-01-01 15:52:00 +00:00
|
|
|
MVT getSetCCResultType(MVT VT) const;
|
2008-03-10 15:42:14 +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
|
|
|
virtual unsigned getFunctionAlignment(const Function *F) const;
|
2007-06-06 07:42:06 +00:00
|
|
|
private:
|
Several changes to Mips backend, experimental fp support being the most
important.
- Cleanup in the Subtarget info with addition of new features, not all support
yet, but they allow the future inclusion of features easier. Among new features,
we have : Arch family info (mips1, mips2, ...), ABI info (o32, eabi), 64-bit
integer
and float registers, allegrex vector FPU (VFPU), single float only support.
- TargetMachine now detects allegrex core.
- Added allegrex (Mips32r2) sext_inreg instructions.
- *Added Float Point Instructions*, handling single float only, and
aliased accesses for 32-bit FPUs.
- Some cleanup in FP instruction formats and FP register classes.
- Calling conventions improved to support mips 32-bit EABI.
- Added Asm Printer support for fp cond codes.
- Added support for sret copy to a return register.
- EABI support added into LowerCALL and FORMAL_ARGS.
- MipsFunctionInfo now keeps a virtual register per function to track the
sret on function entry until function ret.
- MipsInstrInfo FP support into methods (isMoveInstr, isLoadFromStackSlot, ...),
FP cond codes mapping and initial FP Branch Analysis.
- Two new Mips SDNode to handle fp branch and compare instructions : FPBrcond,
FPCmp
- MipsTargetLowering : handling different FP classes, Allegrex support, sret
return copy, no homing location within EABI, non 32-bit stack objects
arguments, and asm constraint for float.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@53146 91177308-0d34-0410-b5e6-96231b3b80d8
2008-07-05 19:05:21 +00:00
|
|
|
// Subtarget Info
|
|
|
|
const MipsSubtarget *Subtarget;
|
|
|
|
|
2007-06-06 07:42:06 +00:00
|
|
|
// Lower Operand helpers
|
2008-09-13 01:54:27 +00:00
|
|
|
SDNode *LowerCallResult(SDValue Chain, SDValue InFlag, CallSDNode *TheCall,
|
2007-06-06 07:42:06 +00:00
|
|
|
unsigned CallingConv, SelectionDAG &DAG);
|
2008-07-21 18:52:34 +00:00
|
|
|
bool IsGlobalInSmallSection(GlobalValue *GV);
|
2008-07-23 16:01:50 +00:00
|
|
|
bool IsInSmallSection(unsigned Size);
|
2007-06-06 07:42:06 +00:00
|
|
|
|
|
|
|
// Lower Operand specifics
|
2008-08-02 19:37:33 +00:00
|
|
|
SDValue LowerANDOR(SDValue Op, SelectionDAG &DAG);
|
2008-07-31 18:31:28 +00:00
|
|
|
SDValue LowerBRCOND(SDValue Op, SelectionDAG &DAG);
|
2008-07-27 21:46:04 +00:00
|
|
|
SDValue LowerCALL(SDValue Op, SelectionDAG &DAG);
|
2008-07-31 18:31:28 +00:00
|
|
|
SDValue LowerConstantPool(SDValue Op, SelectionDAG &DAG);
|
2008-08-07 19:08:11 +00:00
|
|
|
SDValue LowerDYNAMIC_STACKALLOC(SDValue Op, SelectionDAG &DAG);
|
2008-07-27 21:46:04 +00:00
|
|
|
SDValue LowerFORMAL_ARGUMENTS(SDValue Op, SelectionDAG &DAG);
|
2009-05-27 17:23:44 +00:00
|
|
|
SDValue LowerFP_TO_SINT(SDValue Op, SelectionDAG &DAG);
|
2008-07-27 21:46:04 +00:00
|
|
|
SDValue LowerGlobalAddress(SDValue Op, SelectionDAG &DAG);
|
|
|
|
SDValue LowerGlobalTLSAddress(SDValue Op, SelectionDAG &DAG);
|
|
|
|
SDValue LowerJumpTable(SDValue Op, SelectionDAG &DAG);
|
2008-07-31 18:31:28 +00:00
|
|
|
SDValue LowerRET(SDValue Op, SelectionDAG &DAG);
|
|
|
|
SDValue LowerSELECT(SDValue Op, SelectionDAG &DAG);
|
2008-07-28 19:11:24 +00:00
|
|
|
SDValue LowerSETCC(SDValue Op, SelectionDAG &DAG);
|
2008-06-06 00:58:26 +00:00
|
|
|
|
|
|
|
virtual MachineBasicBlock *EmitInstrWithCustomInserter(MachineInstr *MI,
|
2009-02-07 16:15:20 +00:00
|
|
|
MachineBasicBlock *MBB) const;
|
2007-06-06 07:42:06 +00:00
|
|
|
|
2007-08-21 16:09:25 +00:00
|
|
|
// Inline asm support
|
|
|
|
ConstraintType getConstraintType(const std::string &Constraint) const;
|
|
|
|
|
|
|
|
std::pair<unsigned, const TargetRegisterClass*>
|
|
|
|
getRegForInlineAsmConstraint(const std::string &Constraint,
|
2008-06-06 12:08:01 +00:00
|
|
|
MVT VT) const;
|
2007-08-21 16:09:25 +00:00
|
|
|
|
|
|
|
std::vector<unsigned>
|
|
|
|
getRegClassForInlineAsmConstraint(const std::string &Constraint,
|
2008-06-06 12:08:01 +00:00
|
|
|
MVT VT) const;
|
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
|
|
|
|
|
|
|
virtual bool isOffsetFoldingLegal(const GlobalAddressSDNode *GA) const;
|
2007-06-06 07:42:06 +00:00
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
#endif // MipsISELLOWERING_H
|