Linux下c函数参数的入栈顺序？

zylthinking

zhaohongjian000 发表于 2013-01-28 16:56
我以为我们讨论的是64位的情况。如果是32位，gcc遵循的调用约定不是我给出的那个，而是你们说的cdecl。 ...

对， 调用约定是没有打破， 但就我的反汇编代码， 不打破约定不意味着 C 代码可以预测他所看到的参数地址的大小关系， 这让人很窝火；
cdecl 似乎也不意味着不允许寄存器传参， 我算是知道了

zhaohongjian000

zylthinking 发表于 2013-01-28 17:05
对， 调用约定是没有打破， 但就我的反汇编代码， 不打破约定不意味着 C 代码可以预测他所看到的参数地 ...

cdecl是通过栈传递参数的，我用-m32看到的汇编也是这样，但x86-64下gcc的调用约定不是cdecl，而是AMD制定的单独的规范。

zylthinking

zhaohongjian000 发表于 2013-01-28 17:16
cdecl是通过栈传递参数的，我用-m32看到的汇编也是这样，但x86-64下gcc的调用约定不是cdecl，而是AMD制 ...

考虑考虑 arm 上的 cdecl
因此. cdecl 不是 ABI, 但你不能说 arm 上的 c 就不是 cdecl 了

zhaohongjian000

zylthinking 发表于 2013-01-28 17:33
考虑考虑 arm 上的 cdecl
因此. cdecl 不是 ABI, 但你不能说 arm 上的 c 就不是 cdecl 了

哦，原来你认为调用约定就是cdecl啊，cdecl只是一种调用约定而已，ARM上的调用是遵循官方的AAPCS文档，显然不是cdecl。

重新表述一下：
1.调用约定是ABI规范的一部分。
2.cdecl是一种调用约定，常用于IA32
3.x86-64遵循AMD制定的System V AMD64 ABI
4.ARM上的eabi定义在AAPCS文档中，oabi淘汰掉了，我没了解过。

zylthinking

查了查， 至少 c standard 里面没有 cdecl 或者 stdcall 这些字眼， 因此这些应该是编译器概念；
那么， 很显然， 编译器只能在遵循 ABI 的基础上做自己的 cdecl 或者 stdcall, fastcall, xxxxcall 语意；

所以， 问题应该明确了，  cdecl 是从右到左传参， 不允许寄存器参与这个说法应该就是一个错误的说法， 这个应该看编译器的心情， 他想怎么干就怎么干。

zylthinking

zhaohongjian000 发表于 2013-01-28 17:42
哦，原来你认为调用约定就是cdecl啊，cdecl只是一种调用约定而已，ARM上的调用是遵循官方的AAPCS文档， ...

那你解释解释
static void __cdecl mp4_parse(char* mp4, int len)
{
    static int n = 0;
    ++n;
    char file2[524];
    sprintf(file2, "%s%d.snap", file, n);

    printf("%d bytes in %s\n", len, file2);
    FILE* f = fopen(file2, "wb");
    fwrite(mp4, 1, len, f);
    fclose(f);
}
这个算什么， arm 上的代码， 通过编译无警告， 你说他就是一个 cdecl 呢还是一个编译器的bug呢？

zhaohongjian000

zylthinking 发表于 2013-01-28 17:44
查了查， 至少 c standard 里面没有 cdecl 或者 stdcall 这些字眼， 因此这些应该是编译器概念；
那么， 很 ...

你理解错cdecl了，cdecl只是一种调用约定，并不是C的调用约定就是cdecl。不解释，你自己查查看吧，吃饭去了。

zylthinking

zhaohongjian000 发表于 2013-01-28 17:47
你理解错cdecl了，cdecl只是一种调用约定，并不是C的调用约定就是cdecl。不解释，你自己查查看吧，吃饭 ...

我不知道它是一种？？？ 至少看到上面列出 stdcall 之类的字眼时， 你也该动动脑子。
如果 arm eabi 和 cdecl 是地位相同的实体， 那么， 上面列出的代码则：
1， 要么支持 cdecl， 不理 eabi 规定前四个参数通过 r0-r3， 所有参数通过栈传递
2， 要么报错， 表明不支持 cdecl， 好吧， 说荒唐些， cdecl ABI， 是你认为他们地位相同的， 那么我叫他 cdecl ABI 可以吗？

你让通过编译的那段代码如何自处？

zhaohongjian000

zylthinking 发表于 2013-01-28 17:54
我不知道它是一种？？？ 至少看到上面列出 stdcall 之类的字眼时， 你也该动动脑子。
如果 arm eabi 和 ...

该动脑子的是你。

首先，gcc的手册中说的很清楚：

cdecl
On the Intel 386, the cdecl attribute causes the compiler to assume that the calling function will pop off the stack space used to pass arguments. This is useful to override the effects of the -mrtd switch.

如果这样：

1. static void  __attribute__((cdecl)) mp4_parse(char* mp4, int len)
   
2. {
   
3. }
   

复制代码

用linaro gcc for arm编译，会有一个警告：

1. cdecl.c:2:1: 警告：‘cdecl’属性指定被忽略 [-Wattributes]

复制代码

直接在函数前面加__cdecl是会报错的。我假定你用的编译器是gcc，可是armcc我也试过也无法通过。唯一的解释就是，__cdecl是个宏，你应该检查一下。

zhaohongjian000

大体看了看gcc的实现，attribute的处理通过一个attribute_spec的结构体来进行，这个结构中会定义attribute的信息，并有一个回调函数。

各个gcc支持的体系结构会定义一个attribute_spec的数组，包含了该体系结构支持的特定的attribute。

和我想的一样，arm的attribute_spec定义在gcc/config/arm/arm.c约280行左右，其中并没有对cdecl的处理；
相应的，i386的定义在gcc/config/i386/i386.c约35389，包含了对cdecl的处理。

实际上，grep源代码就可以发现，基本上只有i386对这个属性进行了处理。