test/TableGen/foreach-eval.td

   1 // RUN: llvm-tblgen %s | FileCheck %s
   2 // XFAIL: vg_leak
   3
   4 // Tests evaluation of !foreach operator.
   5
   6 def d0;
   7 def d1;
   8 def d2;
   9 def d3;
  10 def d4;
  11
  12 class D<dag d> {
  13   dag r1 = !foreach(tmp, d, !subst(d1, d0, !subst(d2, d0,
  14                                            !subst(d3, d0,
  15                                            !subst(d4, d0, tmp)))));
  16   list<dag> dl = [d];
  17   list<dag> r2 = !foreach(tmp2, dl,
  18                           !foreach(tmp, tmp2, !subst(d1, d0,
  19                                               !subst(d2, d0,
  20                                               !subst(d3, d0,
  21                                               !subst(d4, d0, tmp))))));
  22 }
  23
  24 // CHECK-LABEL: def d
  25 // CHECK: dag r1 = (d0 d0, d0, d0, d0);
  26 // CHECK: list<dag> r2 = [(d0 d0, d0, d0, d0)];
  27 def d : D <(d0 d1, d2, d3, d4)>;
  28
  29 class I<list<int> i> {
  30   list<int> r1 = !foreach(tmp, i, !add(3, !add(4, tmp)));
  31
  32   list<list<int>> li = [i];
  33   list<list<int>> r2 = !foreach(tmp2, li,
  34                                 !foreach(tmp, tmp2, !add(3, !add(4, tmp))));
  35 }
  36
  37 // CHECK-LABEL: def i
  38 // CHECK: list<int> r1 = [8, 9, 10];
  39 // CHECK: list<list<int>> r2 = [{{[[]}}8, 9, 10]];
  40 def i : I<[1,2,3]>;
  41
  42 class J0<list<dag> pattern> {
  43   list<dag> Pattern = pattern;
  44 }
  45 class J1<dag pattern>
  46       : J0<[!foreach(tmp, pattern, !subst(d1, d0,
  47                                    !subst(d2, d0,
  48                                    !subst(d3, d0,
  49                                    !subst(d4, d0, tmp)))))]>;
  50 class J2<list<dag> patterns>
  51       : J0<!foreach(t0, patterns,
  52                     !foreach(t1, t0, !subst(d1, d0,
  53                                      !subst(d2, d0,
  54                                      !subst(d3, d0,
  55                                      !subst(d4, d0, t1))))))>;
  56 // CHECK-LABEL: def j1
  57 // CHECK: list<dag> Pattern = [(d0 d0:$dst, (d0 d0:$src1))];
  58 def j1 : J1< (d1 d2:$dst, (d3 d4:$src1))>;
  59 // CHECK-LABEL: def j2
  60 // CHECK: list<dag> Pattern = [(d0 d0:$dst, (d0 d0:$src1))];
  61 def j2 : J2< [(d1 d2:$dst, (d3 d4:$src1))]>;
  62