内嵌汇编函数分析

1 Linux 0.12内核中strncmp函数的实现

extern inline int strncmp(const char * cs,const char * ct,int count){register int __res __asm__("ax");__asm__("cld\n"                // 将标志寄存器Flag的方向标志位DF清零。在字串操作中使变址寄存器SI或DI的地址指针自动增加，字串处理由前往后    "1:\tdecl %3\n\t"          // 将count的值减1，此处为标号1    "js 2f\n\t"                // 如果count-1的值小于0则跳转到标号2(f代表向前，b代表向后)    "lodsb\n\t"                // 取串2的字符ds:[esi] -> al, 并且esi++    "scasb\n\t"                // 比较al与串1的字符es:[edi]，并且edi++    "jne 3f\n\t"               // 如果不相等就跳转到标号3    "testb %%al,%%al\n\t"      // test执行的就是and的指令，只不过不会保存and执行的结果，而是根据and的结果设置flags寄存器的各种标志// 这里可以用来判断是不是空字符    "jne 1b\n"                 // 如果ZF标志位不为0跳转到标号1（即不为空指针）    "2:\txorl %%eax,%%eax\n\t" // 是空字符则清空eax    "jmp 4f\n"                 // 跳转到标号4    "3:\tmovl $1,%%eax\n\t"    // 不想等则将eax置1    "jl 4f\n\t"                // 如果串2的字符小于串1，则跳转到标号4，即应该返回结果1    "negl %%eax\n"             // 将eax的值取反    "4:"    :"=a" (__res):"D" (cs),"S" (ct),"c" (count):"si","di","cx");return __res;}

可以看出该程序并未考虑空指针的情形。