blob: eea17f898365a039c7181d46a3ca8198896a63c6 [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.
Dan Gohman98ca4f22009-08-05 01:29:28 +000055 RET, // Return.
Sanjiv Guptab1b5ffd2008-11-19 11:00:54 +000056 Dummy
57 };
Sanjiv Gupta0e687712008-05-13 09:02:57 +000058
Sanjiv Guptab1b5ffd2008-11-19 11:00:54 +000059 // Keep track of different address spaces.
60 enum AddressSpace {
61 RAM_SPACE = 0, // RAM address space
62 ROM_SPACE = 1 // ROM address space number is 1
Sanjiv Gupta0e687712008-05-13 09:02:57 +000063 };
Sanjiv Gupta08b9b052009-01-21 05:44:05 +000064 enum PIC16Libcall {
Sanjiv Guptae0b4b0e2009-05-11 08:52:04 +000065 MUL_I8 = RTLIB::UNKNOWN_LIBCALL + 1,
Sanjiv Gupta1b046942009-01-13 19:18:47 +000066 SRA_I8,
67 SLL_I8,
68 SRL_I8,
Sanjiv Gupta1b046942009-01-13 19:18:47 +000069 PIC16UnknownCall
70 };
Sanjiv Gupta0e687712008-05-13 09:02:57 +000071 }
72
Sanjiv Gupta1b046942009-01-13 19:18:47 +000073
Sanjiv Gupta0e687712008-05-13 09:02:57 +000074 //===--------------------------------------------------------------------===//
75 // TargetLowering Implementation
76 //===--------------------------------------------------------------------===//
Sanjiv Guptab1b5ffd2008-11-19 11:00:54 +000077 class PIC16TargetLowering : public TargetLowering {
Sanjiv Gupta0e687712008-05-13 09:02:57 +000078 public:
Sanjiv Gupta0e687712008-05-13 09:02:57 +000079 explicit PIC16TargetLowering(PIC16TargetMachine &TM);
80
Sanjiv Guptab1b5ffd2008-11-19 11:00:54 +000081 /// getTargetNodeName - This method returns the name of a target specific
82 /// DAG node.
Sanjiv Gupta0e687712008-05-13 09:02:57 +000083 virtual const char *getTargetNodeName(unsigned Opcode) const;
Sanjiv Gupta1b046942009-01-13 19:18:47 +000084 /// getSetCCResultType - Return the ISD::SETCC ValueType
Owen Anderson825b72b2009-08-11 20:47:22 +000085 virtual MVT::SimpleValueType getSetCCResultType(EVT ValType) const;
Sanjiv Gupta8f17a362009-12-28 02:40:33 +000086 virtual MVT::SimpleValueType getCmpLibcallReturnType() const;
Dan Gohmand858e902010-04-17 15:26:15 +000087 SDValue LowerShift(SDValue Op, SelectionDAG &DAG) const;
88 SDValue LowerMUL(SDValue Op, SelectionDAG &DAG) const;
89 SDValue LowerADD(SDValue Op, SelectionDAG &DAG) const;
90 SDValue LowerSUB(SDValue Op, SelectionDAG &DAG) const;
91 SDValue LowerBinOp(SDValue Op, SelectionDAG &DAG) const;
Sanjiv Gupta7836fc12009-04-08 05:38:48 +000092 // Call returns
93 SDValue
Dan Gohman98ca4f22009-08-05 01:29:28 +000094 LowerDirectCallReturn(SDValue RetLabel, SDValue Chain, SDValue InFlag,
95 const SmallVectorImpl<ISD::InputArg> &Ins,
96 DebugLoc dl, SelectionDAG &DAG,
Dan Gohmand858e902010-04-17 15:26:15 +000097 SmallVectorImpl<SDValue> &InVals) const;
Sanjiv Gupta7836fc12009-04-08 05:38:48 +000098 SDValue
Dan Gohman98ca4f22009-08-05 01:29:28 +000099 LowerIndirectCallReturn(SDValue Chain, SDValue InFlag,
100 SDValue DataAddr_Lo, SDValue DataAddr_Hi,
101 const SmallVectorImpl<ISD::InputArg> &Ins,
102 DebugLoc dl, SelectionDAG &DAG,
Dan Gohmand858e902010-04-17 15:26:15 +0000103 SmallVectorImpl<SDValue> &InVals) const;
Sanjiv Gupta7836fc12009-04-08 05:38:48 +0000104
105 // Call arguments
106 SDValue
Dan Gohman98ca4f22009-08-05 01:29:28 +0000107 LowerDirectCallArguments(SDValue ArgLabel, SDValue Chain, SDValue InFlag,
108 const SmallVectorImpl<ISD::OutputArg> &Outs,
Dan Gohmand858e902010-04-17 15:26:15 +0000109 DebugLoc dl, SelectionDAG &DAG) const;
Sanjiv Gupta7836fc12009-04-08 05:38:48 +0000110
111 SDValue
Dan Gohman98ca4f22009-08-05 01:29:28 +0000112 LowerIndirectCallArguments(SDValue Chain, SDValue InFlag,
Sanjiv Gupta7836fc12009-04-08 05:38:48 +0000113 SDValue DataAddr_Lo, SDValue DataAddr_Hi,
Dan Gohman98ca4f22009-08-05 01:29:28 +0000114 const SmallVectorImpl<ISD::OutputArg> &Outs,
Sanjiv Guptaa4186282009-08-11 01:51:55 +0000115 const SmallVectorImpl<ISD::InputArg> &Ins,
Dan Gohmand858e902010-04-17 15:26:15 +0000116 DebugLoc dl, SelectionDAG &DAG) const;
Sanjiv Gupta7836fc12009-04-08 05:38:48 +0000117
Dan Gohmand858e902010-04-17 15:26:15 +0000118 SDValue LowerBR_CC(SDValue Op, SelectionDAG &DAG) const;
119 SDValue LowerSELECT_CC(SDValue Op, SelectionDAG &DAG) const;
Sanjiv Gupta1b046942009-01-13 19:18:47 +0000120 SDValue getPIC16Cmp(SDValue LHS, SDValue RHS, unsigned OrigCC, SDValue &CC,
Dan Gohmand858e902010-04-17 15:26:15 +0000121 SelectionDAG &DAG, DebugLoc dl) const;
Dan Gohmanaf1d8ca2010-05-01 00:01:06 +0000122 virtual MachineBasicBlock *
123 EmitInstrWithCustomInserter(MachineInstr *MI,
124 MachineBasicBlock *MBB) const;
Sanjiv Gupta1b046942009-01-13 19:18:47 +0000125
Dan Gohmand858e902010-04-17 15:26:15 +0000126 virtual SDValue LowerOperation(SDValue Op, SelectionDAG &DAG) const;
Sanjiv Gupta1b046942009-01-13 19:18:47 +0000127 virtual void ReplaceNodeResults(SDNode *N,
128 SmallVectorImpl<SDValue> &Results,
Dan Gohmand858e902010-04-17 15:26:15 +0000129 SelectionDAG &DAG) const;
Duncan Sands9fbc7e22009-01-21 09:00:29 +0000130 virtual void LowerOperationWrapper(SDNode *N,
131 SmallVectorImpl<SDValue> &Results,
Dan Gohmand858e902010-04-17 15:26:15 +0000132 SelectionDAG &DAG) const;
Sanjiv Gupta08b9b052009-01-21 05:44:05 +0000133
Dan Gohman98ca4f22009-08-05 01:29:28 +0000134 virtual SDValue
135 LowerFormalArguments(SDValue Chain,
Sandeep Patel65c3c8f2009-09-02 08:44:58 +0000136 CallingConv::ID CallConv,
Dan Gohman98ca4f22009-08-05 01:29:28 +0000137 bool isVarArg,
138 const SmallVectorImpl<ISD::InputArg> &Ins,
139 DebugLoc dl, SelectionDAG &DAG,
Dan Gohmand858e902010-04-17 15:26:15 +0000140 SmallVectorImpl<SDValue> &InVals) const;
Dan Gohman98ca4f22009-08-05 01:29:28 +0000141
142 virtual SDValue
Evan Cheng022d9e12010-02-02 23:55:14 +0000143 LowerCall(SDValue Chain, SDValue Callee,
Evan Cheng0c439eb2010-01-27 00:07:07 +0000144 CallingConv::ID CallConv, bool isVarArg, bool &isTailCall,
Dan Gohman98ca4f22009-08-05 01:29:28 +0000145 const SmallVectorImpl<ISD::OutputArg> &Outs,
146 const SmallVectorImpl<ISD::InputArg> &Ins,
147 DebugLoc dl, SelectionDAG &DAG,
Dan Gohmand858e902010-04-17 15:26:15 +0000148 SmallVectorImpl<SDValue> &InVals) const;
Dan Gohman98ca4f22009-08-05 01:29:28 +0000149
150 virtual SDValue
151 LowerReturn(SDValue Chain,
Sandeep Patel65c3c8f2009-09-02 08:44:58 +0000152 CallingConv::ID CallConv, bool isVarArg,
Dan Gohman98ca4f22009-08-05 01:29:28 +0000153 const SmallVectorImpl<ISD::OutputArg> &Outs,
Dan Gohmand858e902010-04-17 15:26:15 +0000154 DebugLoc dl, SelectionDAG &DAG) const;
Dan Gohman98ca4f22009-08-05 01:29:28 +0000155
Dan Gohmand858e902010-04-17 15:26:15 +0000156 SDValue ExpandStore(SDNode *N, SelectionDAG &DAG) const;
157 SDValue ExpandLoad(SDNode *N, SelectionDAG &DAG) const;
158 SDValue ExpandGlobalAddress(SDNode *N, SelectionDAG &DAG) const;
159 SDValue ExpandExternalSymbol(SDNode *N, SelectionDAG &DAG) const;
160 SDValue ExpandFrameIndex(SDNode *N, SelectionDAG &DAG) const;
Sanjiv Guptab1b5ffd2008-11-19 11:00:54 +0000161
162 SDValue PerformDAGCombine(SDNode *N, DAGCombinerInfo &DCI) const;
163 SDValue PerformPIC16LoadCombine(SDNode *N, DAGCombinerInfo &DCI) const;
Sanjiv Guptab84d5a42009-04-02 17:42:00 +0000164 SDValue PerformStoreCombine(SDNode *N, DAGCombinerInfo &DCI) const;
Sanjiv Guptab1b5ffd2008-11-19 11:00:54 +0000165
Sanjiv Guptacae1b622009-04-06 10:54:50 +0000166 // This function returns the Tmp Offset for FrameIndex. If any TmpOffset
167 // already exists for the FI then it returns the same else it creates the
168 // new offset and returns.
Dan Gohman1e93df62010-04-17 14:41:14 +0000169 unsigned GetTmpOffsetForFI(unsigned FI, unsigned slot_size,
Dan Gohmand858e902010-04-17 15:26:15 +0000170 MachineFunction &MF) const;
171 void ResetTmpOffsetMap(SelectionDAG &DAG) const;
Dan Gohman1e93df62010-04-17 14:41:14 +0000172 void InitReservedFrameCount(const Function *F,
Dan Gohmand858e902010-04-17 15:26:15 +0000173 SelectionDAG &DAG) const;
Sanjiv Guptacae1b622009-04-06 10:54:50 +0000174
Bill Wendlingb4202b82009-07-01 18:50:55 +0000175 /// getFunctionAlignment - Return the Log2 alignment of this function.
Bill Wendling20c568f2009-06-30 22:38:32 +0000176 virtual unsigned getFunctionAlignment(const Function *) const {
177 // FIXME: The function never seems to be aligned.
178 return 1;
179 }
Sanjiv Guptab1b5ffd2008-11-19 11:00:54 +0000180 private:
Sanjiv Guptab84d5a42009-04-02 17:42:00 +0000181 // If the Node is a BUILD_PAIR representing a direct Address,
182 // then this function will return true.
Dan Gohmand858e902010-04-17 15:26:15 +0000183 bool isDirectAddress(const SDValue &Op) const;
Sanjiv Guptab1b5ffd2008-11-19 11:00:54 +0000184
185 // If the Node is a DirectAddress in ROM_SPACE then this
186 // function will return true
Dan Gohmand858e902010-04-17 15:26:15 +0000187 bool isRomAddress(const SDValue &Op) const;
Sanjiv Guptab1b5ffd2008-11-19 11:00:54 +0000188
Sanjiv Guptab1b5ffd2008-11-19 11:00:54 +0000189 // Extract the Lo and Hi component of Op.
190 void GetExpandedParts(SDValue Op, SelectionDAG &DAG, SDValue &Lo,
Dan Gohmand858e902010-04-17 15:26:15 +0000191 SDValue &Hi) const;
Sanjiv Guptab1b5ffd2008-11-19 11:00:54 +0000192
193
194 // Load pointer can be a direct or indirect address. In PIC16 direct
195 // addresses need Banksel and Indirect addresses need to be loaded to
196 // FSR first. Handle address specific cases here.
197 void LegalizeAddress(SDValue Ptr, SelectionDAG &DAG, SDValue &Chain,
Dan Gohmand858e902010-04-17 15:26:15 +0000198 SDValue &NewPtr, unsigned &Offset, DebugLoc dl) const;
Sanjiv Guptab1b5ffd2008-11-19 11:00:54 +0000199
Sanjiv Gupta1b046942009-01-13 19:18:47 +0000200 // FrameIndex should be broken down into ExternalSymbol and FrameOffset.
201 void LegalizeFrameIndex(SDValue Op, SelectionDAG &DAG, SDValue &ES,
Dan Gohmand858e902010-04-17 15:26:15 +0000202 int &Offset) const;
Sanjiv Gupta1b046942009-01-13 19:18:47 +0000203
Sanjiv Gupta7836fc12009-04-08 05:38:48 +0000204 // For indirect calls data address of the callee frame need to be
205 // extracted. This function fills the arguments DataAddr_Lo and
206 // DataAddr_Hi with the address of the callee frame.
207 void GetDataAddress(DebugLoc dl, SDValue Callee, SDValue &Chain,
208 SDValue &DataAddr_Lo, SDValue &DataAddr_Hi,
Dan Gohmand858e902010-04-17 15:26:15 +0000209 SelectionDAG &DAG) const;
Sanjiv Gupta7836fc12009-04-08 05:38:48 +0000210
Sanjiv Guptab1b5ffd2008-11-19 11:00:54 +0000211 // We can not have both operands of a binary operation in W.
212 // This function is used to put one operand on stack and generate a load.
Dan Gohmand858e902010-04-17 15:26:15 +0000213 SDValue ConvertToMemOperand(SDValue Op, SelectionDAG &DAG,
214 DebugLoc dl) const;
Sanjiv Guptab1b5ffd2008-11-19 11:00:54 +0000215
Sanjiv Gupta1b046942009-01-13 19:18:47 +0000216 // This function checks if we need to put an operand of an operation on
217 // stack and generate a load or not.
Sanjiv Gupta76d2f9a2009-12-23 11:19:09 +0000218 // DAG parameter is required to access DAG information during
219 // analysis.
Dan Gohmand858e902010-04-17 15:26:15 +0000220 bool NeedToConvertToMemOp(SDValue Op, unsigned &MemOp,
221 SelectionDAG &DAG) const;
Sanjiv Gupta1b046942009-01-13 19:18:47 +0000222
Sanjiv Guptab1b5ffd2008-11-19 11:00:54 +0000223 /// Subtarget - Keep a pointer to the PIC16Subtarget around so that we can
224 /// make the right decision when generating code for different targets.
225 const PIC16Subtarget *Subtarget;
Sanjiv Gupta1b046942009-01-13 19:18:47 +0000226
227
228 // Extending the LIB Call framework of LLVM
Sanjiv Guptab84d5a42009-04-02 17:42:00 +0000229 // to hold the names of PIC16Libcalls.
Sanjiv Gupta08b9b052009-01-21 05:44:05 +0000230 const char *PIC16LibcallNames[PIC16ISD::PIC16UnknownCall];
Sanjiv Gupta1b046942009-01-13 19:18:47 +0000231
Sanjiv Guptab84d5a42009-04-02 17:42:00 +0000232 // To set and retrieve the lib call names.
Sanjiv Gupta08b9b052009-01-21 05:44:05 +0000233 void setPIC16LibcallName(PIC16ISD::PIC16Libcall Call, const char *Name);
Dan Gohmand858e902010-04-17 15:26:15 +0000234 const char *getPIC16LibcallName(PIC16ISD::PIC16Libcall Call) const;
Sanjiv Gupta1b046942009-01-13 19:18:47 +0000235
Sanjiv Guptab84d5a42009-04-02 17:42:00 +0000236 // Make PIC16 Libcall.
Owen Andersone50ed302009-08-10 22:56:29 +0000237 SDValue MakePIC16Libcall(PIC16ISD::PIC16Libcall Call, EVT RetVT,
Sanjiv Gupta1b046942009-01-13 19:18:47 +0000238 const SDValue *Ops, unsigned NumOps, bool isSigned,
Dan Gohmand858e902010-04-17 15:26:15 +0000239 SelectionDAG &DAG, DebugLoc dl) const;
Sanjiv Gupta1b046942009-01-13 19:18:47 +0000240
241 // Check if operation has a direct load operand.
Dan Gohmand858e902010-04-17 15:26:15 +0000242 inline bool isDirectLoad(const SDValue Op) const;
Sanjiv Gupta0e687712008-05-13 09:02:57 +0000243 };
244} // namespace llvm
245
246#endif // PIC16ISELLOWERING_H