Searched refs:test_plain_injective (Results 1 – 1 of 1) sorted by relevance
| /llvm-project-15.0.7/polly/lib/External/isl/ |
| H A D | isl_test.c | 5356 int test_plain_injective(isl_ctx *ctx, const char *str, int injective) in test_plain_injective() function
5380 if (test_plain_injective(ctx, "{S[i,j] -> A[0]; T[i,j] -> B[1]}", 0)) in test_injective()
5382 if (test_plain_injective(ctx, "{S[] -> A[0]; T[] -> B[0]}", 1)) in test_injective()
5384 if (test_plain_injective(ctx, "{S[] -> A[0]; T[] -> A[1]}", 1)) in test_injective()
5386 if (test_plain_injective(ctx, "{S[] -> A[0]; T[] -> A[0]}", 0)) in test_injective()
5388 if (test_plain_injective(ctx, "{S[i] -> A[i,0]; T[i] -> A[i,1]}", 1)) in test_injective()
5390 if (test_plain_injective(ctx, "{S[i] -> A[i]; T[i] -> A[i]}", 0)) in test_injective()
5392 if (test_plain_injective(ctx, "{S[] -> A[0,0]; T[] -> A[0,1]}", 1)) in test_injective()
5394 if (test_plain_injective(ctx, "{S[] -> A[0,0]; T[] -> A[1,0]}", 1)) in test_injective()
5398 if (test_plain_injective(ctx, str, 1)) in test_injective()
[all …]
|