annotate llvm/test/TableGen/interleave.td @ 207:2e18cbf3894f

LLVM12
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 08 Jun 2021 06:07:14 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 // RUN: llvm-tblgen %s | FileCheck %s
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 // RUN: not llvm-tblgen -DERROR1 %s 2>&1 | FileCheck --check-prefix=ERROR1 %s
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 defvar EmptyList = []<string>;
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 defvar OneList = ["hello"];
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 defvar StringList = ["foo", "bar", "zoo", "snork", "quux"];
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 defvar IntList = [0, 1, 2, 3, 4, 5, 6, 7];
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 defvar BitsList = [ {0, 1, 0}, {1, 1, 1}, {0, 0, 1} ];
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 defvar BitList = [0, 1, 1, 0, 1]<bit>;
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 class Ishify<list<string> words> {
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 list<string> ret = !foreach(w, words, w # "ify");
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 }
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 // CHECK: def Rec1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 // CHECK: Test1 = "";
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 // CHECK: Test2 = "hello";
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 // CHECK: Test3 = "foobarzoosnorkquux";
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 // CHECK: Test4 = "foo, bar, zoo, snork, quux";
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 // CHECK: Test5 = "foo & bar & zoo & snork & quux & grits";
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
21
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 def Rec1 {
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 string Test1 = !interleave(EmptyList, "/");
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 string Test2 = !interleave(OneList, ":");
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 string Test3 = !interleave(StringList, "");
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 string Test4 = !interleave(StringList, ", ");
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 string Test5 = !interleave(!listconcat(StringList, ["grits"]), " & ");
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 }
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
29
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 // CHECK: def Rec2
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 // CHECK: Test1 = "01234567";
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 // CHECK: Test2 = "0, 1, 2, 3, 4, 5, 6, 7";
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 // CHECK: Test3 = "0 & 1 & 2 & 3 & 4 & 5 & 6 & 7 & 42";
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
34
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
35 def Rec2 {
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
36 string Test1 = !interleave(IntList, "");
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 string Test2 = !interleave(IntList, ", ");
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 string Test3 = !interleave(!listconcat(IntList, [42]), " & ");
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 }
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
40
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
41 // CHECK: def Rec3
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 // CHECK: Test1 = "271";
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 // CHECK: Test2 = "2, 7, 1";
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
44 // CHECK: Test3 = "2 & 7 & 1 & 0";
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
45
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
46 def Rec3 {
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
47 string Test1 = !interleave(BitsList, "");
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
48 string Test2 = !interleave(BitsList, ", ");
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
49 string Test3 = !interleave(!listconcat(BitsList, [ {0, 0, 0} ]), " & ");
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
50 }
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
51
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
52 // CHECK: def Rec4
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
53 // CHECK: Test1 = "01101";
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
54 // CHECK: Test2 = "0, 1, 1, 0, 1";
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
55 // CHECK: Test3 = "0 and 1 and 1 and 0 and 1 and 1";
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
56
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
57 def Rec4 {
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
58 string Test1 = !interleave(BitList, "");
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
59 string Test2 = !interleave(BitList, ", ");
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
60 string Test3 = !interleave(!listconcat(BitList, [1]), " and ");
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
61 }
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
62
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
63 // CHECK: def Rec5
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
64 // CHECK: Colors = ["red", "green", "yellow"];
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
65 // CHECK: ColorList = "redify, greenify, yellowify";
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
66
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
67 def Rec5 {
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
68 list<string> Colors = ["red", "green", "yellow"];
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
69 string ColorList = !interleave(Ishify<Colors>.ret, ", ");
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
70 }
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
71
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
72 // CHECK: def Rec6
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
73 // CHECK: code OperatorList = [{+, -, *, /, ?:, ;}];
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
74
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
75 def Rec6 {
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
76 list<string> Operators = ["+", "-", "*", "/", "?:"];
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
77 code OperatorList = !interleave(!listconcat(Operators, [[{;}]]), ", ");
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
78 }
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
79
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
80 // CHECK: def Rec7
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
81 // CHECK: str = "foo/bar/zoo";
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
82
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
83 def Rec7 {
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
84 string foo = "foo";
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
85 string zoo = "oops, not zoo";
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
86 string str = !interleave([foo, "bar", zoo], "/");
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
87 let zoo = "zoo";
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
88 }
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
89
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
90 #ifdef ERROR1
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
91 def op;
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
92
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
93 // ERROR1: expected list of string, int, bits, or bit; got value of type
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
94
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
95 def Rec6 {
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
96 string Bad = !interleave([(op), (op "hello")], " = ");
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
97 }
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
98 #endif