ARM_NB指令分析.docVIP

#include stdlib.h #include linkage.h extern _DATA_ACCESS int Overflow; extern _DATA_ACCESS int Carry; #define MAX_32 (int)0x7fffffffL #define MIN_32 (int)0 #define MAX_16 (short)0x7fff #define MIN_16 (short)0x8000 上面是下面指令要用到的一些参数，其中lingage.h里面说明了内联函数如何定义：#define _IDECL static __inline,自己在写内联函数的时候需要加入这个头文件。 而且全局变量和静态变量超过near的范围，因此在built option中定义为far calls 所以这里#define _DATA_ACCESS far.这个也是在linkage.h中定义了的。 VC Word32 L_add (Word32 L_var1, Word32 L_var2) 返回两个32位整形的和 C6400 #define L_add(a,b) (_sadd((a),(b))) 说明：这里直接用内联函数_sadd代替。32位数的范围是: 0= var1 = 0x7fffffff,两个32位数相加如果溢出，上溢赋值(int)0x7fffffff,下溢赋值(int)0 VC Word32 L_sub (Word32 L_var1, Word32 L_var2) 返回两个32位整形数的差 C6400 #define L_sub(a,b) (_ssub((a),(b))) 说明：这里直接用内联函数_ssub代替。32位数的范围是: 0= var1 = 0x7fffffff,两个32位数相加如果溢出，上溢赋值(int)0x7fffffff,下溢赋值(int)0这里直接用内联函数_sadd代替。 VC Word32 L_add_c (Word32 L_var1, Word32 L_var2) 返回两个32位整形数带进位的和 return(L_var1+L_var2+C),并对进位和溢出从新赋值 C6400 static inline int L_add_c (int L_var1, int L_var2) { unsigned int uv1 = L_var1; unsigned int uv2 = L_var2; unsigned int result = uv1 + uv2 + Carry; Carry = ((~result (uv1 | uv2)) | (uv1 uv2)) 31; Overflow = ((~(uv1 ^ uv2)) (uv1 ^ result)) 31; return (int) result; } 说明： 当要判断运算是否溢出时，cpu?总是把寄存器里面的数据当成?有?符号数来处理? ?????????正数和负数相加不会溢出 ?????????两个正数相加，如果结果为负数（符号位为?1），表明发生溢出 ?????????两个负数相加，如果结果为正数（符号位为?0），表明发生溢出 当要判断运算是否进位时，cpu?总是把寄存器里面的数据当成是无符号数来处理? ?????????将两个寄存器的内容相加，如果两个数的最高位都为０，则不论结果的最高位是什么都不会进位 ?????????如果两个数的最高位都为１，则不论结果的最高位是什么都一定会进位， ?????????如果两个数的最高位不相同，而结果的最高位却是０，那么一定是产生了进位，反之则是未进位 其实不管当做有符号或者无符号最高位都表示符号位，只是无符号数正数最高位为0，负数为1，有符号数相反。 Carry = ((~result (uv1 | uv2)) | (uv1 uv2)) 31; 这里uv1和uv2都是无符号数 uv1 uv2 和前面的 | 号和后面的右移31位，表示如果uv1和uv2的最高位都是1的话，那么肯定发生进位 ~result (uv1 | uv2) 成立的时候表示 结果的最高位为0，还有uv1和uv2最高位不相同，和后面的 | 一起表示那么肯定进位 只有这两种情况是肯定发生进位 Overflow = ((~(uv1 ^ uv2)) (uv1 ^ result)) 31; 这里上面两种情况是在有符号位的时候处理的，但是这里确是无符号数