annotate softfloat.c @ 91:04f62b676170 libavutil

floating point "emulation" code unused currently, but might come in handy for some fpu-less cpus
author michael
date Tue, 08 Aug 2006 07:58:10 +0000
parents
children 11be8e0d1344
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
91
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
1 #include <inttypes.h>
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
2 #include <stdio.h>
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
3 #include <assert.h>
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
4 #include "softfloat.h"
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
5 #include "common.h"
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
6 #include "log.h"
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
7
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
8 #undef printf
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
9
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
10 int main(){
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
11 SoftFloat one= av_int2sf(1, 0);
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
12 SoftFloat sf1, sf2;
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
13 double d1, d2;
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
14 int i, j;
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
15 av_log_level = AV_LOG_DEBUG;
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
16
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
17 d1= 1;
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
18 for(i= 0; i<10; i++){
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
19 d1= 1/(d1+1);
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
20 }
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
21 printf("test1 double=%d\n", (int)(d1 * (1<<24)));
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
22
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
23 sf1= one;
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
24 for(i= 0; i<10; i++){
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
25 sf1= av_div_sf(one, av_normalize_sf(av_add_sf(one, sf1)));
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
26 }
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
27 printf("test1 sf =%d\n", av_sf2int(sf1, 24));
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
28
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
29
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
30 for(i= 0; i<100; i++){
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
31 START_TIMER
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
32 d1= i;
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
33 d2= i/100.0;
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
34 for(j= 0; j<1000; j++){
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
35 d1= (d1+1)*d2;
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
36 }
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
37 STOP_TIMER("float add mul")
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
38 }
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
39 printf("test2 double=%d\n", (int)(d1 * (1<<24)));
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
40
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
41 for(i= 0; i<100; i++){
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
42 START_TIMER
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
43 sf1= av_int2sf(i, 0);
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
44 sf2= av_div_sf(av_int2sf(i, 2), av_int2sf(200, 3));
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
45 for(j= 0; j<1000; j++){
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
46 sf1= av_mul_sf(av_add_sf(sf1, one),sf2);
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
47 }
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
48 STOP_TIMER("softfloat add mul")
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
49 }
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
50 printf("test2 sf =%d (%d %d)\n", av_sf2int(sf1, 24), sf1.exp, sf1.mant);
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
51 return 0;
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
52 }