C语言源程序的汇编形式通用式分析
通过上次Ｃ程序与汇编程序相互交互看到了不同编译器之间合作的可能，最后的结果都是机器码，上次说过还有种通过Ｃ程序生成汇编代码后在其函数部分可以自己编写汇编代码然后与Ｃ程序进行连接的。
这里就分析一下一个简单的Ｃ程序被翻译成汇编后是什么样的：
ifndef ??version ;汇编伪指令，语义应该和Ｃ语言类似，如果名称 ??version 未定义则进入内部
?debug macro ;在数据声明中，一个值，汇编程序分配但未初始化。
endm ;终止宏或重复的块。
endif ;汇编伪指令，语义应该和Ｃ语言类似，ifndef的闭合标签
?debug S "test.c"
_TEXT segment byte public 'CODE' ;段定义,地址对齐方式为比特，公有类型，段类别为'CODE'
DGROUP group _DATA,_BSS ;段声明,将一组段_DATA,_BSS添加到名称DGROUP中
assume cs:_TEXT,ds:DGROUP,ss:DGROUP ;段的作用声明，可以启到寄存器值的错误检查作用
_TEXT ends ;_TEXT段结束 该段对之后的代码段栈段数据段进行了声明
_DATA segment word public 'DATA' ; _DATA段开始，地址对齐方式为字，公有类型，段类别为'DATA'
d@ label byte ;定义名为 d@ 的标签，类型为字节
d@w label word ;定义名为 d@w 的标签，类型为字
_DATA ends ;_DATA段结束
_BSS segment word public 'BSS' ;BSS段开始，地址对齐方式为字，公有类型，段类别为'DATA'
b@ label byte ;定义名为 b@ 的标签，类型为字节
b@w label word ;定义名为 b@w 的标签，类型为字
?debug C E9E862014D06746573742E63 ;在数据声明中，一个值，汇编程序分配但未初始化。
_BSS ends ;BSS段结束(该段就是未初始化的全局变量区段，程序开始时会被初始化0)
_TEXT segment byte public 'CODE' ;_TEXT段开始
; ?debug L 2 ;在数据声明中，一个值，汇编程序分配但未初始化。
_main proc near ;子程序 _main 寻址方式为 near(在Ｃ语言中也就是main)
push bp ;子程序代码....
mov bp,sp
sub sp,2
; ?debug L 4
mov word ptr [bp-2],1
; ?debug L 5
@1:
; ?debug L 6
mov sp,bp
pop bp
ret
_main endp ;子程序代码部分结束
_TEXT ends ;_TEXT段结束
?debug C E9
_DATA segment word public 'DATA' ;_DATA段开始
s@ label byte ;声明名称为 s@ 的标签，类型为字节
_DATA ends ;_DATA段结束
_TEXT segment byte public 'CODE' ;_TEXT段开始
_TEXT ends ;_TEXT段开始
public _main ;声明子程序 _main 是公有的
end ;结束
- 1
- 2
- 3
- 4
- 5
- 6
- 7
- 8
- 9
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
- 31
- 32
- 33
- 34
- 35
- 36
- 37
- 38
- 39
- 40
- 41
- 42
- 43
- 44
- 45
- 46
- 47
- 48
- 49
- 50
通过翻阅官方资料，大略把这些代码阅读完了，因为是编译器自动生成的，所以可能有些赘余的地方，比如最后四句，声明了段开始然后立即结束，在这两句中没有向段中添加任何内容，还有被注释掉的; ?debug …. 这些可能是用于TCC调试的额外信息，所以关于?debug的应该都可以去掉。在该代码中可以总结几个比较奇怪的地方:
1. 以 ?debug 开头的可以当作是额外的调试信息
2. 中间由 label的代表这是一个标签信息，在该伪指令前后分别是标签名和类型，在段开始声明的地方定义的标签可以当作是为了寻址该段首而定义的，因为标签名和段名首字母一样，并且加了个@，很生动形象。
因为我没有使用过这种方法实现混合编程，所以也没特别走心，只是对照官方文档进行了简单的对比而已，当然的我也会对其进行理解和思考。通过这种形式就能和其它Ｃ源程序进行连接了，还是有研究价值的。下次继续研究这个时，我会多定义几个不同类型的函数与变量，以及自定义一些标号，再次深究，这次的研究都到此为止了。
