reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
539 if (!left || !right) 542 isl_assert(left->ctx, left->n_row == right->n_row, goto error); 542 isl_assert(left->ctx, left->n_row == right->n_row, goto error); 543 isl_assert(left->ctx, left->n_row >= 1, goto error); 543 isl_assert(left->ctx, left->n_row >= 1, goto error); 544 isl_assert(left->ctx, left->n_col >= 1, goto error); 544 isl_assert(left->ctx, left->n_col >= 1, goto error); 545 isl_assert(left->ctx, right->n_col >= 1, goto error); 546 isl_assert(left->ctx, 547 isl_seq_first_non_zero(left->row[0]+1, left->n_col-1) == -1, 547 isl_seq_first_non_zero(left->row[0]+1, left->n_col-1) == -1, 549 isl_assert(left->ctx, 553 sum = isl_mat_alloc(left->ctx, left->n_row, left->n_col + right->n_col - 1); 553 sum = isl_mat_alloc(left->ctx, left->n_row, left->n_col + right->n_col - 1); 553 sum = isl_mat_alloc(left->ctx, left->n_row, left->n_col + right->n_col - 1); 556 isl_int_lcm(sum->row[0][0], left->row[0][0], right->row[0][0]); 557 isl_int_divexact(left->row[0][0], sum->row[0][0], left->row[0][0]); 557 isl_int_divexact(left->row[0][0], sum->row[0][0], left->row[0][0]); 562 isl_int_mul(sum->row[i][0], left->row[0][0], left->row[i][0]); 562 isl_int_mul(sum->row[i][0], left->row[0][0], left->row[i][0]); 565 isl_seq_scale(sum->row[i]+1, left->row[i]+1, left->row[0][0], 565 isl_seq_scale(sum->row[i]+1, left->row[i]+1, left->row[0][0], 566 left->n_col-1); 567 isl_seq_scale(sum->row[i]+left->n_col, 572 isl_int_divexact(left->row[0][0], sum->row[0][0], left->row[0][0]); 572 isl_int_divexact(left->row[0][0], sum->row[0][0], left->row[0][0]); 574 isl_mat_free(left); 578 isl_mat_free(left);