blob: b40ea12c15f6a7849aab9218113c8076cbe5c1e4 [file] [log] [blame]
Sanjiv Gupta0e687712008-05-13 09:02:57 +00001//===-- PIC16ISelLowering.h - PIC16 DAG Lowering Interface ------*- C++ -*-===//
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 the interfaces that PIC16 uses to lower LLVM code into a
11// selection DAG.
12//
13//===----------------------------------------------------------------------===//
14
15#ifndef PIC16ISELLOWERING_H
16#define PIC16ISELLOWERING_H
17
Sanjiv Gupta0e687712008-05-13 09:02:57 +000018#include "PIC16.h"
19#include "PIC16Subtarget.h"
Sanjiv Gupta2010b3e2008-05-14 11:31:39 +000020#include "llvm/CodeGen/SelectionDAG.h"
21#include "llvm/Target/TargetLowering.h"
Sanjiv Guptacae1b622009-04-06 10:54:50 +000022#include <map>
Sanjiv Gupta0e687712008-05-13 09:02:57 +000023
24namespace llvm {
25 namespace PIC16ISD {
26 enum NodeType {
27 // Start the numbering from where ISD NodeType finishes.
Dan Gohman0ba2bcf2008-09-23 18:42:32 +000028 FIRST_NUMBER = ISD::BUILTIN_OP_END,
Sanjiv Gupta0e687712008-05-13 09:02:57 +000029
Sanjiv Guptab1b5ffd2008-11-19 11:00:54 +000030 Lo, // Low 8-bits of GlobalAddress.
31 Hi, // High 8-bits of GlobalAddress.
32 PIC16Load,
Sanjiv Guptab84d5a42009-04-02 17:42:00 +000033 PIC16LdArg, // This is replica of PIC16Load but used to load function
34 // arguments and is being used for facilitating for some
35 // store removal optimizations.
36
Sanjiv Gupta1b046942009-01-13 19:18:47 +000037 PIC16LdWF,
Sanjiv Guptab1b5ffd2008-11-19 11:00:54 +000038 PIC16Store,
Sanjiv Gupta1b046942009-01-13 19:18:47 +000039 PIC16StWF,
Sanjiv Guptab1b5ffd2008-11-19 11:00:54 +000040 Banksel,
Sanjiv Gupta7836fc12009-04-08 05:38:48 +000041 MTLO, // Move to low part of FSR
42 MTHI, // Move to high part of FSR
43 MTPCLATH, // Move to PCLATCH
44 PIC16Connect, // General connector for PIC16 nodes
Sanjiv Guptab1b5ffd2008-11-19 11:00:54 +000045 BCF,
46 LSLF, // PIC16 Logical shift left
47 LRLF, // PIC16 Logical shift right
48 RLF, // Rotate left through carry
49 RRF, // Rotate right through carry
Sanjiv Gupta1b046942009-01-13 19:18:47 +000050 CALL, // PIC16 Call instruction
Sanjiv Gupta7836fc12009-04-08 05:38:48 +000051 CALLW, // PIC16 CALLW instruction
Bill Wendling51b16f42009-05-30 01:09:53 +000052 SUBCC, // Compare for equality or inequality.
Sanjiv Gupta1b046942009-01-13 19:18:47 +000053 SELECT_ICC, // Psuedo to be caught in schedular and expanded to brcond.
54 BRCOND, // Conditional branch.
Sanjiv Guptab1b5ffd2008-11-19 11:00:54 +000055 Dummy
56 };
Sanjiv Gupta0e687712008-05-13 09:02:57 +000057
Sanjiv Guptab1b5ffd2008-11-19 11:00:54 +000058 // Keep track of different address spaces.
59 enum AddressSpace {
60 RAM_SPACE = 0, // RAM address space
61 ROM_SPACE = 1 // ROM address space number is 1
Sanjiv Gupta0e687712008-05-13 09:02:57 +000062 };
Sanjiv Gupta08b9b052009-01-21 05:44:05 +000063 enum PIC16Libcall {
Sanjiv Guptae0b4b0e2009-05-11 08:52:04 +000064 MUL_I8 = RTLIB::UNKNOWN_LIBCALL + 1,
Sanjiv Gupta1b046942009-01-13 19:18:47 +000065 SRA_I8,
66 SLL_I8,
67 SRL_I8,
Sanjiv Gupta1b046942009-01-13 19:18:47 +000068 PIC16UnknownCall
69 };
Sanjiv Gupta0e687712008-05-13 09:02:57 +000070 }
71
Sanjiv Gupta1b046942009-01-13 19:18:47 +000072
Sanjiv Gupta0e687712008-05-13 09:02:57 +000073 //===--------------------------------------------------------------------===//
74 // TargetLowering Implementation
75 //===--------------------------------------------------------------------===//
Sanjiv Guptab1b5ffd2008-11-19 11:00:54 +000076 class PIC16TargetLowering : public TargetLowering {
Sanjiv Gupta0e687712008-05-13 09:02:57 +000077 public:
Sanjiv Gupta0e687712008-05-13 09:02:57 +000078 explicit PIC16TargetLowering(PIC16TargetMachine &TM);
79
Sanjiv Guptab1b5ffd2008-11-19 11:00:54 +000080 /// getTargetNodeName - This method returns the name of a target specific
81 /// DAG node.
Sanjiv Gupta0e687712008-05-13 09:02:57 +000082 virtual const char *getTargetNodeName(unsigned Opcode) const;
Sanjiv Gupta1b046942009-01-13 19:18:47 +000083 /// getSetCCResultType - Return the ISD::SETCC ValueType
84 virtual MVT getSetCCResultType(MVT ValType) const;
Sanjiv Guptab1b5ffd2008-11-19 11:00:54 +000085 SDValue LowerFORMAL_ARGUMENTS(SDValue Op, SelectionDAG &DAG);
Sanjiv Gupta08b9b052009-01-21 05:44:05 +000086 SDValue LowerShift(SDValue Op, SelectionDAG &DAG);
Sanjiv Gupta1b046942009-01-13 19:18:47 +000087 SDValue LowerADD(SDValue Op, SelectionDAG &DAG);
88 SDValue LowerSUB(SDValue Op, SelectionDAG &DAG);
Sanjiv Gupta8f78fa82008-11-26 10:53:50 +000089 SDValue LowerBinOp(SDValue Op, SelectionDAG &DAG);
Sanjiv Gupta1b046942009-01-13 19:18:47 +000090 SDValue LowerCALL(SDValue Op, SelectionDAG &DAG);
91 SDValue LowerRET(SDValue Op, SelectionDAG &DAG);
Sanjiv Gupta7836fc12009-04-08 05:38:48 +000092 // Call returns
93 SDValue
94 LowerDirectCallReturn(SDValue Op, SDValue Chain, SDValue FrameAddress,
95 SDValue InFlag, SelectionDAG &DAG);
96 SDValue
97 LowerIndirectCallReturn(SDValue Op, SDValue Chain, SDValue InFlag,
98 SDValue DataAddr_Lo, SDValue DataAddr_Hi,
99 SelectionDAG &DAG);
100
101 // Call arguments
102 SDValue
103 LowerDirectCallArguments(SDValue Op, SDValue Chain, SDValue FrameAddress,
104 SDValue InFlag, SelectionDAG &DAG);
105
106 SDValue
107 LowerIndirectCallArguments(SDValue Op, SDValue Chain, SDValue InFlag,
108 SDValue DataAddr_Lo, SDValue DataAddr_Hi,
109 SelectionDAG &DAG);
110
Sanjiv Gupta1b046942009-01-13 19:18:47 +0000111 SDValue LowerBR_CC(SDValue Op, SelectionDAG &DAG);
112 SDValue LowerSELECT_CC(SDValue Op, SelectionDAG &DAG);
113 SDValue getPIC16Cmp(SDValue LHS, SDValue RHS, unsigned OrigCC, SDValue &CC,
Dale Johannesen2fabcb22009-02-05 01:01:16 +0000114 SelectionDAG &DAG, DebugLoc dl);
Sanjiv Gupta1b046942009-01-13 19:18:47 +0000115 virtual MachineBasicBlock *EmitInstrWithCustomInserter(MachineInstr *MI,
Dan Gohman1fdbc1d2009-02-07 16:15:20 +0000116 MachineBasicBlock *MBB) const;
Sanjiv Gupta0e687712008-05-13 09:02:57 +0000117
Sanjiv Gupta1b046942009-01-13 19:18:47 +0000118
Sanjiv Gupta08b9b052009-01-21 05:44:05 +0000119 virtual SDValue LowerOperation(SDValue Op, SelectionDAG &DAG);
Sanjiv Gupta1b046942009-01-13 19:18:47 +0000120 virtual void ReplaceNodeResults(SDNode *N,
121 SmallVectorImpl<SDValue> &Results,
Duncan Sands1607f052008-12-01 11:39:25 +0000122 SelectionDAG &DAG);
Duncan Sands9fbc7e22009-01-21 09:00:29 +0000123 virtual void LowerOperationWrapper(SDNode *N,
124 SmallVectorImpl<SDValue> &Results,
125 SelectionDAG &DAG);
Sanjiv Gupta08b9b052009-01-21 05:44:05 +0000126
Duncan Sands1607f052008-12-01 11:39:25 +0000127 SDValue ExpandStore(SDNode *N, SelectionDAG &DAG);
128 SDValue ExpandLoad(SDNode *N, SelectionDAG &DAG);
Duncan Sands1607f052008-12-01 11:39:25 +0000129 SDValue ExpandGlobalAddress(SDNode *N, SelectionDAG &DAG);
Sanjiv Gupta1b046942009-01-13 19:18:47 +0000130 SDValue ExpandExternalSymbol(SDNode *N, SelectionDAG &DAG);
Sanjiv Gupta1b046942009-01-13 19:18:47 +0000131 SDValue ExpandFrameIndex(SDNode *N, SelectionDAG &DAG);
Sanjiv Guptab1b5ffd2008-11-19 11:00:54 +0000132
133 SDValue PerformDAGCombine(SDNode *N, DAGCombinerInfo &DCI) const;
134 SDValue PerformPIC16LoadCombine(SDNode *N, DAGCombinerInfo &DCI) const;
Sanjiv Guptab84d5a42009-04-02 17:42:00 +0000135 SDValue PerformStoreCombine(SDNode *N, DAGCombinerInfo &DCI) const;
Sanjiv Guptab1b5ffd2008-11-19 11:00:54 +0000136
Sanjiv Guptacae1b622009-04-06 10:54:50 +0000137 // This function returns the Tmp Offset for FrameIndex. If any TmpOffset
138 // already exists for the FI then it returns the same else it creates the
139 // new offset and returns.
Sanjiv Guptaa3613be2009-04-10 15:10:14 +0000140 unsigned GetTmpOffsetForFI(unsigned FI, unsigned slot_size);
Sanjiv Guptacae1b622009-04-06 10:54:50 +0000141 void ResetTmpOffsetMap() { FiTmpOffsetMap.clear(); SetTmpSize(0); }
Sanjiv Guptae16178b2009-04-21 05:54:51 +0000142 void InitReservedFrameCount(const Function *F);
Sanjiv Guptacae1b622009-04-06 10:54:50 +0000143
144 // Return the size of Tmp variable
145 unsigned GetTmpSize() { return TmpSize; }
146 void SetTmpSize(unsigned Size) { TmpSize = Size; }
147
Bill Wendlingb4202b82009-07-01 18:50:55 +0000148 /// getFunctionAlignment - Return the Log2 alignment of this function.
Bill Wendling20c568f2009-06-30 22:38:32 +0000149 virtual unsigned getFunctionAlignment(const Function *) const {
150 // FIXME: The function never seems to be aligned.
151 return 1;
152 }
Sanjiv Guptab1b5ffd2008-11-19 11:00:54 +0000153 private:
Sanjiv Guptab84d5a42009-04-02 17:42:00 +0000154 // If the Node is a BUILD_PAIR representing a direct Address,
155 // then this function will return true.
Sanjiv Guptab1b5ffd2008-11-19 11:00:54 +0000156 bool isDirectAddress(const SDValue &Op);
157
158 // If the Node is a DirectAddress in ROM_SPACE then this
159 // function will return true
160 bool isRomAddress(const SDValue &Op);
161
Sanjiv Guptab1b5ffd2008-11-19 11:00:54 +0000162 // Extract the Lo and Hi component of Op.
163 void GetExpandedParts(SDValue Op, SelectionDAG &DAG, SDValue &Lo,
164 SDValue &Hi);
165
166
167 // Load pointer can be a direct or indirect address. In PIC16 direct
168 // addresses need Banksel and Indirect addresses need to be loaded to
169 // FSR first. Handle address specific cases here.
170 void LegalizeAddress(SDValue Ptr, SelectionDAG &DAG, SDValue &Chain,
Dale Johannesenb300d2a2009-02-07 00:55:49 +0000171 SDValue &NewPtr, unsigned &Offset, DebugLoc dl);
Sanjiv Guptab1b5ffd2008-11-19 11:00:54 +0000172
Sanjiv Gupta1b046942009-01-13 19:18:47 +0000173 // FrameIndex should be broken down into ExternalSymbol and FrameOffset.
174 void LegalizeFrameIndex(SDValue Op, SelectionDAG &DAG, SDValue &ES,
175 int &Offset);
176
Sanjiv Gupta85be4082009-04-14 02:49:52 +0000177
Sanjiv Gupta7836fc12009-04-08 05:38:48 +0000178 // CALL node should have all legal operands only. Legalize all non-legal
179 // operands of CALL node and then return the new call will all operands
180 // legal.
181 SDValue LegalizeCALL(SDValue Op, SelectionDAG &DAG);
182
183 // For indirect calls data address of the callee frame need to be
184 // extracted. This function fills the arguments DataAddr_Lo and
185 // DataAddr_Hi with the address of the callee frame.
186 void GetDataAddress(DebugLoc dl, SDValue Callee, SDValue &Chain,
187 SDValue &DataAddr_Lo, SDValue &DataAddr_Hi,
188 SelectionDAG &DAG);
189
Sanjiv Guptab1b5ffd2008-11-19 11:00:54 +0000190 // We can not have both operands of a binary operation in W.
191 // This function is used to put one operand on stack and generate a load.
Dale Johannesen2fabcb22009-02-05 01:01:16 +0000192 SDValue ConvertToMemOperand(SDValue Op, SelectionDAG &DAG, DebugLoc dl);
Sanjiv Guptab1b5ffd2008-11-19 11:00:54 +0000193
Sanjiv Gupta1b046942009-01-13 19:18:47 +0000194 // This function checks if we need to put an operand of an operation on
195 // stack and generate a load or not.
196 bool NeedToConvertToMemOp(SDValue Op, unsigned &MemOp);
197
Sanjiv Guptab1b5ffd2008-11-19 11:00:54 +0000198 /// Subtarget - Keep a pointer to the PIC16Subtarget around so that we can
199 /// make the right decision when generating code for different targets.
200 const PIC16Subtarget *Subtarget;
Sanjiv Gupta1b046942009-01-13 19:18:47 +0000201
202
203 // Extending the LIB Call framework of LLVM
Sanjiv Guptab84d5a42009-04-02 17:42:00 +0000204 // to hold the names of PIC16Libcalls.
Sanjiv Gupta08b9b052009-01-21 05:44:05 +0000205 const char *PIC16LibcallNames[PIC16ISD::PIC16UnknownCall];
Sanjiv Gupta1b046942009-01-13 19:18:47 +0000206
Sanjiv Guptab84d5a42009-04-02 17:42:00 +0000207 // To set and retrieve the lib call names.
Sanjiv Gupta08b9b052009-01-21 05:44:05 +0000208 void setPIC16LibcallName(PIC16ISD::PIC16Libcall Call, const char *Name);
209 const char *getPIC16LibcallName(PIC16ISD::PIC16Libcall Call);
Sanjiv Gupta1b046942009-01-13 19:18:47 +0000210
Sanjiv Guptab84d5a42009-04-02 17:42:00 +0000211 // Make PIC16 Libcall.
Sanjiv Gupta08b9b052009-01-21 05:44:05 +0000212 SDValue MakePIC16Libcall(PIC16ISD::PIC16Libcall Call, MVT RetVT,
Sanjiv Gupta1b046942009-01-13 19:18:47 +0000213 const SDValue *Ops, unsigned NumOps, bool isSigned,
Dale Johannesen7d2ad622009-01-30 23:10:59 +0000214 SelectionDAG &DAG, DebugLoc dl);
Sanjiv Gupta1b046942009-01-13 19:18:47 +0000215
216 // Check if operation has a direct load operand.
217 inline bool isDirectLoad(const SDValue Op);
218
Sanjiv Guptacae1b622009-04-06 10:54:50 +0000219 private:
220 // The frameindexes generated for spill/reload are stack based.
221 // This maps maintain zero based indexes for these FIs.
222 std::map<unsigned, unsigned> FiTmpOffsetMap;
223 unsigned TmpSize;
Sanjiv Guptae16178b2009-04-21 05:54:51 +0000224
225 // These are the frames for return value and argument passing
226 // These FrameIndices will be expanded to foo.frame external symbol
227 // and all others will be expanded to foo.tmp external symbol.
228 unsigned ReservedFrameCount;
Sanjiv Gupta0e687712008-05-13 09:02:57 +0000229 };
230} // namespace llvm
231
232#endif // PIC16ISELLOWERING_H