git.sesse.net Git - ffmpeg/blob - libavutil/softfloat.c

   1 /*
   2  * copyright (c) 2006 Michael Niedermayer <michaelni@gmx.at>
   3  *
   4  * This file is part of FFmpeg.
   5  *
   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.
  10  *
  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.
  15  *
  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
  19  */
  20
  21 #include <inttypes.h>
  22 #include "softfloat.h"
  23 #include "common.h"
  24 #include "log.h"
  25
  26 void av_sincos_sf(int a, int *s, int *c)
  27 {
  28     int idx, sign;
  29     int sv, cv;
  30     int st, ct;
  31
  32     idx = a >> 26;
  33     sign = (idx << 27) >> 31;
  34     cv = av_costbl_1_sf[idx & 0xf];
  35     cv = (cv ^ sign) - sign;
  36
  37     idx -= 8;
  38     sign = (idx << 27) >> 31;
  39     sv = av_costbl_1_sf[idx & 0xf];
  40     sv = (sv ^ sign) - sign;
  41
  42     idx = a >> 21;
  43     ct = av_costbl_2_sf[idx & 0x1f];
  44     st = av_sintbl_2_sf[idx & 0x1f];
  45
  46     idx = (int)(((int64_t)cv * ct - (int64_t)sv * st + 0x20000000) >> 30);
  47
  48     sv = (int)(((int64_t)cv * st + (int64_t)sv * ct + 0x20000000) >> 30);
  49
  50     cv = idx;
  51
  52     idx = a >> 16;
  53     ct = av_costbl_3_sf[idx & 0x1f];
  54     st = av_sintbl_3_sf[idx & 0x1f];
  55
  56     idx = (int)(((int64_t)cv * ct - (int64_t)sv * st + 0x20000000) >> 30);
  57
  58     sv = (int)(((int64_t)cv * st + (int64_t)sv * ct + 0x20000000) >> 30);
  59     cv = idx;
  60
  61     idx = a >> 11;
  62
  63     ct = (int)(((int64_t)av_costbl_4_sf[idx & 0x1f] * (0x800 - (a & 0x7ff)) +
  64                 (int64_t)av_costbl_4_sf[(idx & 0x1f)+1]*(a & 0x7ff) +
  65                 0x400) >> 11);
  66     st = (int)(((int64_t)av_sintbl_4_sf[idx & 0x1f] * (0x800 - (a & 0x7ff)) +
  67                 (int64_t)av_sintbl_4_sf[(idx & 0x1f) + 1] * (a & 0x7ff) +
  68                 0x400) >> 11);
  69
  70     *c = (int)(((int64_t)cv * ct + (int64_t)sv * st + 0x20000000) >> 30);
  71
  72     *s = (int)(((int64_t)cv * st + (int64_t)sv * ct + 0x20000000) >> 30);
  73 }
  74
  75 #ifdef TEST
  76 #include <stdio.h>
  77
  78 static const SoftFloat FLOAT_0_017776489257 = {0x1234, 12};
  79 static const SoftFloat FLOAT_1374_40625 = {0xabcd, 25};
  80 static const SoftFloat FLOAT_0_1249694824218 = {0xFFF, 15};
  81
  82
  83 int main(void){
  84     SoftFloat one= av_int2sf(1, 0);
  85     SoftFloat sf1, sf2, sf3;
  86     double d1, d2, d3;
  87     int i, j;
  88     av_log_set_level(AV_LOG_DEBUG);
  89
  90     d1= 1;
  91     for(i= 0; i<10; i++){
  92         d1= 1/(d1+1);
  93     }
  94     printf("test1 double=%d\n", (int)(d1 * (1<<24)));
  95
  96     sf1= one;
  97     for(i= 0; i<10; i++){
  98         sf1= av_div_sf(one, av_normalize_sf(av_add_sf(one, sf1)));
  99     }
 100     printf("test1 sf    =%d\n", av_sf2int(sf1, 24));
 101
 102
 103     for(i= 0; i<100; i++){
 104         START_TIMER
 105         d1= i;
 106         d2= i/100.0;
 107         for(j= 0; j<1000; j++){
 108             d1= (d1+1)*d2;
 109         }
 110         STOP_TIMER("float add mul")
 111     }
 112     printf("test2 double=%d\n", (int)(d1 * (1<<24)));
 113
 114     for(i= 0; i<100; i++){
 115         START_TIMER
 116         sf1= av_int2sf(i, 0);
 117         sf2= av_div_sf(av_int2sf(i, 2), av_int2sf(200, 3));
 118         for(j= 0; j<1000; j++){
 119             sf1= av_mul_sf(av_add_sf(sf1, one),sf2);
 120         }
 121         STOP_TIMER("softfloat add mul")
 122     }
 123     printf("test2 sf    =%d (%d %d)\n", av_sf2int(sf1, 24), sf1.exp, sf1.mant);
 124
 125     d1 = 0.0177764893;
 126     d2 = 1374.40625;
 127     d3 = 0.1249694824;
 128     d2 += d1;
 129     d3 += d2;
 130     printf("test3 double: %.10lf\n", d3);
 131
 132     sf1 = FLOAT_0_017776489257;
 133     sf2 = FLOAT_1374_40625;
 134     sf3 = FLOAT_0_1249694824218;
 135     sf2 = av_add_sf(sf1, sf2);
 136     sf3 = av_add_sf(sf3, sf2);
 137     printf("test3 softfloat: %.10lf (0x%08x %d)\n", (double)av_sf2double(sf3), sf3.mant, sf3.exp);
 138
 139     sf1 = av_int2sf(0xFFFFFFF0, 0);
 140     printf("test4 softfloat: %.10lf (0x%08x %d)\n", (double)av_sf2double(sf1), sf1.mant, sf1.exp);
 141     sf1 = av_int2sf(0x00000010, 0);
 142     printf("test4 softfloat: %.10lf (0x%08x %d)\n", (double)av_sf2double(sf1), sf1.mant, sf1.exp);
 143
 144     sf1 = av_int2sf(0x1FFFFFFF, 0);
 145     printf("test4 softfloat: %.10lf (0x%08x %d)\n", (double)av_sf2double(sf1), sf1.mant, sf1.exp);
 146     sf1 = av_int2sf(0xE0000001, 0);
 147     printf("test4 softfloat: %.10lf (0x%08x %d)\n", (double)av_sf2double(sf1), sf1.mant, sf1.exp);
 148
 149     return 0;
 150
 151 }
 152 #endif