X86ISelLowering.h revision 0038e598037f76c2dce8b55ebb5e9147fd786330
1dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner//===-- X86ISelLowering.h - X86 DAG Lowering Interface ----------*- C++ -*-===// 2dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner// 3dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner// The LLVM Compiler Infrastructure 4dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner// 5dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner// This file was developed by Chris Lattner and is distributed under 6dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner// the University of Illinois Open Source License. See LICENSE.TXT for details. 7dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner// 8dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner//===----------------------------------------------------------------------===// 9dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner// 10dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner// This file defines the interfaces that X86 uses to lower LLVM code into a 11dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner// selection DAG. 12dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner// 13dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner//===----------------------------------------------------------------------===// 14dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner 15dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner#ifndef X86ISELLOWERING_H 16dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner#define X86ISELLOWERING_H 17dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner 18559806f575297866609c7bef0e5c1084dcdda9a5Evan Cheng#include "X86Subtarget.h" 19dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner#include "llvm/Target/TargetLowering.h" 20dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner#include "llvm/CodeGen/SelectionDAG.h" 21dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner 22dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattnernamespace llvm { 23dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner namespace X86ISD { 24d9558e0ba6ddcf2798cfb88cc56e5f1c8135eb0dEvan Cheng // X86 Specific DAG Nodes 25dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner enum NodeType { 26dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner // Start the numbering where the builtin ops leave off. 277df96d66729d1f33934de7b52553e5f071686041Evan Cheng FIRST_NUMBER = ISD::BUILTIN_OP_END+X86::INSTRUCTION_LIST_END, 28dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner 29e3413160ca2fb42854b2a23be6b2114c1da2778cEvan Cheng /// SHLD, SHRD - Double shift instructions. These correspond to 30e3413160ca2fb42854b2a23be6b2114c1da2778cEvan Cheng /// X86::SHLDxx and X86::SHRDxx instructions. 31e3413160ca2fb42854b2a23be6b2114c1da2778cEvan Cheng SHLD, 32e3413160ca2fb42854b2a23be6b2114c1da2778cEvan Cheng SHRD, 33e3413160ca2fb42854b2a23be6b2114c1da2778cEvan Cheng 34ef6ffb17c71232af5962f9926b31508eb942cddcEvan Cheng /// FAND - Bitwise logical AND of floating point values. This corresponds 35ef6ffb17c71232af5962f9926b31508eb942cddcEvan Cheng /// to X86::ANDPS or X86::ANDPD. 36ef6ffb17c71232af5962f9926b31508eb942cddcEvan Cheng FAND, 37ef6ffb17c71232af5962f9926b31508eb942cddcEvan Cheng 38223547ab3101f32252cb704a67bd757e00fdbd16Evan Cheng /// FXOR - Bitwise logical XOR of floating point values. This corresponds 39223547ab3101f32252cb704a67bd757e00fdbd16Evan Cheng /// to X86::XORPS or X86::XORPD. 40223547ab3101f32252cb704a67bd757e00fdbd16Evan Cheng FXOR, 41223547ab3101f32252cb704a67bd757e00fdbd16Evan Cheng 42e3de85b447b0a94c82f147159a0c903ea47e0069Evan Cheng /// FILD, FILD_FLAG - This instruction implements SINT_TO_FP with the 43e3de85b447b0a94c82f147159a0c903ea47e0069Evan Cheng /// integer source in memory and FP reg result. This corresponds to the 44e3de85b447b0a94c82f147159a0c903ea47e0069Evan Cheng /// X86::FILD*m instructions. It has three inputs (token chain, address, 45e3de85b447b0a94c82f147159a0c903ea47e0069Evan Cheng /// and source type) and two outputs (FP value and token chain). FILD_FLAG 46e3de85b447b0a94c82f147159a0c903ea47e0069Evan Cheng /// also produces a flag). 47a3195e86439896ecba9b3f2afce40919b20a987aEvan Cheng FILD, 48e3de85b447b0a94c82f147159a0c903ea47e0069Evan Cheng FILD_FLAG, 49dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner 50dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// FP_TO_INT*_IN_MEM - This instruction implements FP_TO_SINT with the 51dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// integer destination in memory and a FP reg source. This corresponds 52dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// to the X86::FIST*m instructions and the rounding mode change stuff. It 53a3195e86439896ecba9b3f2afce40919b20a987aEvan Cheng /// has two inputs (token chain and address) and two outputs (int value and 54dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// token chain). 55dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner FP_TO_INT16_IN_MEM, 56dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner FP_TO_INT32_IN_MEM, 57dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner FP_TO_INT64_IN_MEM, 58dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner 59b077b842b64af39c8e2e9aaad327b3be446790ddEvan Cheng /// FLD - This instruction implements an extending load to FP stack slots. 60b077b842b64af39c8e2e9aaad327b3be446790ddEvan Cheng /// This corresponds to the X86::FLD32m / X86::FLD64m. It takes a chain 6138bcbaf23e8836c8f64e7fd66ebebc44a2b921a1Evan Cheng /// operand, ptr to load from, and a ValueType node indicating the type 6238bcbaf23e8836c8f64e7fd66ebebc44a2b921a1Evan Cheng /// to load to. 63b077b842b64af39c8e2e9aaad327b3be446790ddEvan Cheng FLD, 64b077b842b64af39c8e2e9aaad327b3be446790ddEvan Cheng 65d90eb7fb2435e2abedb4694edc44fa45642edbe9Evan Cheng /// FST - This instruction implements a truncating store to FP stack 66d90eb7fb2435e2abedb4694edc44fa45642edbe9Evan Cheng /// slots. This corresponds to the X86::FST32m / X86::FST64m. It takes a 67d90eb7fb2435e2abedb4694edc44fa45642edbe9Evan Cheng /// chain operand, value to store, address, and a ValueType to store it 68d90eb7fb2435e2abedb4694edc44fa45642edbe9Evan Cheng /// as. 69d90eb7fb2435e2abedb4694edc44fa45642edbe9Evan Cheng FST, 70d90eb7fb2435e2abedb4694edc44fa45642edbe9Evan Cheng 71d90eb7fb2435e2abedb4694edc44fa45642edbe9Evan Cheng /// FP_SET_RESULT - This corresponds to FpGETRESULT pseudo instrcuction 72d90eb7fb2435e2abedb4694edc44fa45642edbe9Evan Cheng /// which copies from ST(0) to the destination. It takes a chain and writes 73d90eb7fb2435e2abedb4694edc44fa45642edbe9Evan Cheng /// a RFP result and a chain. 74d90eb7fb2435e2abedb4694edc44fa45642edbe9Evan Cheng FP_GET_RESULT, 75d90eb7fb2435e2abedb4694edc44fa45642edbe9Evan Cheng 76b077b842b64af39c8e2e9aaad327b3be446790ddEvan Cheng /// FP_SET_RESULT - This corresponds to FpSETRESULT pseudo instrcuction 77b077b842b64af39c8e2e9aaad327b3be446790ddEvan Cheng /// which copies the source operand to ST(0). It takes a chain and writes 78b077b842b64af39c8e2e9aaad327b3be446790ddEvan Cheng /// a chain and a flag. 79b077b842b64af39c8e2e9aaad327b3be446790ddEvan Cheng FP_SET_RESULT, 80b077b842b64af39c8e2e9aaad327b3be446790ddEvan Cheng 81dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// CALL/TAILCALL - These operations represent an abstract X86 call 82dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// instruction, which includes a bunch of information. In particular the 83dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// operands of these node are: 84dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// 85dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// #0 - The incoming token chain 86dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// #1 - The callee 87dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// #2 - The number of arg bytes the caller pushes on the stack. 88dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// #3 - The number of arg bytes the callee pops off the stack. 89dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// #4 - The value to pass in AL/AX/EAX (optional) 90dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// #5 - The value to pass in DL/DX/EDX (optional) 91dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// 92dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// The result values of these nodes are: 93dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// 94dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// #0 - The outgoing token chain 95dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// #1 - The first register result value (optional) 96dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// #2 - The second register result value (optional) 97dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// 98dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// The CALL vs TAILCALL distinction boils down to whether the callee is 99dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// known not to modify the caller's stack frame, as is standard with 100dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// LLVM. 101dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner CALL, 102dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner TAILCALL, 103b873ff322c28ce097762355921100b677c71238dAndrew Lenharth 104b873ff322c28ce097762355921100b677c71238dAndrew Lenharth /// RDTSC_DAG - This operation implements the lowering for 105b873ff322c28ce097762355921100b677c71238dAndrew Lenharth /// readcyclecounter 106b873ff322c28ce097762355921100b677c71238dAndrew Lenharth RDTSC_DAG, 1077df96d66729d1f33934de7b52553e5f071686041Evan Cheng 1087df96d66729d1f33934de7b52553e5f071686041Evan Cheng /// X86 compare and logical compare instructions. 1097df96d66729d1f33934de7b52553e5f071686041Evan Cheng CMP, TEST, 1107df96d66729d1f33934de7b52553e5f071686041Evan Cheng 111d5781fca4f8f98863560338d4f8d017389428119Evan Cheng /// X86 SetCC. Operand 1 is condition code, and operand 2 is the flag 112d5781fca4f8f98863560338d4f8d017389428119Evan Cheng /// operand produced by a CMP instruction. 113d5781fca4f8f98863560338d4f8d017389428119Evan Cheng SETCC, 114d5781fca4f8f98863560338d4f8d017389428119Evan Cheng 115d5781fca4f8f98863560338d4f8d017389428119Evan Cheng /// X86 conditional moves. Operand 1 and operand 2 are the two values 116d5781fca4f8f98863560338d4f8d017389428119Evan Cheng /// to select from (operand 1 is a R/W operand). Operand 3 is the condition 117d5781fca4f8f98863560338d4f8d017389428119Evan Cheng /// code, and operand 4 is the flag operand produced by a CMP or TEST 118e3413160ca2fb42854b2a23be6b2114c1da2778cEvan Cheng /// instruction. It also writes a flag result. 1197df96d66729d1f33934de7b52553e5f071686041Evan Cheng CMOV, 120898101c15fa11a896deb4e2fcb73b4727e1dcc1fEvan Cheng 121d5781fca4f8f98863560338d4f8d017389428119Evan Cheng /// X86 conditional branches. Operand 1 is the chain operand, operand 2 122d5781fca4f8f98863560338d4f8d017389428119Evan Cheng /// is the block to branch if condition is true, operand 3 is the 123d5781fca4f8f98863560338d4f8d017389428119Evan Cheng /// condition code, and operand 4 is the flag operand produced by a CMP 124d5781fca4f8f98863560338d4f8d017389428119Evan Cheng /// or TEST instruction. 125898101c15fa11a896deb4e2fcb73b4727e1dcc1fEvan Cheng BRCOND, 126b077b842b64af39c8e2e9aaad327b3be446790ddEvan Cheng 12767f92a76497d1f50e0dd6279c81b45689bd463f5Evan Cheng /// Return with a flag operand. Operand 1 is the chain operand, operand 12867f92a76497d1f50e0dd6279c81b45689bd463f5Evan Cheng /// 2 is the number of bytes of stack to pop. 129b077b842b64af39c8e2e9aaad327b3be446790ddEvan Cheng RET_FLAG, 13067f92a76497d1f50e0dd6279c81b45689bd463f5Evan Cheng 13167f92a76497d1f50e0dd6279c81b45689bd463f5Evan Cheng /// REP_STOS - Repeat fill, corresponds to X86::REP_STOSx. 13267f92a76497d1f50e0dd6279c81b45689bd463f5Evan Cheng REP_STOS, 13367f92a76497d1f50e0dd6279c81b45689bd463f5Evan Cheng 13467f92a76497d1f50e0dd6279c81b45689bd463f5Evan Cheng /// REP_MOVS - Repeat move, corresponds to X86::REP_MOVSx. 13567f92a76497d1f50e0dd6279c81b45689bd463f5Evan Cheng REP_MOVS, 136223547ab3101f32252cb704a67bd757e00fdbd16Evan Cheng 137223547ab3101f32252cb704a67bd757e00fdbd16Evan Cheng /// LOAD_PACK Load a 128-bit packed float / double value. It has the same 138223547ab3101f32252cb704a67bd757e00fdbd16Evan Cheng /// operands as a normal load. 139223547ab3101f32252cb704a67bd757e00fdbd16Evan Cheng LOAD_PACK, 1407ccced634ae0ecdc1c4f599fd3abf188c367e231Evan Cheng 1417ccced634ae0ecdc1c4f599fd3abf188c367e231Evan Cheng /// GlobalBaseReg - On Darwin, this node represents the result of the popl 1427ccced634ae0ecdc1c4f599fd3abf188c367e231Evan Cheng /// at function entry, used for PIC code. 1437ccced634ae0ecdc1c4f599fd3abf188c367e231Evan Cheng GlobalBaseReg, 144a0ea0539e359f6d82218e5aa4cdf3b50b17d6fbdEvan Cheng 145020d2e8e7aa36692af13c1215fdd6248a6d9e950Evan Cheng /// TCPWrapper - A wrapper node for TargetConstantPool, 146020d2e8e7aa36692af13c1215fdd6248a6d9e950Evan Cheng /// TargetExternalSymbol, and TargetGlobalAddress. 147020d2e8e7aa36692af13c1215fdd6248a6d9e950Evan Cheng Wrapper, 14848090aa8145640c023563751a8a1e1bcc09125e5Evan Cheng 149bc4832bc648f9cfb99a43e01852e0f2c7632f16cEvan Cheng /// S2VEC - X86 version of SCALAR_TO_VECTOR. The destination base does not 150bc4832bc648f9cfb99a43e01852e0f2c7632f16cEvan Cheng /// have to match the operand type. 151bc4832bc648f9cfb99a43e01852e0f2c7632f16cEvan Cheng S2VEC, 152b9df0ca67b9a59c75685a72ee50b1b471aa9d1bfEvan Cheng 153bc4832bc648f9cfb99a43e01852e0f2c7632f16cEvan Cheng /// ZEXT_S2VEC - SCALAR_TO_VECTOR with zero extension. The destination base 154bc4832bc648f9cfb99a43e01852e0f2c7632f16cEvan Cheng /// does not have to match the operand type. 155bc4832bc648f9cfb99a43e01852e0f2c7632f16cEvan Cheng ZEXT_S2VEC, 156dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner }; 157d9558e0ba6ddcf2798cfb88cc56e5f1c8135eb0dEvan Cheng 158d9558e0ba6ddcf2798cfb88cc56e5f1c8135eb0dEvan Cheng // X86 specific condition code. These correspond to X86_*_COND in 159d9558e0ba6ddcf2798cfb88cc56e5f1c8135eb0dEvan Cheng // X86InstrInfo.td. They must be kept in synch. 160d9558e0ba6ddcf2798cfb88cc56e5f1c8135eb0dEvan Cheng enum CondCode { 161d9558e0ba6ddcf2798cfb88cc56e5f1c8135eb0dEvan Cheng COND_A = 0, 162d9558e0ba6ddcf2798cfb88cc56e5f1c8135eb0dEvan Cheng COND_AE = 1, 163d9558e0ba6ddcf2798cfb88cc56e5f1c8135eb0dEvan Cheng COND_B = 2, 164d9558e0ba6ddcf2798cfb88cc56e5f1c8135eb0dEvan Cheng COND_BE = 3, 165d9558e0ba6ddcf2798cfb88cc56e5f1c8135eb0dEvan Cheng COND_E = 4, 166d9558e0ba6ddcf2798cfb88cc56e5f1c8135eb0dEvan Cheng COND_G = 5, 167d9558e0ba6ddcf2798cfb88cc56e5f1c8135eb0dEvan Cheng COND_GE = 6, 168d9558e0ba6ddcf2798cfb88cc56e5f1c8135eb0dEvan Cheng COND_L = 7, 169d9558e0ba6ddcf2798cfb88cc56e5f1c8135eb0dEvan Cheng COND_LE = 8, 170d9558e0ba6ddcf2798cfb88cc56e5f1c8135eb0dEvan Cheng COND_NE = 9, 171d9558e0ba6ddcf2798cfb88cc56e5f1c8135eb0dEvan Cheng COND_NO = 10, 172d9558e0ba6ddcf2798cfb88cc56e5f1c8135eb0dEvan Cheng COND_NP = 11, 173d9558e0ba6ddcf2798cfb88cc56e5f1c8135eb0dEvan Cheng COND_NS = 12, 174d9558e0ba6ddcf2798cfb88cc56e5f1c8135eb0dEvan Cheng COND_O = 13, 175d9558e0ba6ddcf2798cfb88cc56e5f1c8135eb0dEvan Cheng COND_P = 14, 176d9558e0ba6ddcf2798cfb88cc56e5f1c8135eb0dEvan Cheng COND_S = 15, 177d9558e0ba6ddcf2798cfb88cc56e5f1c8135eb0dEvan Cheng COND_INVALID 178d9558e0ba6ddcf2798cfb88cc56e5f1c8135eb0dEvan Cheng }; 179dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner } 180dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner 181b9df0ca67b9a59c75685a72ee50b1b471aa9d1bfEvan Cheng /// Define some predicates that are used for node matching. 182b9df0ca67b9a59c75685a72ee50b1b471aa9d1bfEvan Cheng namespace X86 { 1830188ecba85c7139f237baa4ce5612fdfc83e1b84Evan Cheng /// isPSHUFDMask - Return true if the specified VECTOR_SHUFFLE operand 1840188ecba85c7139f237baa4ce5612fdfc83e1b84Evan Cheng /// specifies a shuffle of elements that is suitable for input to PSHUFD. 1850188ecba85c7139f237baa4ce5612fdfc83e1b84Evan Cheng bool isPSHUFDMask(SDNode *N); 1860188ecba85c7139f237baa4ce5612fdfc83e1b84Evan Cheng 18714aed5e66b606ab3ba39e1effd2a0a17790d6f19Evan Cheng /// isSHUFPMask - Return true if the specified VECTOR_SHUFFLE operand 18814aed5e66b606ab3ba39e1effd2a0a17790d6f19Evan Cheng /// specifies a shuffle of elements that is suitable for input to SHUFP*. 18914aed5e66b606ab3ba39e1effd2a0a17790d6f19Evan Cheng bool isSHUFPMask(SDNode *N); 19014aed5e66b606ab3ba39e1effd2a0a17790d6f19Evan Cheng 1912c0dbd01d240f80e5517773d8e2f77924c69a6ecEvan Cheng /// isMOVLHPSorUNPCKLPDMask - Return true if the specified VECTOR_SHUFFLE 1922c0dbd01d240f80e5517773d8e2f77924c69a6ecEvan Cheng /// operand specifies a shuffle of elements that is suitable for input to 1932c0dbd01d240f80e5517773d8e2f77924c69a6ecEvan Cheng /// MOVLHPS or UNPCKLPD. 1942c0dbd01d240f80e5517773d8e2f77924c69a6ecEvan Cheng bool isMOVLHPSorUNPCKLPDMask(SDNode *N); 1952c0dbd01d240f80e5517773d8e2f77924c69a6ecEvan Cheng 1962c0dbd01d240f80e5517773d8e2f77924c69a6ecEvan Cheng /// isMOVHLPSMask - Return true if the specified VECTOR_SHUFFLE operand 1972c0dbd01d240f80e5517773d8e2f77924c69a6ecEvan Cheng /// specifies a shuffle of elements that is suitable for input to MOVHLPS. 1982c0dbd01d240f80e5517773d8e2f77924c69a6ecEvan Cheng bool isMOVHLPSMask(SDNode *N); 1992c0dbd01d240f80e5517773d8e2f77924c69a6ecEvan Cheng 2002c0dbd01d240f80e5517773d8e2f77924c69a6ecEvan Cheng /// isUNPCKHPDMask - Return true if the specified VECTOR_SHUFFLE operand 2012c0dbd01d240f80e5517773d8e2f77924c69a6ecEvan Cheng /// specifies a shuffle of elements that is suitable for input to UNPCKHPD. 2022c0dbd01d240f80e5517773d8e2f77924c69a6ecEvan Cheng bool isUNPCKHPDMask(SDNode *N); 2032c0dbd01d240f80e5517773d8e2f77924c69a6ecEvan Cheng 2040038e598037f76c2dce8b55ebb5e9147fd786330Evan Cheng /// isUNPCKLMask - Return true if the specified VECTOR_SHUFFLE operand 2050038e598037f76c2dce8b55ebb5e9147fd786330Evan Cheng /// specifies a shuffle of elements that is suitable for input to UNPCKL. 2060038e598037f76c2dce8b55ebb5e9147fd786330Evan Cheng bool isUNPCKLMask(SDNode *N); 2070038e598037f76c2dce8b55ebb5e9147fd786330Evan Cheng 208b9df0ca67b9a59c75685a72ee50b1b471aa9d1bfEvan Cheng /// isSplatMask - Return true if the specified VECTOR_SHUFFLE operand 209b9df0ca67b9a59c75685a72ee50b1b471aa9d1bfEvan Cheng /// specifies a splat of a single element. 210b9df0ca67b9a59c75685a72ee50b1b471aa9d1bfEvan Cheng bool isSplatMask(SDNode *N); 211b9df0ca67b9a59c75685a72ee50b1b471aa9d1bfEvan Cheng 21263d3300da1ec6403fbf11f62d6404c7f87bffdbaEvan Cheng /// getShuffleSHUFImmediate - Return the appropriate immediate to shuffle 21363d3300da1ec6403fbf11f62d6404c7f87bffdbaEvan Cheng /// the specified isShuffleMask VECTOR_SHUFFLE mask with PSHUF* and SHUFP* 21463d3300da1ec6403fbf11f62d6404c7f87bffdbaEvan Cheng /// instructions. 21563d3300da1ec6403fbf11f62d6404c7f87bffdbaEvan Cheng unsigned getShuffleSHUFImmediate(SDNode *N); 216b9df0ca67b9a59c75685a72ee50b1b471aa9d1bfEvan Cheng } 217b9df0ca67b9a59c75685a72ee50b1b471aa9d1bfEvan Cheng 218dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner //===----------------------------------------------------------------------===// 219dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner // X86TargetLowering - X86 Implementation of the TargetLowering interface 220dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner class X86TargetLowering : public TargetLowering { 221dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner int VarArgsFrameIndex; // FrameIndex for start of varargs area. 222dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner int ReturnAddrIndex; // FrameIndex for return slot. 223dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner int BytesToPopOnReturn; // Number of arg bytes ret should pop. 224dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner int BytesCallerReserves; // Number of arg bytes caller makes. 225dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner public: 226dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner X86TargetLowering(TargetMachine &TM); 227dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner 228dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner // Return the number of bytes that a function should pop when it returns (in 229dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner // addition to the space used by the return address). 230dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner // 231dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner unsigned getBytesToPopOnReturn() const { return BytesToPopOnReturn; } 232dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner 233dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner // Return the number of bytes that the caller reserves for arguments passed 234dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner // to this function. 235dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner unsigned getBytesCallerReserves() const { return BytesCallerReserves; } 236dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner 237dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// LowerOperation - Provide custom lowering hooks for some operations. 238dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// 239dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner virtual SDOperand LowerOperation(SDOperand Op, SelectionDAG &DAG); 240dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner 241dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// LowerArguments - This hook must be implemented to indicate how we should 242dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// lower the arguments for the specified function, into the specified DAG. 243dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner virtual std::vector<SDOperand> 244dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner LowerArguments(Function &F, SelectionDAG &DAG); 245dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner 246dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// LowerCallTo - This hook lowers an abstract call to a function into an 247dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// actual call. 248dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner virtual std::pair<SDOperand, SDOperand> 249dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner LowerCallTo(SDOperand Chain, const Type *RetTy, bool isVarArg, unsigned CC, 250dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner bool isTailCall, SDOperand Callee, ArgListTy &Args, 251dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner SelectionDAG &DAG); 252dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner 253dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner virtual std::pair<SDOperand, SDOperand> 254dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner LowerFrameReturnAddress(bool isFrameAddr, SDOperand Chain, unsigned Depth, 255dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner SelectionDAG &DAG); 256dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner 2574a46080fe0133c71b511805c63abfb158dcd56a5Evan Cheng virtual MachineBasicBlock *InsertAtEndOfBasicBlock(MachineInstr *MI, 2584a46080fe0133c71b511805c63abfb158dcd56a5Evan Cheng MachineBasicBlock *MBB); 2594a46080fe0133c71b511805c63abfb158dcd56a5Evan Cheng 2607226158d7e3986e55b58214a749aa4eabb3fb6d5Evan Cheng /// getTargetNodeName - This method returns the name of a target specific 2617226158d7e3986e55b58214a749aa4eabb3fb6d5Evan Cheng /// DAG node. 2627226158d7e3986e55b58214a749aa4eabb3fb6d5Evan Cheng virtual const char *getTargetNodeName(unsigned Opcode) const; 2637226158d7e3986e55b58214a749aa4eabb3fb6d5Evan Cheng 264368e18d56a87308045d341e85584597bfe7426e9Nate Begeman /// computeMaskedBitsForTargetNode - Determine which of the bits specified 265368e18d56a87308045d341e85584597bfe7426e9Nate Begeman /// in Mask are known to be either zero or one and return them in the 266368e18d56a87308045d341e85584597bfe7426e9Nate Begeman /// KnownZero/KnownOne bitsets. 267368e18d56a87308045d341e85584597bfe7426e9Nate Begeman virtual void computeMaskedBitsForTargetNode(const SDOperand Op, 268368e18d56a87308045d341e85584597bfe7426e9Nate Begeman uint64_t Mask, 269368e18d56a87308045d341e85584597bfe7426e9Nate Begeman uint64_t &KnownZero, 270368e18d56a87308045d341e85584597bfe7426e9Nate Begeman uint64_t &KnownOne, 271368e18d56a87308045d341e85584597bfe7426e9Nate Begeman unsigned Depth = 0) const; 272368e18d56a87308045d341e85584597bfe7426e9Nate Begeman 273dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner SDOperand getReturnAddressFrameIndex(SelectionDAG &DAG); 274dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner 275259e97cc725011a3c138563d421a4654b082a64cChris Lattner std::vector<unsigned> 2761efa40f6a4b561cf8f80fe018684236010645cd0Chris Lattner getRegClassForInlineAsmConstraint(const std::string &Constraint, 2771efa40f6a4b561cf8f80fe018684236010645cd0Chris Lattner MVT::ValueType VT) const; 278c4c6257c1a154279bf10e9498d46d6c1793dbaa7Evan Cheng 279c4c6257c1a154279bf10e9498d46d6c1793dbaa7Evan Cheng /// isLegalAddressImmediate - Return true if the integer value or 280c4c6257c1a154279bf10e9498d46d6c1793dbaa7Evan Cheng /// GlobalValue can be used as the offset of the target addressing mode. 281c4c6257c1a154279bf10e9498d46d6c1793dbaa7Evan Cheng virtual bool isLegalAddressImmediate(int64_t V) const; 282c4c6257c1a154279bf10e9498d46d6c1793dbaa7Evan Cheng virtual bool isLegalAddressImmediate(GlobalValue *GV) const; 283c4c6257c1a154279bf10e9498d46d6c1793dbaa7Evan Cheng 2840188ecba85c7139f237baa4ce5612fdfc83e1b84Evan Cheng /// isShuffleMaskLegal - Targets can use this to indicate that they only 2850188ecba85c7139f237baa4ce5612fdfc83e1b84Evan Cheng /// support *some* VECTOR_SHUFFLE operations, those with specific masks. 2860188ecba85c7139f237baa4ce5612fdfc83e1b84Evan Cheng /// By default, if a target supports the VECTOR_SHUFFLE node, all mask values 2870188ecba85c7139f237baa4ce5612fdfc83e1b84Evan Cheng /// are assumed to be legal. 288ca6e8eafd2dfb13b89875405c54613b9cea1ca2eEvan Cheng virtual bool isShuffleMaskLegal(SDOperand Mask, MVT::ValueType VT) const; 289dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner private: 290dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner // C Calling Convention implementation. 291dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner std::vector<SDOperand> LowerCCCArguments(Function &F, SelectionDAG &DAG); 292dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner std::pair<SDOperand, SDOperand> 293dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner LowerCCCCallTo(SDOperand Chain, const Type *RetTy, bool isVarArg, 294dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner bool isTailCall, 295dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner SDOperand Callee, ArgListTy &Args, SelectionDAG &DAG); 296dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner 297dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner // Fast Calling Convention implementation. 298dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner std::vector<SDOperand> LowerFastCCArguments(Function &F, SelectionDAG &DAG); 299dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner std::pair<SDOperand, SDOperand> 300dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner LowerFastCCCallTo(SDOperand Chain, const Type *RetTy, bool isTailCall, 301dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner SDOperand Callee, ArgListTy &Args, SelectionDAG &DAG); 302559806f575297866609c7bef0e5c1084dcdda9a5Evan Cheng 303559806f575297866609c7bef0e5c1084dcdda9a5Evan Cheng /// Subtarget - Keep a pointer to the X86Subtarget around so that we can 304559806f575297866609c7bef0e5c1084dcdda9a5Evan Cheng /// make the right decision when generating code for different targets. 305559806f575297866609c7bef0e5c1084dcdda9a5Evan Cheng const X86Subtarget *Subtarget; 306559806f575297866609c7bef0e5c1084dcdda9a5Evan Cheng 307559806f575297866609c7bef0e5c1084dcdda9a5Evan Cheng /// X86ScalarSSE - Select between SSE2 or x87 floating point ops. 308559806f575297866609c7bef0e5c1084dcdda9a5Evan Cheng bool X86ScalarSSE; 309dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner }; 310dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner} 311dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner 312dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner#endif // X86ISELLOWERING_H 313