VDSP函数调用时的参数传递

 

  

本文开发环境： VDSP 5.0

1   没有参数时的函数调用

void sub(void)

{

}

 

void func(void)

{

       sub();

// CALL sub;

}

这是最简单的一个函数调用了，直接使用CALL，没有任何其它的处理。

2   <=3个参数时的处理

void sub(int a, int b, int c)

{

// LINK 0x0;

// [FP + 0x10] = R2;

// [FP + 0xc] = R1;

// [FP + 0x8] = R0;

// UNLINK;

}

 

void func(void)

{

// LINK 0xc;

 

       sub(1, 2, 3);

// R2 = 3;

// R1 = 2;

// R0 = 1;

// CALL sub;

}

从以上代码可以看出，当参数个数小于等于3个的时候，VDSP将使用R0，R1，R2进行参数的传递。从上面的代码还可以看出，函数参数的堆栈空间是由调用函数（func）来分配的，这也是func函数中使用LINK 0xc保留12个字节堆栈空间的原因。需要注意的是即使sub函数没有参数，func也会保留12个字节的堆栈空间。之所以是从[FP + 0x8]开始保存参数，是因为LINK指令会将RETS和FP两个寄存器入栈，从而使SP向下增长了8个字节。

3   >3个参数时的处理

void sub(int a, int b, int c, int d, int e)

{

// R3 = [FP + 0x14];

// R7 = [FP + 0x18];

// [FP + 0x18] = R7;

// [FP + 0x14] = R3;

// [FP + 0x10] = R2;

// [FP + 0xc] = R1;

// [FP + 0x8] = R0;

}

 

void func(void)

{

       sub(1, 2, 3, 4, 5);

// P1 = 5;

// [SP + 0x10] = P1;

// P1 = 4;

// [SP + 0xc] = P1;

// R2 = 3;

// R1 = 2;

// R0 = 1;

// CALL sub;

}

从以上代码可以看出，VDSP将参数从右往左依次入栈，再调用子函数，子函数则直接使用堆栈中的数据。

4   参数个数不匹配时的处理

void func(void)

{

       sub(1, 2, 3, 4, 5);

// P1 = 5;

// [SP + 0x10] = P1;

// P1 = 4;

// [SP + 0xc] = P1;

// R2 = 3;

// R1 = 2;

// R0 = 1;

// CALL sub;

}

 

void sub(int a, int b)

{

// [FP + 0xc] = R1;

// [FP + 0x8] = R0;

}

在C编译器中，形参与实参的个数是可以不匹配的，仅仅给出一个警告。从上述代码可以看出，调用函数和被调用的函数都是根据自己看到的参数来进行处理的，这样当实参的个数少于形参的个数时，几乎可以肯定会出错！因为子函数无法取到正确的参数值。

5   关于返回值

int sub(int a, int b)

{

       return a - b;

// R0 = R0 – R1(NS);

// UNLINK;

// RTS;

}

 

 

void func(void)

{

       int a;

       a = sub(5, 3);

// R1 = 3;

// R0 = 5;

// CALL sub;

// [FP + 0x8] = R0;

}

从上述汇编代码很容易可以看出，VDSP使用R0保存返回值。