Home | History | Annotate | Download | only in dist

Lines Matching refs:mat2

214 	struct isl_mat *mat2;
218 	mat2 = isl_mat_alloc(mat->ctx, mat->n_row, mat->n_col);
219 	if (!mat2)
222 		isl_seq_cpy(mat2->row[i], mat->row[i], mat->n_col);
223 	return mat2;
228 	struct isl_mat *mat2;
235 	mat2 = isl_mat_dup(mat);
237 	return mat2;
896 	struct isl_mat *mat2;
900 	mat2 = isl_mat_alloc(mat->ctx, 1+mat->n_row, 1+mat->n_col);
901 	if (!mat2)
903 	isl_int_set_si(mat2->row[0][0], 1);
904 	isl_seq_clr(mat2->row[0]+1, mat->n_col);
906 		isl_int_set_si(mat2->row[1+i][0], 0);
907 		isl_seq_cpy(mat2->row[1+i]+1, mat->row[i], mat->n_col);
910 	return mat2;
922 	__isl_take isl_mat *mat2)
927 	if (!mat1 || !mat2)
930 	mat = isl_mat_alloc(mat1->ctx, mat1->n_row + mat2->n_row,
931 				       mat1->n_col + mat2->n_col);
936 		isl_seq_clr(mat->row[i] + mat1->n_col, mat2->n_col);
938 	for (i = 0; i < mat2->n_row; ++i) {
941 						    mat2->row[i], mat2->n_col);
944 	isl_mat_free(mat2);
948 	isl_mat_free(mat2);
1799 isl_bool isl_mat_is_equal(__isl_keep isl_mat *mat1, __isl_keep isl_mat *mat2)
1803 	if (!mat1 || !mat2)
1806 	if (mat1->n_row != mat2->n_row)
1809 	if (mat1->n_col != mat2->n_col)
1813 		if (!isl_seq_eq(mat1->row[i], mat2->row[i], mat1->n_col))
2040  * that covers both "mat1" and "mat2".
2052 	__isl_take isl_mat *mat1, __isl_take isl_mat *mat2)
2060 	H = isl_mat_concat(mat1, mat2);
2081 /* Are the rows of "mat1" linearly independent of those of "mat2"?
2083  * that is not already present in either "mat1" or "mat2"?
2084  * In other words, is the rank of "mat1" and "mat2" combined equal
2085  * to the sum of the ranks of "mat1" and "mat2"?
2088 	__isl_keep isl_mat *mat2)
2098 	r2 = isl_mat_rank(mat2);
2104 	mat = isl_mat_concat(isl_mat_copy(mat1), isl_mat_copy(mat2));