2005-11-15 08:40:23 +08:00
|
|
|
//===-- X86ISelLowering.h - X86 DAG Lowering Interface ----------*- C++ -*-===//
|
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
2007-12-30 04:36:04 +08:00
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
2005-11-15 08:40:23 +08:00
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This file defines the interfaces that X86 uses to lower LLVM code into a
|
|
|
|
// selection DAG.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#ifndef X86ISELLOWERING_H
|
|
|
|
#define X86ISELLOWERING_H
|
|
|
|
|
2006-01-27 16:10:46 +08:00
|
|
|
#include "X86Subtarget.h"
|
2007-07-14 22:06:15 +08:00
|
|
|
#include "X86RegisterInfo.h"
|
2008-01-06 00:56:59 +08:00
|
|
|
#include "X86MachineFunctionInfo.h"
|
2005-11-15 08:40:23 +08:00
|
|
|
#include "llvm/Target/TargetLowering.h"
|
|
|
|
#include "llvm/CodeGen/SelectionDAG.h"
|
2007-08-31 23:06:30 +08:00
|
|
|
#include "llvm/CodeGen/CallingConvLower.h"
|
2005-11-15 08:40:23 +08:00
|
|
|
|
|
|
|
namespace llvm {
|
|
|
|
namespace X86ISD {
|
2006-01-06 08:43:03 +08:00
|
|
|
// X86 Specific DAG Nodes
|
2005-11-15 08:40:23 +08:00
|
|
|
enum NodeType {
|
|
|
|
// Start the numbering where the builtin ops leave off.
|
2005-12-17 09:21:05 +08:00
|
|
|
FIRST_NUMBER = ISD::BUILTIN_OP_END+X86::INSTRUCTION_LIST_END,
|
2005-11-15 08:40:23 +08:00
|
|
|
|
2007-12-14 10:13:44 +08:00
|
|
|
/// BSF - Bit scan forward.
|
|
|
|
/// BSR - Bit scan reverse.
|
|
|
|
BSF,
|
|
|
|
BSR,
|
|
|
|
|
2006-01-10 02:33:28 +08:00
|
|
|
/// SHLD, SHRD - Double shift instructions. These correspond to
|
|
|
|
/// X86::SHLDxx and X86::SHRDxx instructions.
|
|
|
|
SHLD,
|
|
|
|
SHRD,
|
|
|
|
|
2006-01-31 11:14:29 +08:00
|
|
|
/// FAND - Bitwise logical AND of floating point values. This corresponds
|
|
|
|
/// to X86::ANDPS or X86::ANDPD.
|
|
|
|
FAND,
|
|
|
|
|
2007-01-05 15:55:56 +08:00
|
|
|
/// FOR - Bitwise logical OR of floating point values. This corresponds
|
|
|
|
/// to X86::ORPS or X86::ORPD.
|
|
|
|
FOR,
|
|
|
|
|
2006-02-01 06:28:30 +08:00
|
|
|
/// FXOR - Bitwise logical XOR of floating point values. This corresponds
|
|
|
|
/// to X86::XORPS or X86::XORPD.
|
|
|
|
FXOR,
|
|
|
|
|
2007-01-06 05:37:56 +08:00
|
|
|
/// FSRL - Bitwise logical right shift of floating point values. These
|
|
|
|
/// corresponds to X86::PSRLDQ.
|
2007-01-05 15:55:56 +08:00
|
|
|
FSRL,
|
|
|
|
|
2006-02-04 10:20:30 +08:00
|
|
|
/// FILD, FILD_FLAG - This instruction implements SINT_TO_FP with the
|
|
|
|
/// integer source in memory and FP reg result. This corresponds to the
|
|
|
|
/// X86::FILD*m instructions. It has three inputs (token chain, address,
|
|
|
|
/// and source type) and two outputs (FP value and token chain). FILD_FLAG
|
|
|
|
/// also produces a flag).
|
2006-01-13 06:54:21 +08:00
|
|
|
FILD,
|
2006-02-04 10:20:30 +08:00
|
|
|
FILD_FLAG,
|
2005-11-15 08:40:23 +08:00
|
|
|
|
|
|
|
/// FP_TO_INT*_IN_MEM - This instruction implements FP_TO_SINT with the
|
|
|
|
/// integer destination in memory and a FP reg source. This corresponds
|
|
|
|
/// to the X86::FIST*m instructions and the rounding mode change stuff. It
|
2006-10-19 02:26:48 +08:00
|
|
|
/// has two inputs (token chain and address) and two outputs (int value
|
|
|
|
/// and token chain).
|
2005-11-15 08:40:23 +08:00
|
|
|
FP_TO_INT16_IN_MEM,
|
|
|
|
FP_TO_INT32_IN_MEM,
|
|
|
|
FP_TO_INT64_IN_MEM,
|
|
|
|
|
2005-12-21 10:39:21 +08:00
|
|
|
/// FLD - This instruction implements an extending load to FP stack slots.
|
|
|
|
/// This corresponds to the X86::FLD32m / X86::FLD64m. It takes a chain
|
2005-12-23 15:31:11 +08:00
|
|
|
/// operand, ptr to load from, and a ValueType node indicating the type
|
|
|
|
/// to load to.
|
2005-12-21 10:39:21 +08:00
|
|
|
FLD,
|
|
|
|
|
2006-01-05 08:27:02 +08:00
|
|
|
/// FST - This instruction implements a truncating store to FP stack
|
|
|
|
/// slots. This corresponds to the X86::FST32m / X86::FST64m. It takes a
|
|
|
|
/// chain operand, value to store, address, and a ValueType to store it
|
|
|
|
/// as.
|
|
|
|
FST,
|
|
|
|
|
2005-11-15 08:40:23 +08:00
|
|
|
/// CALL/TAILCALL - These operations represent an abstract X86 call
|
|
|
|
/// instruction, which includes a bunch of information. In particular the
|
|
|
|
/// operands of these node are:
|
|
|
|
///
|
|
|
|
/// #0 - The incoming token chain
|
|
|
|
/// #1 - The callee
|
|
|
|
/// #2 - The number of arg bytes the caller pushes on the stack.
|
|
|
|
/// #3 - The number of arg bytes the callee pops off the stack.
|
|
|
|
/// #4 - The value to pass in AL/AX/EAX (optional)
|
|
|
|
/// #5 - The value to pass in DL/DX/EDX (optional)
|
|
|
|
///
|
|
|
|
/// The result values of these nodes are:
|
|
|
|
///
|
|
|
|
/// #0 - The outgoing token chain
|
|
|
|
/// #1 - The first register result value (optional)
|
|
|
|
/// #2 - The second register result value (optional)
|
|
|
|
///
|
|
|
|
/// The CALL vs TAILCALL distinction boils down to whether the callee is
|
|
|
|
/// known not to modify the caller's stack frame, as is standard with
|
|
|
|
/// LLVM.
|
|
|
|
CALL,
|
|
|
|
TAILCALL,
|
2005-11-21 05:41:10 +08:00
|
|
|
|
|
|
|
/// RDTSC_DAG - This operation implements the lowering for
|
|
|
|
/// readcyclecounter
|
|
|
|
RDTSC_DAG,
|
2005-12-17 09:21:05 +08:00
|
|
|
|
|
|
|
/// X86 compare and logical compare instructions.
|
2007-09-18 01:42:53 +08:00
|
|
|
CMP, COMI, UCOMI,
|
2005-12-17 09:21:05 +08:00
|
|
|
|
2005-12-22 04:21:51 +08:00
|
|
|
/// X86 SetCC. Operand 1 is condition code, and operand 2 is the flag
|
|
|
|
/// operand produced by a CMP instruction.
|
|
|
|
SETCC,
|
|
|
|
|
|
|
|
/// X86 conditional moves. Operand 1 and operand 2 are the two values
|
2006-10-19 02:26:48 +08:00
|
|
|
/// to select from (operand 1 is a R/W operand). Operand 3 is the
|
|
|
|
/// condition code, and operand 4 is the flag operand produced by a CMP
|
|
|
|
/// or TEST instruction. It also writes a flag result.
|
2005-12-17 09:21:05 +08:00
|
|
|
CMOV,
|
2005-12-20 07:12:38 +08:00
|
|
|
|
2005-12-22 04:21:51 +08:00
|
|
|
/// X86 conditional branches. Operand 1 is the chain operand, operand 2
|
|
|
|
/// is the block to branch if condition is true, operand 3 is the
|
|
|
|
/// condition code, and operand 4 is the flag operand produced by a CMP
|
|
|
|
/// or TEST instruction.
|
2005-12-20 07:12:38 +08:00
|
|
|
BRCOND,
|
2005-12-21 10:39:21 +08:00
|
|
|
|
2006-01-12 06:15:48 +08:00
|
|
|
/// Return with a flag operand. Operand 1 is the chain operand, operand
|
|
|
|
/// 2 is the number of bytes of stack to pop.
|
2005-12-21 10:39:21 +08:00
|
|
|
RET_FLAG,
|
2006-01-12 06:15:48 +08:00
|
|
|
|
|
|
|
/// REP_STOS - Repeat fill, corresponds to X86::REP_STOSx.
|
|
|
|
REP_STOS,
|
|
|
|
|
|
|
|
/// REP_MOVS - Repeat move, corresponds to X86::REP_MOVSx.
|
|
|
|
REP_MOVS,
|
2006-02-01 06:28:30 +08:00
|
|
|
|
2006-02-18 08:15:05 +08:00
|
|
|
/// GlobalBaseReg - On Darwin, this node represents the result of the popl
|
|
|
|
/// at function entry, used for PIC code.
|
|
|
|
GlobalBaseReg,
|
2006-02-23 10:43:52 +08:00
|
|
|
|
2006-09-29 07:33:12 +08:00
|
|
|
/// Wrapper - A wrapper node for TargetConstantPool,
|
2006-02-24 04:41:18 +08:00
|
|
|
/// TargetExternalSymbol, and TargetGlobalAddress.
|
|
|
|
Wrapper,
|
2006-03-22 07:01:21 +08:00
|
|
|
|
2006-12-01 05:55:46 +08:00
|
|
|
/// WrapperRIP - Special wrapper used under X86-64 PIC mode for RIP
|
|
|
|
/// relative displacements.
|
|
|
|
WrapperRIP,
|
|
|
|
|
2008-02-11 12:19:36 +08:00
|
|
|
/// PEXTRB - Extract an 8-bit value from a vector and zero extend it to
|
|
|
|
/// i32, corresponds to X86::PEXTRB.
|
|
|
|
PEXTRB,
|
|
|
|
|
2006-04-01 03:22:53 +08:00
|
|
|
/// PEXTRW - Extract a 16-bit value from a vector and zero extend it to
|
2006-04-01 05:55:24 +08:00
|
|
|
/// i32, corresponds to X86::PEXTRW.
|
2006-04-01 03:22:53 +08:00
|
|
|
PEXTRW,
|
2006-04-01 05:55:24 +08:00
|
|
|
|
2008-02-11 12:19:36 +08:00
|
|
|
/// INSERTPS - Insert any element of a 4 x float vector into any element
|
|
|
|
/// of a destination 4 x floatvector.
|
|
|
|
INSERTPS,
|
|
|
|
|
|
|
|
/// PINSRB - Insert the lower 8-bits of a 32-bit value to a vector,
|
|
|
|
/// corresponds to X86::PINSRB.
|
|
|
|
PINSRB,
|
|
|
|
|
2006-04-01 05:55:24 +08:00
|
|
|
/// PINSRW - Insert the lower 16-bits of a 32-bit value to a vector,
|
|
|
|
/// corresponds to X86::PINSRW.
|
2006-11-11 05:43:37 +08:00
|
|
|
PINSRW,
|
|
|
|
|
|
|
|
/// FMAX, FMIN - Floating point max and min.
|
|
|
|
///
|
2007-04-21 05:38:10 +08:00
|
|
|
FMAX, FMIN,
|
2007-07-10 08:05:58 +08:00
|
|
|
|
|
|
|
/// FRSQRT, FRCP - Floating point reciprocal-sqrt and reciprocal
|
|
|
|
/// approximation. Note that these typically require refinement
|
|
|
|
/// in order to obtain suitable precision.
|
|
|
|
FRSQRT, FRCP,
|
|
|
|
|
2007-04-21 05:38:10 +08:00
|
|
|
// Thread Local Storage
|
2007-07-14 22:06:15 +08:00
|
|
|
TLSADDR, THREAD_POINTER,
|
|
|
|
|
|
|
|
// Exception Handling helpers
|
2007-10-12 03:40:01 +08:00
|
|
|
EH_RETURN,
|
|
|
|
|
2008-03-20 00:39:45 +08:00
|
|
|
/// TC_RETURN - Tail call return.
|
|
|
|
/// operand #0 chain
|
|
|
|
/// operand #1 callee (register or absolute)
|
|
|
|
/// operand #2 stack adjustment
|
|
|
|
/// operand #3 optional in flag
|
2007-11-16 09:31:51 +08:00
|
|
|
TC_RETURN,
|
|
|
|
|
2008-03-02 05:52:34 +08:00
|
|
|
// compare and swap
|
|
|
|
LCMPXCHG_DAG,
|
2008-03-05 09:15:49 +08:00
|
|
|
LCMPXCHG8_DAG,
|
2008-03-02 05:52:34 +08:00
|
|
|
|
2007-11-16 09:31:51 +08:00
|
|
|
// Store FP control world into i16 memory
|
2008-01-16 05:58:22 +08:00
|
|
|
FNSTCW16m
|
2005-11-15 08:40:23 +08:00
|
|
|
};
|
|
|
|
}
|
|
|
|
|
2008-01-30 03:34:22 +08:00
|
|
|
/// Define some predicates that are used for node matching.
|
|
|
|
namespace X86 {
|
|
|
|
/// isPSHUFDMask - Return true if the specified VECTOR_SHUFFLE operand
|
|
|
|
/// specifies a shuffle of elements that is suitable for input to PSHUFD.
|
|
|
|
bool isPSHUFDMask(SDNode *N);
|
|
|
|
|
|
|
|
/// isPSHUFHWMask - Return true if the specified VECTOR_SHUFFLE operand
|
|
|
|
/// specifies a shuffle of elements that is suitable for input to PSHUFD.
|
|
|
|
bool isPSHUFHWMask(SDNode *N);
|
|
|
|
|
|
|
|
/// isPSHUFLWMask - Return true if the specified VECTOR_SHUFFLE operand
|
|
|
|
/// specifies a shuffle of elements that is suitable for input to PSHUFD.
|
|
|
|
bool isPSHUFLWMask(SDNode *N);
|
|
|
|
|
|
|
|
/// isSHUFPMask - Return true if the specified VECTOR_SHUFFLE operand
|
|
|
|
/// specifies a shuffle of elements that is suitable for input to SHUFP*.
|
|
|
|
bool isSHUFPMask(SDNode *N);
|
|
|
|
|
|
|
|
/// isMOVHLPSMask - Return true if the specified VECTOR_SHUFFLE operand
|
|
|
|
/// specifies a shuffle of elements that is suitable for input to MOVHLPS.
|
|
|
|
bool isMOVHLPSMask(SDNode *N);
|
|
|
|
|
|
|
|
/// isMOVHLPS_v_undef_Mask - Special case of isMOVHLPSMask for canonical form
|
|
|
|
/// of vector_shuffle v, v, <2, 3, 2, 3>, i.e. vector_shuffle v, undef,
|
|
|
|
/// <2, 3, 2, 3>
|
|
|
|
bool isMOVHLPS_v_undef_Mask(SDNode *N);
|
|
|
|
|
|
|
|
/// isMOVLPMask - Return true if the specified VECTOR_SHUFFLE operand
|
|
|
|
/// specifies a shuffle of elements that is suitable for input to MOVLP{S|D}.
|
|
|
|
bool isMOVLPMask(SDNode *N);
|
|
|
|
|
|
|
|
/// isMOVHPMask - Return true if the specified VECTOR_SHUFFLE operand
|
|
|
|
/// specifies a shuffle of elements that is suitable for input to MOVHP{S|D}
|
|
|
|
/// as well as MOVLHPS.
|
|
|
|
bool isMOVHPMask(SDNode *N);
|
|
|
|
|
|
|
|
/// isUNPCKLMask - Return true if the specified VECTOR_SHUFFLE operand
|
|
|
|
/// specifies a shuffle of elements that is suitable for input to UNPCKL.
|
|
|
|
bool isUNPCKLMask(SDNode *N, bool V2IsSplat = false);
|
|
|
|
|
|
|
|
/// isUNPCKHMask - Return true if the specified VECTOR_SHUFFLE operand
|
|
|
|
/// specifies a shuffle of elements that is suitable for input to UNPCKH.
|
|
|
|
bool isUNPCKHMask(SDNode *N, bool V2IsSplat = false);
|
|
|
|
|
|
|
|
/// isUNPCKL_v_undef_Mask - Special case of isUNPCKLMask for canonical form
|
|
|
|
/// of vector_shuffle v, v, <0, 4, 1, 5>, i.e. vector_shuffle v, undef,
|
|
|
|
/// <0, 0, 1, 1>
|
|
|
|
bool isUNPCKL_v_undef_Mask(SDNode *N);
|
|
|
|
|
|
|
|
/// isUNPCKH_v_undef_Mask - Special case of isUNPCKHMask for canonical form
|
|
|
|
/// of vector_shuffle v, v, <2, 6, 3, 7>, i.e. vector_shuffle v, undef,
|
|
|
|
/// <2, 2, 3, 3>
|
|
|
|
bool isUNPCKH_v_undef_Mask(SDNode *N);
|
|
|
|
|
|
|
|
/// isMOVLMask - Return true if the specified VECTOR_SHUFFLE operand
|
|
|
|
/// specifies a shuffle of elements that is suitable for input to MOVSS,
|
|
|
|
/// MOVSD, and MOVD, i.e. setting the lowest element.
|
|
|
|
bool isMOVLMask(SDNode *N);
|
|
|
|
|
|
|
|
/// isMOVSHDUPMask - Return true if the specified VECTOR_SHUFFLE operand
|
|
|
|
/// specifies a shuffle of elements that is suitable for input to MOVSHDUP.
|
|
|
|
bool isMOVSHDUPMask(SDNode *N);
|
|
|
|
|
|
|
|
/// isMOVSLDUPMask - Return true if the specified VECTOR_SHUFFLE operand
|
|
|
|
/// specifies a shuffle of elements that is suitable for input to MOVSLDUP.
|
|
|
|
bool isMOVSLDUPMask(SDNode *N);
|
|
|
|
|
|
|
|
/// isSplatMask - Return true if the specified VECTOR_SHUFFLE operand
|
|
|
|
/// specifies a splat of a single element.
|
|
|
|
bool isSplatMask(SDNode *N);
|
|
|
|
|
|
|
|
/// isSplatLoMask - Return true if the specified VECTOR_SHUFFLE operand
|
|
|
|
/// specifies a splat of zero element.
|
|
|
|
bool isSplatLoMask(SDNode *N);
|
|
|
|
|
|
|
|
/// getShuffleSHUFImmediate - Return the appropriate immediate to shuffle
|
|
|
|
/// the specified isShuffleMask VECTOR_SHUFFLE mask with PSHUF* and SHUFP*
|
|
|
|
/// instructions.
|
|
|
|
unsigned getShuffleSHUFImmediate(SDNode *N);
|
|
|
|
|
|
|
|
/// getShufflePSHUFHWImmediate - Return the appropriate immediate to shuffle
|
|
|
|
/// the specified isShuffleMask VECTOR_SHUFFLE mask with PSHUFHW
|
|
|
|
/// instructions.
|
|
|
|
unsigned getShufflePSHUFHWImmediate(SDNode *N);
|
|
|
|
|
|
|
|
/// getShufflePSHUFKWImmediate - Return the appropriate immediate to shuffle
|
|
|
|
/// the specified isShuffleMask VECTOR_SHUFFLE mask with PSHUFLW
|
|
|
|
/// instructions.
|
|
|
|
unsigned getShufflePSHUFLWImmediate(SDNode *N);
|
|
|
|
}
|
|
|
|
|
2006-10-19 02:26:48 +08:00
|
|
|
//===--------------------------------------------------------------------===//
|
2005-11-15 08:40:23 +08:00
|
|
|
// X86TargetLowering - X86 Implementation of the TargetLowering interface
|
|
|
|
class X86TargetLowering : public TargetLowering {
|
|
|
|
int VarArgsFrameIndex; // FrameIndex for start of varargs area.
|
2006-09-08 14:48:29 +08:00
|
|
|
int RegSaveFrameIndex; // X86-64 vararg func register save area.
|
|
|
|
unsigned VarArgsGPOffset; // X86-64 vararg func int reg offset.
|
|
|
|
unsigned VarArgsFPOffset; // X86-64 vararg func fp reg offset.
|
2005-11-15 08:40:23 +08:00
|
|
|
int BytesToPopOnReturn; // Number of arg bytes ret should pop.
|
|
|
|
int BytesCallerReserves; // Number of arg bytes caller makes.
|
2007-10-12 03:40:01 +08:00
|
|
|
|
2005-11-15 08:40:23 +08:00
|
|
|
public:
|
2007-08-03 05:21:54 +08:00
|
|
|
explicit X86TargetLowering(TargetMachine &TM);
|
2005-11-15 08:40:23 +08:00
|
|
|
|
Much improved pic jumptable codegen:
Then:
call "L1$pb"
"L1$pb":
popl %eax
...
LBB1_1: # entry
imull $4, %ecx, %ecx
leal LJTI1_0-"L1$pb"(%eax), %edx
addl LJTI1_0-"L1$pb"(%ecx,%eax), %edx
jmpl *%edx
.align 2
.set L1_0_set_3,LBB1_3-LJTI1_0
.set L1_0_set_2,LBB1_2-LJTI1_0
.set L1_0_set_5,LBB1_5-LJTI1_0
.set L1_0_set_4,LBB1_4-LJTI1_0
LJTI1_0:
.long L1_0_set_3
.long L1_0_set_2
Now:
call "L1$pb"
"L1$pb":
popl %eax
...
LBB1_1: # entry
addl LJTI1_0-"L1$pb"(%eax,%ecx,4), %eax
jmpl *%eax
.align 2
.set L1_0_set_3,LBB1_3-"L1$pb"
.set L1_0_set_2,LBB1_2-"L1$pb"
.set L1_0_set_5,LBB1_5-"L1$pb"
.set L1_0_set_4,LBB1_4-"L1$pb"
LJTI1_0:
.long L1_0_set_3
.long L1_0_set_2
llvm-svn: 43924
2007-11-09 09:32:10 +08:00
|
|
|
/// getPICJumpTableRelocaBase - Returns relocation base for the given PIC
|
|
|
|
/// jumptable.
|
|
|
|
SDOperand getPICJumpTableRelocBase(SDOperand Table,
|
|
|
|
SelectionDAG &DAG) const;
|
|
|
|
|
2005-11-15 08:40:23 +08:00
|
|
|
// Return the number of bytes that a function should pop when it returns (in
|
|
|
|
// addition to the space used by the return address).
|
|
|
|
//
|
|
|
|
unsigned getBytesToPopOnReturn() const { return BytesToPopOnReturn; }
|
|
|
|
|
|
|
|
// Return the number of bytes that the caller reserves for arguments passed
|
|
|
|
// to this function.
|
|
|
|
unsigned getBytesCallerReserves() const { return BytesCallerReserves; }
|
|
|
|
|
2007-02-26 12:01:25 +08:00
|
|
|
/// getStackPtrReg - Return the stack pointer register we are using: either
|
|
|
|
/// ESP or RSP.
|
|
|
|
unsigned getStackPtrReg() const { return X86StackPtr; }
|
2008-01-24 07:17:41 +08:00
|
|
|
|
|
|
|
/// getByValTypeAlignment - Return the desired alignment for ByVal aggregate
|
|
|
|
/// function arguments in the caller parameter area. For X86, aggregates
|
|
|
|
/// that contains are placed at 16-byte boundaries while the rest are at
|
|
|
|
/// 4-byte boundaries.
|
|
|
|
virtual unsigned getByValTypeAlignment(const Type *Ty) const;
|
2007-02-26 12:01:25 +08:00
|
|
|
|
2005-11-15 08:40:23 +08:00
|
|
|
/// LowerOperation - Provide custom lowering hooks for some operations.
|
|
|
|
///
|
|
|
|
virtual SDOperand LowerOperation(SDOperand Op, SelectionDAG &DAG);
|
|
|
|
|
2007-11-24 15:07:01 +08:00
|
|
|
/// ExpandOperation - Custom lower the specified operation, splitting the
|
|
|
|
/// value into two pieces.
|
|
|
|
///
|
|
|
|
virtual SDNode *ExpandOperationResult(SDNode *N, SelectionDAG &DAG);
|
|
|
|
|
|
|
|
|
X86 target specific DAG combine: turn build_vector (load x), (load x+4),
(load x+8), (load x+12), <0, 1, 2, 3> to a single 128-bit load (aligned and
unaligned).
e.g.
__m128 test(float a, float b, float c, float d) {
return _mm_set_ps(d, c, b, a);
}
_test:
movups 4(%esp), %xmm0
ret
llvm-svn: 29042
2006-07-07 16:33:52 +08:00
|
|
|
virtual SDOperand PerformDAGCombine(SDNode *N, DAGCombinerInfo &DCI) const;
|
|
|
|
|
2008-01-31 02:18:23 +08:00
|
|
|
virtual MachineBasicBlock *EmitInstrWithCustomInserter(MachineInstr *MI,
|
|
|
|
MachineBasicBlock *MBB);
|
2006-01-11 08:33:36 +08:00
|
|
|
|
2005-12-20 14:22:03 +08:00
|
|
|
/// getTargetNodeName - This method returns the name of a target specific
|
|
|
|
/// DAG node.
|
|
|
|
virtual const char *getTargetNodeName(unsigned Opcode) const;
|
|
|
|
|
2008-03-10 23:42:14 +08:00
|
|
|
/// getSetCCResultType - Return the ISD::SETCC ValueType
|
|
|
|
virtual MVT::ValueType getSetCCResultType(const SDOperand &) const;
|
|
|
|
|
2006-02-17 05:11:51 +08:00
|
|
|
/// computeMaskedBitsForTargetNode - Determine which of the bits specified
|
|
|
|
/// in Mask are known to be either zero or one and return them in the
|
|
|
|
/// KnownZero/KnownOne bitsets.
|
|
|
|
virtual void computeMaskedBitsForTargetNode(const SDOperand Op,
|
2008-02-14 06:28:48 +08:00
|
|
|
const APInt &Mask,
|
2008-02-13 08:35:47 +08:00
|
|
|
APInt &KnownZero,
|
|
|
|
APInt &KnownOne,
|
2007-06-22 22:59:07 +08:00
|
|
|
const SelectionDAG &DAG,
|
2006-02-17 05:11:51 +08:00
|
|
|
unsigned Depth = 0) const;
|
|
|
|
|
2005-11-15 08:40:23 +08:00
|
|
|
SDOperand getReturnAddressFrameIndex(SelectionDAG &DAG);
|
|
|
|
|
2007-03-25 10:14:49 +08:00
|
|
|
ConstraintType getConstraintType(const std::string &Constraint) const;
|
2006-07-11 10:54:03 +08:00
|
|
|
|
2006-02-01 03:43:35 +08:00
|
|
|
std::vector<unsigned>
|
2006-02-22 08:56:39 +08:00
|
|
|
getRegClassForInlineAsmConstraint(const std::string &Constraint,
|
|
|
|
MVT::ValueType VT) const;
|
2007-08-25 08:47:38 +08:00
|
|
|
|
2008-04-27 07:02:14 +08:00
|
|
|
virtual const char *LowerXConstraint(MVT::ValueType ConstraintVT) const;
|
2008-01-29 10:21:21 +08:00
|
|
|
|
2007-08-25 08:47:38 +08:00
|
|
|
/// LowerAsmOperandForConstraint - Lower the specified operand into the Ops
|
|
|
|
/// vector. If it is invalid, don't add anything to Ops.
|
|
|
|
virtual void LowerAsmOperandForConstraint(SDOperand Op,
|
|
|
|
char ConstraintLetter,
|
|
|
|
std::vector<SDOperand> &Ops,
|
2008-04-27 07:02:14 +08:00
|
|
|
SelectionDAG &DAG) const;
|
2006-11-01 04:13:11 +08:00
|
|
|
|
2006-10-19 02:26:48 +08:00
|
|
|
/// getRegForInlineAsmConstraint - Given a physical register constraint
|
|
|
|
/// (e.g. {edx}), return the register number and the register class for the
|
|
|
|
/// register. This should only be used for C_Register constraints. On
|
|
|
|
/// error, this returns a register number of 0.
|
2006-08-01 07:26:50 +08:00
|
|
|
std::pair<unsigned, const TargetRegisterClass*>
|
|
|
|
getRegForInlineAsmConstraint(const std::string &Constraint,
|
|
|
|
MVT::ValueType VT) const;
|
|
|
|
|
2007-03-31 07:15:24 +08:00
|
|
|
/// isLegalAddressingMode - Return true if the addressing mode represented
|
|
|
|
/// by AM is legal for this target, for a load/store of the specified type.
|
|
|
|
virtual bool isLegalAddressingMode(const AddrMode &AM, const Type *Ty)const;
|
|
|
|
|
Loosen up iv reuse to allow reuse of the same stride but a larger type when truncating from the larger type to smaller type is free.
e.g.
Turns this loop:
LBB1_1: # entry.bb_crit_edge
xorl %ecx, %ecx
xorw %dx, %dx
movw %dx, %si
LBB1_2: # bb
movl L_X$non_lazy_ptr, %edi
movw %si, (%edi)
movl L_Y$non_lazy_ptr, %edi
movw %dx, (%edi)
addw $4, %dx
incw %si
incl %ecx
cmpl %eax, %ecx
jne LBB1_2 # bb
into
LBB1_1: # entry.bb_crit_edge
xorl %ecx, %ecx
xorw %dx, %dx
LBB1_2: # bb
movl L_X$non_lazy_ptr, %esi
movw %cx, (%esi)
movl L_Y$non_lazy_ptr, %esi
movw %dx, (%esi)
addw $4, %dx
incl %ecx
cmpl %eax, %ecx
jne LBB1_2 # bb
llvm-svn: 43375
2007-10-26 09:56:11 +08:00
|
|
|
/// isTruncateFree - Return true if it's free to truncate a value of
|
|
|
|
/// type Ty1 to type Ty2. e.g. On x86 it's free to truncate a i32 value in
|
|
|
|
/// register EAX to i16 by referencing its sub-register AX.
|
|
|
|
virtual bool isTruncateFree(const Type *Ty1, const Type *Ty2) const;
|
2007-10-30 03:58:20 +08:00
|
|
|
virtual bool isTruncateFree(MVT::ValueType VT1, MVT::ValueType VT2) const;
|
Loosen up iv reuse to allow reuse of the same stride but a larger type when truncating from the larger type to smaller type is free.
e.g.
Turns this loop:
LBB1_1: # entry.bb_crit_edge
xorl %ecx, %ecx
xorw %dx, %dx
movw %dx, %si
LBB1_2: # bb
movl L_X$non_lazy_ptr, %edi
movw %si, (%edi)
movl L_Y$non_lazy_ptr, %edi
movw %dx, (%edi)
addw $4, %dx
incw %si
incl %ecx
cmpl %eax, %ecx
jne LBB1_2 # bb
into
LBB1_1: # entry.bb_crit_edge
xorl %ecx, %ecx
xorw %dx, %dx
LBB1_2: # bb
movl L_X$non_lazy_ptr, %esi
movw %cx, (%esi)
movl L_Y$non_lazy_ptr, %esi
movw %dx, (%esi)
addw $4, %dx
incl %ecx
cmpl %eax, %ecx
jne LBB1_2 # bb
llvm-svn: 43375
2007-10-26 09:56:11 +08:00
|
|
|
|
2006-03-23 02:59:22 +08:00
|
|
|
/// isShuffleMaskLegal - Targets can use this to indicate that they only
|
|
|
|
/// support *some* VECTOR_SHUFFLE operations, those with specific masks.
|
2006-10-19 02:26:48 +08:00
|
|
|
/// By default, if a target supports the VECTOR_SHUFFLE node, all mask
|
|
|
|
/// values are assumed to be legal.
|
2006-03-23 06:07:06 +08:00
|
|
|
virtual bool isShuffleMaskLegal(SDOperand Mask, MVT::ValueType VT) const;
|
2006-04-20 16:58:49 +08:00
|
|
|
|
|
|
|
/// isVectorClearMaskLegal - Similar to isShuffleMaskLegal. This is
|
|
|
|
/// used by Targets can use this to indicate if there is a suitable
|
|
|
|
/// VECTOR_SHUFFLE that can be used to replace a VAND with a constant
|
|
|
|
/// pool entry.
|
2008-04-10 04:09:42 +08:00
|
|
|
virtual bool isVectorClearMaskLegal(const std::vector<SDOperand> &BVOps,
|
2006-04-20 16:58:49 +08:00
|
|
|
MVT::ValueType EVT,
|
|
|
|
SelectionDAG &DAG) const;
|
2008-03-05 09:30:59 +08:00
|
|
|
|
|
|
|
/// ShouldShrinkFPConstant - If true, then instruction selection should
|
|
|
|
/// seek to shrink the FP constant of the specified type to a smaller type
|
|
|
|
/// in order to save space and / or reduce runtime.
|
|
|
|
virtual bool ShouldShrinkFPConstant(MVT::ValueType VT) const {
|
|
|
|
// Don't shrink FP constpool if SSE2 is available since cvtss2sd is more
|
|
|
|
// expensive than a straight movsd. On the other hand, it's important to
|
|
|
|
// shrink long double fp constant since fldt is very slow.
|
|
|
|
return !X86ScalarSSEf64 || VT == MVT::f80;
|
|
|
|
}
|
2007-10-12 03:40:01 +08:00
|
|
|
|
|
|
|
/// IsEligibleForTailCallOptimization - Check whether the call is eligible
|
|
|
|
/// for tail call optimization. Target which want to do tail call
|
|
|
|
/// optimization should implement this function.
|
|
|
|
virtual bool IsEligibleForTailCallOptimization(SDOperand Call,
|
|
|
|
SDOperand Ret,
|
|
|
|
SelectionDAG &DAG) const;
|
|
|
|
|
Drop ISD::MEMSET, ISD::MEMMOVE, and ISD::MEMCPY, which are not Legal
on any current target and aren't optimized in DAGCombiner. Instead
of using intermediate nodes, expand the operations, choosing between
simple loads/stores, target-specific code, and library calls,
immediately.
Previously, the code to emit optimized code for these operations
was only used at initial SelectionDAG construction time; now it is
used at all times. This fixes some cases where rep;movs was being
used for small copies where simple loads/stores would be better.
This also cleans up code that checks for alignments less than 4;
let the targets make that decision instead of doing it in
target-independent code. This allows x86 to use rep;movs in
low-alignment cases.
Also, this fixes a bug that resulted in the use of rep;stos for
memsets of 0 with non-constant memory size when the alignment was
at least 4. It's better to use the library in this case, which
can be significantly faster when the size is large.
This also preserves more SourceValue information when memory
intrinsics are lowered into simple loads/stores.
llvm-svn: 49572
2008-04-12 12:36:06 +08:00
|
|
|
virtual const X86Subtarget* getSubtarget() {
|
|
|
|
return Subtarget;
|
2007-11-06 07:12:20 +08:00
|
|
|
}
|
|
|
|
|
2008-01-18 14:52:41 +08:00
|
|
|
/// isScalarFPTypeInSSEReg - Return true if the specified scalar FP type is
|
|
|
|
/// computed in an SSE register, not on the X87 floating point stack.
|
|
|
|
bool isScalarFPTypeInSSEReg(MVT::ValueType VT) const {
|
|
|
|
return (VT == MVT::f64 && X86ScalarSSEf64) || // f64 is when SSE2
|
|
|
|
(VT == MVT::f32 && X86ScalarSSEf32); // f32 is when SSE1
|
|
|
|
}
|
|
|
|
|
2005-11-15 08:40:23 +08:00
|
|
|
private:
|
2006-04-26 04:13:52 +08:00
|
|
|
/// Subtarget - Keep a pointer to the X86Subtarget around so that we can
|
|
|
|
/// make the right decision when generating code for different targets.
|
|
|
|
const X86Subtarget *Subtarget;
|
2008-02-11 02:45:23 +08:00
|
|
|
const TargetRegisterInfo *RegInfo;
|
2006-04-26 04:13:52 +08:00
|
|
|
|
2006-09-08 14:48:29 +08:00
|
|
|
/// X86StackPtr - X86 physical register used as stack ptr.
|
|
|
|
unsigned X86StackPtr;
|
2007-10-12 03:40:01 +08:00
|
|
|
|
2007-09-23 22:52:20 +08:00
|
|
|
/// X86ScalarSSEf32, X86ScalarSSEf64 - Select between SSE or x87
|
|
|
|
/// floating point ops.
|
|
|
|
/// When SSE is available, use it for f32 operations.
|
|
|
|
/// When SSE2 is available, use it for f64 operations.
|
|
|
|
bool X86ScalarSSEf32;
|
|
|
|
bool X86ScalarSSEf64;
|
2008-01-30 03:34:22 +08:00
|
|
|
|
2007-02-25 16:59:22 +08:00
|
|
|
SDNode *LowerCallResult(SDOperand Chain, SDOperand InFlag, SDNode*TheCall,
|
|
|
|
unsigned CallingConv, SelectionDAG &DAG);
|
2008-01-30 03:34:22 +08:00
|
|
|
|
2007-09-14 23:48:13 +08:00
|
|
|
SDOperand LowerMemArgument(SDOperand Op, SelectionDAG &DAG,
|
|
|
|
const CCValAssign &VA, MachineFrameInfo *MFI,
|
2008-02-26 17:19:59 +08:00
|
|
|
unsigned CC, SDOperand Root, unsigned i);
|
2007-09-14 23:48:13 +08:00
|
|
|
|
2007-08-31 23:06:30 +08:00
|
|
|
SDOperand LowerMemOpCallTo(SDOperand Op, SelectionDAG &DAG,
|
|
|
|
const SDOperand &StackPtr,
|
|
|
|
const CCValAssign &VA, SDOperand Chain,
|
|
|
|
SDOperand Arg);
|
|
|
|
|
2008-01-06 00:56:59 +08:00
|
|
|
// Call lowering helpers.
|
|
|
|
bool IsCalleePop(SDOperand Op);
|
2008-02-27 06:21:54 +08:00
|
|
|
bool CallRequiresGOTPtrInReg(bool Is64Bit, bool IsTailCall);
|
|
|
|
bool CallRequiresFnAddressInReg(bool Is64Bit, bool IsTailCall);
|
2008-04-13 02:11:06 +08:00
|
|
|
SDOperand EmitTailCallLoadRetAddr(SelectionDAG &DAG, SDOperand &OutRetAddr,
|
|
|
|
SDOperand Chain, bool IsTailCall, bool Is64Bit,
|
|
|
|
int FPDiff);
|
|
|
|
|
|
|
|
bool CopyTailCallByValClobberedRegToVirtReg(bool containsByValArg,
|
|
|
|
SmallVector< std::pair<unsigned, unsigned>,8> &TailCallByValClobberedVRegs,
|
|
|
|
SmallVector<MVT::ValueType, 8> &TailCallByValClobberedVRegTypes,
|
|
|
|
std::pair<unsigned, SDOperand> &RegToPass,
|
|
|
|
SDOperand &OutChain,
|
|
|
|
SDOperand &OutFlag,
|
|
|
|
MachineFunction &MF,
|
|
|
|
SelectionDAG & DAG);
|
|
|
|
|
2008-01-06 00:56:59 +08:00
|
|
|
CCAssignFn *CCAssignFnForNode(SDOperand Op) const;
|
|
|
|
NameDecorationStyle NameDecorationForFORMAL_ARGUMENTS(SDOperand Op);
|
2007-10-12 03:40:01 +08:00
|
|
|
unsigned GetAlignedArgumentStackSize(unsigned StackSize, SelectionDAG &DAG);
|
2006-01-27 16:10:46 +08:00
|
|
|
|
2007-11-24 15:07:01 +08:00
|
|
|
std::pair<SDOperand,SDOperand> FP_TO_SINTHelper(SDOperand Op,
|
|
|
|
SelectionDAG &DAG);
|
|
|
|
|
2006-04-26 04:13:52 +08:00
|
|
|
SDOperand LowerBUILD_VECTOR(SDOperand Op, SelectionDAG &DAG);
|
|
|
|
SDOperand LowerVECTOR_SHUFFLE(SDOperand Op, SelectionDAG &DAG);
|
|
|
|
SDOperand LowerEXTRACT_VECTOR_ELT(SDOperand Op, SelectionDAG &DAG);
|
2008-02-11 12:19:36 +08:00
|
|
|
SDOperand LowerEXTRACT_VECTOR_ELT_SSE4(SDOperand Op, SelectionDAG &DAG);
|
2006-04-26 04:13:52 +08:00
|
|
|
SDOperand LowerINSERT_VECTOR_ELT(SDOperand Op, SelectionDAG &DAG);
|
2008-02-11 12:19:36 +08:00
|
|
|
SDOperand LowerINSERT_VECTOR_ELT_SSE4(SDOperand Op, SelectionDAG &DAG);
|
2006-04-26 04:13:52 +08:00
|
|
|
SDOperand LowerSCALAR_TO_VECTOR(SDOperand Op, SelectionDAG &DAG);
|
|
|
|
SDOperand LowerConstantPool(SDOperand Op, SelectionDAG &DAG);
|
|
|
|
SDOperand LowerGlobalAddress(SDOperand Op, SelectionDAG &DAG);
|
2007-04-21 05:38:10 +08:00
|
|
|
SDOperand LowerGlobalTLSAddress(SDOperand Op, SelectionDAG &DAG);
|
2006-04-26 04:13:52 +08:00
|
|
|
SDOperand LowerExternalSymbol(SDOperand Op, SelectionDAG &DAG);
|
|
|
|
SDOperand LowerShift(SDOperand Op, SelectionDAG &DAG);
|
|
|
|
SDOperand LowerSINT_TO_FP(SDOperand Op, SelectionDAG &DAG);
|
|
|
|
SDOperand LowerFP_TO_SINT(SDOperand Op, SelectionDAG &DAG);
|
|
|
|
SDOperand LowerFABS(SDOperand Op, SelectionDAG &DAG);
|
|
|
|
SDOperand LowerFNEG(SDOperand Op, SelectionDAG &DAG);
|
2007-01-05 15:55:56 +08:00
|
|
|
SDOperand LowerFCOPYSIGN(SDOperand Op, SelectionDAG &DAG);
|
2007-09-29 08:00:36 +08:00
|
|
|
SDOperand LowerSETCC(SDOperand Op, SelectionDAG &DAG);
|
2006-04-26 04:13:52 +08:00
|
|
|
SDOperand LowerSELECT(SDOperand Op, SelectionDAG &DAG);
|
|
|
|
SDOperand LowerBRCOND(SDOperand Op, SelectionDAG &DAG);
|
|
|
|
SDOperand LowerMEMSET(SDOperand Op, SelectionDAG &DAG);
|
|
|
|
SDOperand LowerJumpTable(SDOperand Op, SelectionDAG &DAG);
|
2006-05-25 08:59:30 +08:00
|
|
|
SDOperand LowerCALL(SDOperand Op, SelectionDAG &DAG);
|
2006-04-26 04:13:52 +08:00
|
|
|
SDOperand LowerRET(SDOperand Op, SelectionDAG &DAG);
|
2007-04-17 17:20:00 +08:00
|
|
|
SDOperand LowerDYNAMIC_STACKALLOC(SDOperand Op, SelectionDAG &DAG);
|
2006-04-26 09:20:17 +08:00
|
|
|
SDOperand LowerFORMAL_ARGUMENTS(SDOperand Op, SelectionDAG &DAG);
|
2006-04-26 04:13:52 +08:00
|
|
|
SDOperand LowerVASTART(SDOperand Op, SelectionDAG &DAG);
|
2007-03-03 07:16:35 +08:00
|
|
|
SDOperand LowerVACOPY(SDOperand Op, SelectionDAG &DAG);
|
2006-04-26 04:13:52 +08:00
|
|
|
SDOperand LowerINTRINSIC_WO_CHAIN(SDOperand Op, SelectionDAG &DAG);
|
2007-01-30 06:58:52 +08:00
|
|
|
SDOperand LowerRETURNADDR(SDOperand Op, SelectionDAG &DAG);
|
|
|
|
SDOperand LowerFRAMEADDR(SDOperand Op, SelectionDAG &DAG);
|
2007-07-14 22:06:15 +08:00
|
|
|
SDOperand LowerFRAME_TO_ARGS_OFFSET(SDOperand Op, SelectionDAG &DAG);
|
|
|
|
SDOperand LowerEH_RETURN(SDOperand Op, SelectionDAG &DAG);
|
2007-07-28 04:02:49 +08:00
|
|
|
SDOperand LowerTRAMPOLINE(SDOperand Op, SelectionDAG &DAG);
|
2008-01-31 08:41:03 +08:00
|
|
|
SDOperand LowerFLT_ROUNDS_(SDOperand Op, SelectionDAG &DAG);
|
2007-12-14 10:13:44 +08:00
|
|
|
SDOperand LowerCTLZ(SDOperand Op, SelectionDAG &DAG);
|
|
|
|
SDOperand LowerCTTZ(SDOperand Op, SelectionDAG &DAG);
|
2008-03-05 09:15:49 +08:00
|
|
|
SDOperand LowerLCS(SDOperand Op, SelectionDAG &DAG);
|
2007-11-24 15:07:01 +08:00
|
|
|
SDNode *ExpandFP_TO_SINT(SDNode *N, SelectionDAG &DAG);
|
|
|
|
SDNode *ExpandREADCYCLECOUNTER(SDNode *N, SelectionDAG &DAG);
|
2008-03-05 09:15:49 +08:00
|
|
|
SDNode *ExpandATOMIC_LCS(SDNode *N, SelectionDAG &DAG);
|
Drop ISD::MEMSET, ISD::MEMMOVE, and ISD::MEMCPY, which are not Legal
on any current target and aren't optimized in DAGCombiner. Instead
of using intermediate nodes, expand the operations, choosing between
simple loads/stores, target-specific code, and library calls,
immediately.
Previously, the code to emit optimized code for these operations
was only used at initial SelectionDAG construction time; now it is
used at all times. This fixes some cases where rep;movs was being
used for small copies where simple loads/stores would be better.
This also cleans up code that checks for alignments less than 4;
let the targets make that decision instead of doing it in
target-independent code. This allows x86 to use rep;movs in
low-alignment cases.
Also, this fixes a bug that resulted in the use of rep;stos for
memsets of 0 with non-constant memory size when the alignment was
at least 4. It's better to use the library in this case, which
can be significantly faster when the size is large.
This also preserves more SourceValue information when memory
intrinsics are lowered into simple loads/stores.
llvm-svn: 49572
2008-04-12 12:36:06 +08:00
|
|
|
|
|
|
|
SDOperand EmitTargetCodeForMemset(SelectionDAG &DAG,
|
|
|
|
SDOperand Chain,
|
|
|
|
SDOperand Dst, SDOperand Src,
|
|
|
|
SDOperand Size, unsigned Align,
|
2008-04-15 01:55:48 +08:00
|
|
|
const Value *DstSV, uint64_t DstOff);
|
Drop ISD::MEMSET, ISD::MEMMOVE, and ISD::MEMCPY, which are not Legal
on any current target and aren't optimized in DAGCombiner. Instead
of using intermediate nodes, expand the operations, choosing between
simple loads/stores, target-specific code, and library calls,
immediately.
Previously, the code to emit optimized code for these operations
was only used at initial SelectionDAG construction time; now it is
used at all times. This fixes some cases where rep;movs was being
used for small copies where simple loads/stores would be better.
This also cleans up code that checks for alignments less than 4;
let the targets make that decision instead of doing it in
target-independent code. This allows x86 to use rep;movs in
low-alignment cases.
Also, this fixes a bug that resulted in the use of rep;stos for
memsets of 0 with non-constant memory size when the alignment was
at least 4. It's better to use the library in this case, which
can be significantly faster when the size is large.
This also preserves more SourceValue information when memory
intrinsics are lowered into simple loads/stores.
llvm-svn: 49572
2008-04-12 12:36:06 +08:00
|
|
|
SDOperand EmitTargetCodeForMemcpy(SelectionDAG &DAG,
|
|
|
|
SDOperand Chain,
|
|
|
|
SDOperand Dst, SDOperand Src,
|
|
|
|
SDOperand Size, unsigned Align,
|
|
|
|
bool AlwaysInline,
|
2008-04-15 01:55:48 +08:00
|
|
|
const Value *DstSV, uint64_t DstOff,
|
|
|
|
const Value *SrcSV, uint64_t SrcOff);
|
2005-11-15 08:40:23 +08:00
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
#endif // X86ISELLOWERING_H
|