GCC 内存对齐

最新推荐文章于 2024-12-01 12:57:40 发布

原创最新推荐文章于 2024-12-01 12:57:40 发布 · 916 阅读

0 ·

CC 4.0 BY-SA版权

C/C++ 专栏收录该内容

56 篇文章

订阅专栏

本文介绍了在学习C汇编过程中遇到的关于GCC内存对齐的一个现象。通过分析32位编译的汇编代码，发现尽管foo1函数只有一个局部变量，但在栈上却分配了16字节的空间。这实际上是为了满足内存对齐的要求，以提高数据存取效率。学习这个过程的同时，推荐了《深入理解计算机系统》这本书作为进一步阅读材料。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

在学习C 汇编中发现了一个奇怪的现象,如下

    int foo1(int m,int n)
    {
        int p=m*n;
        return p;
    }
    int foo(int a,int b)
    {
        int c=a+1;
        int d=b+2;
        int e=foo1(c,d);
        return e;
    }

    int main()
    {
        int result=foo(3,4);
        return 0;
    }

生成的汇编代码如下

    .file   "foo.c"
    .text
    .globl  foo1
    .type   foo1, @function
foo1:
.LFB0:
    .cfi_startproc
    pushl   %ebp
    .cfi_def_cfa_offset 8
    .cfi_offset 5, -8
    movl    %esp, %ebp
    .cfi_def_cfa_register 5
    subl    $16, %esp
    movl    8(%ebp), %eax
    imull   12(%ebp), %eax
    movl    %eax, -4(%ebp)
    movl    -4(%ebp), %eax
    leave
    .cfi_restore 5
    .cfi_def_cfa 4, 4
    ret
    .cfi_endproc
.LFE0:
    .size   foo1, .-foo1
    .globl  foo
    .type   foo, @function
foo:
.LFB1:
    .cfi_startproc
    pushl   %ebp
    .cfi_def_cfa_offset 8
    .cfi_offset 5, -8
    movl    %esp, %ebp
    .cfi_def_cfa_register 5
    subl    $16, %esp
    movl    8(%ebp), %eax
    addl    $1, %eax
    movl    %eax, -12(%ebp)
    movl    12(%ebp), %eax
    addl    $2, %eax
    movl    %eax, -8(%ebp)
    pushl   -8(%ebp)
    pushl   -12(%ebp)
    call    foo1
    addl    $8, %esp
    movl    %eax, -4(%ebp)
    movl    -4(%ebp), %eax
    leave
    .cfi_restore 5
    .cfi_def_cfa 4, 4
    ret
    .cfi_endproc
.LFE1:
    .size   foo, .-foo
    .globl  main
    .type   main, @function
main:
.LFB2:
    .cfi_startproc
    pushl   %ebp
    .cfi_def_cfa_offset 8
    .cfi_offset 5, -8
    movl    %esp, %ebp
    .cfi_def_cfa_register 5
    subl    $16, %esp
    pushl   $4
    pushl   $3
    call    foo
    addl    $8, %esp
    movl    %eax, -4(%ebp)
    movl    $0, %eax
    leave
    .cfi_restore 5
    .cfi_def_cfa 4, 4
    ret
    .cfi_endproc
.LFE2:
    .size   main, .-main
    .ident  "GCC: (Ubuntu 5.4.0-6ubuntu1~16.04.5) 5.4.0 20160609"
    .section    .note.GNU-stack,"",@progbits

代码使用32位编译的，一个int的字节是4
把上面的帧栈画出来

帧栈
ebp(main)

4 (para b in foo)
3 (para a in foo)
ret(return of foo)
ebp(foo)
s[fool return value](local var in foo)
d(6)[b+2](local var in foo)
c(4)[a+1](local var in foo)

d(para var in foo1)
c(para var in foo1)
ret(return of foo1)
ebp(foo1就是这里)
p(laocao var in foo1)
null
null
null