|
1 前言 Q格式是二进制的定点数格式,相对于浮点数,Q格式指定了相应的小数位数和整数位数,在没有浮点运算的平台上,可以更快地对浮点数据进行处理,以及应用在需要恒定分辨率的程序中(浮点数的精度是会变化的);需要注意的是Q格式是概念上小数定点,通过选择常规的二进制数整数位数和小数位数,从而达到所需要的数值范围和精度,这里可能有点抽象,下面继续看介绍。 2 Q数据的表示2.1 范围和精度定点数通常表示为,其中m为整数个数,n为小数个数,其中最高位位符号位并且以二进制补码的形式存储;
无符号的用
无符号Q格式数据的推导
这里以一个16位无符号整数为例,
所以不难看出,
根据等比数列求和公式得到,整数域最大值如下:
小数域最大值如下:
因此
有符号Q格式数据的推导
这里以一个16位有符号整数为例,
所以不难求出,
根据等比数列求和公式得到,整数域最大值如下:( i) [# e& v0 A4 ~
小数域最大值如下:7 \6 A6 @1 m2 C7 S% [- A8 f
( c% J: q7 A* U( U% P7 V# Q6 R( M; F 因此最大能表示的数为:
所能表示的最小数据的二进制形式如下图所示;
可以从图中看到,该数表示为;
综上,可以得到有符号的范围是:
3 Q数据的运算3.1 0x7FFF
最大数的十六进制为0x7FFF,如下图所示;
3.2 0x8000 最小数的十六进制为0X8000,如下图所示;
i7 \* L; d' S4 z 上述这两种情况,下面都会用到。 加法和减法需要两个Q格式的数据定标相同,即
int16_t q_add(int16_t a, int16_t b)4 {5 ~0 i# x# O: t0 N
{. Y* N) ~" H, K4 m return a + b;! _7 |3 _ {3 h v } 上面的程序其实并不安全,在一般的DSP芯片具有防止溢出的指令,但是通常需要做一下溢出检测,具体如下所示; //http://great.blog.csdn.net/int16_t q_add_sat(int16_t a, int16_t b)2 _. O" ` S$ V) s5 y3 s: D# j { int16_t result;/ u$ }( o; T9 Y, [: ^ int32_t tmp; tmp = (int32_t)a + (int32_t)b; if (tmp > 0x7FFF) tmp = 0x7FFF;6 u; ~, F8 r7 r7 N' F if (tmp < -1 * 0x8000)- X! I8 f8 ^7 O$ s' f! ]$ I8 z tmp = -1 * 0x8000;, j5 `' ?( e3 C& P result = (int16_t)tmp;+ ]' W$ ~# g* p' ]6 B9 ? return result; } 3.4 减法 类似于加法的操作,需要相同定标的两个Q格式数进行相减,但是不会存在溢出的情况; //http://great.blog.csdn.net/4 G" T: `: _! D0 D5 g2 K o; rint16_t q_sub(int16_t a, int16_t b): _" R7 H2 I, n7 Z! z0 @. @7 c$ } {1 g/ S8 S- y: j/ ]( q0 W; I return a - b; } 3.5 乘法 乘法同样需要考虑溢出的问题,这里通过sat16函数,对溢出做了处理; //http://great.blog.csdn.net/3 @, u5 n/ h7 u# J: L& z/ S// precomputed value: #define K (1 << (Q - 1)) // saturate to range of int16_t int16_t sat16(int32_t x) { if (x > 0x7FFF) return 0x7FFF; else if (x < -0x8000) return -0x8000; Q# n9 l5 b Y8 L else return (int16_t)x; } & r3 L2 N% x" h- Q' | int16_t q_mul(int16_t a, int16_t b) { int16_t result;! x- ~2 Y, u; p int32_t temp;% I6 Z# i; N& r' @% }6 B : P# |4 `* v- z1 W' F: ~ temp = (int32_t)a * (int32_t)b; // result type is operand's type // Rounding; mid values are rounded up temp += K;( d- s4 _1 {5 h: B; Q+ P/ g // Correct by dividing by base and saturate result result = sat16(temp >> Q); $ ?* m' a" h" } return result;, ^. n* U3 V* V/ ^8 B" i# K } 3.6 除法//http://great.blog.csdn.net/ int16_t q_div(int16_t a, int16_t b) { /* pre-multiply by the base (Upscale to Q16 so that the result will be in Q8 format) *// L6 F& n' \# r& S" G0 y w int32_t temp = (int32_t)a << Q; /* Rounding: mid values are rounded up (down for negative values). */, `% f1 L7 e0 ^: d% X s% f /* OR compare most significant bits i.e. if (((temp >> 31) & 1) == ((b >> 15) & 1)) */ o7 I/ M. O' p1 n ^/ W' s& o& n' k if ((temp >= 0 && b >= 0) || (temp < 0 && b < 0)) { " s/ i- b6 U) J6 } temp += b / 2; /* OR shift 1 bit i.e. temp += (b >> 1); */6 e9 z1 L: z; r N9 i% s9 g* J } else {" A$ O3 O' N3 O5 G+ m temp -= b / 2; /* OR shift 1 bit i.e. temp -= (b >> 1); */ }( n6 h: W! x# k1 P7 S! u return (int16_t)(temp / b); }. s+ F6 y/ @9 I 4 常见Q格式的数据范围 定点数和浮点数转换的关系满足以下公式:
#include <stdio.h>/ o T/ i) K1 g #include <stdint.h> #include <math.h> 3 Q- r+ T, J, L int main() {. L# J% ~3 c' n% b& l% {9 V( _ // 0111 1111 1111 1111 int16_t q_max = 32767; // 0x7FFF // 1000 0000 0000 0000 int16_t q_min = -32768; // 0x80000 R5 P. J3 [0 S float f_max = 0;. f! p, u. a* L* A" r float f_min = 0;1 w' E W4 k* I# V J printf("\r\n"); for (int8_t i = 15; i>=0; i--) { f_max = (float)q_max / pow(2,i);! i* P! B/ R h" F p f_min = (float)q_min / pow(2,i);" P- C2 V) N* w+ j $ A+ g) y1 V2 v5 N printf("\t| Q %d | Q %d.%d| %f | %f |\r\n", i,(15-i),i,f_max,f_min); } return 0;# F: B$ h2 h% a6 K5 h& | |" w# a } 运行得到结果如下所示;
. `. r5 k$ m4 }: f Q 格式 Qmn Max Min Q 15Q 0.150.999969-1.000000* p" V8 @2 |2 H. b2 L; e Q 14Q 1.141.999939-2.000000. G% g( P: l( q9 k- m" Q% T9 V9 O Q 13Q 2.133.999878-4.000000 Q 12Q 3.127.999756-8.000000! n3 x7 E2 O! k" X' O7 F$ M Q 11Q 4.1115.999512-16.000000 Q 10Q 5.1031.999023-32.0000003 d4 O, B" G6 j" U7 q Q 9Q 6.963.998047-64.000000 Q 8Q 7.8127.996094-128.000000 Q 7Q 8.7255.992188-256.000000 Q 6Q 9.6511.984375-512.000000) W4 W. k+ M5 l0 ]5 e' U* @$ q Q 5Q 10.51023.968750-1024.0000002 V7 L4 E+ j" v( ^/ b& K Q 4Q 11.42047.937500-2048.0000000 d# D: f3 N6 y2 T3 ] Q 3Q 12.34095.875000-4096.000000 Q 2Q 13.28191.750000-8192.000000 Q 1Q 14.116383.500000-16384.000000 Q 0Q 15.032767.000000-32768.0000005 0x5f3759df Q格式虽然十分抽象,但是且看看这个数字0x5f3759df,感觉和Q格式有某种联系,它是雷神之锤3中的一个算法的魔数,毕竟游戏引擎需要充分考虑到效率,具体的由来可以看一下论文《Fast Inverse Square Root》,下面是源码中剥出来的快速平方根算法; float Q_rsqrt( float number ){& M( k: a4 m$ [6 t6 `! R long i; float x2, y;' k& C' t5 b7 H. e+ R8 F const float threehalfs = 1.5F;; e" E+ L j/ x" E5 r6 k! ~ , ~. L6 y: s+ c* X/ I" r x2 = number * 0.5F; y = number;: {* C; m$ e/ _4 ~5 `) O i = * ( long * ) &y; // evil floating point bit level hacking) G1 v& T0 [8 ?1 O/ o( Y9 t# z& h- N8 G' H i = 0x5f3759df - ( i >> 1 ); // what the fuck?# E3 ]! |+ m0 E' k: O9 |+ V y = * ( float * ) &i;# z7 R% z0 ~+ [6 M" L y = y * ( threehalfs - ( x2 * y * y ) ); // 1st iteration // y = y * ( threehalfs - ( x2 * y * y ) ); // 2nd iteration, this can be removed5 O' M7 C2 ~1 `$ h, Q- e( c 1 U) _2 B+ E3 C# n) t4 x8 t #ifndef Q3_VM+ V4 P) u2 T4 a3 }. r- i- O #ifdef __linux__/ `+ p- o1 ^3 R7 r- d4 V! k assert( !isnan(y) ); // bk010122 - FPE?5 C5 B2 D0 q1 G5 I# { D #endif8 V2 P4 B: l( i8 T9 e K { #endif return y; Y; N# n# r2 B% T } , v9 b$ J q o# M8 A 6 总结 本文介绍了Q格式的表示方式以及相应的运算,另外需要注意在Q格式运算的时候,两者定标必须相同,对于数据的溢出检测也要做相应的处理。 4 T' S D. B0 {8 B# S |
微信公众号
手机版