celt/mathops.h

   1 /* Copyright (c) 2002-2008 Jean-Marc Valin
   2    Copyright (c) 2007-2008 CSIRO
   3    Copyright (c) 2007-2009 Xiph.Org Foundation
   4    Written by Jean-Marc Valin */
   5 /**
   6    @file mathops.h
   7    @brief Various math functions
   8 */
   9 /*
  10    Redistribution and use in source and binary forms, with or without
  11    modification, are permitted provided that the following conditions
  12    are met:
  13
  14    - Redistributions of source code must retain the above copyright
  15    notice, this list of conditions and the following disclaimer.
  16
  17    - Redistributions in binary form must reproduce the above copyright
  18    notice, this list of conditions and the following disclaimer in the
  19    documentation and/or other materials provided with the distribution.
  20
  21    THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
  22    ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
  23    LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
  24    A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER
  25    OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
  26    EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
  27    PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
  28    PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
  29    LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
  30    NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
  31    SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  32 */
  33
  34 #ifndef MATHOPS_H
  35 #define MATHOPS_H
  36
  37 #include "arch.h"
  38 #include "entcode.h"
  39 #include "os_support.h"
  40
  41 /* Multiplies two 16-bit fractional values. Bit-exactness of this macro is important */
  42 #define FRAC_MUL16(a,b) ((16384+((opus_int32)(opus_int16)(a)*(opus_int16)(b)))>>15)
  43
  44 unsigned isqrt32(opus_uint32 _val);
  45
  46 #ifndef OVERRIDE_CELT_MAXABS16
  47 static inline opus_val32 celt_maxabs16(const opus_val16 *x, int len)
  48 {
  49    int i;
  50    opus_val16 maxval = 0;
  51    opus_val16 minval = 0;
  52    for (i=0;i<len;i++)
  53    {
  54       maxval = MAX16(maxval, x[i]);
  55       minval = MIN16(minval, x[i]);
  56    }
  57    return MAX32(EXTEND32(maxval),-EXTEND32(minval));
  58 }
  59 #endif
  60
  61 #ifndef OVERRIDE_CELT_MAXABS32
  62 #ifdef FIXED_POINT
  63 static inline opus_val32 celt_maxabs32(const opus_val32 *x, int len)
  64 {
  65    int i;
  66    opus_val32 maxval = 0;
  67    opus_val32 minval = 0;
  68    for (i=0;i<len;i++)
  69    {
  70       maxval = MAX32(maxval, x[i]);
  71       minval = MIN32(minval, x[i]);
  72    }
  73    return MAX32(maxval, -minval);
  74 }
  75 #else
  76 #define celt_maxabs32(x,len) celt_maxabs16(x,len)
  77 #endif
  78 #endif
  79
  80
  81 #ifndef FIXED_POINT
  82
  83 #define PI 3.141592653f
  84 #define celt_sqrt(x) ((float)sqrt(x))
  85 #define celt_rsqrt(x) (1.f/celt_sqrt(x))
  86 #define celt_rsqrt_norm(x) (celt_rsqrt(x))
  87 #define celt_cos_norm(x) ((float)cos((.5f*PI)*(x)))
  88 #define celt_rcp(x) (1.f/(x))
  89 #define celt_div(a,b) ((a)/(b))
  90 #define frac_div32(a,b) ((float)(a)/(b))
  91
  92 #ifdef FLOAT_APPROX
  93
  94 /* Note: This assumes radix-2 floating point with the exponent at bits 23..30 and an offset of 127
  95          denorm, +/- inf and NaN are *not* handled */
  96
  97 /** Base-2 log approximation (log2(x)). */
  98 static inline float celt_log2(float x)
  99 {
 100    int integer;
 101    float frac;
 102    union {
 103       float f;
 104       opus_uint32 i;
 105    } in;
 106    in.f = x;
 107    integer = (in.i>>23)-127;
 108    in.i -= integer<<23;
 109    frac = in.f - 1.5f;
 110    frac = -0.41445418f + frac*(0.95909232f
 111           + frac*(-0.33951290f + frac*0.16541097f));
 112    return 1+integer+frac;
 113 }
 114
 115 /** Base-2 exponential approximation (2^x). */
 116 static inline float celt_exp2(float x)
 117 {
 118    int integer;
 119    float frac;
 120    union {
 121       float f;
 122       opus_uint32 i;
 123    } res;
 124    integer = floor(x);
 125    if (integer < -50)
 126       return 0;
 127    frac = x-integer;
 128    /* K0 = 1, K1 = log(2), K2 = 3-4*log(2), K3 = 3*log(2) - 2 */
 129    res.f = 0.99992522f + frac * (0.69583354f
 130            + frac * (0.22606716f + 0.078024523f*frac));
 131    res.i = (res.i + (integer<<23)) & 0x7fffffff;
 132    return res.f;
 133 }
 134
 135 #else
 136 #define celt_log2(x) ((float)(1.442695040888963387*log(x)))
 137 #define celt_exp2(x) ((float)exp(0.6931471805599453094*(x)))
 138 #endif
 139
 140 #endif
 141
 142 #ifdef FIXED_POINT
 143
 144 #include "os_support.h"
 145
 146 #ifndef OVERRIDE_CELT_ILOG2
 147 /** Integer log in base2. Undefined for zero and negative numbers */
 148 static inline opus_int16 celt_ilog2(opus_int32 x)
 149 {
 150    celt_assert2(x>0, "celt_ilog2() only defined for strictly positive numbers");
 151    return EC_ILOG(x)-1;
 152 }
 153 #endif
 154
 155
 156 /** Integer log in base2. Defined for zero, but not for negative numbers */
 157 static inline opus_int16 celt_zlog2(opus_val32 x)
 158 {
 159    return x <= 0 ? 0 : celt_ilog2(x);
 160 }
 161
 162 opus_val16 celt_rsqrt_norm(opus_val32 x);
 163
 164 opus_val32 celt_sqrt(opus_val32 x);
 165
 166 opus_val16 celt_cos_norm(opus_val32 x);
 167
 168 static inline opus_val16 celt_log2(opus_val32 x)
 169 {
 170    int i;
 171    opus_val16 n, frac;
 172    /* -0.41509302963303146, 0.9609890551383969, -0.31836011537636605,
 173        0.15530808010959576, -0.08556153059057618 */
 174    static const opus_val16 C[5] = {-6801+(1<<(13-DB_SHIFT)), 15746, -5217, 2545, -1401};
 175    if (x==0)
 176       return -32767;
 177    i = celt_ilog2(x);
 178    n = VSHR32(x,i-15)-32768-16384;
 179    frac = ADD16(C[0], MULT16_16_Q15(n, ADD16(C[1], MULT16_16_Q15(n, ADD16(C[2], MULT16_16_Q15(n, ADD16(C[3], MULT16_16_Q15(n, C[4]))))))));
 180    return SHL16(i-13,DB_SHIFT)+SHR16(frac,14-DB_SHIFT);
 181 }
 182
 183 /*
 184  K0 = 1
 185  K1 = log(2)
 186  K2 = 3-4*log(2)
 187  K3 = 3*log(2) - 2
 188 */
 189 #define D0 16383
 190 #define D1 22804
 191 #define D2 14819
 192 #define D3 10204
 193
 194 static inline opus_val32 celt_exp2_frac(opus_val16 x)
 195 {
 196    opus_val16 frac;
 197    frac = SHL16(x, 4);
 198    return ADD16(D0, MULT16_16_Q15(frac, ADD16(D1, MULT16_16_Q15(frac, ADD16(D2 , MULT16_16_Q15(D3,frac))))));
 199 }
 200 /** Base-2 exponential approximation (2^x). (Q10 input, Q16 output) */
 201 static inline opus_val32 celt_exp2(opus_val16 x)
 202 {
 203    int integer;
 204    opus_val16 frac;
 205    integer = SHR16(x,10);
 206    if (integer>14)
 207       return 0x7f000000;
 208    else if (integer < -15)
 209       return 0;
 210    frac = celt_exp2_frac(x-SHL16(integer,10));
 211    return VSHR32(EXTEND32(frac), -integer-2);
 212 }
 213
 214 opus_val32 celt_rcp(opus_val32 x);
 215
 216 #define celt_div(a,b) MULT32_32_Q31((opus_val32)(a),celt_rcp(b))
 217
 218 opus_val32 frac_div32(opus_val32 a, opus_val32 b);
 219
 220 #define M1 32767
 221 #define M2 -21
 222 #define M3 -11943
 223 #define M4 4936
 224
 225 /* Atan approximation using a 4th order polynomial. Input is in Q15 format
 226    and normalized by pi/4. Output is in Q15 format */
 227 static inline opus_val16 celt_atan01(opus_val16 x)
 228 {
 229    return MULT16_16_P15(x, ADD32(M1, MULT16_16_P15(x, ADD32(M2, MULT16_16_P15(x, ADD32(M3, MULT16_16_P15(M4, x)))))));
 230 }
 231
 232 #undef M1
 233 #undef M2
 234 #undef M3
 235 #undef M4
 236
 237 /* atan2() approximation valid for positive input values */
 238 static inline opus_val16 celt_atan2p(opus_val16 y, opus_val16 x)
 239 {
 240    if (y < x)
 241    {
 242       opus_val32 arg;
 243       arg = celt_div(SHL32(EXTEND32(y),15),x);
 244       if (arg >= 32767)
 245          arg = 32767;
 246       return SHR16(celt_atan01(EXTRACT16(arg)),1);
 247    } else {
 248       opus_val32 arg;
 249       arg = celt_div(SHL32(EXTEND32(x),15),y);
 250       if (arg >= 32767)
 251          arg = 32767;
 252       return 25736-SHR16(celt_atan01(EXTRACT16(arg)),1);
 253    }
 254 }
 255
 256 #endif /* FIXED_POINT */
 257 #endif /* MATHOPS_H */