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
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
|
// RUN: llvm-tblgen %s | FileCheck %s
// RUN: not llvm-tblgen -DERROR1 %s 2>&1 | FileCheck --check-prefix=ERROR1 %s
// RUN: not llvm-tblgen -DERROR2 %s 2>&1 | FileCheck --check-prefix=ERROR2 %s
// RUN: not llvm-tblgen -DERROR3 %s 2>&1 | FileCheck --check-prefix=ERROR3 %s
// RUN: not llvm-tblgen -DERROR4 %s 2>&1 | FileCheck --check-prefix=ERROR4 %s
// XFAIL: vg_leak
// CHECK: def shifts
// CHECK: shifted_b = 8
// CHECK: shifted_i = 8
def shifts {
bits<2> b = 0b10;
int i = 2;
int shifted_b = !shl(b, 2);
int shifted_i = !shl(i, 2);
}
class Int<int value> {
int Value = value;
}
def int2 : Int<2>;
def int1022 : Int<1022>;
def int1024 : Int<1024>;
// CHECK: def v0a
// CHECK: Value = 0
def v0a : Int<!sub(int1024.Value, int1024.Value)>;
// CHECK: def v0b
// CHECK: Value = 0
def v0b : Int<!and(int1024.Value, 2048)>;
// CHECK: def v1
// CHECK: Value = 1
def v1 : Int<!and(1025, 1)>;
// CHECK: def v1019
// CHECK: Value = 1019
def v1019 : Int<!sub(int1022.Value, 3)>;
// CHECK: def v1023
// CHECK: Value = 1023
def v1023 : Int<!or(int1022.Value, 1)>;
def v1025 : Int<!add(int1024.Value, 1)>;
// CHECK: def v1025
// CHECK: Value = 1025
// CHECK: def v12
// CHECK: Value = 12
def v12 : Int<!mul(4, 3)>;
// CHECK: def v13
// CHECK: Value = 5
def v13 : Int<!div(10, 2)>;
// CHECK: def v14
// CHECK: Value = 5
def v14 : Int<!div(11, 2)>;
// CHECK: def v15
// CHECK: Value = 1
def v15 : Int<!div(1, 1)>;
// CHECK: def v16
// CHECK: Value = 0
def v16 : Int<!div(0, 10)>;
// CHECK: def v17
// CHECK: Value = -2
def v17 : Int<!div(-8, 4)>;
#ifdef ERROR1
// ERROR1: error: Illegal operation: division by zero
def v18 : Int<!div(4, 0)>;
#endif
#ifdef ERROR2
// ERROR2: error: Illegal operation: INT64_MIN / -1
def v19 : Int<!div(-9223372036854775808, -1)>;
#endif
// CHECK: def v1a
// CHECK: Value = 1
// CHECK: def v2048
// CHECK: Value = 2048
def v2048 : Int<!add(int1024.Value, int1024.Value)>;
// CHECK: def v3072
// CHECK: Value = 3072
def v3072 : Int<!or(int1024.Value, v2048.Value)>;
// CHECK: def v4
// CHECK: Value = 4
// CHECK: def v7
// CHECK: Value = 7
def v4 : Int<!add(int2.Value, 1, v1.Value)>;
def v7 : Int<!or(v1.Value, int2.Value, v4.Value)>;
def v1a : Int<!and(v7.Value, 5, v1.Value)>;
// CHECK: def v84
// CHECK: Value = 84
def v84 : Int<!mul(v12.Value, v7.Value)>;
// CHECK: def v9
// CHECK: Value = 9
def v9 : Int<!xor(v7.Value, 0x0E)>;
// CHECK: def v924
// CHECK: Value = 924
def v924 : Int<!mul(v84.Value, 11)>;
// CHECK: def v925
// CHECK: Value = 925
def v925 : Int<!sub(v924.Value, -1)>;
// CHECK: def v950
// CHECK: Value = 4
def v950: Int<!logtwo(16)>;
// CHECK: def v951
// CHECK: Value = 10
def v951 : Int<!logtwo(1024)>;
// CHECK: def v952
// CHECK: Value = 10
def v952 : Int<!logtwo(1025)>;
#ifdef ERROR3
// ERROR3: error: Illegal operation: logtwo is undefined on arguments less than or equal to 0
def v953 : Int<!logtwo(0)>;
#endif
#ifdef ERROR4
// ERROR4: error: Illegal operation: logtwo is undefined on arguments less than or equal to 0
def v954 : Int<!logtwo(-1)>;
#endif
// CHECK: def vneg
// CHECK: Value = -2
def vneg : Int<!sub(v925.Value, 927)>;
|
