blob: 1aafff9cf53a3ab9ec5b7b083702709d3096ba6b [file] [log] [blame]
Nate Begeman5ddb0872010-05-28 01:08:32 +00001//===- NeonEmitter.cpp - Generate arm_neon.h for use with clang -*- 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 tablegen backend is responsible for emitting arm_neon.h, which includes
11// a declaration and definition of each function specified by the ARM NEON
12// compiler interface. See ARM document DUI0348B.
13//
14//===----------------------------------------------------------------------===//
15
16#include "NeonEmitter.h"
Nate Begeman22237772010-06-02 00:34:55 +000017#include "llvm/ADT/SmallString.h"
18#include "llvm/ADT/SmallVector.h"
Nate Begeman5ddb0872010-05-28 01:08:32 +000019#include "llvm/ADT/StringExtras.h"
Nate Begeman5ddb0872010-05-28 01:08:32 +000020#include <string>
21
22using namespace llvm;
23
Nate Begeman22237772010-06-02 00:34:55 +000024static void ParseTypes(Record *r, std::string &s,
25 SmallVectorImpl<StringRef> &TV) {
26 const char *data = s.data();
27 int len = 0;
28
29 for (unsigned i = 0, e = s.size(); i != e; ++i, ++len) {
30 if (data[len] == 'P' || data[len] == 'Q' || data[len] == 'U')
31 continue;
32
33 switch (data[len]) {
34 case 'c':
35 case 's':
36 case 'i':
37 case 'l':
38 case 'h':
39 case 'f':
40 break;
41 default:
42 throw TGError(r->getLoc(),
43 "Unexpected letter: " + std::string(data + len, 1));
44 break;
45 }
46 TV.push_back(StringRef(data, len + 1));
47 data += len + 1;
48 len = -1;
49 }
50}
51
Duncan Sands8dbbace2010-06-02 08:37:30 +000052static char Widen(const char t) {
Nate Begeman22237772010-06-02 00:34:55 +000053 switch (t) {
54 case 'c':
55 return 's';
56 case 's':
57 return 'i';
58 case 'i':
59 return 'l';
60 default: throw "unhandled type in widen!";
61 }
62 return '\0';
63}
64
Nate Begeman3861e742010-06-03 21:35:22 +000065static char Narrow(const char t) {
66 switch (t) {
67 case 's':
68 return 'c';
69 case 'i':
70 return 's';
71 case 'l':
72 return 'i';
Nate Begeman900f4672010-06-08 00:14:42 +000073 case 'f':
74 return 'h';
Nate Begeman3861e742010-06-03 21:35:22 +000075 default: throw "unhandled type in widen!";
76 }
77 return '\0';
78}
79
Nate Begemanaf905ef2010-06-02 06:17:19 +000080static char ClassifyType(StringRef ty, bool &quad, bool &poly, bool &usgn) {
Nate Begeman22237772010-06-02 00:34:55 +000081 unsigned off = 0;
82
Nate Begemanaf905ef2010-06-02 06:17:19 +000083 // remember quad.
84 if (ty[off] == 'Q') {
85 quad = true;
86 ++off;
87 }
88
89 // remember poly.
90 if (ty[off] == 'P') {
91 poly = true;
92 ++off;
93 }
94
95 // remember unsigned.
96 if (ty[off] == 'U') {
97 usgn = true;
98 ++off;
99 }
100
101 // base type to get the type string for.
102 return ty[off];
103}
104
Nate Begemanb0a4e452010-06-07 16:00:37 +0000105static char ModType(const char mod, char type, bool &quad, bool &poly,
106 bool &usgn, bool &scal, bool &cnst, bool &pntr) {
Nate Begeman22237772010-06-02 00:34:55 +0000107 switch (mod) {
Nate Begeman22237772010-06-02 00:34:55 +0000108 case 't':
109 if (poly) {
110 poly = false;
111 usgn = true;
112 }
113 break;
Nate Begeman900f4672010-06-08 00:14:42 +0000114 case 'u':
Nate Begeman22237772010-06-02 00:34:55 +0000115 usgn = true;
Nate Begeman900f4672010-06-08 00:14:42 +0000116 case 'x':
Nate Begeman162d3ba2010-06-03 04:04:09 +0000117 poly = false;
Nate Begeman22237772010-06-02 00:34:55 +0000118 if (type == 'f')
119 type = 'i';
120 break;
121 case 'f':
Nate Begeman900f4672010-06-08 00:14:42 +0000122 if (type == 'h')
123 quad = true;
Nate Begeman22237772010-06-02 00:34:55 +0000124 type = 'f';
Nate Begeman162d3ba2010-06-03 04:04:09 +0000125 usgn = false;
Nate Begeman22237772010-06-02 00:34:55 +0000126 break;
127 case 'w':
128 type = Widen(type);
129 quad = true;
130 break;
131 case 'n':
132 type = Widen(type);
133 break;
Nate Begeman22237772010-06-02 00:34:55 +0000134 case 'l':
135 type = 'l';
136 scal = true;
137 usgn = true;
138 break;
139 case 's':
140 scal = true;
141 break;
142 case 'k':
143 quad = true;
144 break;
145 case 'c':
146 cnst = true;
147 case 'p':
Nate Begemanb0a4e452010-06-07 16:00:37 +0000148 usgn = false;
149 poly = false;
Nate Begeman22237772010-06-02 00:34:55 +0000150 pntr = true;
151 scal = true;
152 break;
Nate Begeman3861e742010-06-03 21:35:22 +0000153 case 'h':
154 type = Narrow(type);
Nate Begeman900f4672010-06-08 00:14:42 +0000155 if (type == 'h')
156 quad = false;
Nate Begeman3861e742010-06-03 21:35:22 +0000157 break;
158 case 'e':
159 type = Narrow(type);
160 usgn = true;
161 break;
Nate Begeman22237772010-06-02 00:34:55 +0000162 default:
163 break;
164 }
Nate Begemanb0a4e452010-06-07 16:00:37 +0000165 return type;
166}
167
168static std::string TypeString(const char mod, StringRef typestr,
169 bool ret = false) {
170 bool quad = false;
171 bool poly = false;
172 bool usgn = false;
173 bool scal = false;
174 bool cnst = false;
175 bool pntr = false;
176
177 if (mod == 'v')
178 return "void";
179 if (mod == 'i')
180 return "int";
181
182 // base type to get the type string for.
183 char type = ClassifyType(typestr, quad, poly, usgn);
184
185 // Based on the modifying character, change the type and width if necessary.
186 type = ModType(mod, type, quad, poly, usgn, scal, cnst, pntr);
Nate Begeman22237772010-06-02 00:34:55 +0000187
188 SmallString<128> s;
189
Nate Begeman9e584b32010-06-04 22:53:30 +0000190 if (ret)
191 s += "__neon_";
192
Nate Begeman22237772010-06-02 00:34:55 +0000193 if (usgn)
194 s.push_back('u');
195
196 switch (type) {
197 case 'c':
198 s += poly ? "poly8" : "int8";
199 if (scal)
200 break;
201 s += quad ? "x16" : "x8";
202 break;
203 case 's':
204 s += poly ? "poly16" : "int16";
205 if (scal)
206 break;
207 s += quad ? "x8" : "x4";
208 break;
209 case 'i':
210 s += "int32";
211 if (scal)
212 break;
213 s += quad ? "x4" : "x2";
214 break;
215 case 'l':
216 s += "int64";
217 if (scal)
218 break;
219 s += quad ? "x2" : "x1";
220 break;
221 case 'h':
222 s += "float16";
223 if (scal)
224 break;
225 s += quad ? "x8" : "x4";
226 break;
227 case 'f':
228 s += "float32";
229 if (scal)
230 break;
231 s += quad ? "x4" : "x2";
232 break;
Nate Begeman22237772010-06-02 00:34:55 +0000233 default:
234 throw "unhandled type!";
235 break;
236 }
237
238 if (mod == '2')
239 s += "x2";
240 if (mod == '3')
241 s += "x3";
242 if (mod == '4')
243 s += "x4";
244
245 // Append _t, finishing the type string typedef type.
246 s += "_t";
247
248 if (cnst)
249 s += " const";
250
251 if (pntr)
252 s += " *";
253
254 return s.str();
255}
256
Nate Begeman7c21f742010-06-04 21:36:00 +0000257static std::string BuiltinTypeString(const char mod, StringRef typestr,
258 ClassKind ck, bool ret) {
Nate Begeman92f98af2010-06-04 07:11:25 +0000259 bool quad = false;
260 bool poly = false;
261 bool usgn = false;
262 bool scal = false;
263 bool cnst = false;
264 bool pntr = false;
265
266 if (mod == 'v')
267 return "v";
268 if (mod == 'i')
269 return "i";
270
271 // base type to get the type string for.
272 char type = ClassifyType(typestr, quad, poly, usgn);
273
274 // Based on the modifying character, change the type and width if necessary.
Nate Begemanb0a4e452010-06-07 16:00:37 +0000275 type = ModType(mod, type, quad, poly, usgn, scal, cnst, pntr);
276
277 if (pntr)
278 type = 'v';
279
Nate Begeman92f98af2010-06-04 07:11:25 +0000280 if (type == 'h') {
281 type = 's';
282 usgn = true;
283 }
Nate Begeman7c21f742010-06-04 21:36:00 +0000284 usgn = usgn | poly | ((ck == ClassI || ck == ClassW) && scal && type != 'f');
Nate Begeman92f98af2010-06-04 07:11:25 +0000285
286 if (scal) {
287 SmallString<128> s;
288
289 if (usgn)
290 s.push_back('U');
Nate Begeman7c21f742010-06-04 21:36:00 +0000291
292 if (type == 'l')
293 s += "LLi";
294 else
295 s.push_back(type);
296
Nate Begeman92f98af2010-06-04 07:11:25 +0000297 if (cnst)
298 s.push_back('C');
299 if (pntr)
300 s.push_back('*');
301 return s.str();
302 }
Nate Begeman7c21f742010-06-04 21:36:00 +0000303
304 // Since the return value must be one type, return a vector type of the
305 // appropriate width which we will bitcast.
306 if (ret) {
307 if (mod == '2')
308 return quad ? "V32c" : "V16c";
309 if (mod == '3')
310 return quad ? "V48c" : "V24c";
311 if (mod == '4')
312 return quad ? "V64c" : "V32c";
Nate Begeman56387832010-06-08 06:01:16 +0000313 if (mod == 'f')
314 return quad ? "V4f" : "V2f";
315 if (mod == 'x' || mod == 'u')
316 return quad ? "V4i" : "V2i";
Nate Begeman900f4672010-06-08 00:14:42 +0000317
Nate Begeman7c21f742010-06-04 21:36:00 +0000318 return quad ? "V16c" : "V8c";
319 }
320
321 // Non-return array types are passed as individual vectors.
Nate Begeman92f98af2010-06-04 07:11:25 +0000322 if (mod == '2')
323 return quad ? "V16cV16c" : "V8cV8c";
324 if (mod == '3')
325 return quad ? "V16cV16cV16c" : "V8cV8cV8c";
326 if (mod == '4')
327 return quad ? "V16cV16cV16cV16c" : "V8cV8cV8cV8c";
Nate Begeman900f4672010-06-08 00:14:42 +0000328 if (mod == 'f')
329 return quad ? "V4f" : "V2f";
Nate Begeman92f98af2010-06-04 07:11:25 +0000330
331 return quad ? "V16c" : "V8c";
332}
333
Nate Begeman22237772010-06-02 00:34:55 +0000334// Turn "vst2_lane" into "vst2q_lane_f32", etc.
Nate Begemana8979a02010-06-04 00:21:41 +0000335static std::string MangleName(const std::string &name, StringRef typestr,
336 ClassKind ck) {
Nate Begeman900f4672010-06-08 00:14:42 +0000337 if (name == "vcvt_f32_f16")
338 return name;
339
Nate Begemanaf905ef2010-06-02 06:17:19 +0000340 bool quad = false;
341 bool poly = false;
342 bool usgn = false;
343 char type = ClassifyType(typestr, quad, poly, usgn);
344
345 std::string s = name;
346
347 switch (type) {
Nate Begemana8979a02010-06-04 00:21:41 +0000348 case 'c':
349 switch (ck) {
350 case ClassS: s += poly ? "_p8" : usgn ? "_u8" : "_s8"; break;
351 case ClassI: s += "_i8"; break;
352 case ClassW: s += "_8"; break;
353 default: break;
354 }
355 break;
356 case 's':
357 switch (ck) {
358 case ClassS: s += poly ? "_p16" : usgn ? "_u16" : "_s16"; break;
359 case ClassI: s += "_i16"; break;
360 case ClassW: s += "_16"; break;
361 default: break;
362 }
363 break;
364 case 'i':
365 switch (ck) {
366 case ClassS: s += usgn ? "_u32" : "_s32"; break;
367 case ClassI: s += "_i32"; break;
368 case ClassW: s += "_32"; break;
369 default: break;
370 }
371 break;
372 case 'l':
373 switch (ck) {
374 case ClassS: s += usgn ? "_u64" : "_s64"; break;
375 case ClassI: s += "_i64"; break;
376 case ClassW: s += "_64"; break;
377 default: break;
378 }
379 break;
380 case 'h':
381 switch (ck) {
382 case ClassS:
383 case ClassI: s += "_f16"; break;
384 case ClassW: s += "_16"; break;
385 default: break;
386 }
387 break;
388 case 'f':
389 switch (ck) {
390 case ClassS:
391 case ClassI: s += "_f32"; break;
392 case ClassW: s += "_32"; break;
393 default: break;
394 }
395 break;
396 default:
397 throw "unhandled type!";
398 break;
Nate Begemanaf905ef2010-06-02 06:17:19 +0000399 }
Nate Begemana8979a02010-06-04 00:21:41 +0000400 if (ck == ClassB)
Nate Begeman92f98af2010-06-04 07:11:25 +0000401 s += "_v";
Nate Begemana8979a02010-06-04 00:21:41 +0000402
Nate Begemanaf905ef2010-06-02 06:17:19 +0000403 // Insert a 'q' before the first '_' character so that it ends up before
404 // _lane or _n on vector-scalar operations.
405 if (quad) {
406 size_t pos = s.find('_');
407 s = s.insert(pos, "q");
408 }
409 return s;
Nate Begeman22237772010-06-02 00:34:55 +0000410}
411
Nate Begemanaf905ef2010-06-02 06:17:19 +0000412// Generate the string "(argtype a, argtype b, ...)"
Nate Begeman22237772010-06-02 00:34:55 +0000413static std::string GenArgs(const std::string &proto, StringRef typestr) {
Nate Begeman6c060db2010-06-09 01:09:00 +0000414 bool define = proto.find('i') != std::string::npos;
Nate Begemanaf905ef2010-06-02 06:17:19 +0000415 char arg = 'a';
416
417 std::string s;
418 s += "(";
419
420 for (unsigned i = 1, e = proto.size(); i != e; ++i, ++arg) {
Nate Begeman6c060db2010-06-09 01:09:00 +0000421 if (!define) {
422 s += TypeString(proto[i], typestr);
423 s.push_back(' ');
424 }
Nate Begemanaf905ef2010-06-02 06:17:19 +0000425 s.push_back(arg);
426 if ((i + 1) < e)
427 s += ", ";
428 }
429
430 s += ")";
431 return s;
Nate Begeman22237772010-06-02 00:34:55 +0000432}
433
Nate Begeman7c8c8832010-06-02 21:53:00 +0000434// Generate the definition for this intrinsic, e.g. "a + b" for OpAdd.
435// If structTypes is true, the NEON types are structs of vector types rather
436// than vector types, and the call becomes "a.val + b.val"
437static std::string GenOpString(OpKind op, const std::string &proto,
Nate Begeman162d3ba2010-06-03 04:04:09 +0000438 StringRef typestr, bool structTypes = true) {
Nate Begeman9e584b32010-06-04 22:53:30 +0000439 std::string ts = TypeString(proto[0], typestr);
Nate Begeman900f4672010-06-08 00:14:42 +0000440 std::string s = ts + " r; r";
441
Nate Begeman96ec22d2010-06-08 07:11:17 +0000442 bool dummy, quad = false;
Nate Begeman900f4672010-06-08 00:14:42 +0000443 char type = ClassifyType(typestr, quad, dummy, dummy);
444 unsigned nElts = 0;
445 switch (type) {
446 case 'c': nElts = 8; break;
447 case 's': nElts = 4; break;
448 case 'i': nElts = 2; break;
449 case 'l': nElts = 1; break;
450 case 'h': nElts = 4; break;
451 case 'f': nElts = 2; break;
452 }
453 nElts <<= quad;
Nate Begeman162d3ba2010-06-03 04:04:09 +0000454
Nate Begeman900f4672010-06-08 00:14:42 +0000455 if (structTypes)
456 s += ".val";
457
458 s += " = ";
459
Nate Begeman3861e742010-06-03 21:35:22 +0000460 std::string a, b, c;
461 if (proto.size() > 1)
Nate Begeman900f4672010-06-08 00:14:42 +0000462 a = (structTypes && proto[1] != 'l' && proto[1] != 's') ? "a.val" : "a";
Nate Begeman3861e742010-06-03 21:35:22 +0000463 b = structTypes ? "b.val" : "b";
464 c = structTypes ? "c.val" : "c";
Nate Begeman162d3ba2010-06-03 04:04:09 +0000465
466 switch(op) {
467 case OpAdd:
468 s += a + " + " + b;
469 break;
470 case OpSub:
471 s += a + " - " + b;
472 break;
473 case OpMul:
474 s += a + " * " + b;
475 break;
476 case OpMla:
477 s += a + " + ( " + b + " * " + c + " )";
478 break;
479 case OpMls:
480 s += a + " - ( " + b + " * " + c + " )";
481 break;
482 case OpEq:
483 s += "(__neon_" + ts + ")(" + a + " == " + b + ")";
484 break;
485 case OpGe:
486 s += "(__neon_" + ts + ")(" + a + " >= " + b + ")";
487 break;
488 case OpLe:
489 s += "(__neon_" + ts + ")(" + a + " <= " + b + ")";
490 break;
491 case OpGt:
492 s += "(__neon_" + ts + ")(" + a + " > " + b + ")";
493 break;
494 case OpLt:
495 s += "(__neon_" + ts + ")(" + a + " < " + b + ")";
496 break;
497 case OpNeg:
498 s += " -" + a;
499 break;
500 case OpNot:
501 s += " ~" + a;
502 break;
503 case OpAnd:
504 s += a + " & " + b;
505 break;
506 case OpOr:
507 s += a + " | " + b;
508 break;
509 case OpXor:
510 s += a + " ^ " + b;
511 break;
512 case OpAndNot:
513 s += a + " & ~" + b;
514 break;
515 case OpOrNot:
516 s += a + " | ~" + b;
517 break;
Nate Begeman3861e742010-06-03 21:35:22 +0000518 case OpCast:
519 s += "(__neon_" + ts + ")" + a;
520 break;
Nate Begeman900f4672010-06-08 00:14:42 +0000521 case OpConcat:
522 s += "__builtin_shufflevector((__neon_int64x1_t)" + a;
523 s += ", (__neon_int64x1_t)" + b + ", 0, 1)";
524 break;
Nate Begeman6c060db2010-06-09 01:09:00 +0000525 case OpHi:
526 s += "(__neon_int64x1_t)(((__neon_int64x2_t)" + a + ")[1])";
527 break;
528 case OpLo:
529 s += "(__neon_int64x1_t)(((__neon_int64x2_t)" + a + ")[0])";
530 break;
Nate Begeman900f4672010-06-08 00:14:42 +0000531 case OpDup:
532 s += "(__neon_" + ts + "){ ";
533 for (unsigned i = 0; i != nElts; ++i) {
534 s += a;
535 if ((i + 1) < nElts)
536 s += ", ";
537 }
538 s += " }";
539 break;
Nate Begeman162d3ba2010-06-03 04:04:09 +0000540 default:
541 throw "unknown OpKind!";
542 break;
543 }
Nate Begeman900f4672010-06-08 00:14:42 +0000544 s += "; return r;";
Nate Begeman162d3ba2010-06-03 04:04:09 +0000545 return s;
Nate Begemane66aab52010-06-02 07:14:28 +0000546}
547
Nate Begemanb0a4e452010-06-07 16:00:37 +0000548static unsigned GetNeonEnum(const std::string &proto, StringRef typestr) {
549 unsigned mod = proto[0];
550 unsigned ret = 0;
551
Nate Begeman900f4672010-06-08 00:14:42 +0000552 if (mod == 'v' || mod == 'f')
Nate Begemanb0a4e452010-06-07 16:00:37 +0000553 mod = proto[1];
554
555 bool quad = false;
556 bool poly = false;
557 bool usgn = false;
558 bool scal = false;
559 bool cnst = false;
560 bool pntr = false;
561
562 // base type to get the type string for.
563 char type = ClassifyType(typestr, quad, poly, usgn);
564
565 // Based on the modifying character, change the type and width if necessary.
566 type = ModType(mod, type, quad, poly, usgn, scal, cnst, pntr);
567
568 if (usgn)
569 ret |= 0x08;
570 if (quad)
571 ret |= 0x10;
572
573 switch (type) {
574 case 'c':
575 ret |= poly ? 5 : 0;
576 break;
577 case 's':
578 ret |= poly ? 6 : 1;
579 break;
580 case 'i':
581 ret |= 2;
582 break;
583 case 'l':
584 ret |= 3;
585 break;
586 case 'h':
587 ret |= 7;
588 break;
589 case 'f':
590 ret |= 4;
591 break;
592 default:
593 throw "unhandled type!";
594 break;
595 }
596 return ret;
597}
598
Nate Begeman7c8c8832010-06-02 21:53:00 +0000599// Generate the definition for this intrinsic, e.g. __builtin_neon_cls(a)
600// If structTypes is true, the NEON types are structs of vector types rather
601// than vector types, and the call becomes __builtin_neon_cls(a.val)
602static std::string GenBuiltin(const std::string &name, const std::string &proto,
Nate Begemana8979a02010-06-04 00:21:41 +0000603 StringRef typestr, ClassKind ck,
604 bool structTypes = true) {
Nate Begeman7c8c8832010-06-02 21:53:00 +0000605 char arg = 'a';
Nate Begeman162d3ba2010-06-03 04:04:09 +0000606 std::string s;
Nate Begeman9e584b32010-06-04 22:53:30 +0000607
608 bool unioning = (proto[0] == '2' || proto[0] == '3' || proto[0] == '4');
Nate Begeman6c060db2010-06-09 01:09:00 +0000609 bool define = proto.find('i') != std::string::npos;
Nate Begeman9e584b32010-06-04 22:53:30 +0000610
611 // If all types are the same size, bitcasting the args will take care
612 // of arg checking. The actual signedness etc. will be taken care of with
613 // special enums.
614 if (proto.find('s') == std::string::npos)
615 ck = ClassB;
Nate Begeman7c21f742010-06-04 21:36:00 +0000616
Nate Begeman162d3ba2010-06-03 04:04:09 +0000617 if (proto[0] != 'v') {
Nate Begeman6c060db2010-06-09 01:09:00 +0000618 std::string ts = TypeString(proto[0], typestr);
619
620 if (define) {
621 if (proto[0] != 's')
622 s += "(" + ts + "){(__neon_" + ts + ")";
Nate Begeman9e584b32010-06-04 22:53:30 +0000623 } else {
Nate Begeman6c060db2010-06-09 01:09:00 +0000624 if (unioning) {
625 s += "union { ";
626 s += TypeString(proto[0], typestr, true) + " val; ";
627 s += TypeString(proto[0], typestr, false) + " s; ";
628 s += "} r;";
629 } else {
630 s += ts;
631 }
632
633 s += " r; r";
634 if (structTypes && proto[0] != 's' && proto[0] != 'i' && proto[0] != 'l')
635 s += ".val";
636
637 s += " = ";
Nate Begeman162d3ba2010-06-03 04:04:09 +0000638 }
639 }
Nate Begeman7c8c8832010-06-02 21:53:00 +0000640
641 s += "__builtin_neon_";
Nate Begemana8979a02010-06-04 00:21:41 +0000642 s += MangleName(name, typestr, ck);
Nate Begeman7c8c8832010-06-02 21:53:00 +0000643 s += "(";
644
645 for (unsigned i = 1, e = proto.size(); i != e; ++i, ++arg) {
Nate Begeman9e584b32010-06-04 22:53:30 +0000646 // Handle multiple-vector values specially, emitting each subvector as an
647 // argument to the __builtin.
648 if (structTypes && (proto[i] == '2' || proto[i] == '3' || proto[i] == '4')){
649 for (unsigned vi = 0, ve = proto[i] - '0'; vi != ve; ++vi) {
650 s.push_back(arg);
651 s += ".val[" + utostr(vi) + "]";
652 if ((vi + 1) < ve)
653 s += ", ";
654 }
655 if ((i + 1) < e)
656 s += ", ";
657
658 continue;
659 }
660
Nate Begeman7c8c8832010-06-02 21:53:00 +0000661 s.push_back(arg);
Nate Begeman9e584b32010-06-04 22:53:30 +0000662
Nate Begeman162d3ba2010-06-03 04:04:09 +0000663 if (structTypes && proto[i] != 's' && proto[i] != 'i' && proto[i] != 'l' &&
664 proto[i] != 'p' && proto[i] != 'c') {
Nate Begeman7c8c8832010-06-02 21:53:00 +0000665 s += ".val";
Nate Begeman162d3ba2010-06-03 04:04:09 +0000666 }
Nate Begeman7c8c8832010-06-02 21:53:00 +0000667 if ((i + 1) < e)
668 s += ", ";
669 }
670
Nate Begeman9e584b32010-06-04 22:53:30 +0000671 // Extra constant integer to hold type class enum for this function, e.g. s8
Nate Begeman9e584b32010-06-04 22:53:30 +0000672 if (ck == ClassB)
Nate Begemanb0a4e452010-06-07 16:00:37 +0000673 s += ", " + utostr(GetNeonEnum(proto, typestr));
Nate Begeman9e584b32010-06-04 22:53:30 +0000674
Nate Begeman6c060db2010-06-09 01:09:00 +0000675 if (define)
676 s += ")";
677 else
678 s += ");";
Nate Begeman9e584b32010-06-04 22:53:30 +0000679
680 if (proto[0] != 'v') {
Nate Begeman6c060db2010-06-09 01:09:00 +0000681 if (define) {
682 if (proto[0] != 's')
683 s += "}";
684 } else {
685 if (unioning)
686 s += " return r.s;";
687 else
688 s += " return r;";
689 }
Nate Begeman9e584b32010-06-04 22:53:30 +0000690 }
Nate Begeman7c8c8832010-06-02 21:53:00 +0000691 return s;
Nate Begemane66aab52010-06-02 07:14:28 +0000692}
693
Nate Begeman73cef3e2010-06-04 01:26:15 +0000694static std::string GenBuiltinDef(const std::string &name,
695 const std::string &proto,
696 StringRef typestr, ClassKind ck) {
697 std::string s("BUILTIN(__builtin_neon_");
Nate Begeman92f98af2010-06-04 07:11:25 +0000698
699 // If all types are the same size, bitcasting the args will take care
700 // of arg checking. The actual signedness etc. will be taken care of with
701 // special enums.
702 if (proto.find('s') == std::string::npos)
703 ck = ClassB;
704
Nate Begeman73cef3e2010-06-04 01:26:15 +0000705 s += MangleName(name, typestr, ck);
706 s += ", \"";
707
Nate Begeman92f98af2010-06-04 07:11:25 +0000708 for (unsigned i = 0, e = proto.size(); i != e; ++i)
Nate Begeman7c21f742010-06-04 21:36:00 +0000709 s += BuiltinTypeString(proto[i], typestr, ck, i == 0);
710
711 // Extra constant integer to hold type class enum for this function, e.g. s8
712 if (ck == ClassB)
713 s += "i";
Nate Begeman73cef3e2010-06-04 01:26:15 +0000714
715 s += "\", \"n\")";
716 return s;
717}
718
Nate Begeman5ddb0872010-05-28 01:08:32 +0000719void NeonEmitter::run(raw_ostream &OS) {
720 EmitSourceFileHeader("ARM NEON Header", OS);
721
722 // FIXME: emit license into file?
723
724 OS << "#ifndef __ARM_NEON_H\n";
725 OS << "#define __ARM_NEON_H\n\n";
726
727 OS << "#ifndef __ARM_NEON__\n";
728 OS << "#error \"NEON support not enabled\"\n";
729 OS << "#endif\n\n";
730
731 OS << "#include <stdint.h>\n\n";
Nate Begeman7c8c8832010-06-02 21:53:00 +0000732
733 // Emit NEON-specific scalar typedefs.
734 // FIXME: probably need to do something better for polynomial types.
Nate Begeman162d3ba2010-06-03 04:04:09 +0000735 // FIXME: is this the correct thing to do for float16?
Nate Begeman7c8c8832010-06-02 21:53:00 +0000736 OS << "typedef float float32_t;\n";
737 OS << "typedef uint8_t poly8_t;\n";
738 OS << "typedef uint16_t poly16_t;\n";
Nate Begeman162d3ba2010-06-03 04:04:09 +0000739 OS << "typedef uint16_t float16_t;\n";
Nate Begeman9e584b32010-06-04 22:53:30 +0000740
Nate Begeman7c8c8832010-06-02 21:53:00 +0000741 // Emit Neon vector typedefs.
742 std::string TypedefTypes("cQcsQsiQilQlUcQUcUsQUsUiQUiUlQUlhQhfQfPcQPcPsQPs");
743 SmallVector<StringRef, 24> TDTypeVec;
744 ParseTypes(0, TypedefTypes, TDTypeVec);
745
746 // Emit vector typedefs.
Nate Begeman9e584b32010-06-04 22:53:30 +0000747 for (unsigned v = 1; v != 5; ++v) {
748 for (unsigned i = 0, e = TDTypeVec.size(); i != e; ++i) {
749 bool dummy, quad = false;
750 (void) ClassifyType(TDTypeVec[i], quad, dummy, dummy);
751 OS << "typedef __attribute__(( __vector_size__(";
752
753 OS << utostr(8*v*(quad ? 2 : 1)) << ") )) ";
754 if (!quad)
755 OS << " ";
756
757 OS << TypeString('s', TDTypeVec[i]);
758 OS << " __neon_";
759
760 char t = (v == 1) ? 'd' : '0' + v;
761 OS << TypeString(t, TDTypeVec[i]) << ";\n";
762 }
Nate Begeman7c8c8832010-06-02 21:53:00 +0000763 }
764 OS << "\n";
765
766 // Emit struct typedefs.
767 for (unsigned vi = 1; vi != 5; ++vi) {
768 for (unsigned i = 0, e = TDTypeVec.size(); i != e; ++i) {
769 std::string ts = TypeString('d', TDTypeVec[i]);
770 std::string vs = (vi > 1) ? TypeString('0' + vi, TDTypeVec[i]) : ts;
771 OS << "typedef struct __" << vs << " {\n";
772 OS << " __neon_" << ts << " val";
773 if (vi > 1)
774 OS << "[" << utostr(vi) << "]";
775 OS << ";\n} " << vs << ";\n\n";
776 }
777 }
Nate Begeman5ddb0872010-05-28 01:08:32 +0000778
Nate Begeman7c8c8832010-06-02 21:53:00 +0000779 OS << "#define __ai static __attribute__((__always_inline__))\n\n";
780
Nate Begeman5ddb0872010-05-28 01:08:32 +0000781 std::vector<Record*> RV = Records.getAllDerivedDefinitions("Inst");
782
Nate Begeman22237772010-06-02 00:34:55 +0000783 // Unique the return+pattern types, and assign them.
Nate Begeman5ddb0872010-05-28 01:08:32 +0000784 for (unsigned i = 0, e = RV.size(); i != e; ++i) {
785 Record *R = RV[i];
Nate Begeman22237772010-06-02 00:34:55 +0000786 std::string name = LowercaseString(R->getName());
787 std::string Proto = R->getValueAsString("Prototype");
Nate Begeman5ddb0872010-05-28 01:08:32 +0000788 std::string Types = R->getValueAsString("Types");
Nate Begeman22237772010-06-02 00:34:55 +0000789
790 SmallVector<StringRef, 16> TypeVec;
791 ParseTypes(R, Types, TypeVec);
792
Nate Begeman162d3ba2010-06-03 04:04:09 +0000793 OpKind k = OpMap[R->getValueAsDef("Operand")->getName()];
Nate Begemane66aab52010-06-02 07:14:28 +0000794
Nate Begeman6c060db2010-06-09 01:09:00 +0000795 bool define = Proto.find('i') != std::string::npos;
796
Nate Begeman22237772010-06-02 00:34:55 +0000797 for (unsigned ti = 0, te = TypeVec.size(); ti != te; ++ti) {
798 assert(!Proto.empty() && "");
799
Nate Begeman7c8c8832010-06-02 21:53:00 +0000800 // static always inline + return type
Nate Begeman6c060db2010-06-09 01:09:00 +0000801 if (define)
802 OS << "#define";
803 else
804 OS << "__ai " << TypeString(Proto[0], TypeVec[ti]);
Nate Begeman22237772010-06-02 00:34:55 +0000805
Nate Begemane66aab52010-06-02 07:14:28 +0000806 // Function name with type suffix
Nate Begemana8979a02010-06-04 00:21:41 +0000807 OS << " " << MangleName(name, TypeVec[ti], ClassS);
Nate Begeman22237772010-06-02 00:34:55 +0000808
Nate Begemane66aab52010-06-02 07:14:28 +0000809 // Function arguments
810 OS << GenArgs(Proto, TypeVec[ti]);
Nate Begeman22237772010-06-02 00:34:55 +0000811
Nate Begemane66aab52010-06-02 07:14:28 +0000812 // Definition.
Nate Begeman6c060db2010-06-09 01:09:00 +0000813 if (define)
814 OS << " ";
815 else
816 OS << " { ";
Nate Begeman22237772010-06-02 00:34:55 +0000817
Nate Begemana8979a02010-06-04 00:21:41 +0000818 if (k != OpNone) {
Nate Begeman162d3ba2010-06-03 04:04:09 +0000819 OS << GenOpString(k, Proto, TypeVec[ti]);
Nate Begemana8979a02010-06-04 00:21:41 +0000820 } else {
821 if (R->getSuperClasses().size() < 2)
822 throw TGError(R->getLoc(), "Builtin has no class kind");
823
824 ClassKind ck = ClassMap[R->getSuperClasses()[1]];
825
826 if (ck == ClassNone)
827 throw TGError(R->getLoc(), "Builtin has no class kind");
828 OS << GenBuiltin(name, Proto, TypeVec[ti], ck);
829 }
Nate Begeman6c060db2010-06-09 01:09:00 +0000830 if (!define)
831 OS << " }";
832 OS << "\n";
Nate Begeman22237772010-06-02 00:34:55 +0000833 }
834 OS << "\n";
Nate Begeman5ddb0872010-05-28 01:08:32 +0000835 }
Nate Begeman73cef3e2010-06-04 01:26:15 +0000836 OS << "#undef __ai\n\n";
Nate Begeman7c8c8832010-06-02 21:53:00 +0000837 OS << "#endif /* __ARM_NEON_H */\n";
Nate Begeman5ddb0872010-05-28 01:08:32 +0000838}
Nate Begemana8979a02010-06-04 00:21:41 +0000839
840void NeonEmitter::runHeader(raw_ostream &OS) {
Nate Begeman73cef3e2010-06-04 01:26:15 +0000841 std::vector<Record*> RV = Records.getAllDerivedDefinitions("Inst");
842
843 StringMap<OpKind> EmittedMap;
844
845 for (unsigned i = 0, e = RV.size(); i != e; ++i) {
846 Record *R = RV[i];
847
848 OpKind k = OpMap[R->getValueAsDef("Operand")->getName()];
849 if (k != OpNone)
850 continue;
851
852 std::string name = LowercaseString(R->getName());
853 std::string Proto = R->getValueAsString("Prototype");
854 std::string Types = R->getValueAsString("Types");
855
856 SmallVector<StringRef, 16> TypeVec;
857 ParseTypes(R, Types, TypeVec);
858
859 if (R->getSuperClasses().size() < 2)
860 throw TGError(R->getLoc(), "Builtin has no class kind");
861
862 ClassKind ck = ClassMap[R->getSuperClasses()[1]];
863
864 for (unsigned ti = 0, te = TypeVec.size(); ti != te; ++ti) {
865 std::string bd = GenBuiltinDef(name, Proto, TypeVec[ti], ck);
866 if (EmittedMap.count(bd))
867 continue;
868
869 EmittedMap[bd] = OpNone;
870 OS << bd << "\n";
871 }
872 }
Nate Begemana8979a02010-06-04 00:21:41 +0000873}