reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
705 if (!v1 || !v2) 708 isl_val_free(v2); 711 if (isl_val_is_nan(v2)) { 713 return v2; 715 if ((isl_val_is_infty(v1) && isl_val_is_infty(v2)) || 716 (isl_val_is_neginfty(v1) && isl_val_is_neginfty(v2))) { 717 isl_val_free(v2); 721 isl_val_free(v2); 724 if (isl_val_is_infty(v2) || isl_val_is_neginfty(v2)) { 724 if (isl_val_is_infty(v2) || isl_val_is_neginfty(v2)) { 726 return isl_val_neg(v2); 728 if (isl_val_is_zero(v2)) { 729 isl_val_free(v2); 734 return isl_val_neg(v2); 740 if (isl_val_is_int(v1) && isl_val_is_int(v2)) 741 isl_int_sub(v1->n, v1->n, v2->n); 743 if (isl_int_eq(v1->d, v2->d)) 744 isl_int_sub(v1->n, v1->n, v2->n); 746 isl_int_mul(v1->n, v1->n, v2->d); 747 isl_int_submul(v1->n, v2->n, v1->d); 748 isl_int_mul(v1->d, v1->d, v2->d); 752 isl_val_free(v2); 756 isl_val_free(v2);