Home
last modified time | relevance | path

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

/llvm-project-15.0.7/polly/lib/External/isl/include/isl/
H A Dpolynomial_type.h20 isl_fold_max, enumerator
/llvm-project-15.0.7/polly/lib/External/isl/
H A Disl_fold.c34 return isl_fold_max; in isl_fold_type_negate()
35 case isl_fold_max: in isl_fold_type_negate()
738 better = fold1->type == isl_fold_max ? -1 : 1; in isl_qpolynomial_fold_fold_on_domain()
1396 fold->type == isl_fold_max || fold->type == isl_fold_min, in isl_qpolynomial_fold_eval()
1416 if (fold->type == isl_fold_max) in isl_qpolynomial_fold_eval()
1516 covers = fold1->type == isl_fold_max ? 1 : -1; in qpolynomial_fold_covers_on_domain()
H A Disl_range.c59 type = data_m.sign < 0 ? isl_fold_min : isl_fold_max; in has_sign()
271 enum isl_fold type = data->sign < 0 ? isl_fold_min : isl_fold_max; in add_guarded_poly()
H A Dbound.c258 pwf = isl_pw_qpolynomial_fold_from_pw_qpolynomial(isl_fold_max, in main()
H A Disl_test.c3956 { 0, isl_fold_max, "{ [m, n] -> -m * n }", "{ max(infty) }" },
3957 { 1, isl_fold_max, "{ [[a, b, c, d] -> [e]] -> 0 }",
3959 { 1, isl_fold_max, "{ [[x] -> [x]] -> 1 : exists a : x = 2 a }",
3962 { 1, isl_fold_max, "{ [0:10] -> 1 }", "{ max(1) }" },
3963 { 1, isl_fold_max, "{ [[m] -> [0:m]] -> m^2 }",
3982 pwf = isl_pw_qpolynomial_bound(pwqp, isl_fold_max, NULL); in test_bound_space()
H A Disl_output.c2000 else if (fold->type == isl_fold_max) in qpolynomial_fold_print()
2359 else if (fold->type == isl_fold_max) in print_qpolynomial_fold_c()
H A Disl_input.c2614 fold = max ? isl_fold_max : isl_fold_min; in obj_read_poly_or_fold()
/llvm-project-15.0.7/polly/lib/External/isl/doc/
H A Duser.pod3091 The type may be either C<isl_fold_min> or C<isl_fold_max>
9646 The C<type> argument may be either C<isl_fold_min> or C<isl_fold_max>.