gcc c 编译器中的 cswtch 生成

Question

我对 gcc 编译器中的目标代码生成有疑问。

在我的程序中，objdump 显示生成了 CSWTCH 部分。

1. 您能否解释一下 C 代码中的哪些条件需要 CSWTCH 部分生成？

2. CSWTCH 部分的分配输出部分是否在 .rodata 中。

3. 在什么情况下，small rodata 将被指定为 CSWTCH 的输出部分。

Answer 1

答案是(1)没有这样的标准:这只是一种编译器生成值表的技术； (2) 这取决于编译器、汇编器和链接器； (3) 这取决于编译器、汇编器和链接器。

GCC(至少是 gcc 版本 5)在 x86 上发出 .section 和 .type 指令:

$ cat cswitch.c
int sw_2 (char x)
{
    switch(x) 
    { 
        case '0': return -1;
        case '1': return  2;
        case '2': return  3;
        case '3': return  5;
        case '4': return  7;
        case '5': return 11;
        case '6': return 13;
        case '7': return 17;
        case '8': return 19;
        case '9': return 23;
        case 'a':return 29;
        case 'A':return 29;
    }

    return -1;
}
$ gcc -Os -S cswitch.c
$ cat cswitch.s
        .file   "cswitch.c"
[mass snippage]
        .section        .rodata
        .align 32
        .type   CSWTCH.1, @object
        .size   CSWTCH.1, 49
CSWTCH.1:

(我发现在 x86 上生成查找表需要 -Os 开关。使用 -O，我得到了一个更典型的跳转表。)

在这种情况下，.section 指令最终应用并将表放入 .rodata 部分。但这只是一种系统的实现方式，对编译器没有硬性要求。

请注意，您可以进行源转换，可能 使编译器在只读数据部分发出表:

int sw_3(char x)
{
    const char table['a' - '1'] = {
        '1' - '1': 2,
        '2' - '1': 3,
        '3' - '1': 5,
        /* ... fill in the remainder as needed */
    };
    if (x >= '1' && x <= 'A') return table[x - '1'];
    return -1;
}

(此转换假定系统使用 ASCII 或 UTF-8 或类似的。)但是，即使在这里，编译器也可以生成任意机器代码，只要它产生适用的任何标准所需的结果即可。