Home
last modified time | relevance | path

Searched refs:map_check_equal (Results 1 – 1 of 1) sorted by relevance

/netbsd-src/external/mit/isl/dist/
H A Disl_test.c3408 static int map_check_equal(__isl_keep isl_map *map, const char *str) in map_check_equal() function
8894 equal = map_check_equal(map, "{ [i] -> [i] }"); in test_slice()
8902 equal = map_check_equal(map, "{ [i] -> [j] }"); in test_slice()
8910 equal = map_check_equal(map, "{ [i] -> [-i] }"); in test_slice()
8918 equal = map_check_equal(map, "{ [0] -> [j] }"); in test_slice()
8926 equal = map_check_equal(map, "{ [i] -> [j] : i > j }"); in test_slice()
8934 equal = map_check_equal(map, "{ [i] -> [j] : false }"); in test_slice()
8951 equal = map_check_equal(map, "{ [i] -> [j] : exists a : i = 2a }"); in test_eliminate()
8970 equal = map_check_equal(map, "{ [A[i] -> A[i + 1]] -> A[1] }"); in test_deltas_map()