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
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
|
// RUN: llvm-tblgen %s | FileCheck %s
// RUN: not llvm-tblgen -DERROR1 %s 2>&1 | FileCheck --check-prefix=ERROR1 %s
// Tests for the true and false literals.
defvar otherwise = true;
defvar do_it = true;
// CHECK: def rec1
// CHECK: bit flag1 = 1;
// CHECK: bit flag2 = 0;
// CHECK: int true_int = 1;
def rec1 {
bit flag1 = true;
bit flag2 = false;
int true_int = true;
}
// CHECK: def rec2_true
if true then
def rec2_true {}
else
def rec2_bad {}
// CHECK: def rec3_false
if false then
def rec3_bad {}
else
def rec3_false {}
// CHECK: def rec4
// CHECK: int value = 52;
def rec4 {
int value = !add(10, !if(!and(do_it, true), 42, 0));
}
// CHECK: def rec5
// CHECK: string name = "snork";
def rec5 {
string name = !cond(false: "foo",
!not(do_it): "bar",
otherwise: "snork");
}
// CHECK: def rec6
// CHECK: bit xorFF = 0;
// CHECK: bit xorFT = 1;
// CHECK: bit xorTF = 1;
// CHECK: bit xorTT = 0;
def rec6 {
bit xorFF = !xor(false, false);
bit xorFT = !xor(false, true);
bit xorTF = !xor(true, false);
bit xorTT = !xor(true, true);
}
// CHECK: def rec7
// CHECK: bits<3> flags = { 1, 0, 1 };
def rec7 {
bits<3> flags = { true, false, true };
}
// `!and` and `!or` should be short-circuit such that `!tail` on empty list will never
// be evaluated.
// CHECK: def rec8
// CHECK: list<int> newSeq = [];
// CHECK: list<int> newSeq2 = [];
class Foo <list<int> seq = []> {
bit unresolved = !ne(!find(NAME, "BAR"), -1);
list<int> newSeq = !if(!and(false, unresolved), !tail(seq), seq);
list<int> newSeq2 = !if(!or(-1, unresolved), seq, !tail(seq));
}
def rec8 : Foo<>;
#ifdef ERROR1
// ERROR1: Record name '1' is not a string
def true {}
#endif
|
