|
|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
References
tools/polly/lib/External/isl/isl_test.c 4549 D = "[T,N] -> { S1[t,i] : 1 <= t <= T and 2 <= i <= N - 1 }";
4554 if (test_one_schedule(ctx, D, W, R, S, 2, 0) < 0)
4558 D = "[N] -> { S_0[i, j] : i >= 0 and i <= -1 + N and j >= 2 and "
4567 if (test_one_schedule(ctx, D, W, R, S, 2, 0) < 0)
4570 D = "{ S1[i] : 0 <= i <= 10; S2[i] : 0 <= i <= 9 }";
4574 if (test_one_schedule(ctx, D, W, R, S, 1, 1) < 0)
4577 D = "{ S1[i] : 0 <= i < 10; S2[i] : 0 <= i < 10 }";
4581 if (test_one_schedule(ctx, D, W, R, S, 1, 1) < 0)
4584 D = "[N] -> { S1[i] : 0 <= i < N; S2[i] : 0 <= i < N }";
4588 if (test_one_schedule(ctx, D, W, R, S, 1, 1) < 0)
4591 D = "{ S1[i] : 0 < i < 10; S2[i] : 0 <= i < 10 }";
4595 if (test_one_schedule(ctx, D, W, R, S, 0, 0) < 0)
4598 D = "[N] -> { S1[i] : 1 <= i <= N; S2[i,j] : 1 <= i,j <= N }";
4602 if (test_one_schedule(ctx, D, W, R, S, 2, 1) < 0)
4605 D = "[N] -> { S1[i] : 1 <= i <= N; S2[i,j] : 1 <= i,j <= N }";
4609 if (test_one_schedule(ctx, D, W, R, S, 2, 1) < 0)
4612 D = "[N] -> { S_0[]; S_1[i] : i >= 0 and i <= -1 + N; S_2[] }";
4618 if (test_one_schedule(ctx, D, W, R, S, 1, 0) < 0)
4621 if (test_one_schedule(ctx, D, W, R, S, 0, 0) < 0)
4625 D = "[N] -> { S1[i] : 1 <= i <= N; S2[i] : 1 <= i <= N; "
4634 if (test_one_schedule(ctx, D, W, R, S, 2, 0) < 0)
4638 D = "[N] -> { S_0[i, j] : i >= 1 and i <= N and j >= 1 and j <= N }";
4646 if (test_one_schedule(ctx, D, W, R, S, 0, 0) < 0)
4649 D = "[N] -> { S_0[t] : t >= 0 and t <= -1 + N; "
4663 if (test_one_schedule(ctx, D, W, R, S, 2, 1) < 0)
4666 if (test_one_schedule(ctx, D, W, R, S, 0, 0) < 0)
4670 D = "[N] -> { S1[i,j] : 0 <= i,j < N; S2[i,j] : 0 <= i,j < N }";
4672 if (test_one_schedule(ctx, D, "{}", "{}", S, 2, 2) < 0)
4675 D = "[M, N] -> { S_1[i] : i >= 0 and i <= -1 + M; "
4684 if (test_one_schedule(ctx, D, W, R, S, 0, 0) < 0)
4687 D = "{ S_0[i] : i >= 0 }";
4691 if (test_one_schedule(ctx, D, W, R, S, 0, 0) < 0)
4694 D = "{ S_0[i] : i >= 0; S_1[i] : i >= 0 }";
4698 if (test_one_schedule(ctx, D, W, R, S, 0, 0) < 0)
4701 D = "[n] -> { S_0[j, k] : j <= -1 + n and j >= 0 and "
4712 if (test_one_schedule(ctx, D, W, R, S, 0, 0) < 0)
4716 D = "{Stmt_for_body24[i0, i1, i2, i3]:"
4755 if (test_has_schedule(ctx, D, V, P) < 0)
4759 D = "{ S_0[i, j] : i >= 1 and i <= 10 and j >= 1 and j <= 8 }";
4767 if (test_special_schedule(ctx, D, V, P, S) < 0)
4772 D = "[N] -> { S_0[i, j] : i >= 0 and i <= -1 + N and "
4781 if (test_special_schedule(ctx, D, V, P, S) < 0)
4786 D = "{ S[i,j] : 0 <= i <= 10 }";
4791 if (test_special_schedule(ctx, D, V, P, S) < 0)
4794 if (test_special_schedule(ctx, D, V, P, S) < 0)
4797 D = "{ A[a]; B[] }";
4800 if (test_has_schedule(ctx, D, V, P) < 0)
4809 D = "[N] -> { S0[i, j] : i >= 0 and i <= N and j >= 0 and j <= N }";
4816 if (test_has_schedule(ctx, D, V, P) < 0)
4823 D = "{ S1[j] : 0 <= j <= 1; S0[]; S2[k] : 0 <= k <= 1 }";
4828 if (test_has_schedule(ctx, D, V, P) < 0)