对于C和汇编语言的接口主要有两个问题需要解决。
一、调用者与被调用者的参数传递
这种数据传递通过堆栈完成,在执行调用时从调用程序参数表中的最后一个参数开始 ,自动依次压入堆栈;将所有参数压入堆栈后,再自动将被调用程序执行结束后的返回地址 (断点)压入堆栈,以使被调程序结束后能返回主调程序的正确位置而继续执行。例如一调用名为add汇编程序模块的主函数:main( ){...... add(dest,op1,op2,flages);......}。在此例中对主函数进行反汇编,主函数在调用add函数前自动组织的堆栈。
.
.
.
lea 0xfffffffe8(%ebp),%eax #flages数组的首地址入栈
push %eax
pushl 0xfffffff8(%ebp) #OP2入栈
pushl 0xfffffffc(%ebp) #OP1 入栈
pushl 0xfffffff0(%ebp) #dest地址入栈
call 0x80483f0
.
.
进入汇编子程序后,为了能正确获取主调程序并存入堆栈中的数据,被调的汇编子程序先后要做如下一些工作:
1、 保存esp的副本
进入汇编子程序后,子程序中免不了要有压栈和出栈的操作,故ESP时刻在变化。为了能用 ESP访问堆栈中的参数,安全办法是一进入子程序后,先为ESP制副本,以后对传递参数的访问 都用副本进行。一般可用EBP保存ESP,如:
push %ebp
mov %ebp,%esp
2、保留数据空间
如果汇编子程序中需要一些局部数据,可以简单地减小ESP的值,以便在栈空间中保留出一段存贮区,用于存放局部数据,该区域须在子程序结束后恢复。如下语句可以保留一个局部数据区:
push %ebp
mov %ebp ,%esp
subl space,%esp;设space=4
movl $0x0,%ebp
movl $0x0,-2(%ebp)
如上语句段中,space是局部数据的总字节数。在以后的应用中,由于ESP是变化的,而 EBP是 固定的,用负偏移量可以存取局部变量。上例利用EBP及偏移量,将两个字的局部数 据初始化为0。
3、保留寄存器值
如果在被调子程序中用到ESI、EDI等其它寄存器,则应先把它们压入堆栈,以保留寄存器原值 。例如,下例就是将ESI和EDI寄存器的值压栈:
pushl %ebp
movl %ebp ,%esp
subl $space ,%esp,
pushl %esi
pushl %edi
4、获取传递参数
作完了1~3步的操作后,结合上面C程序传送参数这一例子,现在栈结构如图二所示。
由此可见,EBP保留了ESP在参数传递完并将EBP压栈后的一个副本,利用EBP可以很方便地访问各参数。现假设各参数都是2字节的整数值,在小模式编译方式共占用2个字节。如果要将传递的参数op1、op2取出,并分别赋给ebx、ecx寄存器,可由下列语句完成这一功能:
movl 0x8(%ebp),%eax
movl 0xc(%ebp),%ecx
5、子程序返回值
当子程序的执行结果需要返回时,根据返回值的字长,C按如下约定接收返回值:1字节在AL 寄存器中;2字节在EAX寄存器中;4字节则高位部分在EDX中、低位部分在EAX寄存器中。C可从这些寄存器中取出返回值。
6、退出汇编子程序
结束汇编子程序的步骤如下:
1) 若ESS、EDS、ESI或EDI已被压栈,则需按保存它们的相反顺序弹出它们。
2) 若在过程开始时分配了局部数据空间,则以指令 mov %esp和%ebp 恢复%esp。
3) 以指令pop %ebp 恢复%ebp ,该步是必须的。或者可以用leave语句来恢复%ebp 。它相当于movl %ebp, %esp; popl %ebp
4) 最后以ret结束汇编程序。
二、 说明和建立调用者与被调用者间的连系
为了建立调用与被调用模块间的连接关系,被调用的汇编程序应用global,说明其可被外部模块调用;而调用程序则应预先说明要引用的外部模块名。下面通过我的例子进行说明,该例是C调用add0的汇编子程序。程序清单如下:
/* add.c */
#include
extern void add(int *dest,int op1,int op2,short int*flages);
/*声明调用外部的汇编函数*/
int main(void){
int op1,op2,result;
int *dest=&result;
short int flages[4]={0,0,0,0};
printf("please enter two soure operater:");
scanf("%x%x",&op1,&op2);
add(dest,op1,op2,flages);/*调用add0函数*/
printf("The result of ADD is :%x/n flages N(negative) Z(zero) C(carry) V(overflow:%d,%d,%d,%d/n",*dest,flages[3],flages[2],flages[1],flages[0]);
return 0;
}
#add.s
.text
.align 2
.global add
.type add,function
#定义add为外部可调用的函数
add:
push %ebp #ebp寄存器内容压栈,保存add函数的上级调用函数的栈基地址
mov %esp,%ebp #esp值赋给ebp,设置add函数的栈基地址
mov 0x8(%ebp),%edx
mov 0x10(%ebp),%eax
add 0xc(%ebp),%eax
mov %eax,(%edx)
mov 0x14(%ebp),%eax
jo OF
C:
jc CF
S:
js SF
jz ZF
jmp out
OF:
movw $0x1,(%eax)
jmp C
CF:
movw $0x1,0x2(%eax)
jmp S
SF:
movw $0x1,0x6(%eax)
movw $0x0,0x4(%eax)
jmp out
ZF:
movw $0x1,0x4(%eax)
movw $0x0,0x6(%eax)
out:
leave #将ebp值赋给esp,pop先前栈内的上级函数栈的基地址给#ebp,恢复原栈基址
ret #add函数返回,回到上级的调用函数
其中.text 标志一个代码段的开始,这是AT&T的段格式;global add;/n
type add,function说明add是公用的,可以由外部其它单独编译模块调用。
将C源程序以文件名add.c存盘,汇编语言源程序以add.s 存盘;通过MAKE进行编译和连接连接代码如下:
all: myadd
myadd: adds.o addc.o
gcc –o myadd adds.o adc.o
adds.o: add.s
as –o adds.o add.s
addc.o: add.c
gcc –g –o addc.o add.c
由上可见,在C中调用汇编模块很方便。所以我们在实际软件开发中,可以采用混合编程的技术,从而尽可能利用各语言的优势。既满足实际问题的需要,又简化设计过程,达到事半功倍的效果。
编译都是先变成汇编,再链接成可执行程序的哈,你在linux的Makefile中,可以直接编写xxx.o由xxx.S生成,不一定非是xxx.c哈
给你个C调汇编的例子
汇编里面:
vim src/pixelcpy.S
.text
.type pixelOpaque_GXcopy, #function
.global pixelOpaque_GXcopy
.align 5
pixelOpaque_GXcopy:
ands ip, r2, #3
bxne lr @ 参数校验,只搬移4的倍数
cmp r2, #4
bxcc lr @ 参数校验,count<4直接退出
push {r0, r4, r5, lr}
sub sp, sp, #24
/* 判断src(r1)是否已4字节对齐:
*
* 1) 已对齐 : ,则跳转,判断dst与src之间的错位情况
* 2) 未对齐 : ,则继续,r3为填写src距离对齐差几字节
*/
mov lr, #(255*1024*1024*16) @ alpha初始值
rsb r3, r1, #0
ands r3, r3, #3
beq 1f @ src(r0)已4字节对齐
C里面:
/* imported from pixelcpy.S pixelcpy_reverse.S
* */
extern void pixel_GXcopy ( void* dst, void* src, int count );
extern void pixel_GXcopy_Reverse( void* dst, void* src, int count );
extern void pixelOpaque_GXcopy ( void* dst, void* src, int count );
extern void pixelOpaque_GXcopy_Reverse( void* dst, void* src, int count );
c语言相互调用,可以system("d:/abc.exe");或者
ShellExecute(NULL, NULL,"d:/abc.exe", NULL, NULL, SW_SHOW);
都可以调用,具体看编译器支持
linux编译:在命令提示窗口下 首先进入该文件夹,然后要编译该文件夹下哪个文件就GCC 1.cpp
然后会默认生成一个a.out ,然后执行哪个文件就好了
编译器会先变成组装,然后链接成一个可执行程序,在linux下的Makefile,你可以直接写xxx.o不一定xxx.c哈萨克斯坦
装配内部产生的xxx.S: BR /> VIM
pixelcpy.S的的/>
例如文字
类型pixelOpaque_GXcopy,#功能,
编译你的C笔记>全球pixelOpaque_GXcopy
调整5
pixelOpaque_GXcopy的:
结合起来IP,R2,#3
bxne lr的参数检查,只有移动的倍数
CMP R2,#4
bxcc lr的参数检查,计数<4号出口
推{R0,R4,R5,LR}
子SP,SP#24
> / *判断SRC(R1)有一个4字节对齐:
* 1)是一致的:跳法官dst和src之间的错位
* 2)对齐:继续,R3几个字节填充的SRC距离对齐差异
* /
MOV LR,#(255 * 1024 * 1024 * 16)阿尔法初始值
RSB R3,R1,#0
>国家发展战略R3,R3,#3
BEQ 1楼:_at_ SRC(R0)4字节对齐
C内:
/ *导入从pixelcpy.S pixelcpy_reverse ,S
** /
外部无效pixel_GXcopy(无效*,void *的SRC DST,诠释计数);
外部无效pixel_GXcopy_Reverse的(无效*,void *的SRC DST,诠释计);
外部无效pixelOpaque_GXcopy(无效*,void *的SRC DST,诠释计数);
外部无效pixelOpaque_GXcopy_Reverse的(无效*,void *的SRC DST,诠释计数);
的帮助文档或数据表,其中涉及到的C语言和汇编语言相互调用的问题,一般的编译器都会有相关的指令,编译器检查,但可能会有所不同不同的编译器调用约定