isl_stream_read_map: accept "!=" in expressions

[platform/upstream/isl.git] / isl_test.c

diff --git a/isl_test.c b/isl_test.c
index 94f415c..c5e3e83 100644 (file)
--- a/isl_test.c
+++ b/isl_test.c
@@ -124,6 +124,10 @@ void test_parse(struct isl_ctx *ctx)
        str2 = "{ [i,j] -> [min(i,j)] }";
        test_parse_map_equal(ctx, str, str2);
 
+       str = "{ [i,j] : i != j }";
+       str2 = "{ [i,j] : i < j or i > j }";
+       test_parse_map_equal(ctx, str, str2);
+
        test_parse_pwqp(ctx, "{ [i] -> i + [ (i + [i/3])/2 ] }");
        test_parse_map(ctx, "{ S1[i] -> [([i/10]),i%10] : 0 <= i <= 45 }");
 }