huangcm
2025-02-24 69ed55dec4b2116a19e4cca4393cbc014fce5fb2
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
// RUN: llvm-tblgen %s
 
// CHECK:      def One {
// CHECK-NEXT:   list<string> names = ["Jeffrey Sinclair"];
// CHECK-NEXT:   string element = "Jeffrey Sinclair";
// CHECK-NEXT:   list<string> rest = [];
// CHECK-NEXT:   int null = 1;
// CHECK-NEXT:   string NAME = ?;
// CHECK-NEXT: }
// CHECK-NEXT: def Three {
// CHECK-NEXT:   list<string> names = ["Tom", "Dick", "Harry"];
// CHECK-NEXT:   string element = "Tom";
// CHECK-NEXT:   list<string> rest = ["Dick", "Harry"];
// CHECK-NEXT:   int null = 0;
// CHECK-NEXT:   string NAME = ?;
// CHECK-NEXT: }
 
class List<list<string> n> {
  list<string> names = n;
}
 
class CAR<string e> {
  string element = e;
}
 
class CDR<list<string> r, int n> {
  list<string> rest = r;
  int null = n;
}
 
class NameList<list<string> Names> :
  List<Names>, CAR<!head(Names)>, CDR<!tail(Names), !empty(!tail(Names))>;
 
def Three : NameList<["Tom", "Dick", "Harry"]>;
 
def One : NameList<["Jeffrey Sinclair"]>;