llvm/llvm/test/TableGen/ListSlices.td

// 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)]);
}