主页 / 问题 / 1545960
Accepted
Никита
Asked:2023-10-15 17:17:10 +0000 UTC2023-10-15 17:17:10 +0000 UTC

静态局部变量存储在哪里取决于优化级别？

  • 772

有时在编译器资源管理器中，相同的静态函数局部变量显示在使用它们的函数之前 (-O0)，有时则显示在汇编程序末尾之后 (-O2)。这是否意味着它们可以通过不同的优化存储在可执行文件中的不同位置？或者它只是一个未定义的 Godbolt 显示顺序，与实际代码无关？

例子

c++

1 个回答

  1. Best Answer

    我不知道链接上的窗口显示什么，但objdump在这两种情况下，它都显示符号_ZZ3barvE1x放置在.rodataoffset处0x2010。

    我使用 g++ v11.4.0 编译器和所有关键-O选项编译了您的示例：

    for o in 0 1 2 3 s fast g; do g++ -O$o main.cpp -o exe.$o; done

    已收到

    -rwxrwxr-x 1 user user 15848 Oct 16 15:35 exe.0*
-rwxrwxr-x 1 user user 15848 Oct 16 15:35 exe.1*
-rwxrwxr-x 1 user user 15848 Oct 16 15:35 exe.2*
-rwxrwxr-x 1 user user 15808 Oct 16 15:35 exe.3*
-rwxrwxr-x 1 user user 17320 Oct 16 15:35 exe.fast*
-rwxrwxr-x 1 user user 15848 Oct 16 15:35 exe.g*
-rwxrwxr-x 1 user user 15848 Oct 16 15:35 exe.s*

    _ZZ3barvE1x找到生成的二进制文件中符号的位置：

    for f in exe*; do echo $f; objdump -t $f | grep _ZZ3barvE1x; done

    结果

    exe.0
0000000000002010 l     O .rodata        0000000000000014              _ZZ3barvE1x
exe.1
0000000000002010 l     O .rodata        0000000000000014              _ZZ3barvE1x
exe.2
0000000000002010 l     O .rodata        0000000000000014              _ZZ3barvE1x
exe.3
exe.fast
exe.g
0000000000002010 l     O .rodata        0000000000000014              _ZZ3barvE1x
exe.s
0000000000002010 l     O .rodata        0000000000000014              _ZZ3barvE1x
    • -O3并对其-Ofast进行了优化，bar()::x
    • 在所有其他情况下，该符号位于.rodata部分0x2010。

    地点rodata

    objdump -h exe.0 | head -5; for f in exe*; do echo $f; objdump -h $f | grep rodata; done

    exe.0:     file format elf64-x86-64

Sections:
Idx Name          Size      VMA               LMA               File off  Algn
exe.0
 15 .rodata       00000024  0000000000002000  0000000000002000  00002000  2**4
exe.1
 15 .rodata       00000024  0000000000002000  0000000000002000  00002000  2**4
exe.2
 15 .rodata       00000024  0000000000002000  0000000000002000  00002000  2**4
exe.3
 15 .rodata       00000004  0000000000002000  0000000000002000  00002000  2**2
exe.fast
 15 .rodata       00000004  0000000000002000  0000000000002000  00002000  2**2
exe.g
 15 .rodata       00000024  0000000000002000  0000000000002000  00002000  2**4
exe.s
 15 .rodata       00000024  0000000000002000  0000000000002000  00002000  2**4

    所有文件中的节都rodata位于偏移量处0x2000，并且在所有情况下都加载到虚拟地址0x2000

    章节内容rodata

    objdump -s -j .rodata exe.0

    exe.0:     file format elf64-x86-64

Contents of section .rodata:
 2000 01000200 00000000 00000000 00000000  ................
 2010 01000000 02000000 03000000 04000000  ................
 2020 05000000

    可以看到，虚拟地址0x2010包含一个数组[1,2,3,4,5]

    在使用键-O3和编译的文件中-Ofast，常量bar()::x没有进行任何优化，因此在这些文件中它rodata要短得多：

    exe.3:     file format elf64-x86-64

Contents of section .rodata:
 2000 01000200                             ....            

exe.fast:     file format elf64-x86-64

Contents of section .rodata:
 2000 01000200                             ....

    全部的

    在所有情况下，常量bar()::x都位于二进制文件中的同一位置。或者根本不存在））

    • 3

相关问题