reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
627 if (!v1 || !v2) 630 isl_val_free(v2); 633 if (isl_val_is_nan(v2)) { 635 return v2; 637 if ((isl_val_is_infty(v1) && isl_val_is_neginfty(v2)) || 638 (isl_val_is_neginfty(v1) && isl_val_is_infty(v2))) { 639 isl_val_free(v2); 643 isl_val_free(v2); 646 if (isl_val_is_infty(v2) || isl_val_is_neginfty(v2)) { 646 if (isl_val_is_infty(v2) || isl_val_is_neginfty(v2)) { 648 return v2; 652 return v2; 654 if (isl_val_is_zero(v2)) { 655 isl_val_free(v2); 662 if (isl_val_is_int(v1) && isl_val_is_int(v2)) 663 isl_int_add(v1->n, v1->n, v2->n); 665 if (isl_int_eq(v1->d, v2->d)) 666 isl_int_add(v1->n, v1->n, v2->n); 668 isl_int_mul(v1->n, v1->n, v2->d); 669 isl_int_addmul(v1->n, v2->n, v1->d); 670 isl_int_mul(v1->d, v1->d, v2->d); 674 isl_val_free(v2); 678 isl_val_free(v2);