annotate softfloat.c @ 713:2f9c4e9ae095 libavutil

Use a wildcard match instead of a list to remove test programs. This is robust against renames and also removes test programs not (yet) hooked up in the main Makefiles.
author diego
date Thu, 26 Mar 2009 10:12:21 +0000
parents 488f5e48fdda
children
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;
699
488f5e48fdda Make softfloat test program compile again: Setting the av_log_level variable
diego
parents: 404
diff changeset
35 av_log_set_level(AV_LOG_DEBUG);
91
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 }