你的浏览器版本过低,可能导致网站不能正常访问!
为了你能正常使用网站功能,请使用这些浏览器。

C语言Q格式的表示方式以及相应的运算

[复制链接]
gaosmile 发布时间:2020-7-2 19:32
1 前言
Q格式是二进制的定点数格式,相对于浮点数,Q格式指定了相应的小数位数和整数位数,在没有浮点运算的平台上,可以更快地对浮点数据进行处理,以及应用在需要恒定分辨率的程序中(浮点数的精度是会变化的);需要注意的是Q格式是概念上小数定点,通过选择常规的二进制数整数位数和小数位数,从而达到所需要的数值范围和精度,这里可能有点抽象,下面继续看介绍。
2 Q数据的表示2.1 范围和精度
定点数通常表示为,其中m为整数个数,n为小数个数,其中最高位位符号位并且以二进制补码的形式存储;
  • 范围: 微信图片_20200702192546.jpg
  • 精度:
    ! T2 s! G; G5 Z$ a% y
无符号的用 微信图片_20200702192551.jpg 表示;
  • 范围: 微信图片_20200702192555.jpg
  • 精度:
    4 b0 q* X" J' o8 Z7 ?
2.2 推导
无符号Q格式数据的推导
1 N$ ^: T! Z: X- k这里以一个16位无符号整数为例, 微信图片_20200702192603.jpg 所能表示的最大数据的二进制形式如下图所示;
微信图片_20200702192612.jpg . ?1 S/ @- M$ j
所以不难看出, 微信图片_20200702192628.jpg 的范围大小和精度;
: v+ S$ X, k2 ^7 Y* |# j+ G% @根据等比数列求和公式得到,整数域最大值如下:

/ |6 }) g* l3 V
微信图片_20200702192636.jpg

7 N' M4 A2 C. ?9 f# h小数域最大值如下:

$ e: F* W& j* R! q% ^# P
微信图片_20200702192644.png

' I, G/ k; }$ f/ U9 b& G
因此 微信图片_20200702192657.jpg 的范围满足 微信图片_20200702192700.jpg ;
有符号Q格式数据的推导
" o$ _, \. Q2 b! w9 x这里以一个16位有符号整数为例, 微信图片_20200702192708.jpg 所能表示的最大数据的二进制形式如下图所示;
微信图片_20200702192712.png , h9 G# k: V- Z9 ^! Q* O9 _

6 f/ u: \# y( i; B( u! P% E+ T所以不难求出, 微信图片_20200702192723.jpg 的范围大小和精度;/ C+ |" d5 f. h' r, c* }; }
根据等比数列求和公式得到,整数域最大值如下:
( i) [# e& v0 A4 ~
微信图片_20200702192731.png

7 a! l/ e+ s1 K$ L  p7 W2 E2 P小数域最大值如下:
7 \6 A6 @1 m2 C7 S% [- A8 f
微信图片_20200702192734.png
( c% J: q7 A* U( U% P7 V# Q6 R( M; F
因此最大能表示的数为: 微信图片_20200702192738.png ;
所能表示的最小数据的二进制形式如下图所示;
微信图片_20200702192743.png 2 r0 y2 e* x4 G- ]$ t

4 V) Z8 P$ @0 @% C$ v9 M. n可以从图中看到,该数表示为;
补充一下:负数在计算机中是补码的形式存在的,补码=反码+1,符号位为1则表示为负数;
2 O4 U3 a$ J  I% s& c  x$ i5 Z那么-4该如何表示呢?7 o% b6 x; O5 Z- v& N( v
以8 bit数据为例,如下所示;
4 C5 w7 z* m! ?. ^! H原码:0B 0000 100
3 g- H2 \, p: \反码:0B 1111 011
0 X* K+ V8 ]2 x' c# ]( J补码:0B 1111 100
综上,可以得到有符号的范围是: 微信图片_20200702192746.png
3 Q数据的运算3.1 0x7FFF
最大数的十六进制为0x7FFF,如下图所示;
微信图片_20200702192750.png
2 v6 M2 ]  ^( Y6 y$ s& w* \4 n9 t# |3.2 0x8000
最小数的十六进制为0X8000,如下图所示;
微信图片_20200702192754.png
  r  u6 ?3 u) Q8 a  i7 \* L; d' S4 z
上述这两种情况,下面都会用到。

, J* q4 r% z! c4 U* a" T
3.3 加法
加法和减法需要两个Q格式的数据定标相同,即 微信图片_20200702192757.png 和 微信图片_20200702192801.png 满足以下条件;
) j5 z1 l5 a2 W7 X# a 微信图片_20200702192804.png
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
}

