| // RUN: llvm-tblgen %s | FileCheck %s |
| // XFAIL: vg_leak |
| |
| // This file has tests for the list slice suffix. |
| |
| // Test defvars and literal lists. |
| |
| // CHECK: def Rec00 |
| // CHECK: list<int> ShowVar1 = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9] |
| // CHECK: int ShowVar2 = 0 |
| // CHECK: list<int> ShowVar3 = [2, 3, 4, 5] |
| // CHECK: int ShowVar4 = 2 |
| // CHECK: list<int> ShowVar5 = [2, 3, 4, 5] |
| |
| defvar Var1 = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9]; |
| defvar Var2 = Var1[0]; |
| defvar Var3 = Var1[2...5]; |
| |
| defvar Var4 = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9][2]; |
| defvar Var5 = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9][2...5]; |
| |
| def Rec00 { // Display the defvars. |
| list<int> ShowVar1 = Var1; |
| int ShowVar2 = Var2; |
| list<int> ShowVar3 = Var3; |
| int ShowVar4 = Var4; |
| list<int> ShowVar5 = Var5; |
| } |
| |
| // CHECK: def Rec01 |
| // CHECK: int Zero = 0 |
| // CHECK: list<int> TwoFive = [2, 3, 4, 5] |
| |
| def Rec01 { |
| int Zero = Var1[0]; |
| list<int> TwoFive = Var1[2...5]; |
| } |
| |
| // Test class template arguments. |
| |
| // CHECK: def Rec02 |
| // CHECK: int Zero = 10 |
| // CHECK: list<int> TwoFive = [12, 13, 14, 15] |
| |
| class Class1<list<int> ids> { |
| int Zero = ids[0]; |
| list<int> TwoFive = ids[2...5]; |
| } |
| |
| def Rec02 : Class1<[10, 11, 12, 13, 14, 15, 16, 17]>; |
| |
| // Test anonymous record fetches. |
| |
| // CHECK: def Rec03 |
| // CHECK: int Zero = 20 |
| // CHECK: list<int> TwoFive = [22, 23, 24, 25] |
| |
| def Rec03 { |
| int Zero = Class1<[20, 21, 22, 23, 24, 25, 26]>.Zero; |
| list<int> TwoFive = Class1<[20, 21, 22, 23, 24, 25, 26]>.TwoFive; |
| } |
| |
| // Test multiclass template arguments. |
| |
| // CHECK: def Rec04_MC1 |
| // CHECK: int Zero = 30 |
| // CHECK: list<int> TwoFive = [32, 33, 34, 35] |
| // CHECK: def Rec05_MC1 |
| // CHECK: int Zero = 30 |
| // CHECK: list<int> TwoFive = [32, 33, 34, 35] |
| |
| multiclass MC1<list<int> ids> { |
| def _MC1 { |
| int Zero = ids[0]; |
| list<int> TwoFive = ids[2...5]; |
| } |
| } |
| |
| defm Rec04 : MC1<[30, 31, 32, 33, 34, 35, 36]>; |
| defm Rec05 : MC1<[30, 31, 32, 33, 34, 35]>; |
| |
| // Test taking a complex subset of the list items from another record. |
| |
| // CHECK: def Rec07 |
| // CHECK: list<int> SomeValues = [40, 43, 44, 45, 40, 47, 49, 48, 47, 46, 40] |
| |
| def Rec06 { |
| list<int> Values = [40, 41, 42, 43, 44, 45, 46, 47, 48, 49]; |
| } |
| |
| def Rec07 { |
| list<int> SomeValues = Rec06.Values[0, 3...5, 0, 7, 9...6, 0]; |
| } |
| |
| // Test a double subscript. |
| |
| // CHECK: def Rec08 |
| // CHECK: list<list<string>> Array = {{.*}}"foo", "bar", "snork"], ["zoo", "quux", "flarp"]] |
| // CHECK: string Flarp = "flarp" |
| // CHECK: list<string> ZooQuux = ["zoo", "quux"] |
| |
| def Rec08 { |
| list<list<string>> Array = [["foo", "bar", "snork"], |
| ["zoo", "quux", "flarp"]]; |
| string Flarp = Array[1][2]; |
| list<string> ZooQuux = Array[1][0...1]; |
| } |
| |
| // Test uninitialized list elements. |
| |
| // CHECK: def Rec09 |
| // CHECK: int Zero = ?; |
| // CHECK: list<int> TwoFive = [2, 3, ?, 5]; |
| // We need CHECK-NEXT for these because otherwise it will match anonymous defs |
| // that appear later. |
| // CHECK: def Rec10 { |
| // CHECK-NEXT: int Zero = ?; |
| // CHECK-NEXT: list<int> TwoFive = [2, 3, ?, 5]; |
| |
| def Rec09 : Class1<[?, ?, 2, 3, ?, 5, ?]>; |
| |
| def Rec10 { |
| int Zero = Class1<[?, ?, 2, 3, ?, 5, ?]>.Zero; |
| list<int> TwoFive = Class1<[?, ?, 2, 3, ?, 5, ?]>.TwoFive; |
| } |
| |
| // Test list[list] and list[int] |
| // CHECK: def Rec11 |
| def Rec11 { |
| list<int> s5 = Var1[0...4]; |
| |
| // list[expr] |
| // CHECK: list<int> rev = [4, 3, 2, 1, 0]; |
| list<int> rev = !foreach(i, s5, Var1[!sub(4, i)]); |
| |
| // Slice by list[foreach] |
| // CHECK: list<int> revf = [4, 3, 2, 1, 0]; |
| list<int> revf = Var1[!foreach(i, s5, !sub(4, i))]; |
| |
| // Simple slice |
| // CHECK: list<int> rr = [0, 1, 2, 3, 4]; |
| list<int> rr = rev[rev]; |
| |
| // Trailing comma is acceptable |
| // CHECK: list<int> rr_ = [0, 1, 2, 3, 4]; |
| list<int> rr_ = rev[rev,]; |
| |
| // Concatenation in slice |
| // CHECK: list<int> rrr = [1, 2, 4, 3, 2, 1, 0, 3, 4, 5, 6, 7, 0, 1, 2, 3, 4, 8]; |
| list<int> empty = []; |
| list<int> rrr = Var1[1, 2, rev, 3...6, 7, empty, rr, 8]; |
| |
| // Recognized as slice by the trailing comma |
| // CHECK: list<list<int>> rl1 = {{\[}}[0], [1], [2], [3], [4]]; |
| list<list<int>> rl1 = !foreach(i, rev, rev[i,]); |
| |
| // Slice by pair<int,int> |
| // CHECK: list<list<int>> rll = {{\[}}[0, 4], [1, 3], [2, 2], [3, 1], [4, 0]]; |
| list<list<int>> rll = !foreach(i, rev, rev[i, !sub(4, i)]); |
| |
| // Slice by dynamic range |
| // CHECK: list<list<int>> rlr = {{\[}}[4, 3, 2, 1, 0], [3, 2, 1], [2], [1, 2, 3], [0, 1, 2, 3, 4]]; |
| list<list<int>> rlr = !foreach(i, s5, rev[i...!sub(4, i)]); |
| } |