annotate softfloat.c @ 530:f8a5cb24c164 libavutil

Move #includes, which are only used in the test program, below the #ifdef surrounding the test program to save an #ifdef at the top of the file.
author diego
date Sun, 27 Jul 2008 21:05:12 +0000
parents f9a4c04ebb0e
children 488f5e48fdda
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
108
11be8e0d1344 Add official LGPL license headers to the files that were missing them.
diego
parents: 91
diff changeset
1 /*
11be8e0d1344 Add official LGPL license headers to the files that were missing them.
diego
parents: 91
diff changeset
2 * copyright (c) 2006 Michael Niedermayer <michaelni@gmx.at>
11be8e0d1344 Add official LGPL license headers to the files that were missing them.
diego
parents: 91
diff changeset
3 *
116
d76a36742464 Change license headers to say 'FFmpeg' instead of 'this program/this library'
diego
parents: 108
diff changeset
4 * This file is part of FFmpeg.
d76a36742464 Change license headers to say 'FFmpeg' instead of 'this program/this library'
diego
parents: 108
diff changeset
5 *
d76a36742464 Change license headers to say 'FFmpeg' instead of 'this program/this library'
diego
parents: 108
diff changeset
6 * FFmpeg is free software; you can redistribute it and/or
108
11be8e0d1344 Add official LGPL license headers to the files that were missing them.
diego
parents: 91
diff changeset
7 * modify it under the terms of the GNU Lesser General Public
11be8e0d1344 Add official LGPL license headers to the files that were missing them.
diego
parents: 91
diff changeset
8 * License as published by the Free Software Foundation; either
116
d76a36742464 Change license headers to say 'FFmpeg' instead of 'this program/this library'
diego
parents: 108
diff changeset
9 * version 2.1 of the License, or (at your option) any later version.
108
11be8e0d1344 Add official LGPL license headers to the files that were missing them.
diego
parents: 91
diff changeset
10 *
116
d76a36742464 Change license headers to say 'FFmpeg' instead of 'this program/this library'
diego
parents: 108
diff changeset
11 * FFmpeg is distributed in the hope that it will be useful,
108
11be8e0d1344 Add official LGPL license headers to the files that were missing them.
diego
parents: 91
diff changeset
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11be8e0d1344 Add official LGPL license headers to the files that were missing them.
diego
parents: 91
diff changeset
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
11be8e0d1344 Add official LGPL license headers to the files that were missing them.
diego
parents: 91
diff changeset
14 * Lesser General Public License for more details.
11be8e0d1344 Add official LGPL license headers to the files that were missing them.
diego
parents: 91
diff changeset
15 *
11be8e0d1344 Add official LGPL license headers to the files that were missing them.
diego
parents: 91
diff changeset
16 * You should have received a copy of the GNU Lesser General Public
116
d76a36742464 Change license headers to say 'FFmpeg' instead of 'this program/this library'
diego
parents: 108
diff changeset
17 * License along with FFmpeg; if not, write to the Free Software
108
11be8e0d1344 Add official LGPL license headers to the files that were missing them.
diego
parents: 91
diff changeset
18 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
11be8e0d1344 Add official LGPL license headers to the files that were missing them.
diego
parents: 91
diff changeset
19 */
11be8e0d1344 Add official LGPL license headers to the files that were missing them.
diego
parents: 91
diff changeset
20
91
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
21 #include <inttypes.h>
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
22 #include <stdio.h>
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
23 #include <assert.h>
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
24 #include "softfloat.h"
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
25 #include "common.h"
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
26 #include "log.h"
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
27
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
28 #undef printf
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
29
404
f9a4c04ebb0e main() --> main(void)
diego
parents: 116
diff changeset
30 int main(void){
91
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
31 SoftFloat one= av_int2sf(1, 0);
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
32 SoftFloat sf1, sf2;
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
33 double d1, d2;
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
34 int i, j;
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
35 av_log_level = AV_LOG_DEBUG;
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
36
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
37 d1= 1;
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
38 for(i= 0; i<10; i++){
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
39 d1= 1/(d1+1);
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
40 }
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
41 printf("test1 double=%d\n", (int)(d1 * (1<<24)));
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
42
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
43 sf1= one;
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
44 for(i= 0; i<10; i++){
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
45 sf1= av_div_sf(one, av_normalize_sf(av_add_sf(one, sf1)));
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
46 }
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
47 printf("test1 sf =%d\n", av_sf2int(sf1, 24));
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
48
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
49
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
50 for(i= 0; i<100; i++){
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
51 START_TIMER
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
52 d1= i;
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
53 d2= i/100.0;
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
54 for(j= 0; j<1000; j++){
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
55 d1= (d1+1)*d2;
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
56 }
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
57 STOP_TIMER("float add mul")
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
58 }
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
59 printf("test2 double=%d\n", (int)(d1 * (1<<24)));
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
60
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
61 for(i= 0; i<100; i++){
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
62 START_TIMER
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
63 sf1= av_int2sf(i, 0);
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
64 sf2= av_div_sf(av_int2sf(i, 2), av_int2sf(200, 3));
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
65 for(j= 0; j<1000; j++){
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
66 sf1= av_mul_sf(av_add_sf(sf1, one),sf2);
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
67 }
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
68 STOP_TIMER("softfloat add mul")
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
69 }
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
70 printf("test2 sf =%d (%d %d)\n", av_sf2int(sf1, 24), sf1.exp, sf1.mant);
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
71 return 0;
04f62b676170 floating point "emulation" code
michael
parents:
diff changeset
72 }