reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
726 if (!up1 || !up2) 729 if (isl_upoly_is_nan(up1)) { 731 return up1; 735 isl_upoly_free(up1); 739 if (isl_upoly_is_zero(up1)) { 740 isl_upoly_free(up1); 746 return up1; 749 if (up1->var < up2->var) 750 return isl_upoly_sum(up2, up1); 752 if (up2->var < up1->var) { 755 isl_upoly_free(up1); 758 up1 = isl_upoly_cow(up1); 758 up1 = isl_upoly_cow(up1); 759 rec = isl_upoly_as_rec(up1); 764 up1 = replace_by_constant_term(up1); 764 up1 = replace_by_constant_term(up1); 765 return up1; 768 if (isl_upoly_is_cst(up1)) 769 return isl_upoly_sum_cst(up1, up2); 771 rec1 = isl_upoly_as_rec(up1); 777 return isl_upoly_sum(up2, up1); 779 up1 = isl_upoly_cow(up1); 779 up1 = isl_upoly_cow(up1); 780 rec1 = isl_upoly_as_rec(up1); 796 up1 = replace_by_zero(up1); 796 up1 = replace_by_zero(up1); 798 up1 = replace_by_constant_term(up1); 798 up1 = replace_by_constant_term(up1); 802 return up1; 804 isl_upoly_free(up1);