llvm/test/TableGen/foldl.td

   1 // RUN: llvm-tblgen %s | FileCheck %s
   2 // XFAIL: vg_leak
   3
   4 // CHECK: --- Defs ---
   5
   6 // CHECK: def A1 {
   7 // CHECK:   int ret = 0;
   8 // CHECK: }
   9
  10 // CHECK: def A2 {
  11 // CHECK:   int ret = 5;
  12 // CHECK: }
  13
  14 // CHECK: def A3 {
  15 // CHECK:   int ret = 10;
  16 // CHECK: }
  17
  18 // CHECK: def B1 {
  19 // CHECK:   list<string> ret = [];
  20 // CHECK: }
  21
  22 // CHECK: def B2 {
  23 // CHECK:   list<string> ret = [];
  24 // CHECK: }
  25
  26 // CHECK: def B3 {
  27 // CHECK:   list<string> ret = ["a"];
  28 // CHECK: }
  29
  30 // CHECK: def B4 {
  31 // CHECK:   list<string> ret = ["a", "b", "c", "d"];
  32 // CHECK: }
  33
  34 // CHECK: def E0 {
  35 // CHECK:   list<int> ret = [45, 45, 45, 45];
  36 // CHECK: }
  37
  38 class Sum<list<int> lst> {
  39   int ret = !foldl(0, lst, a, b, !add(a, b));
  40 }
  41
  42 class Flatten<list<list<string>> lst> {
  43   list<string> ret = !foldl([]<string>, lst, a, b, !listconcat(a, b));
  44 }
  45
  46 def A1 : Sum<[]>;
  47 def A2 : Sum<[5]>;
  48 def A3 : Sum<[1, 2, 3, 4]>;
  49
  50 def B1 : Flatten<[]>;
  51 def B2 : Flatten<[[]]>;
  52 def B3 : Flatten<[["a"]]>;
  53 def B4 : Flatten<[["a", "b"], [], ["c"], ["d"]]>;
  54
  55 // The variables a and b are declared both in the "inner" foldl and in the
  56 // other foreach. The test checks that they don't "leak".
  57 class C<list<int> lst> {
  58   int ret = !foldl(0, lst, a, b, !add(a, b));
  59 }
  60
  61 class D<list<int> lst1, list<int> lst2> {
  62   list<int> x = !foreach(a, lst1, C<lst2>.ret);
  63   list<int> y = !foreach(b, lst1, C<lst2>.ret);
  64   list<int> z = !listconcat(x, y);
  65 }
  66
  67 class E<list<int> lst2> {
  68   list<int> ret = D<[0, 1], lst2>.z;
  69 }
  70
  71 def E0 : E<[10, 15, 20]>;