|
|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
References
tools/polly/lib/External/isl/isl_test.c 2905 str = "{ [2,i,0] -> [i] : 0 <= i <= 10 }";
2906 map = isl_map_read_from_str(ctx, str);
2909 str = "{ [0,i,0] -> [i] : 0 <= i <= 10 }";
2910 map = isl_map_read_from_str(ctx, str);
2913 str = "{ [1,i,0] -> [5] : 0 <= i <= 10 }";
2914 map = isl_map_read_from_str(ctx, str);
2924 str = "{ [0,i,0] -> [2,i,0] : (0 <= i <= 4) or (6 <= i <= 10); "
2926 assert(map_is_equal(mm.must, str));
2927 str = "{ [i,j,k] -> [l,m,n] : 1 = 0 }";
2928 assert(map_is_equal(mm.may, str));
2935 str = "{ [2,i,0] -> [i] : 0 <= i <= 10 }";
2936 map = isl_map_read_from_str(ctx, str);
2939 str = "{ [0,i,0] -> [i] : 0 <= i <= 10 }";
2940 map = isl_map_read_from_str(ctx, str);
2943 str = "{ [1,i,0] -> [5] : 0 <= i <= 10 }";
2944 map = isl_map_read_from_str(ctx, str);
2954 str = "{ [0,i,0] -> [2,i,0] : (0 <= i <= 4) or (6 <= i <= 10) }";
2955 assert(map_is_equal(mm.must, str));
2956 str = "{ [0,5,0] -> [2,5,0]; [1,i,0] -> [2,5,0] : 0 <= i <= 10 }";
2957 assert(map_is_equal(mm.may, str));
2964 str = "{ [2,i,0] -> [i] : 0 <= i <= 10 }";
2965 map = isl_map_read_from_str(ctx, str);
2968 str = "{ [0,i,0] -> [i] : 0 <= i <= 10 }";
2969 map = isl_map_read_from_str(ctx, str);
2972 str = "{ [1,i,0] -> [5] : 0 <= i <= 10 }";
2973 map = isl_map_read_from_str(ctx, str);
2983 str = "{ [0,i,0] -> [2,i,0] : 0 <= i <= 10; "
2985 assert(map_is_equal(mm.may, str));
2986 str = "{ [i,j,k] -> [l,m,n] : 1 = 0 }";
2987 assert(map_is_equal(mm.must, str));
2994 str = "{ [0,i,2] -> [i] : 0 <= i <= 10 }";
2995 map = isl_map_read_from_str(ctx, str);
2998 str = "{ [0,i,0] -> [i] : 0 <= i <= 10 }";
2999 map = isl_map_read_from_str(ctx, str);
3002 str = "{ [0,i,1] -> [5] : 0 <= i <= 10 }";
3003 map = isl_map_read_from_str(ctx, str);
3013 str = "{ [0,i,0] -> [0,i,2] : 0 <= i <= 10; "
3015 assert(map_is_equal(mm.may, str));
3016 str = "{ [i,j,k] -> [l,m,n] : 1 = 0 }";
3017 assert(map_is_equal(mm.must, str));
3024 str = "{ [0,i,1] -> [i] : 0 <= i <= 10 }";
3025 map = isl_map_read_from_str(ctx, str);
3028 str = "{ [0,i,0] -> [i] : 0 <= i <= 10 }";
3029 map = isl_map_read_from_str(ctx, str);
3032 str = "{ [0,i,2] -> [5] : 0 <= i <= 10 }";
3033 map = isl_map_read_from_str(ctx, str);
3043 str = "{ [0,i,0] -> [0,i,1] : 0 <= i <= 10; "
3045 assert(map_is_equal(mm.may, str));
3046 str = "{ [i,j,k] -> [l,m,n] : 1 = 0 }";
3047 assert(map_is_equal(mm.must, str));
3056 str = "{ [1,i,0,0,0] -> [i,j] : 0 <= i <= 10 and 0 <= j <= 10 }";
3057 map = isl_map_read_from_str(ctx, str);
3060 str = "{ [0,i,0,j,0] -> [i,j] : 0 <= i <= 10 and 0 <= j <= 10 }";
3061 map = isl_map_read_from_str(ctx, str);
3071 str = "{ [0,i,0,j,0] -> [1,i,0,0,0] : 0 <= i,j <= 10 }";
3072 assert(map_is_equal(mm.must, str));
3073 str = "{ [0,0,0,0,0] -> [0,0,0,0,0] : 1 = 0 }";
3074 assert(map_is_equal(mm.may, str));