c->asm tc内部机制

我们用TC编写一段简单的代码!看看生成的汇编代码是什么!


#include "stdio.h"


sum(int x,int y)




...{


return x+y;


}


int aa;


int bb=1;


main()




...{


int a=1;


int b=2;


int c=sum(a,b);


printf("c=%d",c);


}



好,我们知道汇编里函数内的变量是自动变量,也就是通过栈来实现的,很容易忽略的就是MAIN函数也是函数,代码中的A,B变量也是自动变量.先生成汇编代码TCC -S 文件
ifndef ??version
?debug macro
endm
endif
?debug S "shiyan.c"
_TEXT segment byte public 'CODE'
DGROUP group _DATA,_BSS
assume cs:_TEXT,ds:DGROUP,ss:DGROUP
_TEXT ends
_DATA segment word public 'DATA'
d@ label byte
[email=d@w]d@w[/email] label word
_DATA ends
_BSS segment word public 'BSS'
b@ label byte
[email=b@w]b@w[/email] label word
?debug C E9A77AA4360873686979616E2E63
?debug C E957A7972615433A5C54435C494E434C5544455C737464696F2E68
?debug C E957A7972616433A5C54435C494E434C5544455C7374646172672E+
?debug C 68
_BSS ends
_TEXT segment byte public 'CODE'
; ?debug L 2
_sum proc near
push bp
mov bp,sp
; ?debug L 4
mov ax,word ptr [bp+4]
add ax,word ptr [bp+6]
jmp short @1
@1:
; ?debug L 5
pop bp
ret
_sum endp
_TEXT ends
_DATA segment word public 'DATA'
_bb label word
dw 1
_DATA ends
_TEXT segment byte public 'CODE'
; ?debug L 8
_main proc near
push bp
mov bp,sp
sub sp,2
push si
push di
; ?debug L 10
mov si,1
; ?debug L 11
mov di,2
; ?debug L 12
push di
push si
call near ptr _sum
pop cx
pop cx
mov word ptr [bp-2],ax
; ?debug L 13
push word ptr [bp-2]
mov ax,offset DGROUP:s@
push ax
call near ptr _printf
pop cx
pop cx
@2:
; ?debug L 14
pop di
pop si
mov sp,bp
pop bp
ret
_main endp
_TEXT ends
_BSS segment word public 'BSS'
_aa label word
db 2 dup (?)
_BSS ends
?debug C E9
_DATA segment word public 'DATA'
s@ label byte
db 99
db 61
db 37
db 100
db 0
_DATA ends
_TEXT segment byte public 'CODE'
extrn _printf:near
_TEXT ends
public _main
public _sum
public _bb
public _aa
end

代码比起C的代码要多很多,但不难理解,我门来看一下,C中的代码的各个变量是怎么处理的先:
_DATA segment word public 'DATA'
_bb label word
dw 1
_DATA ends
_BSS segment word public 'BSS'
_aa label word
db 2 dup (?)
_BSS ends
?debug C E9
_DATA segment word public 'DATA'
s@ label byte
db 99
db 61
db 37
db 100
db 0
_DATA ends
可以看到BB 和"C=%D"被汇编成初始化数据段.AA处理成为初始化数据段BSS
在同一模块中所以"C=%D"为BB的继续，即使不在同一模块,但他们的段名,和类别相同,他们也会根据对齐类型,和组合类型组合在一起,
而函数中的X,Y A,B则是在栈中实现
因为以SMALL格式 所以
DGROUP group _DATA,_BSS
assume cs:_TEXT,ds:DGROUP,ss:DGROUP
所有数据都能在同一段中进行访问!

不要忘记
_TEXT segment byte public 'CODE'
extrn _printf:near
_TEXT ends
public _main
public _sum
public _bb
public _aa
end
即使在同一模块,但因为他们是全局函数,所以同样要声明.PRINTF则说明定义在另一模块中.
代码中没有看到堆栈段,就用系统分配的,如果有,要是以SMALL模式一样会在DGROUP中出现.
所以代码中引用变量默认的DS SS都以指向DGROUP.
至于函数的代码,主要是对栈的操作.大家自己看一看

而在汇编中,段的简化定义在SMALL模式下就生成上边的相应的段的定义,如果你要自己定义完整的段定义,那段名和对齐类型,组合类型,类别,都要你自己指出,这样也能调整段的位置,

如果自己定义要明白在同一模块中同一段名(类别缺省或相同)后边的为前边同名段的继续,若不同名则根据对齐类型衔接,

若不在同模块下,同名的段(类别缺省或相同)根据组合类型决定,若为PUBILC则根据对齐类型放在上一个同名段的后边!

SMALL存储模式就是帮你做了这些工作.为了使各个段在一起对段名和对齐类型,组合类型,类别,做了处理,把不同类型的数据分为不同的段名,不同模块的同段名的段根据对齐类型,组合类型组织在一起,组合后的各个"大"段根据对齐类型在组织在一起,在通过段组来实现所有数据段或代码段在同一段内!