Searched refs:test_plain_injective (Results 1 – 1 of 1) sorted by relevance
| /external/llvm-project/polly/lib/External/isl/ |
| D | isl_test.c | 5268 int test_plain_injective(isl_ctx *ctx, const char *str, int injective) in test_plain_injective() function
5292 if (test_plain_injective(ctx, "{S[i,j] -> A[0]; T[i,j] -> B[1]}", 0)) in test_injective()
5294 if (test_plain_injective(ctx, "{S[] -> A[0]; T[] -> B[0]}", 1)) in test_injective()
5296 if (test_plain_injective(ctx, "{S[] -> A[0]; T[] -> A[1]}", 1)) in test_injective()
5298 if (test_plain_injective(ctx, "{S[] -> A[0]; T[] -> A[0]}", 0)) in test_injective()
5300 if (test_plain_injective(ctx, "{S[i] -> A[i,0]; T[i] -> A[i,1]}", 1)) in test_injective()
5302 if (test_plain_injective(ctx, "{S[i] -> A[i]; T[i] -> A[i]}", 0)) in test_injective()
5304 if (test_plain_injective(ctx, "{S[] -> A[0,0]; T[] -> A[0,1]}", 1)) in test_injective()
5306 if (test_plain_injective(ctx, "{S[] -> A[0,0]; T[] -> A[1,0]}", 1)) in test_injective()
5310 if (test_plain_injective(ctx, str, 1)) in test_injective()
[all …]
|