X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fkaps%2Fvector.c;h=39aedb93bd5768890d3e74dceff6bbe552dc54ad;hb=2ee064e0f2a03bbdbdb51839cfd852b9fc6f1079;hp=04d58e695c51a85904ed276404450f6f16f186d0;hpb=b53410a0e9548f99c2b37699f01766f50f1055ff;p=libfirm diff --git a/ir/kaps/vector.c b/ir/kaps/vector.c index 04d58e695..39aedb93b 100644 --- a/ir/kaps/vector.c +++ b/ir/kaps/vector.c @@ -22,7 +22,6 @@ * @brief PBQP vector. * @date 02.10.2008 * @author Sebastian Buchwald - * @version $Id$ */ #include "config.h" @@ -34,9 +33,11 @@ num pbqp_add(num x, num y) { + num res; + if (x == INF_COSTS || y == INF_COSTS) return INF_COSTS; - num res = x + y; + res = x + y; #if !KAPS_USE_UNSIGNED /* No positive overflow. */ @@ -56,9 +57,8 @@ num pbqp_add(num x, num y) vector_t *vector_alloc(pbqp_t *pbqp, unsigned length) { - assert(length > 0); vector_t *vec = (vector_t*)obstack_alloc(&pbqp->obstack, sizeof(*vec) + sizeof(*vec->entries) * length); - assert(vec); + assert(length > 0); vec->len = length; memset(vec->entries, 0, sizeof(*vec->entries) * length); @@ -80,8 +80,6 @@ void vector_add(vector_t *sum, vector_t *summand) int i; int len; - assert(sum); - assert(summand); assert(sum->len == summand->len); len = sum->len; @@ -111,8 +109,6 @@ void vector_add_value(vector_t *vec, num value) unsigned index; unsigned len; - assert(vec); - len = vec->len; for (index = 0; index < len; ++index) { @@ -125,8 +121,6 @@ void vector_add_matrix_col(vector_t *vec, pbqp_matrix_t *mat, unsigned col_index unsigned index; unsigned len; - assert(vec); - assert(mat); assert(vec->len == mat->rows); assert(col_index < mat->cols); @@ -142,8 +136,6 @@ void vector_add_matrix_row(vector_t *vec, pbqp_matrix_t *mat, unsigned row_index unsigned index; unsigned len; - assert(vec); - assert(mat); assert(vec->len == mat->cols); assert(row_index < mat->rows); @@ -161,8 +153,6 @@ num vector_get_min(vector_t *vec) unsigned len; num min = INF_COSTS; - assert(vec); - len = vec->len; assert(len > 0); @@ -184,8 +174,6 @@ unsigned vector_get_min_index(vector_t *vec) unsigned min_index = 0; num min = INF_COSTS; - assert(vec); - len = vec->len; assert(len > 0);