reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
783 if (!v1 || !v2) 786 isl_val_free(v2); 789 if (isl_val_is_nan(v2)) { 791 return v2; 793 if ((!isl_val_is_rat(v1) && isl_val_is_zero(v2)) || 794 (isl_val_is_zero(v1) && !isl_val_is_rat(v2))) { 795 isl_val_free(v2); 799 isl_val_free(v2); 802 if (isl_val_is_zero(v2)) { 804 return v2; 807 if (isl_val_is_neg(v2)) 809 isl_val_free(v2); 812 if (isl_val_is_infty(v2) || isl_val_is_neginfty(v2)) { 812 if (isl_val_is_infty(v2) || isl_val_is_neginfty(v2)) { 814 v2 = isl_val_neg(v2); 814 v2 = isl_val_neg(v2); 816 return v2; 822 if (isl_val_is_int(v1) && isl_val_is_int(v2)) 823 isl_int_mul(v1->n, v1->n, v2->n); 825 isl_int_mul(v1->n, v1->n, v2->n); 826 isl_int_mul(v1->d, v1->d, v2->d); 829 isl_val_free(v2); 833 isl_val_free(v2);