llvm/test/TableGen/listconcat.td

   1 // RUN: llvm-tblgen %s | FileCheck %s
   2
   3 // CHECK: class X<list<int> X:a = ?, list<int> X:b = ?, list<int> X:c = ?> {
   4 // CHECK:   list<int> x = !listconcat(!listconcat(X:a, X:b), !listconcat(X:b, X:c));
   5 // CHECK: }
   6
   7 // CHECK: class Y<list<string> Y:S = ?> {
   8 // CHECK:   list<string> T1 = !listconcat(Y:S, ["foo"]);
   9 // CHECK:   list<string> T2 = !listconcat(Y:S, !listconcat(["foo"], !listconcat(Y:S, ["bar", "baz"])));
  10 // CHECK: }
  11
  12 // CHECK: def A0 {
  13 // CHECK:   list<int> lst = [4];
  14 // CHECK: }
  15
  16 // CHECK: def A1 {
  17 // CHECK:   list<int> lst = [];
  18 // CHECK: }
  19
  20 // CHECK: def DX {
  21 // CHECK:   list<int> x = [0, 1, 1, 2]
  22 // CHECK: }
  23
  24 // CHECK: def Z {
  25 // CHECK:   list<string> T1 = ["fu", "foo"];
  26 // CHECK:   list<string> T2 = ["fu", "foo", "fu", "bar", "baz"];
  27 // CHECK: }
  28
  29 class A<bit x> {
  30   // The empty lists type-check without issues.
  31   list<int> lst = !listconcat([], !if(x, [], [4]));
  32 }
  33
  34 def A0 : A<0>;
  35 def A1 : A<1>;
  36
  37 class X<list<int> a, list<int> b, list<int> c> {
  38     list<int> x = !listconcat(!listconcat(a, b), !listconcat(b, c));
  39 }
  40
  41 class Y<list<string> S> {
  42   list<string> T1 = !listconcat(S, ["foo"]);
  43   list<string> T2 = !listconcat(S, ["foo"], S, ["bar", "baz"]);
  44 }
  45
  46 def DX : X<[0], [1], [2]>;
  47
  48 def Z : Y<["fu"]>;