summaryrefslogtreecommitdiffstats
path: root/libavutil/softfloat.h
diff options
context:
space:
mode:
authorMichael Niedermayer <michaelni@gmx.at>2014-10-09 17:02:59 +0200
committerMichael Niedermayer <michaelni@gmx.at>2014-10-09 17:02:59 +0200
commit99afec08f8a107ed6026aa99956d648884bb0792 (patch)
tree3eefff820d63454ea36369294da31cbe441839c7 /libavutil/softfloat.h
parent44198a728d15b780def29b30e7d0244e3bc1c5c6 (diff)
downloadffmpeg-streaming-99afec08f8a107ed6026aa99956d648884bb0792.zip
ffmpeg-streaming-99afec08f8a107ed6026aa99956d648884bb0792.tar.gz
avutil/softfloat: add some asserts
Signed-off-by: Michael Niedermayer <michaelni@gmx.at>
Diffstat (limited to 'libavutil/softfloat.h')
-rw-r--r--libavutil/softfloat.h4
1 files changed, 4 insertions, 0 deletions
diff --git a/libavutil/softfloat.h b/libavutil/softfloat.h
index 04c79bf..fc083e5 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);
}
OpenPOWER on IntegriCloud