diff options
author | Michael Niedermayer <michaelni@gmx.at> | 2014-10-09 19:02:59 +0400 |
---|---|---|
committer | Michael Niedermayer <michaelni@gmx.at> | 2014-10-09 19:02:59 +0400 |
commit | 99afec08f8a107ed6026aa99956d648884bb0792 (patch) | |
tree | 3eefff820d63454ea36369294da31cbe441839c7 /libavutil | |
parent | 44198a728d15b780def29b30e7d0244e3bc1c5c6 (diff) |
avutil/softfloat: add some asserts
Signed-off-by: Michael Niedermayer <michaelni@gmx.at>
Diffstat (limited to 'libavutil')
-rw-r--r-- | libavutil/softfloat.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/libavutil/softfloat.h b/libavutil/softfloat.h index 04c79bfddc..fc083e559b 100644 --- a/libavutil/softfloat.h +++ b/libavutil/softfloat.h @@ -24,6 +24,8 @@ #include <stdint.h> #include "common.h" +#include "avassert.h" + #define MIN_EXP -126 #define MAX_EXP 126 #define ONE_BITS 29 @@ -61,6 +63,7 @@ static inline av_const SoftFloat av_normalize1_sf(SoftFloat a){ a.exp++; a.mant>>=1; } + av_assert2(a.mant < 0x40000000 && a.mant > -0x40000000); return a; #elif 1 int t= a.mant + 0x40000000 < 0; @@ -78,6 +81,7 @@ static inline av_const SoftFloat av_normalize1_sf(SoftFloat a){ */ static inline av_const SoftFloat av_mul_sf(SoftFloat a, SoftFloat b){ a.exp += b.exp; + av_assert2((int32_t)((a.mant * (int64_t)b.mant) >> ONE_BITS) == (a.mant * (int64_t)b.mant) >> ONE_BITS); a.mant = (a.mant * (int64_t)b.mant) >> ONE_BITS; return av_normalize1_sf(a); } |