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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
|
// RUN: llvm-tblgen %s | FileCheck %s
// XFAIL: vg_leak
defvar LongList = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9];
defvar EmptyStr = "";
// Test !empty(dag).
// CHECK: def Drec1 {
// CHECK: bit Empty = 1;
// CHECK: bit NotEmpty = 0;
// CHECK: def Drec2 {
// CHECK: bit Empty = 0;
// CHECK: bit NotEmpty = 1;
// CHECK: def Drec3 {
// CHECK: bit Empty = 0;
// CHECK: bit NotEmpty = 1;
class D<dag ADag> {
bit Empty = !empty(ADag);
bit NotEmpty = !not(!empty(ADag));
}
def op;
def Drec1 : D<(op)>;
def Drec2 : D<(op "string")>;
def Drec3 : D<(op "string", 42)>;
// Test !empty(list).
// CHECK: def Lrec1 {
// CHECK: bit Empty = 1;
// CHECK: bit NotEmpty = 0;
// CHECK: def Lrec2 {
// CHECK: bit Empty = 0;
// CHECK: bit NotEmpty = 1;
// CHECK: def Lrec3 {
// CHECK: bit Empty = 0;
// CHECK: bit NotEmpty = 1;
class L<list<int> Ints> {
bit Empty = !empty(Ints);
bit NotEmpty = !not(!empty(Ints));
}
def Lrec1 : L<[]>;
def Lrec2 : L<[1]>;
def Lrec3 : L<LongList>;
// Test !empty(string).
// CHECK: def Srec1 {
// CHECK: bit Empty = 1;
// CHECK: bit NotEmpty = 0;
// CHECK: def Srec2 {
// CHECK: bit Empty = 0;
// CHECK: bit NotEmpty = 1;
// CHECK: def Srec3 {
// CHECK: bit Empty = 0;
// CHECK: bit NotEmpty = 1;
class S<string Str> {
bit Empty = !empty(Str);
bit NotEmpty = !not(!empty(Str));
}
def Srec1 : S<EmptyStr>;
def Srec2 : S<"a">;
def Srec3 : S<"ab">;
|
