blob: 294b62f08f3770ec8b11790563ba2cd450d6bc18 [file] [log] [blame]
Eric Christopher50880d02010-09-18 18:52:28 +00001//===-- PTXISelDAGToDAG.cpp - A dag to dag inst selector for PTX ----------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file defines an instruction selector for the PTX target.
11//
12//===----------------------------------------------------------------------===//
13
14#include "PTX.h"
15#include "PTXTargetMachine.h"
16#include "llvm/CodeGen/SelectionDAGISel.h"
Che-Liang Chiou3f8e6172010-11-30 07:34:44 +000017#include "llvm/DerivedTypes.h"
Eric Christopher50880d02010-09-18 18:52:28 +000018
19using namespace llvm;
20
21namespace {
22// PTXDAGToDAGISel - PTX specific code to select PTX machine
23// instructions for SelectionDAG operations.
24class PTXDAGToDAGISel : public SelectionDAGISel {
25 public:
26 PTXDAGToDAGISel(PTXTargetMachine &TM, CodeGenOpt::Level OptLevel);
27
28 virtual const char *getPassName() const {
29 return "PTX DAG->DAG Pattern Instruction Selection";
30 }
31
32 SDNode *Select(SDNode *Node);
33
Che-Liang Chiou3f8e6172010-11-30 07:34:44 +000034 // Complex Pattern Selectors.
Che-Liang Chioufc7072c2010-12-22 10:38:51 +000035 bool SelectADDRrr(SDValue &Addr, SDValue &R1, SDValue &R2);
Che-Liang Chiou3f8e6172010-11-30 07:34:44 +000036 bool SelectADDRri(SDValue &Addr, SDValue &Base, SDValue &Offset);
37 bool SelectADDRii(SDValue &Addr, SDValue &Base, SDValue &Offset);
38
Eric Christopher50880d02010-09-18 18:52:28 +000039 // Include the pieces auto'gened from the target description
40#include "PTXGenDAGISel.inc"
41
Che-Liang Chiou3f8e6172010-11-30 07:34:44 +000042 private:
Che-Liang Chioufc7072c2010-12-22 10:38:51 +000043 bool isImm(const SDValue &operand);
44 bool SelectImm(const SDValue &operand, SDValue &imm);
Eric Christopher50880d02010-09-18 18:52:28 +000045}; // class PTXDAGToDAGISel
46} // namespace
47
48// createPTXISelDag - This pass converts a legalized DAG into a
49// PTX-specific DAG, ready for instruction scheduling
50FunctionPass *llvm::createPTXISelDag(PTXTargetMachine &TM,
51 CodeGenOpt::Level OptLevel) {
52 return new PTXDAGToDAGISel(TM, OptLevel);
53}
54
55PTXDAGToDAGISel::PTXDAGToDAGISel(PTXTargetMachine &TM,
56 CodeGenOpt::Level OptLevel)
57 : SelectionDAGISel(TM, OptLevel) {}
58
59SDNode *PTXDAGToDAGISel::Select(SDNode *Node) {
60 // SelectCode() is auto'gened
61 return SelectCode(Node);
62}
Che-Liang Chiou3f8e6172010-11-30 07:34:44 +000063
Che-Liang Chioufc7072c2010-12-22 10:38:51 +000064// Match memory operand of the form [reg+reg]
65bool PTXDAGToDAGISel::SelectADDRrr(SDValue &Addr, SDValue &R1, SDValue &R2) {
66 if (Addr.getOpcode() != ISD::ADD || Addr.getNumOperands() < 2 ||
67 isImm(Addr.getOperand(0)) || isImm(Addr.getOperand(1)))
68 return false;
69
Che-Liang Chiouc88e91b2011-01-01 11:58:58 +000070 R1 = Addr;
71 R2 = CurDAG->getTargetConstant(0, MVT::i32);
Che-Liang Chioufc7072c2010-12-22 10:38:51 +000072 return true;
73}
74
75// Match memory operand of the form [reg], [imm+reg], and [reg+imm]
Che-Liang Chiou3f8e6172010-11-30 07:34:44 +000076bool PTXDAGToDAGISel::SelectADDRri(SDValue &Addr, SDValue &Base,
77 SDValue &Offset) {
Che-Liang Chioufc7072c2010-12-22 10:38:51 +000078 if (Addr.getOpcode() != ISD::ADD) {
Che-Liang Chiouc88e91b2011-01-01 11:58:58 +000079 // let SelectADDRii handle the [imm] case
Che-Liang Chioufc7072c2010-12-22 10:38:51 +000080 if (isImm(Addr))
81 return false;
Che-Liang Chiouc88e91b2011-01-01 11:58:58 +000082 // it is [reg]
Che-Liang Chioufc7072c2010-12-22 10:38:51 +000083 Base = Addr;
84 Offset = CurDAG->getTargetConstant(0, MVT::i32);
85 return true;
86 }
87
Che-Liang Chiouc88e91b2011-01-01 11:58:58 +000088 if (Addr.getNumOperands() < 2)
89 return false;
90
Che-Liang Chioufc7072c2010-12-22 10:38:51 +000091 // let SelectADDRii handle the [imm+imm] case
Che-Liang Chiouc88e91b2011-01-01 11:58:58 +000092 if (isImm(Addr.getOperand(0)) && isImm(Addr.getOperand(1)))
Che-Liang Chioufc7072c2010-12-22 10:38:51 +000093 return false;
Che-Liang Chiou3f8e6172010-11-30 07:34:44 +000094
95 // try [reg+imm] and [imm+reg]
Che-Liang Chioufc7072c2010-12-22 10:38:51 +000096 for (int i = 0; i < 2; i ++)
97 if (SelectImm(Addr.getOperand(1-i), Offset)) {
98 Base = Addr.getOperand(i);
99 return true;
100 }
Che-Liang Chiou3f8e6172010-11-30 07:34:44 +0000101
Che-Liang Chiouc88e91b2011-01-01 11:58:58 +0000102 // neither [reg+imm] nor [imm+reg]
Che-Liang Chioufc7072c2010-12-22 10:38:51 +0000103 return false;
Che-Liang Chiou3f8e6172010-11-30 07:34:44 +0000104}
105
106// Match memory operand of the form [imm+imm] and [imm]
107bool PTXDAGToDAGISel::SelectADDRii(SDValue &Addr, SDValue &Base,
108 SDValue &Offset) {
Che-Liang Chioufc7072c2010-12-22 10:38:51 +0000109 // is [imm+imm]?
Che-Liang Chiou3f8e6172010-11-30 07:34:44 +0000110 if (Addr.getOpcode() == ISD::ADD) {
111 return SelectImm(Addr.getOperand(0), Base) &&
112 SelectImm(Addr.getOperand(1), Offset);
113 }
114
Che-Liang Chioufc7072c2010-12-22 10:38:51 +0000115 // is [imm]?
Che-Liang Chiou3f8e6172010-11-30 07:34:44 +0000116 if (SelectImm(Addr, Base)) {
117 Offset = CurDAG->getTargetConstant(0, MVT::i32);
118 return true;
119 }
120
121 return false;
122}
123
124bool PTXDAGToDAGISel::isImm(const SDValue &operand) {
125 return ConstantSDNode::classof(operand.getNode());
126}
127
128bool PTXDAGToDAGISel::SelectImm(const SDValue &operand, SDValue &imm) {
129 SDNode *node = operand.getNode();
130 if (!ConstantSDNode::classof(node))
131 return false;
132
133 ConstantSDNode *CN = cast<ConstantSDNode>(node);
134 imm = CurDAG->getTargetConstant(*CN->getConstantIntValue(), MVT::i32);
135 return true;
136}