summaryrefslogtreecommitdiffhomepage
path: root/ir/tv
diff options
context:
space:
mode:
authorAndreas Zwinkau <zwinkau@kit.edu>2015-05-18 11:02:04 +0200
committerAndreas Zwinkau <zwinkau@kit.edu>2015-05-18 11:02:04 +0200
commit8bef9c3df8c1033bb679c2198585b90fc434a4de (patch)
tree041c4ddf059825a96839809bb7942eb1a6eeab5b /ir/tv
parent7f659f772685014eb8ec4457c5d39b07b463e348 (diff)
refactor asserts
Diffstat (limited to 'ir/tv')
-rw-r--r--ir/tv/fltcalc.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/ir/tv/fltcalc.c b/ir/tv/fltcalc.c
index d947ca5..b6e21bb 100644
--- a/ir/tv/fltcalc.c
+++ b/ir/tv/fltcalc.c
@@ -64,10 +64,10 @@ static void pack(const fp_value *value, sc_word *packed)
/* do some sanity checking */
if (value->clss == FC_INF) {
assert(sc_is_all_one(_exp(value), exponent_size));
- assert(sc_is_zero(_mant(value), mantissa_size+ROUNDING_BITS) || desc->explicit_one);
+ assert(fc_zero_mantissa(value) || desc->explicit_one);
} else if (value->clss == FC_NAN) {
assert(sc_is_all_one(_exp(value), exponent_size));
- assert(!sc_is_zero(_mant(value), mantissa_size+ROUNDING_BITS));
+ assert(!fc_zero_mantissa(value));
}
/* extract mantissa, remove rounding bits */