2013-08-23 04:46:05 +08:00
|
|
|
// RUN: llvm-tblgen %s
|
2013-11-10 22:26:08 +08:00
|
|
|
// XFAIL: vg_leak
|
2013-08-23 04:46:05 +08:00
|
|
|
|
|
|
|
// 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: }
|
2009-05-15 06:38:31 +08:00
|
|
|
|
|
|
|
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> :
|
2011-01-08 01:05:37 +08:00
|
|
|
List<Names>, CAR<!head(Names)>, CDR<!tail(Names), !empty(!tail(Names))>;
|
2009-05-15 06:38:31 +08:00
|
|
|
|
|
|
|
def Three : NameList<["Tom", "Dick", "Harry"]>;
|
|
|
|
|
|
|
|
def One : NameList<["Jeffrey Sinclair"]>;
|