2 * copyright (c) 2006 Michael Niedermayer <michaelni@gmx.at>
4 * This file is part of FFmpeg.
6 * FFmpeg is free software; you can redistribute it and/or
7 * modify it under the terms of the GNU Lesser General Public
8 * License as published by the Free Software Foundation; either
9 * version 2.1 of the License, or (at your option) any later version.
11 * FFmpeg is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 * Lesser General Public License for more details.
16 * You should have received a copy of the GNU Lesser General Public
17 * License along with FFmpeg; if not, write to the Free Software
18 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
23 #include "softfloat.h"
29 static const SoftFloat FLOAT_0_017776489257 = {0x1234, 12};
30 static const SoftFloat FLOAT_1374_40625 = {0xabcd, 25};
31 static const SoftFloat FLOAT_0_1249694824218 = {0xFFF, 15};
34 static av_const double av_sf2double(SoftFloat v) {
36 if(v.exp > 0) return (double)v.mant * (double)(1 << v.exp);
37 else return (double)v.mant / (double)(1 << (-v.exp));
40 void av_sincos_sf(int a, int *s, int *c)
47 sign = (idx << 27) >> 31;
48 cv = av_costbl_1_sf[idx & 0xf];
49 cv = (cv ^ sign) - sign;
52 sign = (idx << 27) >> 31;
53 sv = av_costbl_1_sf[idx & 0xf];
54 sv = (sv ^ sign) - sign;
57 ct = av_costbl_2_sf[idx & 0x1f];
58 st = av_sintbl_2_sf[idx & 0x1f];
60 idx = (int)(((int64_t)cv * ct - (int64_t)sv * st + 0x20000000) >> 30);
62 sv = (int)(((int64_t)cv * st + (int64_t)sv * ct + 0x20000000) >> 30);
67 ct = av_costbl_3_sf[idx & 0x1f];
68 st = av_sintbl_3_sf[idx & 0x1f];
70 idx = (int)(((int64_t)cv * ct - (int64_t)sv * st + 0x20000000) >> 30);
72 sv = (int)(((int64_t)cv * st + (int64_t)sv * ct + 0x20000000) >> 30);
77 ct = (int)(((int64_t)av_costbl_4_sf[idx & 0x1f] * (0x800 - (a & 0x7ff)) +
78 (int64_t)av_costbl_4_sf[(idx & 0x1f)+1]*(a & 0x7ff) +
80 st = (int)(((int64_t)av_sintbl_4_sf[idx & 0x1f] * (0x800 - (a & 0x7ff)) +
81 (int64_t)av_sintbl_4_sf[(idx & 0x1f) + 1] * (a & 0x7ff) +
84 *c = (int)(((int64_t)cv * ct + (int64_t)sv * st + 0x20000000) >> 30);
86 *s = (int)(((int64_t)cv * st + (int64_t)sv * ct + 0x20000000) >> 30);
90 SoftFloat one= av_int2sf(1, 0);
91 SoftFloat sf1, sf2, sf3;
94 av_log_set_level(AV_LOG_DEBUG);
100 printf("test1 double=%d\n", (int)(d1 * (1<<24)));
103 for(i= 0; i<10; i++){
104 sf1= av_div_sf(one, av_normalize_sf(av_add_sf(one, sf1)));
106 printf("test1 sf =%d\n", av_sf2int(sf1, 24));
109 for(i= 0; i<100; i++){
113 for(j= 0; j<1000; j++){
116 STOP_TIMER("float add mul")
118 printf("test2 double=%d\n", (int)(d1 * (1<<24)));
120 for(i= 0; i<100; i++){
122 sf1= av_int2sf(i, 0);
123 sf2= av_div_sf(av_int2sf(i, 2), av_int2sf(200, 3));
124 for(j= 0; j<1000; j++){
125 sf1= av_mul_sf(av_add_sf(sf1, one),sf2);
127 STOP_TIMER("softfloat add mul")
129 printf("test2 sf =%d (%d %d)\n", av_sf2int(sf1, 24), sf1.exp, sf1.mant);
136 printf("test3 double: %.10lf\n", d3);
138 sf1 = FLOAT_0_017776489257;
139 sf2 = FLOAT_1374_40625;
140 sf3 = FLOAT_0_1249694824218;
141 sf2 = av_add_sf(sf1, sf2);
142 sf3 = av_add_sf(sf3, sf2);
143 printf("test3 softfloat: %.10lf (0x%08x %d)\n", (double)av_sf2double(sf3), sf3.mant, sf3.exp);
145 sf1 = av_int2sf(0xFFFFFFF0, 0);
146 printf("test4 softfloat: %.10lf (0x%08x %d)\n", (double)av_sf2double(sf1), sf1.mant, sf1.exp);
147 sf1 = av_int2sf(0x00000010, 0);
148 printf("test4 softfloat: %.10lf (0x%08x %d)\n", (double)av_sf2double(sf1), sf1.mant, sf1.exp);
150 sf1 = av_int2sf(0x1FFFFFFF, 0);
151 printf("test4 softfloat: %.10lf (0x%08x %d)\n", (double)av_sf2double(sf1), sf1.mant, sf1.exp);
152 sf1 = av_int2sf(0xE0000001, 0);
153 printf("test4 softfloat: %.10lf (0x%08x %d)\n", (double)av_sf2double(sf1), sf1.mant, sf1.exp);