summaryrefslogtreecommitdiff
path: root/llvm/test/TableGen/range-op.td
blob: b7e587d47b8cba58e72e03118019f73b0a440899 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
// RUN: llvm-tblgen %s | FileCheck %s
// XFAIL: vg_leak

// CHECK: def range_op_ranges {
def range_op_ranges {
  // !range(n) generates half-open interval "[0,n)"
  // CHECK: list<int> idxs8 = [0, 1, 2, 3, 4, 5, 6, 7];
  list<int> idxs8 = !range(8);

  // !range(m, n) generates half-open interval "[m,n)"
  // CHECK: list<int> idxs4 = [4, 5, 6, 7];
  list<int> idxs4 = !range(4, 8);

  // !range(m, n) generates empty set if m >= n
  // CHECK: list<int> idxs84 = [];
  list<int> idxs84 = !range(8, 4);

  // !range(list) generates index values for the list. (Not a copy of the list)
  // CHECK: list<int> idxsl = [0, 1, 2, 3];
  list<int> idxsl = !range(idxs4);

  // !range(emptylist) generates empty set
  // CHECK: list<int> idxs0 = [];
  list<int> idxs0 = !range(idxs84);

  // Example: Dynamic !range(n)
  // CHECK: list<list<int>> rn = {{\[}}[0, 1, 2, 3], [0, 1, 2, 3, 4], [0, 1, 2, 3, 4, 5], [0, 1, 2, 3, 4, 5, 6]];
  list<list<int>> rn = !foreach(i, idxs4, !range(i));

  // Example: Dynamic !range(m, n)
  // CHECK: list<list<int>> rm = {{\[}}[0, 1, 2, 3, 4, 5, 6], [1, 2, 3, 4, 5], [2, 3, 4], [3], [], [], [], []];
  list<list<int>> rm = !foreach(i, idxs8, !range(i, !sub(7, i)));

  // Example: Dynamic !range(list)
  // CHECK: list<list<int>> rl = {{\[}}[0, 1, 2, 3, 4, 5, 6], [0, 1, 2, 3, 4], [0, 1, 2], [0], [], [], [], []];
  list<list<int>> rl = !foreach(r, rm, !range(r));
}