X86ISelLowering.h revision ff9b373e8f5006c629af81e2619778b4c4f5249e
1dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner//===-- X86ISelLowering.h - X86 DAG Lowering Interface ----------*- C++ -*-===// 2dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner// 3dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner// The LLVM Compiler Infrastructure 4dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner// 54ee451de366474b9c228b4e5fa573795a715216dChris Lattner// This file is distributed under the University of Illinois Open Source 64ee451de366474b9c228b4e5fa573795a715216dChris Lattner// 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" 192365f51ed03afe6993bae962fdc2e5a956a64cd5Anton Korobeynikov#include "X86RegisterInfo.h" 2086737665b81550fdb575f7d8cc5decc801a7813dGordon Henriksen#include "X86MachineFunctionInfo.h" 21dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner#include "llvm/Target/TargetLowering.h" 22dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner#include "llvm/CodeGen/SelectionDAG.h" 231b5dcc34b701639f94008658a2042abc43b9b910Rafael Espindola#include "llvm/CodeGen/CallingConvLower.h" 24dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner 25dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattnernamespace llvm { 26dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner namespace X86ISD { 27d9558e0ba6ddcf2798cfb88cc56e5f1c8135eb0dEvan Cheng // X86 Specific DAG Nodes 28dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner enum NodeType { 29dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner // Start the numbering where the builtin ops leave off. 307df96d66729d1f33934de7b52553e5f071686041Evan Cheng FIRST_NUMBER = ISD::BUILTIN_OP_END+X86::INSTRUCTION_LIST_END, 31dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner 3218efe269b12624d74c0af6104e88864d6a932344Evan Cheng /// BSF - Bit scan forward. 3318efe269b12624d74c0af6104e88864d6a932344Evan Cheng /// BSR - Bit scan reverse. 3418efe269b12624d74c0af6104e88864d6a932344Evan Cheng BSF, 3518efe269b12624d74c0af6104e88864d6a932344Evan Cheng BSR, 3618efe269b12624d74c0af6104e88864d6a932344Evan Cheng 37e3413160ca2fb42854b2a23be6b2114c1da2778cEvan Cheng /// SHLD, SHRD - Double shift instructions. These correspond to 38e3413160ca2fb42854b2a23be6b2114c1da2778cEvan Cheng /// X86::SHLDxx and X86::SHRDxx instructions. 39e3413160ca2fb42854b2a23be6b2114c1da2778cEvan Cheng SHLD, 40e3413160ca2fb42854b2a23be6b2114c1da2778cEvan Cheng SHRD, 41e3413160ca2fb42854b2a23be6b2114c1da2778cEvan Cheng 42ef6ffb17c71232af5962f9926b31508eb942cddcEvan Cheng /// FAND - Bitwise logical AND of floating point values. This corresponds 43ef6ffb17c71232af5962f9926b31508eb942cddcEvan Cheng /// to X86::ANDPS or X86::ANDPD. 44ef6ffb17c71232af5962f9926b31508eb942cddcEvan Cheng FAND, 45ef6ffb17c71232af5962f9926b31508eb942cddcEvan Cheng 4668c47cba3589b2fc079bab0836d1ae6fc3a6278dEvan Cheng /// FOR - Bitwise logical OR of floating point values. This corresponds 4768c47cba3589b2fc079bab0836d1ae6fc3a6278dEvan Cheng /// to X86::ORPS or X86::ORPD. 4868c47cba3589b2fc079bab0836d1ae6fc3a6278dEvan Cheng FOR, 4968c47cba3589b2fc079bab0836d1ae6fc3a6278dEvan Cheng 50223547ab3101f32252cb704a67bd757e00fdbd16Evan Cheng /// FXOR - Bitwise logical XOR of floating point values. This corresponds 51223547ab3101f32252cb704a67bd757e00fdbd16Evan Cheng /// to X86::XORPS or X86::XORPD. 52223547ab3101f32252cb704a67bd757e00fdbd16Evan Cheng FXOR, 53223547ab3101f32252cb704a67bd757e00fdbd16Evan Cheng 5473d6cf12adfd915897cce7e1ba9de00f962502d5Evan Cheng /// FSRL - Bitwise logical right shift of floating point values. These 5573d6cf12adfd915897cce7e1ba9de00f962502d5Evan Cheng /// corresponds to X86::PSRLDQ. 5668c47cba3589b2fc079bab0836d1ae6fc3a6278dEvan Cheng FSRL, 5768c47cba3589b2fc079bab0836d1ae6fc3a6278dEvan Cheng 58e3de85b447b0a94c82f147159a0c903ea47e0069Evan Cheng /// FILD, FILD_FLAG - This instruction implements SINT_TO_FP with the 59e3de85b447b0a94c82f147159a0c903ea47e0069Evan Cheng /// integer source in memory and FP reg result. This corresponds to the 60e3de85b447b0a94c82f147159a0c903ea47e0069Evan Cheng /// X86::FILD*m instructions. It has three inputs (token chain, address, 61e3de85b447b0a94c82f147159a0c903ea47e0069Evan Cheng /// and source type) and two outputs (FP value and token chain). FILD_FLAG 62e3de85b447b0a94c82f147159a0c903ea47e0069Evan Cheng /// also produces a flag). 63a3195e86439896ecba9b3f2afce40919b20a987aEvan Cheng FILD, 64e3de85b447b0a94c82f147159a0c903ea47e0069Evan Cheng FILD_FLAG, 65dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner 66dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// FP_TO_INT*_IN_MEM - This instruction implements FP_TO_SINT with the 67dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// integer destination in memory and a FP reg source. This corresponds 68dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// to the X86::FIST*m instructions and the rounding mode change stuff. It 6991897778690a7d683497ba3f4040ebf09345f08aChris Lattner /// has two inputs (token chain and address) and two outputs (int value 7091897778690a7d683497ba3f4040ebf09345f08aChris Lattner /// and token chain). 71dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner FP_TO_INT16_IN_MEM, 72dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner FP_TO_INT32_IN_MEM, 73dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner FP_TO_INT64_IN_MEM, 74dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner 75b077b842b64af39c8e2e9aaad327b3be446790ddEvan Cheng /// FLD - This instruction implements an extending load to FP stack slots. 76b077b842b64af39c8e2e9aaad327b3be446790ddEvan Cheng /// This corresponds to the X86::FLD32m / X86::FLD64m. It takes a chain 7738bcbaf23e8836c8f64e7fd66ebebc44a2b921a1Evan Cheng /// operand, ptr to load from, and a ValueType node indicating the type 7838bcbaf23e8836c8f64e7fd66ebebc44a2b921a1Evan Cheng /// to load to. 79b077b842b64af39c8e2e9aaad327b3be446790ddEvan Cheng FLD, 80b077b842b64af39c8e2e9aaad327b3be446790ddEvan Cheng 81d90eb7fb2435e2abedb4694edc44fa45642edbe9Evan Cheng /// FST - This instruction implements a truncating store to FP stack 82d90eb7fb2435e2abedb4694edc44fa45642edbe9Evan Cheng /// slots. This corresponds to the X86::FST32m / X86::FST64m. It takes a 83d90eb7fb2435e2abedb4694edc44fa45642edbe9Evan Cheng /// chain operand, value to store, address, and a ValueType to store it 84d90eb7fb2435e2abedb4694edc44fa45642edbe9Evan Cheng /// as. 85d90eb7fb2435e2abedb4694edc44fa45642edbe9Evan Cheng FST, 86d90eb7fb2435e2abedb4694edc44fa45642edbe9Evan Cheng 87cb18656734c374737f27c10750a3b532ac41ab26Chris Lattner /// FP_GET_RESULT - This corresponds to FpGETRESULT pseudo instruction 88cb18656734c374737f27c10750a3b532ac41ab26Chris Lattner /// which copies from ST(0) to the destination. It takes a chain and 89cb18656734c374737f27c10750a3b532ac41ab26Chris Lattner /// writes a RFP result and a chain. 90d90eb7fb2435e2abedb4694edc44fa45642edbe9Evan Cheng FP_GET_RESULT, 91d90eb7fb2435e2abedb4694edc44fa45642edbe9Evan Cheng 920d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// FP_GET_RESULT2 - Same as FP_GET_RESULT except it copies two values 930d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// ST(0) and ST(1). 940d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng FP_GET_RESULT2, 950d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng 96cb18656734c374737f27c10750a3b532ac41ab26Chris Lattner /// FP_SET_RESULT - This corresponds to FpSETRESULT pseudo instruction 97cb18656734c374737f27c10750a3b532ac41ab26Chris Lattner /// which copies the source operand to ST(0). It takes a chain+value and 98cb18656734c374737f27c10750a3b532ac41ab26Chris Lattner /// returns a chain and a flag. 99b077b842b64af39c8e2e9aaad327b3be446790ddEvan Cheng FP_SET_RESULT, 100b077b842b64af39c8e2e9aaad327b3be446790ddEvan Cheng 101dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// CALL/TAILCALL - These operations represent an abstract X86 call 102dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// instruction, which includes a bunch of information. In particular the 103dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// operands of these node are: 104dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// 105dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// #0 - The incoming token chain 106dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// #1 - The callee 107dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// #2 - The number of arg bytes the caller pushes on the stack. 108dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// #3 - The number of arg bytes the callee pops off the stack. 109dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// #4 - The value to pass in AL/AX/EAX (optional) 110dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// #5 - The value to pass in DL/DX/EDX (optional) 111dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// 112dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// The result values of these nodes are: 113dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// 114dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// #0 - The outgoing token chain 115dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// #1 - The first register result value (optional) 116dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// #2 - The second register result value (optional) 117dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// 118dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// The CALL vs TAILCALL distinction boils down to whether the callee is 119dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// known not to modify the caller's stack frame, as is standard with 120dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// LLVM. 121dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner CALL, 122dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner TAILCALL, 123b873ff322c28ce097762355921100b677c71238dAndrew Lenharth 124b873ff322c28ce097762355921100b677c71238dAndrew Lenharth /// RDTSC_DAG - This operation implements the lowering for 125b873ff322c28ce097762355921100b677c71238dAndrew Lenharth /// readcyclecounter 126b873ff322c28ce097762355921100b677c71238dAndrew Lenharth RDTSC_DAG, 1277df96d66729d1f33934de7b52553e5f071686041Evan Cheng 1287df96d66729d1f33934de7b52553e5f071686041Evan Cheng /// X86 compare and logical compare instructions. 1297d6ff3a25d9be6fae7ad95837ba8f1a8738947b6Evan Cheng CMP, COMI, UCOMI, 1307df96d66729d1f33934de7b52553e5f071686041Evan Cheng 131d5781fca4f8f98863560338d4f8d017389428119Evan Cheng /// X86 SetCC. Operand 1 is condition code, and operand 2 is the flag 132d5781fca4f8f98863560338d4f8d017389428119Evan Cheng /// operand produced by a CMP instruction. 133d5781fca4f8f98863560338d4f8d017389428119Evan Cheng SETCC, 134d5781fca4f8f98863560338d4f8d017389428119Evan Cheng 135d5781fca4f8f98863560338d4f8d017389428119Evan Cheng /// X86 conditional moves. Operand 1 and operand 2 are the two values 13691897778690a7d683497ba3f4040ebf09345f08aChris Lattner /// to select from (operand 1 is a R/W operand). Operand 3 is the 13791897778690a7d683497ba3f4040ebf09345f08aChris Lattner /// condition code, and operand 4 is the flag operand produced by a CMP 13891897778690a7d683497ba3f4040ebf09345f08aChris Lattner /// or TEST instruction. It also writes a flag result. 1397df96d66729d1f33934de7b52553e5f071686041Evan Cheng CMOV, 140898101c15fa11a896deb4e2fcb73b4727e1dcc1fEvan Cheng 141d5781fca4f8f98863560338d4f8d017389428119Evan Cheng /// X86 conditional branches. Operand 1 is the chain operand, operand 2 142d5781fca4f8f98863560338d4f8d017389428119Evan Cheng /// is the block to branch if condition is true, operand 3 is the 143d5781fca4f8f98863560338d4f8d017389428119Evan Cheng /// condition code, and operand 4 is the flag operand produced by a CMP 144d5781fca4f8f98863560338d4f8d017389428119Evan Cheng /// or TEST instruction. 145898101c15fa11a896deb4e2fcb73b4727e1dcc1fEvan Cheng BRCOND, 146b077b842b64af39c8e2e9aaad327b3be446790ddEvan Cheng 14767f92a76497d1f50e0dd6279c81b45689bd463f5Evan Cheng /// Return with a flag operand. Operand 1 is the chain operand, operand 14867f92a76497d1f50e0dd6279c81b45689bd463f5Evan Cheng /// 2 is the number of bytes of stack to pop. 149b077b842b64af39c8e2e9aaad327b3be446790ddEvan Cheng RET_FLAG, 15067f92a76497d1f50e0dd6279c81b45689bd463f5Evan Cheng 15167f92a76497d1f50e0dd6279c81b45689bd463f5Evan Cheng /// REP_STOS - Repeat fill, corresponds to X86::REP_STOSx. 15267f92a76497d1f50e0dd6279c81b45689bd463f5Evan Cheng REP_STOS, 15367f92a76497d1f50e0dd6279c81b45689bd463f5Evan Cheng 15467f92a76497d1f50e0dd6279c81b45689bd463f5Evan Cheng /// REP_MOVS - Repeat move, corresponds to X86::REP_MOVSx. 15567f92a76497d1f50e0dd6279c81b45689bd463f5Evan Cheng REP_MOVS, 156223547ab3101f32252cb704a67bd757e00fdbd16Evan Cheng 1577ccced634ae0ecdc1c4f599fd3abf188c367e231Evan Cheng /// GlobalBaseReg - On Darwin, this node represents the result of the popl 1587ccced634ae0ecdc1c4f599fd3abf188c367e231Evan Cheng /// at function entry, used for PIC code. 1597ccced634ae0ecdc1c4f599fd3abf188c367e231Evan Cheng GlobalBaseReg, 160a0ea0539e359f6d82218e5aa4cdf3b50b17d6fbdEvan Cheng 1616458f1807d32e3625a192526c665a365f5886365Chris Lattner /// Wrapper - A wrapper node for TargetConstantPool, 162020d2e8e7aa36692af13c1215fdd6248a6d9e950Evan Cheng /// TargetExternalSymbol, and TargetGlobalAddress. 163020d2e8e7aa36692af13c1215fdd6248a6d9e950Evan Cheng Wrapper, 16448090aa8145640c023563751a8a1e1bcc09125e5Evan Cheng 1650085a28d13f86b09ba0c83e8dce81de3ba15ca2dEvan Cheng /// WrapperRIP - Special wrapper used under X86-64 PIC mode for RIP 1660085a28d13f86b09ba0c83e8dce81de3ba15ca2dEvan Cheng /// relative displacements. 1670085a28d13f86b09ba0c83e8dce81de3ba15ca2dEvan Cheng WrapperRIP, 1680085a28d13f86b09ba0c83e8dce81de3ba15ca2dEvan Cheng 169bc4832bc648f9cfb99a43e01852e0f2c7632f16cEvan Cheng /// S2VEC - X86 version of SCALAR_TO_VECTOR. The destination base does not 170bc4832bc648f9cfb99a43e01852e0f2c7632f16cEvan Cheng /// have to match the operand type. 171bc4832bc648f9cfb99a43e01852e0f2c7632f16cEvan Cheng S2VEC, 172b9df0ca67b9a59c75685a72ee50b1b471aa9d1bfEvan Cheng 173b067a1e7e68c4446d3512c25d3a5ac55c6dd76f8Evan Cheng /// PEXTRW - Extract a 16-bit value from a vector and zero extend it to 174653159f4aac61a7ad796e406a4899d27ffe5a789Evan Cheng /// i32, corresponds to X86::PEXTRW. 175b067a1e7e68c4446d3512c25d3a5ac55c6dd76f8Evan Cheng PEXTRW, 176653159f4aac61a7ad796e406a4899d27ffe5a789Evan Cheng 177653159f4aac61a7ad796e406a4899d27ffe5a789Evan Cheng /// PINSRW - Insert the lower 16-bits of a 32-bit value to a vector, 178653159f4aac61a7ad796e406a4899d27ffe5a789Evan Cheng /// corresponds to X86::PINSRW. 1798ca29326e19201075f6dc95781560ea9ad41ececEvan Cheng PINSRW, 1808ca29326e19201075f6dc95781560ea9ad41ececEvan Cheng 1818ca29326e19201075f6dc95781560ea9ad41ececEvan Cheng /// FMAX, FMIN - Floating point max and min. 1828ca29326e19201075f6dc95781560ea9ad41ececEvan Cheng /// 183b3a0417cad8b625acc3033bd5e24afb9ffd0b084Lauro Ramos Venancio FMAX, FMIN, 1842038252c6a36efd18cc0bef216fa2c5bb9236617Dan Gohman 1852038252c6a36efd18cc0bef216fa2c5bb9236617Dan Gohman /// FRSQRT, FRCP - Floating point reciprocal-sqrt and reciprocal 1862038252c6a36efd18cc0bef216fa2c5bb9236617Dan Gohman /// approximation. Note that these typically require refinement 1872038252c6a36efd18cc0bef216fa2c5bb9236617Dan Gohman /// in order to obtain suitable precision. 1882038252c6a36efd18cc0bef216fa2c5bb9236617Dan Gohman FRSQRT, FRCP, 1892038252c6a36efd18cc0bef216fa2c5bb9236617Dan Gohman 190b3a0417cad8b625acc3033bd5e24afb9ffd0b084Lauro Ramos Venancio // Thread Local Storage 1912365f51ed03afe6993bae962fdc2e5a956a64cd5Anton Korobeynikov TLSADDR, THREAD_POINTER, 1922365f51ed03afe6993bae962fdc2e5a956a64cd5Anton Korobeynikov 1932365f51ed03afe6993bae962fdc2e5a956a64cd5Anton Korobeynikov // Exception Handling helpers 194c85e1716f0e45e4c18a9ef2fbe431a51ac3a4252Arnold Schwaighofer EH_RETURN, 195c85e1716f0e45e4c18a9ef2fbe431a51ac3a4252Arnold Schwaighofer 196c85e1716f0e45e4c18a9ef2fbe431a51ac3a4252Arnold Schwaighofer // tail call return 197c85e1716f0e45e4c18a9ef2fbe431a51ac3a4252Arnold Schwaighofer // oeprand #0 chain 198c85e1716f0e45e4c18a9ef2fbe431a51ac3a4252Arnold Schwaighofer // operand #1 callee (register or absolute) 199c85e1716f0e45e4c18a9ef2fbe431a51ac3a4252Arnold Schwaighofer // operand #2 stack adjustment 200c85e1716f0e45e4c18a9ef2fbe431a51ac3a4252Arnold Schwaighofer // operand #3 optional in flag 20145b22fa9f1f085d7971cce6db4f11b353e1646c6Anton Korobeynikov TC_RETURN, 20245b22fa9f1f085d7971cce6db4f11b353e1646c6Anton Korobeynikov 20345b22fa9f1f085d7971cce6db4f11b353e1646c6Anton Korobeynikov // Store FP control world into i16 memory 204da68d30d24f3f25444793c6d8c3c5a614e523eaaChris Lattner FNSTCW16m 205dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner }; 206dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner } 207dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner 2080d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// Define some predicates that are used for node matching. 2090d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng namespace X86 { 2100d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// isPSHUFDMask - Return true if the specified VECTOR_SHUFFLE operand 2110d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// specifies a shuffle of elements that is suitable for input to PSHUFD. 2120d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng bool isPSHUFDMask(SDNode *N); 2130d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng 2140d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// isPSHUFHWMask - Return true if the specified VECTOR_SHUFFLE operand 2150d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// specifies a shuffle of elements that is suitable for input to PSHUFD. 2160d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng bool isPSHUFHWMask(SDNode *N); 2170d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng 2180d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// isPSHUFLWMask - Return true if the specified VECTOR_SHUFFLE operand 2190d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// specifies a shuffle of elements that is suitable for input to PSHUFD. 2200d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng bool isPSHUFLWMask(SDNode *N); 2210d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng 2220d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// isSHUFPMask - Return true if the specified VECTOR_SHUFFLE operand 2230d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// specifies a shuffle of elements that is suitable for input to SHUFP*. 2240d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng bool isSHUFPMask(SDNode *N); 2250d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng 2260d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// isMOVHLPSMask - Return true if the specified VECTOR_SHUFFLE operand 2270d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// specifies a shuffle of elements that is suitable for input to MOVHLPS. 2280d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng bool isMOVHLPSMask(SDNode *N); 2290d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng 2300d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// isMOVHLPS_v_undef_Mask - Special case of isMOVHLPSMask for canonical form 2310d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// of vector_shuffle v, v, <2, 3, 2, 3>, i.e. vector_shuffle v, undef, 2320d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// <2, 3, 2, 3> 2330d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng bool isMOVHLPS_v_undef_Mask(SDNode *N); 2340d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng 2350d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// isMOVLPMask - Return true if the specified VECTOR_SHUFFLE operand 2360d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// specifies a shuffle of elements that is suitable for input to MOVLP{S|D}. 2370d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng bool isMOVLPMask(SDNode *N); 2380d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng 2390d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// isMOVHPMask - Return true if the specified VECTOR_SHUFFLE operand 2400d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// specifies a shuffle of elements that is suitable for input to MOVHP{S|D} 2410d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// as well as MOVLHPS. 2420d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng bool isMOVHPMask(SDNode *N); 2430d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng 2440d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// isUNPCKLMask - Return true if the specified VECTOR_SHUFFLE operand 2450d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// specifies a shuffle of elements that is suitable for input to UNPCKL. 2460d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng bool isUNPCKLMask(SDNode *N, bool V2IsSplat = false); 2470d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng 2480d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// isUNPCKHMask - Return true if the specified VECTOR_SHUFFLE operand 2490d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// specifies a shuffle of elements that is suitable for input to UNPCKH. 2500d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng bool isUNPCKHMask(SDNode *N, bool V2IsSplat = false); 2510d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng 2520d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// isUNPCKL_v_undef_Mask - Special case of isUNPCKLMask for canonical form 2530d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// of vector_shuffle v, v, <0, 4, 1, 5>, i.e. vector_shuffle v, undef, 2540d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// <0, 0, 1, 1> 2550d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng bool isUNPCKL_v_undef_Mask(SDNode *N); 2560d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng 2570d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// isUNPCKH_v_undef_Mask - Special case of isUNPCKHMask for canonical form 2580d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// of vector_shuffle v, v, <2, 6, 3, 7>, i.e. vector_shuffle v, undef, 2590d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// <2, 2, 3, 3> 2600d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng bool isUNPCKH_v_undef_Mask(SDNode *N); 2610d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng 2620d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// isMOVLMask - Return true if the specified VECTOR_SHUFFLE operand 2630d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// specifies a shuffle of elements that is suitable for input to MOVSS, 2640d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// MOVSD, and MOVD, i.e. setting the lowest element. 2650d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng bool isMOVLMask(SDNode *N); 2660d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng 2670d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// isMOVSHDUPMask - Return true if the specified VECTOR_SHUFFLE operand 2680d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// specifies a shuffle of elements that is suitable for input to MOVSHDUP. 2690d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng bool isMOVSHDUPMask(SDNode *N); 2700d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng 2710d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// isMOVSLDUPMask - Return true if the specified VECTOR_SHUFFLE operand 2720d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// specifies a shuffle of elements that is suitable for input to MOVSLDUP. 2730d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng bool isMOVSLDUPMask(SDNode *N); 2740d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng 2750d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// isSplatMask - Return true if the specified VECTOR_SHUFFLE operand 2760d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// specifies a splat of a single element. 2770d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng bool isSplatMask(SDNode *N); 2780d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng 2790d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// isSplatLoMask - Return true if the specified VECTOR_SHUFFLE operand 2800d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// specifies a splat of zero element. 2810d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng bool isSplatLoMask(SDNode *N); 2820d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng 2830d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// getShuffleSHUFImmediate - Return the appropriate immediate to shuffle 2840d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// the specified isShuffleMask VECTOR_SHUFFLE mask with PSHUF* and SHUFP* 2850d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// instructions. 2860d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng unsigned getShuffleSHUFImmediate(SDNode *N); 2870d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng 2880d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// getShufflePSHUFHWImmediate - Return the appropriate immediate to shuffle 2890d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// the specified isShuffleMask VECTOR_SHUFFLE mask with PSHUFHW 2900d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// instructions. 2910d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng unsigned getShufflePSHUFHWImmediate(SDNode *N); 2920d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng 2930d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// getShufflePSHUFKWImmediate - Return the appropriate immediate to shuffle 2940d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// the specified isShuffleMask VECTOR_SHUFFLE mask with PSHUFLW 2950d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// instructions. 2960d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng unsigned getShufflePSHUFLWImmediate(SDNode *N); 2970d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng } 2980d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng 2990d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng namespace X86 { 3000d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// X86_64SRet - These represent different ways to implement x86_64 struct 3010d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng /// returns call results. 3020d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng enum X86_64SRet { 3030d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng InMemory, // Really is sret, returns in memory. 3040d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng InGPR64, // Returns in a pair of 64-bit integer registers. 3050d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng InSSE, // Returns in a pair of SSE registers. 3060d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng InX87 // Returns in a pair of f80 X87 registers. 3070d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng }; 3080d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng } 309b9df0ca67b9a59c75685a72ee50b1b471aa9d1bfEvan Cheng 31091897778690a7d683497ba3f4040ebf09345f08aChris Lattner //===--------------------------------------------------------------------===// 311dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner // X86TargetLowering - X86 Implementation of the TargetLowering interface 312dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner class X86TargetLowering : public TargetLowering { 313dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner int VarArgsFrameIndex; // FrameIndex for start of varargs area. 31425ab690a43cbbb591b76d49e3595b019c32f4b3fEvan Cheng int RegSaveFrameIndex; // X86-64 vararg func register save area. 31525ab690a43cbbb591b76d49e3595b019c32f4b3fEvan Cheng unsigned VarArgsGPOffset; // X86-64 vararg func int reg offset. 31625ab690a43cbbb591b76d49e3595b019c32f4b3fEvan Cheng unsigned VarArgsFPOffset; // X86-64 vararg func fp reg offset. 317dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner int BytesToPopOnReturn; // Number of arg bytes ret should pop. 318dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner int BytesCallerReserves; // Number of arg bytes caller makes. 319c85e1716f0e45e4c18a9ef2fbe431a51ac3a4252Arnold Schwaighofer 320dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner public: 32161e729e2e9517ab2d8887bab86fb377900fa1081Dan Gohman explicit X86TargetLowering(TargetMachine &TM); 322dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner 323cc41586b9d79532172b37e1f44a9077da4b73fc9Evan Cheng /// getPICJumpTableRelocaBase - Returns relocation base for the given PIC 324cc41586b9d79532172b37e1f44a9077da4b73fc9Evan Cheng /// jumptable. 325cc41586b9d79532172b37e1f44a9077da4b73fc9Evan Cheng SDOperand getPICJumpTableRelocBase(SDOperand Table, 326cc41586b9d79532172b37e1f44a9077da4b73fc9Evan Cheng SelectionDAG &DAG) const; 327cc41586b9d79532172b37e1f44a9077da4b73fc9Evan Cheng 328dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner // Return the number of bytes that a function should pop when it returns (in 329dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner // addition to the space used by the return address). 330dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner // 331dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner unsigned getBytesToPopOnReturn() const { return BytesToPopOnReturn; } 332dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner 333dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner // Return the number of bytes that the caller reserves for arguments passed 334dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner // to this function. 335dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner unsigned getBytesCallerReserves() const { return BytesCallerReserves; } 336dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner 33754e3efde4636dade74f95ede039091bf52ca1585Chris Lattner /// getStackPtrReg - Return the stack pointer register we are using: either 33854e3efde4636dade74f95ede039091bf52ca1585Chris Lattner /// ESP or RSP. 33954e3efde4636dade74f95ede039091bf52ca1585Chris Lattner unsigned getStackPtrReg() const { return X86StackPtr; } 34029286502628867b31872ead2f2527592480f0970Evan Cheng 34129286502628867b31872ead2f2527592480f0970Evan Cheng /// getByValTypeAlignment - Return the desired alignment for ByVal aggregate 34229286502628867b31872ead2f2527592480f0970Evan Cheng /// function arguments in the caller parameter area. For X86, aggregates 34329286502628867b31872ead2f2527592480f0970Evan Cheng /// that contains are placed at 16-byte boundaries while the rest are at 34429286502628867b31872ead2f2527592480f0970Evan Cheng /// 4-byte boundaries. 34529286502628867b31872ead2f2527592480f0970Evan Cheng virtual unsigned getByValTypeAlignment(const Type *Ty) const; 34654e3efde4636dade74f95ede039091bf52ca1585Chris Lattner 347dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// LowerOperation - Provide custom lowering hooks for some operations. 348dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner /// 349dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner virtual SDOperand LowerOperation(SDOperand Op, SelectionDAG &DAG); 350dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner 35127a6c7380fa4dfc8e1837a8dd67967d063b26544Chris Lattner /// ExpandOperation - Custom lower the specified operation, splitting the 35227a6c7380fa4dfc8e1837a8dd67967d063b26544Chris Lattner /// value into two pieces. 35327a6c7380fa4dfc8e1837a8dd67967d063b26544Chris Lattner /// 35427a6c7380fa4dfc8e1837a8dd67967d063b26544Chris Lattner virtual SDNode *ExpandOperationResult(SDNode *N, SelectionDAG &DAG); 35527a6c7380fa4dfc8e1837a8dd67967d063b26544Chris Lattner 35627a6c7380fa4dfc8e1837a8dd67967d063b26544Chris Lattner 357206ee9d86cd4e78176fad6bfa2b016023edf5df7Evan Cheng virtual SDOperand PerformDAGCombine(SDNode *N, DAGCombinerInfo &DCI) const; 358206ee9d86cd4e78176fad6bfa2b016023edf5df7Evan Cheng 359ff9b373e8f5006c629af81e2619778b4c4f5249eEvan Cheng virtual MachineBasicBlock *EmitInstrWithCustomInserter(MachineInstr *MI, 360ff9b373e8f5006c629af81e2619778b4c4f5249eEvan Cheng MachineBasicBlock *MBB); 3614a46080fe0133c71b511805c63abfb158dcd56a5Evan Cheng 3627226158d7e3986e55b58214a749aa4eabb3fb6d5Evan Cheng /// getTargetNodeName - This method returns the name of a target specific 3637226158d7e3986e55b58214a749aa4eabb3fb6d5Evan Cheng /// DAG node. 3647226158d7e3986e55b58214a749aa4eabb3fb6d5Evan Cheng virtual const char *getTargetNodeName(unsigned Opcode) const; 3657226158d7e3986e55b58214a749aa4eabb3fb6d5Evan Cheng 366368e18d56a87308045d341e85584597bfe7426e9Nate Begeman /// computeMaskedBitsForTargetNode - Determine which of the bits specified 367368e18d56a87308045d341e85584597bfe7426e9Nate Begeman /// in Mask are known to be either zero or one and return them in the 368368e18d56a87308045d341e85584597bfe7426e9Nate Begeman /// KnownZero/KnownOne bitsets. 369368e18d56a87308045d341e85584597bfe7426e9Nate Begeman virtual void computeMaskedBitsForTargetNode(const SDOperand Op, 370368e18d56a87308045d341e85584597bfe7426e9Nate Begeman uint64_t Mask, 371368e18d56a87308045d341e85584597bfe7426e9Nate Begeman uint64_t &KnownZero, 372368e18d56a87308045d341e85584597bfe7426e9Nate Begeman uint64_t &KnownOne, 373ea859be53ca13a1547c4675549946b74dc3c6f41Dan Gohman const SelectionDAG &DAG, 374368e18d56a87308045d341e85584597bfe7426e9Nate Begeman unsigned Depth = 0) const; 375368e18d56a87308045d341e85584597bfe7426e9Nate Begeman 376dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner SDOperand getReturnAddressFrameIndex(SelectionDAG &DAG); 377dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner 3784234f57fa02b1f04a9f52a7b3c2aa22d32ac521cChris Lattner ConstraintType getConstraintType(const std::string &Constraint) const; 379f4dff84c8614fc2106d821e4687c933d8d4b9420Chris Lattner 380259e97cc725011a3c138563d421a4654b082a64cChris Lattner std::vector<unsigned> 3811efa40f6a4b561cf8f80fe018684236010645cd0Chris Lattner getRegClassForInlineAsmConstraint(const std::string &Constraint, 3821efa40f6a4b561cf8f80fe018684236010645cd0Chris Lattner MVT::ValueType VT) const; 38348884cd80b52be1528618f2e9b3425ac24e7b5caChris Lattner 384ba2a0b960ea4c73d0f81557f63ae2ea126e08905Dale Johannesen virtual void lowerXConstraint(MVT::ValueType ConstraintVT, 385ba2a0b960ea4c73d0f81557f63ae2ea126e08905Dale Johannesen std::string&) const; 386ba2a0b960ea4c73d0f81557f63ae2ea126e08905Dale Johannesen 38748884cd80b52be1528618f2e9b3425ac24e7b5caChris Lattner /// LowerAsmOperandForConstraint - Lower the specified operand into the Ops 38848884cd80b52be1528618f2e9b3425ac24e7b5caChris Lattner /// vector. If it is invalid, don't add anything to Ops. 38948884cd80b52be1528618f2e9b3425ac24e7b5caChris Lattner virtual void LowerAsmOperandForConstraint(SDOperand Op, 39048884cd80b52be1528618f2e9b3425ac24e7b5caChris Lattner char ConstraintLetter, 39148884cd80b52be1528618f2e9b3425ac24e7b5caChris Lattner std::vector<SDOperand> &Ops, 39248884cd80b52be1528618f2e9b3425ac24e7b5caChris Lattner SelectionDAG &DAG); 39322aaf1d61c6a752d66f7ee10a7a5d99c7160e007Chris Lattner 39491897778690a7d683497ba3f4040ebf09345f08aChris Lattner /// getRegForInlineAsmConstraint - Given a physical register constraint 39591897778690a7d683497ba3f4040ebf09345f08aChris Lattner /// (e.g. {edx}), return the register number and the register class for the 39691897778690a7d683497ba3f4040ebf09345f08aChris Lattner /// register. This should only be used for C_Register constraints. On 39791897778690a7d683497ba3f4040ebf09345f08aChris Lattner /// error, this returns a register number of 0. 398f76d180c9595d34641f4b5d2fbba2f2c175197d8Chris Lattner std::pair<unsigned, const TargetRegisterClass*> 399f76d180c9595d34641f4b5d2fbba2f2c175197d8Chris Lattner getRegForInlineAsmConstraint(const std::string &Constraint, 400f76d180c9595d34641f4b5d2fbba2f2c175197d8Chris Lattner MVT::ValueType VT) const; 401f76d180c9595d34641f4b5d2fbba2f2c175197d8Chris Lattner 402c9addb74883fef318140272768422656a694341fChris Lattner /// isLegalAddressingMode - Return true if the addressing mode represented 403c9addb74883fef318140272768422656a694341fChris Lattner /// by AM is legal for this target, for a load/store of the specified type. 404c9addb74883fef318140272768422656a694341fChris Lattner virtual bool isLegalAddressingMode(const AddrMode &AM, const Type *Ty)const; 405c9addb74883fef318140272768422656a694341fChris Lattner 4062bd122c4d934a70e031dc0ca5171719bac66c2c9Evan Cheng /// isTruncateFree - Return true if it's free to truncate a value of 4072bd122c4d934a70e031dc0ca5171719bac66c2c9Evan Cheng /// type Ty1 to type Ty2. e.g. On x86 it's free to truncate a i32 value in 4082bd122c4d934a70e031dc0ca5171719bac66c2c9Evan Cheng /// register EAX to i16 by referencing its sub-register AX. 4092bd122c4d934a70e031dc0ca5171719bac66c2c9Evan Cheng virtual bool isTruncateFree(const Type *Ty1, const Type *Ty2) const; 4103c3ddb3a856e44c603cb8cf8f52ff9c0f06ff14aEvan Cheng virtual bool isTruncateFree(MVT::ValueType VT1, MVT::ValueType VT2) const; 4112bd122c4d934a70e031dc0ca5171719bac66c2c9Evan Cheng 4120188ecba85c7139f237baa4ce5612fdfc83e1b84Evan Cheng /// isShuffleMaskLegal - Targets can use this to indicate that they only 4130188ecba85c7139f237baa4ce5612fdfc83e1b84Evan Cheng /// support *some* VECTOR_SHUFFLE operations, those with specific masks. 41491897778690a7d683497ba3f4040ebf09345f08aChris Lattner /// By default, if a target supports the VECTOR_SHUFFLE node, all mask 41591897778690a7d683497ba3f4040ebf09345f08aChris Lattner /// values are assumed to be legal. 416ca6e8eafd2dfb13b89875405c54613b9cea1ca2eEvan Cheng virtual bool isShuffleMaskLegal(SDOperand Mask, MVT::ValueType VT) const; 41739623daef67090025be5cd8af7d172fd1c9e6418Evan Cheng 41839623daef67090025be5cd8af7d172fd1c9e6418Evan Cheng /// isVectorClearMaskLegal - Similar to isShuffleMaskLegal. This is 41939623daef67090025be5cd8af7d172fd1c9e6418Evan Cheng /// used by Targets can use this to indicate if there is a suitable 42039623daef67090025be5cd8af7d172fd1c9e6418Evan Cheng /// VECTOR_SHUFFLE that can be used to replace a VAND with a constant 42139623daef67090025be5cd8af7d172fd1c9e6418Evan Cheng /// pool entry. 42239623daef67090025be5cd8af7d172fd1c9e6418Evan Cheng virtual bool isVectorClearMaskLegal(std::vector<SDOperand> &BVOps, 42339623daef67090025be5cd8af7d172fd1c9e6418Evan Cheng MVT::ValueType EVT, 42439623daef67090025be5cd8af7d172fd1c9e6418Evan Cheng SelectionDAG &DAG) const; 425c85e1716f0e45e4c18a9ef2fbe431a51ac3a4252Arnold Schwaighofer 426c85e1716f0e45e4c18a9ef2fbe431a51ac3a4252Arnold Schwaighofer /// IsEligibleForTailCallOptimization - Check whether the call is eligible 427c85e1716f0e45e4c18a9ef2fbe431a51ac3a4252Arnold Schwaighofer /// for tail call optimization. Target which want to do tail call 428c85e1716f0e45e4c18a9ef2fbe431a51ac3a4252Arnold Schwaighofer /// optimization should implement this function. 429c85e1716f0e45e4c18a9ef2fbe431a51ac3a4252Arnold Schwaighofer virtual bool IsEligibleForTailCallOptimization(SDOperand Call, 430c85e1716f0e45e4c18a9ef2fbe431a51ac3a4252Arnold Schwaighofer SDOperand Ret, 431c85e1716f0e45e4c18a9ef2fbe431a51ac3a4252Arnold Schwaighofer SelectionDAG &DAG) const; 432c85e1716f0e45e4c18a9ef2fbe431a51ac3a4252Arnold Schwaighofer 433f1ba1cad387dc52f3c2c5afc665edf9caad00992Rafael Espindola virtual const TargetSubtarget* getSubtarget() { 434f1ba1cad387dc52f3c2c5afc665edf9caad00992Rafael Espindola return static_cast<const TargetSubtarget*>(Subtarget); 435f1ba1cad387dc52f3c2c5afc665edf9caad00992Rafael Espindola } 436f1ba1cad387dc52f3c2c5afc665edf9caad00992Rafael Espindola 4373d66185ff8b276183fa8e9ce3d7ebb1d9ce88f74Chris Lattner /// isScalarFPTypeInSSEReg - Return true if the specified scalar FP type is 4383d66185ff8b276183fa8e9ce3d7ebb1d9ce88f74Chris Lattner /// computed in an SSE register, not on the X87 floating point stack. 4393d66185ff8b276183fa8e9ce3d7ebb1d9ce88f74Chris Lattner bool isScalarFPTypeInSSEReg(MVT::ValueType VT) const { 4403d66185ff8b276183fa8e9ce3d7ebb1d9ce88f74Chris Lattner return (VT == MVT::f64 && X86ScalarSSEf64) || // f64 is when SSE2 4413d66185ff8b276183fa8e9ce3d7ebb1d9ce88f74Chris Lattner (VT == MVT::f32 && X86ScalarSSEf32); // f32 is when SSE1 4423d66185ff8b276183fa8e9ce3d7ebb1d9ce88f74Chris Lattner } 4433d66185ff8b276183fa8e9ce3d7ebb1d9ce88f74Chris Lattner 444dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner private: 4450db9fe6775853d62632ad299dd734b6ba6c6b336Evan Cheng /// Subtarget - Keep a pointer to the X86Subtarget around so that we can 4460db9fe6775853d62632ad299dd734b6ba6c6b336Evan Cheng /// make the right decision when generating code for different targets. 4470db9fe6775853d62632ad299dd734b6ba6c6b336Evan Cheng const X86Subtarget *Subtarget; 4482365f51ed03afe6993bae962fdc2e5a956a64cd5Anton Korobeynikov const MRegisterInfo *RegInfo; 4490db9fe6775853d62632ad299dd734b6ba6c6b336Evan Cheng 45025ab690a43cbbb591b76d49e3595b019c32f4b3fEvan Cheng /// X86StackPtr - X86 physical register used as stack ptr. 45125ab690a43cbbb591b76d49e3595b019c32f4b3fEvan Cheng unsigned X86StackPtr; 452c85e1716f0e45e4c18a9ef2fbe431a51ac3a4252Arnold Schwaighofer 453f1fc3a8fa6d4e81e30c08983d786c640acb2591cDale Johannesen /// X86ScalarSSEf32, X86ScalarSSEf64 - Select between SSE or x87 454f1fc3a8fa6d4e81e30c08983d786c640acb2591cDale Johannesen /// floating point ops. 455f1fc3a8fa6d4e81e30c08983d786c640acb2591cDale Johannesen /// When SSE is available, use it for f32 operations. 456f1fc3a8fa6d4e81e30c08983d786c640acb2591cDale Johannesen /// When SSE2 is available, use it for f64 operations. 457f1fc3a8fa6d4e81e30c08983d786c640acb2591cDale Johannesen bool X86ScalarSSEf32; 458f1fc3a8fa6d4e81e30c08983d786c640acb2591cDale Johannesen bool X86ScalarSSEf64; 4590d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng 4600d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng X86::X86_64SRet ClassifyX86_64SRetCallReturn(const Function *Fn); 4610d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng 4620d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng void X86_64AnalyzeSRetCallOperands(SDNode*, CCAssignFn*, CCState&); 4630d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng 4643085e1511750b7d69bf5f1831696e0d178bdb5b1Chris Lattner SDNode *LowerCallResult(SDOperand Chain, SDOperand InFlag, SDNode*TheCall, 4653085e1511750b7d69bf5f1831696e0d178bdb5b1Chris Lattner unsigned CallingConv, SelectionDAG &DAG); 4660d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng 4670d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng SDNode *LowerCallResultToTwo64BitRegs(SDOperand Chain, SDOperand InFlag, 4680d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng SDNode *TheCall, unsigned Reg1, 4690d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng unsigned Reg2, MVT::ValueType VT, 4700d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng SelectionDAG &DAG); 4710d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng 4720d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng SDNode *LowerCallResultToTwoX87Regs(SDOperand Chain, SDOperand InFlag, 4730d9e976ad2c5479f3d67f8cb09a5908cfc29985cEvan Cheng SDNode *TheCall, SelectionDAG &DAG); 4741b5dcc34b701639f94008658a2042abc43b9b910Rafael Espindola 4757effac5475c9057dd1c384d33f41d518ff387207Rafael Espindola SDOperand LowerMemArgument(SDOperand Op, SelectionDAG &DAG, 4767effac5475c9057dd1c384d33f41d518ff387207Rafael Espindola const CCValAssign &VA, MachineFrameInfo *MFI, 4777effac5475c9057dd1c384d33f41d518ff387207Rafael Espindola SDOperand Root, unsigned i); 4787effac5475c9057dd1c384d33f41d518ff387207Rafael Espindola 4791b5dcc34b701639f94008658a2042abc43b9b910Rafael Espindola SDOperand LowerMemOpCallTo(SDOperand Op, SelectionDAG &DAG, 4801b5dcc34b701639f94008658a2042abc43b9b910Rafael Espindola const SDOperand &StackPtr, 4811b5dcc34b701639f94008658a2042abc43b9b910Rafael Espindola const CCValAssign &VA, SDOperand Chain, 4821b5dcc34b701639f94008658a2042abc43b9b910Rafael Espindola SDOperand Arg); 4831b5dcc34b701639f94008658a2042abc43b9b910Rafael Espindola 48486737665b81550fdb575f7d8cc5decc801a7813dGordon Henriksen // Call lowering helpers. 48586737665b81550fdb575f7d8cc5decc801a7813dGordon Henriksen bool IsCalleePop(SDOperand Op); 48686737665b81550fdb575f7d8cc5decc801a7813dGordon Henriksen CCAssignFn *CCAssignFnForNode(SDOperand Op) const; 48786737665b81550fdb575f7d8cc5decc801a7813dGordon Henriksen NameDecorationStyle NameDecorationForFORMAL_ARGUMENTS(SDOperand Op); 488c85e1716f0e45e4c18a9ef2fbe431a51ac3a4252Arnold Schwaighofer unsigned GetAlignedArgumentStackSize(unsigned StackSize, SelectionDAG &DAG); 489559806f575297866609c7bef0e5c1084dcdda9a5Evan Cheng 49027a6c7380fa4dfc8e1837a8dd67967d063b26544Chris Lattner std::pair<SDOperand,SDOperand> FP_TO_SINTHelper(SDOperand Op, 49127a6c7380fa4dfc8e1837a8dd67967d063b26544Chris Lattner SelectionDAG &DAG); 49227a6c7380fa4dfc8e1837a8dd67967d063b26544Chris Lattner 4930db9fe6775853d62632ad299dd734b6ba6c6b336Evan Cheng SDOperand LowerBUILD_VECTOR(SDOperand Op, SelectionDAG &DAG); 4940db9fe6775853d62632ad299dd734b6ba6c6b336Evan Cheng SDOperand LowerVECTOR_SHUFFLE(SDOperand Op, SelectionDAG &DAG); 4950db9fe6775853d62632ad299dd734b6ba6c6b336Evan Cheng SDOperand LowerEXTRACT_VECTOR_ELT(SDOperand Op, SelectionDAG &DAG); 4960db9fe6775853d62632ad299dd734b6ba6c6b336Evan Cheng SDOperand LowerINSERT_VECTOR_ELT(SDOperand Op, SelectionDAG &DAG); 4970db9fe6775853d62632ad299dd734b6ba6c6b336Evan Cheng SDOperand LowerSCALAR_TO_VECTOR(SDOperand Op, SelectionDAG &DAG); 4980db9fe6775853d62632ad299dd734b6ba6c6b336Evan Cheng SDOperand LowerConstantPool(SDOperand Op, SelectionDAG &DAG); 4990db9fe6775853d62632ad299dd734b6ba6c6b336Evan Cheng SDOperand LowerGlobalAddress(SDOperand Op, SelectionDAG &DAG); 500b3a0417cad8b625acc3033bd5e24afb9ffd0b084Lauro Ramos Venancio SDOperand LowerGlobalTLSAddress(SDOperand Op, SelectionDAG &DAG); 5010db9fe6775853d62632ad299dd734b6ba6c6b336Evan Cheng SDOperand LowerExternalSymbol(SDOperand Op, SelectionDAG &DAG); 5020db9fe6775853d62632ad299dd734b6ba6c6b336Evan Cheng SDOperand LowerShift(SDOperand Op, SelectionDAG &DAG); 5030db9fe6775853d62632ad299dd734b6ba6c6b336Evan Cheng SDOperand LowerSINT_TO_FP(SDOperand Op, SelectionDAG &DAG); 5040db9fe6775853d62632ad299dd734b6ba6c6b336Evan Cheng SDOperand LowerFP_TO_SINT(SDOperand Op, SelectionDAG &DAG); 5050db9fe6775853d62632ad299dd734b6ba6c6b336Evan Cheng SDOperand LowerFABS(SDOperand Op, SelectionDAG &DAG); 5060db9fe6775853d62632ad299dd734b6ba6c6b336Evan Cheng SDOperand LowerFNEG(SDOperand Op, SelectionDAG &DAG); 50768c47cba3589b2fc079bab0836d1ae6fc3a6278dEvan Cheng SDOperand LowerFCOPYSIGN(SDOperand Op, SelectionDAG &DAG); 508e5f6204cd5d2306379bf8954e280ad35619a38b5Evan Cheng SDOperand LowerSETCC(SDOperand Op, SelectionDAG &DAG); 5090db9fe6775853d62632ad299dd734b6ba6c6b336Evan Cheng SDOperand LowerSELECT(SDOperand Op, SelectionDAG &DAG); 5100db9fe6775853d62632ad299dd734b6ba6c6b336Evan Cheng SDOperand LowerBRCOND(SDOperand Op, SelectionDAG &DAG); 5110db9fe6775853d62632ad299dd734b6ba6c6b336Evan Cheng SDOperand LowerMEMSET(SDOperand Op, SelectionDAG &DAG); 512068317bfa37ec52ae25f3b2fa3194bea3e7c6027Rafael Espindola SDOperand LowerMEMCPYInline(SDOperand Dest, SDOperand Source, 513068317bfa37ec52ae25f3b2fa3194bea3e7c6027Rafael Espindola SDOperand Chain, unsigned Size, unsigned Align, 514068317bfa37ec52ae25f3b2fa3194bea3e7c6027Rafael Espindola SelectionDAG &DAG); 5150db9fe6775853d62632ad299dd734b6ba6c6b336Evan Cheng SDOperand LowerJumpTable(SDOperand Op, SelectionDAG &DAG); 51632fe1035a708d16d67e632f21d8ec2d1b437a225Evan Cheng SDOperand LowerCALL(SDOperand Op, SelectionDAG &DAG); 5170db9fe6775853d62632ad299dd734b6ba6c6b336Evan Cheng SDOperand LowerRET(SDOperand Op, SelectionDAG &DAG); 51857fc00d5cf47343ba762493b8781ca0b14489c35Anton Korobeynikov SDOperand LowerDYNAMIC_STACKALLOC(SDOperand Op, SelectionDAG &DAG); 5191bc7804e4c8747fd99b119e8f88686c9610c5d4eEvan Cheng SDOperand LowerFORMAL_ARGUMENTS(SDOperand Op, SelectionDAG &DAG); 5200db9fe6775853d62632ad299dd734b6ba6c6b336Evan Cheng SDOperand LowerVASTART(SDOperand Op, SelectionDAG &DAG); 521ae6421935bd3f2e48346fd16a21297ed1a28fd32Evan Cheng SDOperand LowerVACOPY(SDOperand Op, SelectionDAG &DAG); 5220db9fe6775853d62632ad299dd734b6ba6c6b336Evan Cheng SDOperand LowerINTRINSIC_WO_CHAIN(SDOperand Op, SelectionDAG &DAG); 523bcc5f36765e8111c13873a0c0dc874c92385d808Nate Begeman SDOperand LowerRETURNADDR(SDOperand Op, SelectionDAG &DAG); 524bcc5f36765e8111c13873a0c0dc874c92385d808Nate Begeman SDOperand LowerFRAMEADDR(SDOperand Op, SelectionDAG &DAG); 5252365f51ed03afe6993bae962fdc2e5a956a64cd5Anton Korobeynikov SDOperand LowerFRAME_TO_ARGS_OFFSET(SDOperand Op, SelectionDAG &DAG); 5262365f51ed03afe6993bae962fdc2e5a956a64cd5Anton Korobeynikov SDOperand LowerEH_RETURN(SDOperand Op, SelectionDAG &DAG); 527b116fac90f9b54142ac511a30b4d45b54d3508baDuncan Sands SDOperand LowerTRAMPOLINE(SDOperand Op, SelectionDAG &DAG); 52845b22fa9f1f085d7971cce6db4f11b353e1646c6Anton Korobeynikov SDOperand LowerFLT_ROUNDS(SDOperand Op, SelectionDAG &DAG); 52918efe269b12624d74c0af6104e88864d6a932344Evan Cheng SDOperand LowerCTLZ(SDOperand Op, SelectionDAG &DAG); 53018efe269b12624d74c0af6104e88864d6a932344Evan Cheng SDOperand LowerCTTZ(SDOperand Op, SelectionDAG &DAG); 53127a6c7380fa4dfc8e1837a8dd67967d063b26544Chris Lattner SDNode *ExpandFP_TO_SINT(SDNode *N, SelectionDAG &DAG); 53227a6c7380fa4dfc8e1837a8dd67967d063b26544Chris Lattner SDNode *ExpandREADCYCLECOUNTER(SDNode *N, SelectionDAG &DAG); 533dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner }; 534dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner} 535dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner 536dbdbf0ce2eef7b6585397121f56d3845e04866d1Chris Lattner#endif // X86ISELLOWERING_H 537