blob: 6af4664b84bcd8874e350860025d0ea57e981c01 [file] [log] [blame]
Sanjiv Gupta0e687712008-05-13 09:02:57 +00001//===-- PIC16.h - Top-level interface for PIC16 representation --*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
Sanjiv Gupta2d4e7f72008-05-14 06:50:01 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Sanjiv Gupta0e687712008-05-13 09:02:57 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file contains the entry points for global functions defined in
11// the LLVM PIC16 back-end.
12//
13//===----------------------------------------------------------------------===//
14
Sanjiv Guptab1b5ffd2008-11-19 11:00:54 +000015#ifndef LLVM_TARGET_PIC16_H
16#define LLVM_TARGET_PIC16_H
Sanjiv Gupta0e687712008-05-13 09:02:57 +000017
Torok Edwinc25e7582009-07-11 20:10:48 +000018#include "llvm/Support/ErrorHandling.h"
Bill Wendling98a366d2009-04-29 23:29:43 +000019#include "llvm/Target/TargetMachine.h"
Sanjiv Gupta1b046942009-01-13 19:18:47 +000020#include <iosfwd>
21#include <cassert>
Sanjiv Gupta211f3622009-05-10 05:23:47 +000022#include <sstream>
Nick Lewycky4a228862009-05-08 06:22:25 +000023#include <cstring>
Sanjiv Guptad8d27f42009-05-06 08:02:01 +000024#include <string>
Sanjiv Gupta1b046942009-01-13 19:18:47 +000025
Sanjiv Gupta0e687712008-05-13 09:02:57 +000026namespace llvm {
27 class PIC16TargetMachine;
Sanjiv Gupta0e687712008-05-13 09:02:57 +000028 class FunctionPass;
29 class MachineCodeEmitter;
Owen Andersoncb371882008-08-21 00:14:44 +000030 class raw_ostream;
Sanjiv Gupta0e687712008-05-13 09:02:57 +000031
Sanjiv Gupta1b046942009-01-13 19:18:47 +000032namespace PIC16CC {
33 enum CondCodes {
34 EQ,
35 NE,
36 LT,
37 LE,
38 GT,
Sanjiv Gupta08b9b052009-01-21 05:44:05 +000039 GE,
40 ULT,
41 UGT,
42 ULE,
43 UGE
Sanjiv Gupta1b046942009-01-13 19:18:47 +000044 };
45}
Sanjiv Gupta211f3622009-05-10 05:23:47 +000046 // A Central class to manage all ABI naming conventions.
47 // PAN - [P]ic16 [A]BI [N]ames
48 class PAN {
Sanjiv Guptad8d27f42009-05-06 08:02:01 +000049 public:
50 // Map the name of the symbol to its section name.
51 // Current ABI:
Sanjiv Gupta211f3622009-05-10 05:23:47 +000052 // -----------------------------------------------------
53 // ALL Names are prefixed with the symobl '@'.
Sanjiv Guptad8d27f42009-05-06 08:02:01 +000054 // ------------------------------------------------------
55 // Global variables do not have any '.' in their names.
Sanjiv Guptad8d27f42009-05-06 08:02:01 +000056 // These are maily function names and global variable names.
Sanjiv Gupta211f3622009-05-10 05:23:47 +000057 // Example - @foo, @i
Sanjiv Guptad8d27f42009-05-06 08:02:01 +000058 // -------------------------------------------------------
59 // Functions and auto variables.
Sanjiv Gupta211f3622009-05-10 05:23:47 +000060 // Names are mangled as <prefix><funcname>.<tag>.<varname>
61 // Where <prefix> is '@' and <tag> is any one of
Sanjiv Guptad8d27f42009-05-06 08:02:01 +000062 // the following
63 // .auto. - an automatic var of a function.
64 // .temp. - temproray data of a function.
65 // .ret. - return value label for a function.
66 // .frame. - Frame label for a function where retval, args
67 // and temps are stored.
68 // .args. - Label used to pass arguments to a direct call.
69 // Example - Function name: @foo
70 // Its frame: @foo.frame.
71 // Its retval: @foo.ret.
72 // Its local vars: @foo.auto.a
73 // Its temp data: @foo.temp.
74 // Its arg passing: @foo.args.
75 //----------------------------------------------
Sanjiv Guptae0b4b0e2009-05-11 08:52:04 +000076 // Libcall - compiler generated libcall names must start with .lib.
Sanjiv Guptad8d27f42009-05-06 08:02:01 +000077 // This id will be used to emit extern decls for libcalls.
Sanjiv Guptae0b4b0e2009-05-11 08:52:04 +000078 // Example - libcall name: @.lib.sra.i8
79 // To pass args: @.lib.sra.i8.args.
80 // To return val: @.lib.sra.i8.ret.
Sanjiv Guptad8d27f42009-05-06 08:02:01 +000081 //----------------------------------------------
Sanjiv Gupta211f3622009-05-10 05:23:47 +000082 // SECTION Names
83 // uninitialized globals - @udata.<num>.#
84 // initialized globals - @idata.<num>.#
85 // Function frame - @<func>.frame_section.
86 // Function autos - @<func>.autos_section.
Sanjiv Guptad7649412009-07-06 08:22:15 +000087 // Declarations - Enclosed in comments. No section for them.
Sanjiv Gupta211f3622009-05-10 05:23:47 +000088 //----------------------------------------------------------
Sanjiv Guptad8d27f42009-05-06 08:02:01 +000089
Sanjiv Gupta211f3622009-05-10 05:23:47 +000090 // Tags used to mangle different names.
91 enum TAGS {
Sanjiv Guptad8d27f42009-05-06 08:02:01 +000092 PREFIX_SYMBOL,
Sanjiv Gupta211f3622009-05-10 05:23:47 +000093 GLOBAL,
94 STATIC_LOCAL,
95 AUTOS_LABEL,
96 FRAME_LABEL,
97 RET_LABEL,
98 ARGS_LABEL,
99 TEMPS_LABEL,
Sanjiv Guptad8d27f42009-05-06 08:02:01 +0000100
101 LIBCALL,
102
103 FRAME_SECTION,
Sanjiv Gupta211f3622009-05-10 05:23:47 +0000104 AUTOS_SECTION,
105 CODE_SECTION
Sanjiv Gupta573eb5e2009-05-08 04:50:14 +0000106 };
Sanjiv Guptad8d27f42009-05-06 08:02:01 +0000107
Sanjiv Gupta211f3622009-05-10 05:23:47 +0000108 // Textual names of the tags.
109 inline static const char *getTagName(TAGS tag) {
110 switch (tag) {
111 default: return "";
Sanjiv Gupta573eb5e2009-05-08 04:50:14 +0000112 case PREFIX_SYMBOL: return "@";
Sanjiv Gupta211f3622009-05-10 05:23:47 +0000113 case AUTOS_LABEL: return ".auto.";
114 case FRAME_LABEL: return ".frame.";
115 case TEMPS_LABEL: return ".temp.";
116 case ARGS_LABEL: return ".args.";
117 case RET_LABEL: return ".ret.";
Sanjiv Guptae0b4b0e2009-05-11 08:52:04 +0000118 case LIBCALL: return ".lib.";
119 case FRAME_SECTION: return ".frame_section.";
120 case AUTOS_SECTION: return ".autos_section.";
121 case CODE_SECTION: return ".code_section.";
Sanjiv Gupta573eb5e2009-05-08 04:50:14 +0000122 }
Sanjiv Guptad8d27f42009-05-06 08:02:01 +0000123 }
Sanjiv Guptad8d27f42009-05-06 08:02:01 +0000124
Sanjiv Gupta211f3622009-05-10 05:23:47 +0000125 // Get tag type for the Symbol.
126 inline static TAGS getSymbolTag(const std::string &Sym) {
127 if (Sym.find(getTagName(TEMPS_LABEL)) != std::string::npos)
128 return TEMPS_LABEL;
Sanjiv Guptad8d27f42009-05-06 08:02:01 +0000129
Sanjiv Gupta211f3622009-05-10 05:23:47 +0000130 if (Sym.find(getTagName(FRAME_LABEL)) != std::string::npos)
131 return FRAME_LABEL;
Sanjiv Guptad8d27f42009-05-06 08:02:01 +0000132
Sanjiv Gupta211f3622009-05-10 05:23:47 +0000133 if (Sym.find(getTagName(RET_LABEL)) != std::string::npos)
134 return RET_LABEL;
Sanjiv Guptad8d27f42009-05-06 08:02:01 +0000135
Sanjiv Gupta211f3622009-05-10 05:23:47 +0000136 if (Sym.find(getTagName(ARGS_LABEL)) != std::string::npos)
137 return ARGS_LABEL;
Sanjiv Guptad8d27f42009-05-06 08:02:01 +0000138
Sanjiv Gupta211f3622009-05-10 05:23:47 +0000139 if (Sym.find(getTagName(AUTOS_LABEL)) != std::string::npos)
140 return AUTOS_LABEL;
Sanjiv Guptad8d27f42009-05-06 08:02:01 +0000141
Sanjiv Gupta211f3622009-05-10 05:23:47 +0000142 if (Sym.find(getTagName(LIBCALL)) != std::string::npos)
Sanjiv Gupta573eb5e2009-05-08 04:50:14 +0000143 return LIBCALL;
Sanjiv Guptad8d27f42009-05-06 08:02:01 +0000144
Sanjiv Gupta211f3622009-05-10 05:23:47 +0000145 // It does not have any Tag. So its a true global or static local.
146 if (Sym.find(".") == std::string::npos)
147 return GLOBAL;
148
149 // If a . is there, then it may be static local.
150 // We should mangle these as well in clang.
151 if (Sym.find(".") != std::string::npos)
152 return STATIC_LOCAL;
153
154 assert (0 && "Could not determine Symbol's tag");
Duncan Sandsf7f2d302009-07-03 16:11:34 +0000155 return PREFIX_SYMBOL; // Silence warning when assertions are turned off.
Sanjiv Gupta573eb5e2009-05-08 04:50:14 +0000156 }
157
Sanjiv Gupta211f3622009-05-10 05:23:47 +0000158 // addPrefix - add prefix symbol to a name if there isn't one already.
159 inline static std::string addPrefix (const std::string &Name) {
160 std::string prefix = getTagName (PREFIX_SYMBOL);
Sanjiv Gupta573eb5e2009-05-08 04:50:14 +0000161
Sanjiv Gupta211f3622009-05-10 05:23:47 +0000162 // If this name already has a prefix, nothing to do.
163 if (Name.compare(0, prefix.size(), prefix) == 0)
164 return Name;
165
166 return prefix + Name;
167 }
168
169 // Get mangled func name from a mangled sym name.
170 // In all cases func name is the first component before a '.'.
171 static inline std::string getFuncNameForSym(const std::string &Sym1) {
172 assert (getSymbolTag(Sym1) != GLOBAL && "not belongs to a function");
173
174 std::string Sym = addPrefix(Sym1);
Sanjiv Gupta573eb5e2009-05-08 04:50:14 +0000175
176 // Position of the . after func name. That's where func name ends.
Sanjiv Gupta211f3622009-05-10 05:23:47 +0000177 size_t func_name_end = Sym.find ('.');
Sanjiv Gupta573eb5e2009-05-08 04:50:14 +0000178
Sanjiv Gupta211f3622009-05-10 05:23:47 +0000179 return Sym.substr (0, func_name_end);
Sanjiv Gupta573eb5e2009-05-08 04:50:14 +0000180 }
181
Sanjiv Gupta211f3622009-05-10 05:23:47 +0000182 // Get Frame start label for a func.
183 static std::string getFrameLabel(const std::string &Func) {
184 std::string Func1 = addPrefix(Func);
185 std::string tag = getTagName(FRAME_LABEL);
186 return Func1 + tag;
Sanjiv Gupta573eb5e2009-05-08 04:50:14 +0000187 }
188
Sanjiv Gupta211f3622009-05-10 05:23:47 +0000189 static std::string getRetvalLabel(const std::string &Func) {
190 std::string Func1 = addPrefix(Func);
191 std::string tag = getTagName(RET_LABEL);
192 return Func1 + tag;
193 }
194
195 static std::string getArgsLabel(const std::string &Func) {
196 std::string Func1 = addPrefix(Func);
197 std::string tag = getTagName(ARGS_LABEL);
198 return Func1 + tag;
199 }
200
201 static std::string getTempdataLabel(const std::string &Func) {
202 std::string Func1 = addPrefix(Func);
203 std::string tag = getTagName(TEMPS_LABEL);
204 return Func1 + tag;
205 }
206
207 static std::string getFrameSectionName(const std::string &Func) {
208 std::string Func1 = addPrefix(Func);
209 std::string tag = getTagName(FRAME_SECTION);
Sanjiv Guptae0b4b0e2009-05-11 08:52:04 +0000210 return Func1 + tag + "# UDATA_OVR";
Sanjiv Gupta211f3622009-05-10 05:23:47 +0000211 }
212
213 static std::string getAutosSectionName(const std::string &Func) {
214 std::string Func1 = addPrefix(Func);
215 std::string tag = getTagName(AUTOS_SECTION);
Sanjiv Guptae0b4b0e2009-05-11 08:52:04 +0000216 return Func1 + tag + "# UDATA_OVR";
Sanjiv Gupta211f3622009-05-10 05:23:47 +0000217 }
218
219 static std::string getCodeSectionName(const std::string &Func) {
220 std::string Func1 = addPrefix(Func);
221 std::string tag = getTagName(CODE_SECTION);
Sanjiv Guptae0b4b0e2009-05-11 08:52:04 +0000222 return Func1 + tag + "# CODE";
Sanjiv Gupta211f3622009-05-10 05:23:47 +0000223 }
224
Sanjiv Gupta505996f2009-07-06 10:18:37 +0000225 // udata, romdata and idata section names are generated by a given number.
Sanjiv Gupta211f3622009-05-10 05:23:47 +0000226 // @udata.<num>.#
Sanjiv Gupta505996f2009-07-06 10:18:37 +0000227 static std::string getUdataSectionName(unsigned num,
228 std::string prefix = "") {
Sanjiv Gupta211f3622009-05-10 05:23:47 +0000229 std::ostringstream o;
Sanjiv Gupta505996f2009-07-06 10:18:37 +0000230 o << getTagName(PREFIX_SYMBOL) << prefix << "udata." << num
231 << ".# UDATA";
Sanjiv Gupta211f3622009-05-10 05:23:47 +0000232 return o.str();
233 }
234
Sanjiv Gupta505996f2009-07-06 10:18:37 +0000235 static std::string getRomdataSectionName(unsigned num,
236 std::string prefix = "") {
Sanjiv Gupta211f3622009-05-10 05:23:47 +0000237 std::ostringstream o;
Sanjiv Gupta505996f2009-07-06 10:18:37 +0000238 o << getTagName(PREFIX_SYMBOL) << prefix << "romdata." << num
239 << ".# ROMDATA";
240 return o.str();
241 }
242
243 static std::string getIdataSectionName(unsigned num,
244 std::string prefix = "") {
245 std::ostringstream o;
246 o << getTagName(PREFIX_SYMBOL) << prefix << "idata." << num
247 << ".# IDATA";
Sanjiv Gupta211f3622009-05-10 05:23:47 +0000248 return o.str();
249 }
250
251 inline static bool isLocalName (const std::string &Name) {
252 if (getSymbolTag(Name) == AUTOS_LABEL)
253 return true;
254
255 return false;
256 }
257
258 inline static bool isLocalToFunc (std::string &Func, std::string &Var) {
259 if (! isLocalName(Var)) return false;
260
261 std::string Func1 = addPrefix(Func);
262 // Extract func name of the varilable.
263 const std::string &fname = getFuncNameForSym(Var);
264
265 if (fname.compare(Func1) == 0)
266 return true;
267
268 return false;
269 }
270
271
Sanjiv Gupta573eb5e2009-05-08 04:50:14 +0000272 // Get the section for the given external symbol names.
Sanjiv Gupta211f3622009-05-10 05:23:47 +0000273 // This tries to find the type (Tag) of the symbol from its mangled name
Sanjiv Gupta573eb5e2009-05-08 04:50:14 +0000274 // and return appropriate section name for it.
Sanjiv Gupta211f3622009-05-10 05:23:47 +0000275 static inline std::string getSectionNameForSym(const std::string &Sym1) {
276 std::string Sym = addPrefix(Sym1);
277
Sanjiv Gupta573eb5e2009-05-08 04:50:14 +0000278 std::string SectionName;
279
Sanjiv Gupta573eb5e2009-05-08 04:50:14 +0000280 std::string Fname = getFuncNameForSym (Sym);
Sanjiv Gupta211f3622009-05-10 05:23:47 +0000281 TAGS id = getSymbolTag (Sym);
Sanjiv Gupta573eb5e2009-05-08 04:50:14 +0000282
283 switch (id) {
284 default : assert (0 && "Could not determine external symbol type");
Sanjiv Gupta211f3622009-05-10 05:23:47 +0000285 case FRAME_LABEL:
286 case RET_LABEL:
287 case TEMPS_LABEL:
288 case ARGS_LABEL: {
289 return getFrameSectionName(Fname);
Sanjiv Gupta573eb5e2009-05-08 04:50:14 +0000290 }
Sanjiv Gupta211f3622009-05-10 05:23:47 +0000291 case AUTOS_LABEL: {
292 return getAutosSectionName(Fname);
Sanjiv Gupta573eb5e2009-05-08 04:50:14 +0000293 }
294 }
295 }
Sanjiv Gupta211f3622009-05-10 05:23:47 +0000296 }; // class PAN.
297
298
299 // External symbol names require memory to live till the program end.
300 // So we have to allocate it and keep.
301 inline static const char *createESName (const std::string &name) {
302 char *tmpName = new char[name.size() + 1];
303 strcpy (tmpName, name.c_str());
304 return tmpName;
305 }
Sanjiv Gupta573eb5e2009-05-08 04:50:14 +0000306
Sanjiv Guptad8d27f42009-05-06 08:02:01 +0000307
Sanjiv Gupta1b046942009-01-13 19:18:47 +0000308
309 inline static const char *PIC16CondCodeToString(PIC16CC::CondCodes CC) {
310 switch (CC) {
Torok Edwinc25e7582009-07-11 20:10:48 +0000311 default: LLVM_UNREACHABLE("Unknown condition code");
Sanjiv Gupta1b046942009-01-13 19:18:47 +0000312 case PIC16CC::NE: return "ne";
313 case PIC16CC::EQ: return "eq";
314 case PIC16CC::LT: return "lt";
Sanjiv Gupta08b9b052009-01-21 05:44:05 +0000315 case PIC16CC::ULT: return "lt";
Sanjiv Gupta1b046942009-01-13 19:18:47 +0000316 case PIC16CC::LE: return "le";
Sanjiv Gupta703e2352009-06-03 13:36:44 +0000317 case PIC16CC::ULE: return "le";
Sanjiv Gupta1b046942009-01-13 19:18:47 +0000318 case PIC16CC::GT: return "gt";
Sanjiv Gupta08b9b052009-01-21 05:44:05 +0000319 case PIC16CC::UGT: return "gt";
Sanjiv Gupta1b046942009-01-13 19:18:47 +0000320 case PIC16CC::GE: return "ge";
Sanjiv Gupta703e2352009-06-03 13:36:44 +0000321 case PIC16CC::UGE: return "ge";
Sanjiv Gupta1b046942009-01-13 19:18:47 +0000322 }
323 }
324
Sanjiv Gupta08b9b052009-01-21 05:44:05 +0000325 inline static bool isSignedComparison(PIC16CC::CondCodes CC) {
326 switch (CC) {
Torok Edwinc25e7582009-07-11 20:10:48 +0000327 default: LLVM_UNREACHABLE("Unknown condition code");
Sanjiv Gupta08b9b052009-01-21 05:44:05 +0000328 case PIC16CC::NE:
329 case PIC16CC::EQ:
330 case PIC16CC::LT:
331 case PIC16CC::LE:
332 case PIC16CC::GE:
333 case PIC16CC::GT:
334 return true;
335 case PIC16CC::ULT:
336 case PIC16CC::UGT:
337 case PIC16CC::ULE:
338 case PIC16CC::UGE:
339 return false; // condition codes for unsigned comparison.
340 }
341 }
342
Sanjiv Gupta1b046942009-01-13 19:18:47 +0000343
Sanjiv Guptad8d27f42009-05-06 08:02:01 +0000344
Sanjiv Gupta0e687712008-05-13 09:02:57 +0000345 FunctionPass *createPIC16ISelDag(PIC16TargetMachine &TM);
Owen Andersoncb371882008-08-21 00:14:44 +0000346 FunctionPass *createPIC16CodePrinterPass(raw_ostream &OS,
Bill Wendling57f0db82009-02-24 08:30:20 +0000347 PIC16TargetMachine &TM,
Bill Wendling98a366d2009-04-29 23:29:43 +0000348 bool Verbose);
Sanjiv Guptad8d27f42009-05-06 08:02:01 +0000349 // Banksel optimzer pass.
350 FunctionPass *createPIC16MemSelOptimizerPass();
Sanjiv Gupta0e687712008-05-13 09:02:57 +0000351} // end namespace llvm;
352
353// Defines symbolic names for PIC16 registers. This defines a mapping from
354// register name to register number.
355#include "PIC16GenRegisterNames.inc"
356
357// Defines symbolic names for the PIC16 instructions.
358#include "PIC16GenInstrNames.inc"
359
360#endif