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]>; 72
