Home
last modified time | relevance | path

Searched refs:S_0 (Results 1 – 25 of 625) sorted by relevance

12345678910>>...25

/dports/math/barvinok/barvinok-0.41.5/pet/tests/
H A Dcall8.scop6 -> 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 Dcall2.scop5 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 Dindependent2.scop5 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 Dindependent1.scop5 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 Dstruct3.scop5 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 Dindependent3.scop5 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 Dseparation_class3.c3 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 Dseparation_class3.c3 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 Dseparation_class3.c3 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 Dseparation_class3.c3 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 Dseparation_class3.c3 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 Dseparation_class3.c3 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 Dseparation_class3.c3 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 Dseparation_class3.c3 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 Dseparation_class3.c3 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 Dseparation_class3.c3 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 Dseparation_class3.c3 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 Dpoliwoda.sc9 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 Dpoliwoda.sc9 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 Dpoliwoda.sc9 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 Dpoliwoda.sc9 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 Dpoliwoda.sc9 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 Dpoliwoda.sc9 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 Dpoliwoda.sc9 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 Dpoliwoda.sc9 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 …]

12345678910>>...25