1// RUN: llvm-tblgen %s | FileCheck %s
2// XFAIL: vg_leak
3
4// This file has tests for the list slice suffix.
5
6// Test defvars and literal lists.
7
8// CHECK: def Rec00
9// CHECK:   list<int> ShowVar1 = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]
10// CHECK:   int ShowVar2 = 0
11// CHECK:   list<int> ShowVar3 = [2, 3, 4, 5]
12// CHECK:   int ShowVar4 = 2
13// CHECK:   list<int> ShowVar5 = [2, 3, 4, 5]
14
15defvar Var1 = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9];
16defvar Var2 = Var1[0];
17defvar Var3 = Var1[2...5];
18
19defvar Var4 = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9][2];
20defvar Var5 = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9][2...5];
21
22def Rec00 { // Display the defvars.
23  list<int> ShowVar1 = Var1;
24  int       ShowVar2 = Var2;
25  list<int> ShowVar3 = Var3;
26  int       ShowVar4 = Var4;
27  list<int> ShowVar5 = Var5;
28}
29
30// CHECK: def Rec01
31// CHECK:   int Zero = 0
32// CHECK:   list<int> TwoFive = [2, 3, 4, 5]
33
34def Rec01 {
35  int Zero = Var1[0];
36  list<int> TwoFive = Var1[2...5];
37}
38
39// Test class template arguments.
40
41// CHECK: def Rec02
42// CHECK:   int Zero = 10
43// CHECK:   list<int> TwoFive = [12, 13, 14, 15]
44
45class Class1<list<int> ids> {
46  int Zero = ids[0];
47  list<int> TwoFive = ids[2...5];
48}
49
50def Rec02 : Class1<[10, 11, 12, 13, 14, 15, 16, 17]>;
51
52// Test anonymous record fetches.
53
54// CHECK: def Rec03
55// CHECK:   int Zero = 20
56// CHECK:   list<int> TwoFive = [22, 23, 24, 25]
57
58def Rec03 {
59  int Zero = Class1<[20, 21, 22, 23, 24, 25, 26]>.Zero;
60  list<int> TwoFive = Class1<[20, 21, 22, 23, 24, 25, 26]>.TwoFive;
61}
62
63// Test multiclass template arguments.
64
65// CHECK: def Rec04_MC1
66// CHECK:   int Zero = 30
67// CHECK:   list<int> TwoFive = [32, 33, 34, 35]
68// CHECK: def Rec05_MC1
69// CHECK:   int Zero = 30
70// CHECK:   list<int> TwoFive = [32, 33, 34, 35]
71
72multiclass MC1<list<int> ids> {
73  def _MC1 {
74    int Zero = ids[0];
75    list<int> TwoFive = ids[2...5];
76  }
77}
78
79defm Rec04 : MC1<[30, 31, 32, 33, 34, 35, 36]>;
80defm Rec05 : MC1<[30, 31, 32, 33, 34, 35]>;
81
82// Test taking a complex subset of the list items from another record.
83
84// CHECK: def Rec07
85// CHECK:   list<int> SomeValues = [40, 43, 44, 45, 40, 47, 49, 48, 47, 46, 40]
86
87def Rec06 {
88  list<int> Values = [40, 41, 42, 43, 44, 45, 46, 47, 48, 49];
89}
90
91def Rec07 {
92  list<int> SomeValues = Rec06.Values[0, 3...5, 0, 7, 9...6, 0];
93}
94
95// Test a double subscript.
96
97// CHECK: def Rec08
98// CHECK:   list<list<string>> Array = {{.*}}"foo", "bar", "snork"], ["zoo", "quux", "flarp"]]
99// CHECK:   string Flarp = "flarp"
100// CHECK:   list<string> ZooQuux = ["zoo", "quux"]
101
102def Rec08 {
103  list<list<string>> Array = [["foo", "bar", "snork"],
104                              ["zoo", "quux", "flarp"]];
105  string Flarp = Array[1][2];
106  list<string> ZooQuux = Array[1][0...1];
107}
108
109// Test uninitialized list elements.
110
111// CHECK: def Rec09
112// CHECK:   int Zero = ?;
113// CHECK:   list<int> TwoFive = [2, 3, ?, 5];
114// We need CHECK-NEXT for these because otherwise it will match anonymous defs
115// that appear later.
116// CHECK: def Rec10 {
117// CHECK-NEXT:   int Zero = ?;
118// CHECK-NEXT:   list<int> TwoFive = [2, 3, ?, 5];
119
120def Rec09 : Class1<[?, ?, 2, 3, ?, 5, ?]>;
121
122def Rec10 {
123  int Zero = Class1<[?, ?, 2, 3, ?, 5, ?]>.Zero;
124  list<int> TwoFive = Class1<[?, ?, 2, 3, ?, 5, ?]>.TwoFive;
125}
126