+ `2 O# R  L* s# |9 v& ^9 F
上面的程序其实并不安全,在一般的DSP芯片具有防止溢出的指令,但是通常需要做一下溢出检测,具体如下所示;
//http://great.blog.csdn.net/
' |+ k$ x# a6 M3 \3 Iint16_t q_add_sat(int16_t a, int16_t b)2 _. O" `  S$ V) s5 y3 s: D# j
{
, _- M$ C5 ?: L; ^3 v7 v! ?- s; M    int16_t result;/ u$ }( o; T9 Y, [: ^
    int32_t tmp;
3 k0 t+ r  o+ g
1 v6 r7 b) J2 O0 V3 X! M" l, r    tmp = (int32_t)a + (int32_t)b;
( t7 {% G& D& R0 X, B2 C    if (tmp > 0x7FFF)
/ a6 m4 K% g# Y$ k, f        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 ?

$ e4 _4 C; A- F6 t  |; s    return result;
! s. b/ o& T  q: |) T7 v* O7 v}

7 p% B; Y2 k( u# j! G! n3.4 减法
类似于加法的操作,需要相同定标的两个Q格式数进行相减,但是不会存在溢出的情况;
//http://great.blog.csdn.net/4 G" T: `: _! D0 D5 g2 K  o; r
int16_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;
; E' s7 g; Z/ F& W1 ^}

; D5 c/ [) K+ G  z* F4 ^3.5 乘法
乘法同样需要考虑溢出的问题,这里通过sat16函数,对溢出做了处理;
//http://great.blog.csdn.net/3 @, u5 n/ h7 u# J: L& z/ S
// precomputed value:
& i8 [3 x- j$ h#define K   (1 << (Q - 1))
+ k% Z8 T4 w. Z& n% L
4 B4 b. E. m* Q// saturate to range of int16_t
6 }1 G7 q6 h% ?int16_t sat16(int32_t x)
" q5 l* X4 s1 B) }5 ~{
% D$ ~: X$ T0 w  L2 |" p    if (x > 0x7FFF) return 0x7FFF;
' _2 a# f9 S6 D4 }' f' _    else if (x < -0x8000) return -0x8000;  Q# n9 l5 b  Y8 L
    else return (int16_t)x;
8 D) m1 Z! B5 a8 |( _8 d}
. B: q/ U  \( f; y& r3 L2 N% x" h- Q' |
int16_t q_mul(int16_t a, int16_t b)
# E4 L) \+ v' t: Y{
7 u2 w1 Y! r1 m# m' f7 e& J  x    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
8 ]: o; w6 K7 U/ Q( e5 S/ {- Y9 A    // Rounding; mid values are rounded up
! w( v0 Q% h; t6 K9 U    temp += K;( d- s4 _1 {5 h: B; Q+ P/ g
    // Correct by dividing by base and saturate result
- Y0 m# G% s1 |    result = sat16(temp >> Q);
8 A; s* ]# H$ O1 q: m$ E6 w( N$ ?* m' a" h" }
    return result;, ^. n* U3 V* V/ ^8 B" i# K
}

7 c$ T- b& |" l; F: A$ P( C# f& U3.6 除法//http://great.blog.csdn.net/
. a6 z  H) l* ~! _int16_t q_div(int16_t a, int16_t b)
$ P# Z; J& r* B7 N{
) W4 d4 t2 {: K2 M* E: H+ r    /* 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;
, G1 X4 ]; l, i( l6 k+ A; E9 Q. c    /* 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); */
+ |2 V, G/ S- \1 K    }( n6 h: W! x# k1 P7 S! u
    return (int16_t)(temp / b);
( Q/ X4 m+ b# m* X/ E}
. s+ F6 y/ @9 I
4 常见Q格式的数据范围
定点数和浮点数转换的关系满足以下公式:
微信图片_20200702192807.png
其中为,m表示整数位数,n表示小数位数;
#include <stdio.h>/ o  T/ i) K1 g
#include <stdint.h>
9 c8 }) e+ M# z3 L#include <math.h>
3 G: r8 t, [& L6 L# J3 Q- r+ T, J, L

; y: s$ o: w- a- E, p5 nint main()
; a8 b3 ^. ?( u! ^9 W{. L# J% ~3 c' n% b& l% {9 V( _
    // 0111 1111 1111 1111
" c( }9 i) q; k1 q8 x% `    int16_t q_max = 32767; // 0x7FFF
) m6 i5 h) Q- V; `7 V% L    // 1000 0000 0000 0000
+ y! n2 G( x; m; U; S$ g$ [( x& T( W    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");
$ P: c! C( q( b$ w# f    for (int8_t i = 15; i>=0; i--) {
4 {1 `2 F. {" F8 y: @        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",
; J2 W/ |# s9 M1 I! q               i,(15-i),i,f_max,f_min);
( i" h" v9 M8 T    }
7 K7 l0 U$ Q% ?% r3 Q
$ E9 x( b2 r0 X3 X5 r    return 0;# F: B$ h2 h% a6 K5 h& |  |" w# a
}

/ l' I' T: Y+ p+ P+ b+ q9 L* [0 Q
运行得到结果如下所示;
% x, `, \- l# D8 x3 s
微信图片_20200702192811.png
: K7 u  p# c, S/ C+ B. `# G. `. r5 k$ m4 }: f
Q 格式
Qmn
Max
Min

2 N7 r5 e" J; r2 T( k- {- K; hQ 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
1 d; @) I6 ~9 v8 P3 `( D8 gQ 12Q 3.127.999756-8.000000! n3 x7 E2 O! k" X' O7 F$ M
Q 11Q 4.1115.999512-16.000000
5 f  |9 t2 n  x- ^4 j* yQ 10Q 5.1031.999023-32.0000003 d4 O, B" G6 j" U7 q
Q 9Q 6.963.998047-64.000000
8 A! D3 m. Q9 b+ W* ^2 `1 C2 [Q 8Q 7.8127.996094-128.000000
) j. _0 T% G" l6 lQ 7Q 8.7255.992188-256.000000
* e  V) J3 a$ |$ v3 F0 T6 ^1 WQ 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
+ |* T& M$ H, [Q 2Q 13.28191.750000-8192.000000
! Q, x+ u1 K  t  r* m5 u9 IQ 1Q 14.116383.500000-16384.000000
" g1 P1 o# @& d7 C+ bQ 0Q 15.032767.000000-32768.0000005 0x5f3759df
Q格式虽然十分抽象,但是且看看这个数字0x5f3759df,感觉和Q格式有某种联系,它是雷神之锤3中的一个算法的魔数,毕竟游戏引擎需要充分考虑到效率,具体的由来可以看一下论文《Fast Inverse Square Root》,下面是源码中剥出来的快速平方根算法;
float Q_rsqrt( float number )
% Y6 ~4 q2 k+ ~% H{& M( k: a4 m$ [6 t6 `! R
    long i;
: i* ]( x9 Q0 g6 B( [7 Y, ]" N    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;
& m! G6 }5 E0 p7 i    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
' L# v/ D: j! K2 d. l' }+ u! m    // 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
: I% _) G+ h' w) ~. X( h    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
赞 收藏 评论0 发布时间:2020-7-2 19:32

举报

0个回答
关于
我们是谁
投资者关系
意法半导体可持续发展举措
创新与技术
意法半导体官网
联系我们
联系ST分支机构
寻找销售人员和分销渠道
社区
媒体中心
活动与培训
隐私策略
隐私策略
Cookies管理
行使您的权利
官方最新发布
人形机器人运动控制、感知与智能配电
半导体创新技术与应用方向
EE架构与软件定义汽车
12V/48V 汽车智能配电(SPD)
区域控制单元(ZCU)与分区架构
关注我们
st-img 微信公众号
st-img 手机版