• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1// RUN: llvm-tblgen %s | FileCheck %s
2// XFAIL: vg_leak
3
4// CHECK: def shifts
5// CHECK: shifted_b = 8
6// CHECK: shifted_i = 8
7def shifts {
8    bits<2> b = 0b10;
9    int i = 2;
10    int shifted_b = !shl(b, 2);
11    int shifted_i = !shl(i, 2);
12}
13
14class Int<int value> {
15  int Value = value;
16}
17
18def int2 : Int<2>;
19def int1022 : Int<1022>;
20def int1024 : Int<1024>;
21
22// CHECK: def v0a
23// CHECK: Value = 0
24def v0a : Int<!sub(int1024.Value, int1024.Value)>;
25
26// CHECK: def v0b
27// CHECK: Value = 0
28def v0b : Int<!and(int1024.Value, 2048)>;
29
30// CHECK: def v1
31// CHECK: Value = 1
32def v1 : Int<!and(1025, 1)>;
33
34// CHECK: def v1019
35// CHECK: Value = 1019
36def v1019 : Int<!sub(int1022.Value, 3)>;
37
38// CHECK: def v1023
39// CHECK: Value = 1023
40def v1023 : Int<!or(int1022.Value, 1)>;
41
42def v1025   : Int<!add(int1024.Value, 1)>;
43// CHECK: def v1025
44// CHECK: Value = 1025
45
46// CHECK: def v12
47// CHECK: Value = 12
48def v12   : Int<!mul(4, 3)>;
49
50// CHECK: def v1a
51// CHECK: Value = 1
52
53// CHECK: def v2048
54// CHECK: Value = 2048
55def v2048   : Int<!add(int1024.Value, int1024.Value)>;
56
57// CHECK: def v3072
58// CHECK: Value = 3072
59def v3072 : Int<!or(int1024.Value, v2048.Value)>;
60
61// CHECK: def v4
62// CHECK: Value = 4
63
64// CHECK: def v7
65// CHECK: Value = 7
66
67def v4 : Int<!add(int2.Value, 1, v1.Value)>;
68def v7 : Int<!or(v1.Value, int2.Value, v4.Value)>;
69def v1a : Int<!and(v7.Value, 5, v1.Value)>;
70
71// CHECK: def v84
72// CHECK: Value = 84
73def v84   : Int<!mul(v12.Value, v7.Value)>;
74
75// CHECK: def v9
76// CHECK: Value = 9
77def v9 : Int<!xor(v7.Value, 0x0E)>;
78
79// CHECK: def v924
80// CHECK: Value = 924
81def v924   : Int<!mul(v84.Value, 11)>;
82
83// CHECK: def v925
84// CHECK: Value = 925
85def v925 : Int<!sub(v924.Value, -1)>;
86
87// CHECK: def vneg
88// CHECK: Value = -2
89def vneg : Int<!sub(v925.Value, 927)>;