// RUN: llvm-tblgen %s | FileCheck %s
// XFAIL: vg_leak

// Tests evaluation of !foreach operator.

def d0;
def d1;
def d2;
def d3;
def d4;

class D<dag d> {
  dag r1 = !foreach(tmp, d, !subst(d1, d0, !subst(d2, d0,
                                           !subst(d3, d0,
                                           !subst(d4, d0, tmp)))));
  list<dag> dl = [d];
  list<dag> r2 = !foreach(tmp2, dl,
                          !foreach(tmp, tmp2, !subst(d1, d0,
                                              !subst(d2, d0,
                                              !subst(d3, d0,
                                              !subst(d4, d0, tmp))))));
}

// CHECK-LABEL: def d
// CHECK: dag r1 = (d0 d0, d0, d0, d0);
// CHECK: list<dag> r2 = [(d0 d0, d0, d0, d0)];
def d : D <(d0 d1, d2, d3, d4)>;

class I<list<int> i> {
  list<int> r1 = !foreach(tmp, i, !add(3, !add(4, tmp)));

  list<list<int>> li = [i];
  list<list<int>> r2 = !foreach(tmp2, li,
                                !foreach(tmp, tmp2, !add(3, !add(4, tmp))));
}

// CHECK-LABEL: def i
// CHECK: list<int> r1 = [8, 9, 10];
// CHECK: list<list<int>> r2 = [{{[[]}}8, 9, 10]];
def i : I<[1,2,3]>;

class J0<list<dag> pattern> {
  list<dag> Pattern = pattern;
}
class J1<dag pattern>
      : J0<[!foreach(tmp, pattern, !subst(d1, d0,
                                   !subst(d2, d0,
                                   !subst(d3, d0,
                                   !subst(d4, d0, tmp)))))]>;
class J2<list<dag> patterns>
      : J0<!foreach(t0, patterns,
                    !foreach(t1, t0, !subst(d1, d0,
                                     !subst(d2, d0,
                                     !subst(d3, d0,
                                     !subst(d4, d0, t1))))))>;
// CHECK-LABEL: def j1
// CHECK: list<dag> Pattern = [(d0 d0:$dst, (d0 d0:$src1))];
def j1 : J1< (d1 d2:$dst, (d3 d4:$src1))>;
// CHECK-LABEL: def j2
// CHECK: list<dag> Pattern = [(d0 d0:$dst, (d0 d0:$src1))];
def j2 : J2< [(d1 d2:$dst, (d3 d4:$src1))]>;