reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

tools/polly/lib/External/isl/isl_test.c
 4551 	R = "{ S1[t,i] -> a[t-1,i]; S1[t,i] -> a[t-1,i-1]; "
 4554 	if (test_one_schedule(ctx, D, W, R, S, 2, 0) < 0)
 4562 	R = "[N] -> { S_0[i, j] -> a[j, i] : i >= 0 and i <= -1 + N and "
 4567 	if (test_one_schedule(ctx, D, W, R, S, 2, 0) < 0)
 4572 	R = "{ S2[i] -> a[i+1] }";
 4574 	if (test_one_schedule(ctx, D, W, R, S, 1, 1) < 0)
 4579 	R = "{ S2[i] -> a[9-i] }";
 4581 	if (test_one_schedule(ctx, D, W, R, S, 1, 1) < 0)
 4586 	R = "[N] -> { S2[i] -> a[N-1-i] }";
 4588 	if (test_one_schedule(ctx, D, W, R, S, 1, 1) < 0)
 4593 	R = "{ S2[i] -> a[i]; S1[i] -> b[i-1] }";
 4595 	if (test_one_schedule(ctx, D, W, R, S, 0, 0) < 0)
 4600 	R = "{ S2[i,j] -> a[i-1,j] }";
 4602 	if (test_one_schedule(ctx, D, W, R, S, 2, 1) < 0)
 4607 	R = "{ S2[i,j] -> a[i,j-1] }";
 4609 	if (test_one_schedule(ctx, D, W, R, S, 2, 1) < 0)
 4615 	R = "[N] -> { S_2[] -> a[N]; S_1[i] -> a[i] : i >= 0 and i <= -1 + N }";
 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)
 4628 	R = "[N] -> { S3[i,j] -> a[i-1,j]; S3[i,j] -> a[i,j-1]; "
 4634 	if (test_one_schedule(ctx, D, W, R, S, 2, 0) < 0)
 4641 	R = "[N] -> { S_0[i, j] -> s[0] : i >= 1 and i <= N and j >= 1 and "
 4646 	if (test_one_schedule(ctx, D, W, R, S, 0, 0) < 0)
 4657 	R = "[N] -> { S_1[t, i] -> a[t, i] : t >= 0 and t <= -1 + N and "
 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)
 4680 	R = "[M, N] -> { S_0[i, j] -> a[0] : i >= 0 and i <= -1 + M and "
 4684 	if (test_one_schedule(ctx, D, W, R, S, 0, 0) < 0)
 4689 	R = "{ S_0[i] -> a[0] : i >= 0 }";
 4691 	if (test_one_schedule(ctx, D, W, R, S, 0, 0) < 0)
 4696 	R = "{ S_0[i] -> b[0] : i >= 0; S_1[i] -> a[i] : i >= 0 }";
 4698 	if (test_one_schedule(ctx, D, W, R, S, 0, 0) < 0)
 4704 	R = "[n] -> { S_0[j, k] -> B[j] : j <= -1 + n and j >= 0 and "
 4712 	if (test_one_schedule(ctx, D, W, R, S, 0, 0) < 0)