/dports/math/barvinok/barvinok-0.41.5/pet/tests/ |
H A D | call8.scop | 6 -> L_0[{ S_0[i] -> [(i)] }]" } }' 14 domain: '[n] -> { S_0[i] : 0 <= i <= -2 + n }' 22 index: '[n] -> { S_0[i] -> a[(i)] }' 33 index: '[n] -> { S_0[i] -> [(n)] }' 38 may_read: '[n] -> { S_0[i] -> a[i] }' 39 index: '[n] -> { S_0[i] -> a[] }' 45 index: '[n] -> { S_0[i] -> [(i)] }' 53 index: '[n] -> { S_0[i] -> [(n)] }' 58 may_read: '[n] -> { S_0[i] -> a[1 + i] }' 59 index: '[n] -> { S_0[i] -> a[] }' [all …]
|
H A D | call2.scop | 5 schedule: '{ domain: "[n] -> { S_0[i] : 0 <= i < n }", child: { schedule: "[n] -> 6 L_0[{ S_0[i] -> [(i)] }]" } }' 14 domain: '[n] -> { S_0[i] : 0 <= i < n }' 22 index: '[n] -> { S_0[i] -> [(1 + i)] }' 27 index: '[n] -> { S_0[i] -> [(n)] }' 32 may_read: '[n] -> { S_0[i] -> B[i, 1 + i] : i <= -2 + n }' 33 may_write: '[n] -> { S_0[i] -> B[i, 1 + i] : i <= -2 + n; S_0[i] -> B[i, i] 35 must_write: '[n] -> { S_0[i] -> B[i, i] }' 36 index: '[n] -> { S_0[i] -> B[(i)] }'
|
H A D | independent2.scop | 5 schedule: '{ domain: "[n] -> { S_0[i, j] : 0 <= i < n and 0 <= j < n }", child: { 6 schedule: "[n] -> L_0[{ S_0[i, j] -> [(i)] }]", child: { schedule: "[n] -> L_1[{ 7 S_0[i, j] -> [(j)] }]" } } }' 19 domain: '[n] -> { S_0[i, j] : 0 <= i < n and 0 <= j < n }' 27 index: '[n] -> { [S_0[i, j] -> [i2]] -> B[((i2) : i2 >= 0), (j)] }' 33 index: '[n] -> { S_0[i, j] -> A[(i)] }' 38 index: '[n] -> { S_0[i, j] -> [(i + j)] }' 43 - filter: '[n] -> { S_0[i, j] -> S_0[i'', j''] : i'' > i }'
|
H A D | independent1.scop | 5 schedule: '{ domain: "[n] -> { S_0[i, j] : 0 <= i < n and 0 <= j < n }", child: { 6 schedule: "[n] -> L_0[{ S_0[i, j] -> [(i)] }]", child: { schedule: "[n] -> L_1[{ 7 S_0[i, j] -> [(j)] }]" } } }' 19 domain: '[n] -> { S_0[i, j] : 0 <= i < n and 0 <= j < n }' 27 index: '[n] -> { [S_0[i, j] -> [i2]] -> B[(i), ((i2) : i2 >= 0)] }' 33 index: '[n] -> { S_0[i, j] -> A[(i), (j)] }' 38 index: '[n] -> { S_0[i, j] -> [(i + j)] }' 43 - filter: '[n] -> { S_0[i, j] -> S_0[i'' = i, j''] : j'' > j }'
|
H A D | struct3.scop | 5 schedule: '{ domain: "{ S_0[i, j, k, l] : 0 <= i <= 9 and 0 <= j <= 19 and 0 <= k 6 <= 29 and 0 <= l <= 39; S_1[] }", child: { sequence: [ { filter: "{ S_0[i, j, k, 7 l] }", child: { schedule: "L_0[{ S_0[i, j, k, l] -> [(i)] }]", child: { schedule: 8 "L_1[{ S_0[i, j, k, l] -> [(j)] }]", child: { schedule: "L_2[{ S_0[i, j, k, l] -> 9 [(k)] }]", child: { schedule: "L_3[{ S_0[i, j, k, l] -> [(l)] }]" } } } } }, { filter: 28 domain: '{ S_0[i, j, k, l] : 0 <= i <= 9 and 0 <= j <= 19 and 0 <= k <= 29 and 0 37 index: '{ S_0[i, j, k, l] -> s_a[s[(i), (j)] -> a[(k), (l)]] }' 42 index: '{ S_0[i, j, k, l] -> [(i + j + k + l)] }'
|
H A D | independent3.scop | 5 schedule: '{ domain: "[n] -> { S_2[i, j] : 0 <= i < n and 0 <= j < n; S_0[i, j] : 8 S_0[i, j] -> [(i)]; S_3[i, j] -> [(i)]; S_1[i, j] -> [(i)] }]", child: { schedule: 9 "[n] -> L_1[{ S_2[i, j] -> [(j)]; S_0[i, j] -> [(j)]; S_3[i, j] -> [(j)]; S_1[i, 10 j] -> [(j)] }]", child: { sequence: [ { filter: "[n] -> { S_0[i, j] }" }, { filter: 29 domain: '[n] -> { S_0[i, j] : 0 <= i < n and 0 <= j < n }' 37 killed: '[n] -> { S_0[i, j] -> t[] }' 38 index: '[n] -> { S_0[i, j] -> t[] }' 97 - filter: '[n] -> { S_2[i, j] -> S_2[i'' = i, j''] : j'' > j; S_0[i, j] -> S_1[i'' 99 = i, j''] : j'' > j; S_0[i, j] -> S_2[i'' = i, j''] : j'' > j; S_3[i, j] -> S_2[i'' 100 = i, j''] : j'' > j; S_1[i, j] -> S_0[i'' = i, j''] : j'' > j; S_2[i, j] -> S_0[i'' [all …]
|
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/polly/lib/External/isl/test_inputs/codegen/ |
H A D | separation_class3.c | 3 S_0(0, 4); 5 S_0(2 * c0 - 1, 1); 8 S_0(7, c6); 12 S_0(c4, c6); 17 S_0(c4, c6); 22 S_0(c4, c6); 25 S_0(7, 4 * c2 + 2); 29 S_0(0, c6);
|
/dports/math/barvinok/barvinok-0.41.5/isl/test_inputs/codegen/ |
H A D | separation_class3.c | 3 S_0(0, 4); 5 S_0(2 * c0 - 1, 1); 8 S_0(7, c6); 12 S_0(c4, c6); 17 S_0(c4, c6); 22 S_0(c4, c6); 25 S_0(7, 4 * c2 + 2); 29 S_0(0, c6);
|
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/polly/lib/External/isl/test_inputs/codegen/ |
H A D | separation_class3.c | 3 S_0(0, 4); 5 S_0(2 * c0 - 1, 1); 8 S_0(7, c6); 12 S_0(c4, c6); 17 S_0(c4, c6); 22 S_0(c4, c6); 25 S_0(7, 4 * c2 + 2); 29 S_0(0, c6);
|
/dports/devel/isl/isl-0.24/test_inputs/codegen/ |
H A D | separation_class3.c | 3 S_0(0, 4); 5 S_0(2 * c0 - 1, 1); 8 S_0(7, c6); 12 S_0(c4, c6); 17 S_0(c4, c6); 22 S_0(c4, c6); 25 S_0(7, 4 * c2 + 2); 29 S_0(0, c6);
|
/dports/devel/llvm12/llvm-project-12.0.1.src/polly/lib/External/isl/test_inputs/codegen/ |
H A D | separation_class3.c | 3 S_0(0, 4); 5 S_0(2 * c0 - 1, 1); 8 S_0(7, c6); 12 S_0(c4, c6); 17 S_0(c4, c6); 22 S_0(c4, c6); 25 S_0(7, 4 * c2 + 2); 29 S_0(0, c6);
|
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/polly/lib/External/isl/test_inputs/codegen/ |
H A D | separation_class3.c | 3 S_0(0, 4); 5 S_0(2 * c0 - 1, 1); 8 S_0(7, c6); 12 S_0(c4, c6); 17 S_0(c4, c6); 22 S_0(c4, c6); 25 S_0(7, 4 * c2 + 2); 29 S_0(0, c6);
|
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/polly/lib/External/isl/test_inputs/codegen/ |
H A D | separation_class3.c | 3 S_0(0, 4); 5 S_0(2 * c0 - 1, 1); 8 S_0(7, c6); 12 S_0(c4, c6); 17 S_0(c4, c6); 22 S_0(c4, c6); 25 S_0(7, 4 * c2 + 2); 29 S_0(0, c6);
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/polly/lib/External/isl/test_inputs/codegen/ |
H A D | separation_class3.c | 3 S_0(0, 4); 5 S_0(2 * c0 - 1, 1); 8 S_0(7, c6); 12 S_0(c4, c6); 17 S_0(c4, c6); 22 S_0(c4, c6); 25 S_0(7, 4 * c2 + 2); 29 S_0(0, c6);
|
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/polly/lib/External/isl/test_inputs/codegen/ |
H A D | separation_class3.c | 3 S_0(0, 4); 5 S_0(2 * c0 - 1, 1); 8 S_0(7, c6); 12 S_0(c4, c6); 17 S_0(c4, c6); 22 S_0(c4, c6); 25 S_0(7, 4 * c2 + 2); 29 S_0(0, c6);
|
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/polly/lib/External/isl/test_inputs/codegen/ |
H A D | separation_class3.c | 3 S_0(0, 4); 5 S_0(2 * c0 - 1, 1); 8 S_0(7, c6); 12 S_0(c4, c6); 17 S_0(c4, c6); 22 S_0(c4, c6); 25 S_0(7, 4 * c2 + 2); 29 S_0(0, c6);
|
/dports/devel/llvm13/llvm-project-13.0.1.src/polly/lib/External/isl/test_inputs/codegen/ |
H A D | separation_class3.c | 3 S_0(0, 4); 5 S_0(2 * c0 - 1, 1); 8 S_0(7, c6); 12 S_0(c4, c6); 17 S_0(c4, c6); 22 S_0(c4, c6); 25 S_0(7, 4 * c2 + 2); 29 S_0(0, c6);
|
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/polly/lib/External/isl/test_inputs/schedule/ |
H A D | poliwoda.sc | 9 domain: [_PB_M, _PB_N] -> { S_0[Id1, Id2, Id3] : _PB_M >= 2 and Id1 >= 14 validity: [_PB_M, _PB_N] -> { S_0[Id1, Id2, Id3] -> S_0[Id1' = Id1, Id2', 19 S_0[Id1, Id2, Id3] -> S_0[Id1' = Id1, Id2', Id3' = Id3] : Id1 >= 0 and 21 4Id2 and Id2' < Id2 and 2Id2' >= -_PB_M; S_0[Id1, Id2, Id3] -> S_1[Id1' 25 4Id2; S_0[Id1, Id2, Id3] -> S_1[Id1' = Id1, Id2' = Id2, Id3'] : Id1 >= 27 < Id3 and -1 - _PB_M <= 4Id3' <= 2 + _PB_M + 4Id2; S_0[Id1, Id2, Id3] 31 proximity: [_PB_M, _PB_N] -> { S_0[Id1, Id2, Id3] -> S_0[Id1' = Id1, Id2', 36 S_0[Id1, Id2, Id3] -> S_0[Id1' = Id1, Id2', Id3' = Id3] : Id1 >= 0 and 38 4Id2 and Id2' < Id2 and 2Id2' >= -_PB_M; S_0[Id1, Id2, Id3] -> S_1[Id1' 42 4Id2; S_0[Id1, Id2, Id3] -> S_1[Id1' = Id1, Id2' = Id2, Id3'] : Id1 >= [all …]
|
/dports/math/barvinok/barvinok-0.41.5/isl/test_inputs/schedule/ |
H A D | poliwoda.sc | 9 domain: [_PB_M, _PB_N] -> { S_0[Id1, Id2, Id3] : _PB_M >= 2 and Id1 >= 14 validity: [_PB_M, _PB_N] -> { S_0[Id1, Id2, Id3] -> S_0[Id1' = Id1, Id2', 19 S_0[Id1, Id2, Id3] -> S_0[Id1' = Id1, Id2', Id3' = Id3] : Id1 >= 0 and 21 4Id2 and Id2' < Id2 and 2Id2' >= -_PB_M; S_0[Id1, Id2, Id3] -> S_1[Id1' 25 4Id2; S_0[Id1, Id2, Id3] -> S_1[Id1' = Id1, Id2' = Id2, Id3'] : Id1 >= 27 < Id3 and -1 - _PB_M <= 4Id3' <= 2 + _PB_M + 4Id2; S_0[Id1, Id2, Id3] 31 proximity: [_PB_M, _PB_N] -> { S_0[Id1, Id2, Id3] -> S_0[Id1' = Id1, Id2', 36 S_0[Id1, Id2, Id3] -> S_0[Id1' = Id1, Id2', Id3' = Id3] : Id1 >= 0 and 38 4Id2 and Id2' < Id2 and 2Id2' >= -_PB_M; S_0[Id1, Id2, Id3] -> S_1[Id1' 42 4Id2; S_0[Id1, Id2, Id3] -> S_1[Id1' = Id1, Id2' = Id2, Id3'] : Id1 >= [all …]
|
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/polly/lib/External/isl/test_inputs/schedule/ |
H A D | poliwoda.sc | 9 domain: [_PB_M, _PB_N] -> { S_0[Id1, Id2, Id3] : _PB_M >= 2 and Id1 >= 14 validity: [_PB_M, _PB_N] -> { S_0[Id1, Id2, Id3] -> S_0[Id1' = Id1, Id2', 19 S_0[Id1, Id2, Id3] -> S_0[Id1' = Id1, Id2', Id3' = Id3] : Id1 >= 0 and 21 4Id2 and Id2' < Id2 and 2Id2' >= -_PB_M; S_0[Id1, Id2, Id3] -> S_1[Id1' 25 4Id2; S_0[Id1, Id2, Id3] -> S_1[Id1' = Id1, Id2' = Id2, Id3'] : Id1 >= 27 < Id3 and -1 - _PB_M <= 4Id3' <= 2 + _PB_M + 4Id2; S_0[Id1, Id2, Id3] 31 proximity: [_PB_M, _PB_N] -> { S_0[Id1, Id2, Id3] -> S_0[Id1' = Id1, Id2', 36 S_0[Id1, Id2, Id3] -> S_0[Id1' = Id1, Id2', Id3' = Id3] : Id1 >= 0 and 38 4Id2 and Id2' < Id2 and 2Id2' >= -_PB_M; S_0[Id1, Id2, Id3] -> S_1[Id1' 42 4Id2; S_0[Id1, Id2, Id3] -> S_1[Id1' = Id1, Id2' = Id2, Id3'] : Id1 >= [all …]
|
/dports/devel/isl/isl-0.24/test_inputs/schedule/ |
H A D | poliwoda.sc | 9 domain: [_PB_M, _PB_N] -> { S_0[Id1, Id2, Id3] : _PB_M >= 2 and Id1 >= 14 validity: [_PB_M, _PB_N] -> { S_0[Id1, Id2, Id3] -> S_0[Id1' = Id1, Id2', 19 S_0[Id1, Id2, Id3] -> S_0[Id1' = Id1, Id2', Id3' = Id3] : Id1 >= 0 and 21 4Id2 and Id2' < Id2 and 2Id2' >= -_PB_M; S_0[Id1, Id2, Id3] -> S_1[Id1' 25 4Id2; S_0[Id1, Id2, Id3] -> S_1[Id1' = Id1, Id2' = Id2, Id3'] : Id1 >= 27 < Id3 and -1 - _PB_M <= 4Id3' <= 2 + _PB_M + 4Id2; S_0[Id1, Id2, Id3] 31 proximity: [_PB_M, _PB_N] -> { S_0[Id1, Id2, Id3] -> S_0[Id1' = Id1, Id2', 36 S_0[Id1, Id2, Id3] -> S_0[Id1' = Id1, Id2', Id3' = Id3] : Id1 >= 0 and 38 4Id2 and Id2' < Id2 and 2Id2' >= -_PB_M; S_0[Id1, Id2, Id3] -> S_1[Id1' 42 4Id2; S_0[Id1, Id2, Id3] -> S_1[Id1' = Id1, Id2' = Id2, Id3'] : Id1 >= [all …]
|
/dports/devel/llvm12/llvm-project-12.0.1.src/polly/lib/External/isl/test_inputs/schedule/ |
H A D | poliwoda.sc | 9 domain: [_PB_M, _PB_N] -> { S_0[Id1, Id2, Id3] : _PB_M >= 2 and Id1 >= 14 validity: [_PB_M, _PB_N] -> { S_0[Id1, Id2, Id3] -> S_0[Id1' = Id1, Id2', 19 S_0[Id1, Id2, Id3] -> S_0[Id1' = Id1, Id2', Id3' = Id3] : Id1 >= 0 and 21 4Id2 and Id2' < Id2 and 2Id2' >= -_PB_M; S_0[Id1, Id2, Id3] -> S_1[Id1' 25 4Id2; S_0[Id1, Id2, Id3] -> S_1[Id1' = Id1, Id2' = Id2, Id3'] : Id1 >= 27 < Id3 and -1 - _PB_M <= 4Id3' <= 2 + _PB_M + 4Id2; S_0[Id1, Id2, Id3] 31 proximity: [_PB_M, _PB_N] -> { S_0[Id1, Id2, Id3] -> S_0[Id1' = Id1, Id2', 36 S_0[Id1, Id2, Id3] -> S_0[Id1' = Id1, Id2', Id3' = Id3] : Id1 >= 0 and 38 4Id2 and Id2' < Id2 and 2Id2' >= -_PB_M; S_0[Id1, Id2, Id3] -> S_1[Id1' 42 4Id2; S_0[Id1, Id2, Id3] -> S_1[Id1' = Id1, Id2' = Id2, Id3'] : Id1 >= [all …]
|
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/polly/lib/External/isl/test_inputs/schedule/ |
H A D | poliwoda.sc | 9 domain: [_PB_M, _PB_N] -> { S_0[Id1, Id2, Id3] : _PB_M >= 2 and Id1 >= 14 validity: [_PB_M, _PB_N] -> { S_0[Id1, Id2, Id3] -> S_0[Id1' = Id1, Id2', 19 S_0[Id1, Id2, Id3] -> S_0[Id1' = Id1, Id2', Id3' = Id3] : Id1 >= 0 and 21 4Id2 and Id2' < Id2 and 2Id2' >= -_PB_M; S_0[Id1, Id2, Id3] -> S_1[Id1' 25 4Id2; S_0[Id1, Id2, Id3] -> S_1[Id1' = Id1, Id2' = Id2, Id3'] : Id1 >= 27 < Id3 and -1 - _PB_M <= 4Id3' <= 2 + _PB_M + 4Id2; S_0[Id1, Id2, Id3] 31 proximity: [_PB_M, _PB_N] -> { S_0[Id1, Id2, Id3] -> S_0[Id1' = Id1, Id2', 36 S_0[Id1, Id2, Id3] -> S_0[Id1' = Id1, Id2', Id3' = Id3] : Id1 >= 0 and 38 4Id2 and Id2' < Id2 and 2Id2' >= -_PB_M; S_0[Id1, Id2, Id3] -> S_1[Id1' 42 4Id2; S_0[Id1, Id2, Id3] -> S_1[Id1' = Id1, Id2' = Id2, Id3'] : Id1 >= [all …]
|
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/polly/lib/External/isl/test_inputs/schedule/ |
H A D | poliwoda.sc | 9 domain: [_PB_M, _PB_N] -> { S_0[Id1, Id2, Id3] : _PB_M >= 2 and Id1 >= 14 validity: [_PB_M, _PB_N] -> { S_0[Id1, Id2, Id3] -> S_0[Id1' = Id1, Id2', 19 S_0[Id1, Id2, Id3] -> S_0[Id1' = Id1, Id2', Id3' = Id3] : Id1 >= 0 and 21 4Id2 and Id2' < Id2 and 2Id2' >= -_PB_M; S_0[Id1, Id2, Id3] -> S_1[Id1' 25 4Id2; S_0[Id1, Id2, Id3] -> S_1[Id1' = Id1, Id2' = Id2, Id3'] : Id1 >= 27 < Id3 and -1 - _PB_M <= 4Id3' <= 2 + _PB_M + 4Id2; S_0[Id1, Id2, Id3] 31 proximity: [_PB_M, _PB_N] -> { S_0[Id1, Id2, Id3] -> S_0[Id1' = Id1, Id2', 36 S_0[Id1, Id2, Id3] -> S_0[Id1' = Id1, Id2', Id3' = Id3] : Id1 >= 0 and 38 4Id2 and Id2' < Id2 and 2Id2' >= -_PB_M; S_0[Id1, Id2, Id3] -> S_1[Id1' 42 4Id2; S_0[Id1, Id2, Id3] -> S_1[Id1' = Id1, Id2' = Id2, Id3'] : Id1 >= [all …]
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/polly/lib/External/isl/test_inputs/schedule/ |
H A D | poliwoda.sc | 9 domain: [_PB_M, _PB_N] -> { S_0[Id1, Id2, Id3] : _PB_M >= 2 and Id1 >= 14 validity: [_PB_M, _PB_N] -> { S_0[Id1, Id2, Id3] -> S_0[Id1' = Id1, Id2', 19 S_0[Id1, Id2, Id3] -> S_0[Id1' = Id1, Id2', Id3' = Id3] : Id1 >= 0 and 21 4Id2 and Id2' < Id2 and 2Id2' >= -_PB_M; S_0[Id1, Id2, Id3] -> S_1[Id1' 25 4Id2; S_0[Id1, Id2, Id3] -> S_1[Id1' = Id1, Id2' = Id2, Id3'] : Id1 >= 27 < Id3 and -1 - _PB_M <= 4Id3' <= 2 + _PB_M + 4Id2; S_0[Id1, Id2, Id3] 31 proximity: [_PB_M, _PB_N] -> { S_0[Id1, Id2, Id3] -> S_0[Id1' = Id1, Id2', 36 S_0[Id1, Id2, Id3] -> S_0[Id1' = Id1, Id2', Id3' = Id3] : Id1 >= 0 and 38 4Id2 and Id2' < Id2 and 2Id2' >= -_PB_M; S_0[Id1, Id2, Id3] -> S_1[Id1' 42 4Id2; S_0[Id1, Id2, Id3] -> S_1[Id1' = Id1, Id2' = Id2, Id3'] : Id1 >= [all …]
|