reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
705 if (!v1 || !v2) 707 if (isl_val_is_nan(v1)) { 709 return v1; 712 isl_val_free(v1); 715 if ((isl_val_is_infty(v1) && isl_val_is_infty(v2)) || 716 (isl_val_is_neginfty(v1) && isl_val_is_neginfty(v2))) { 718 return isl_val_set_nan(v1); 720 if (isl_val_is_infty(v1) || isl_val_is_neginfty(v1)) { 720 if (isl_val_is_infty(v1) || isl_val_is_neginfty(v1)) { 722 return v1; 725 isl_val_free(v1); 730 return v1; 732 if (isl_val_is_zero(v1)) { 733 isl_val_free(v1); 737 v1 = isl_val_cow(v1); 737 v1 = isl_val_cow(v1); 738 if (!v1) 740 if (isl_val_is_int(v1) && isl_val_is_int(v2)) 741 isl_int_sub(v1->n, v1->n, v2->n); 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); 744 isl_int_sub(v1->n, v1->n, v2->n); 746 isl_int_mul(v1->n, v1->n, v2->d); 746 isl_int_mul(v1->n, v1->n, v2->d); 747 isl_int_submul(v1->n, v2->n, v1->d); 747 isl_int_submul(v1->n, v2->n, v1->d); 748 isl_int_mul(v1->d, v1->d, v2->d); 748 isl_int_mul(v1->d, v1->d, v2->d); 750 v1 = isl_val_normalize(v1); 750 v1 = isl_val_normalize(v1); 753 return v1; 755 isl_val_free(v1);