gcc对c语言中的switch的优化

在c语言中switch语句会被实现为一个跳转表，跳转表是一个数组，这个数组里面存的都是地址，也就是说只要你传递给它一个i，他就会返回给你，你所需要跳转的地址，这样做得好处就是执行语句的时间和条件的个数无关..不过在gcc里面他也只是条件数大于4个，才会生成这个跳转表.

请看下面的代码：

int switch_eg(int x) 
{ 
    int result = x; 

    switch (x) { 

    case 100: 
	result *= 13; 
	break; 

    case 102: 
	result += 10; 
	/* Fall through */ 

    case 103: 
	result += 11; 
	break; 

    case 104: 
    case 106: 
	result *= result; 
	break; 

    default: 
	result = 0;       
    } 

    return result; 
} 

这只是一段简单的switch语句，下面我们用一段c代码来描述汇编代码所要做得事情.

code *jt[7] = {
    loc_A, loc_def, loc_B, loc_C,  
    loc_D, loc_def, loc_D
}; 
 
int switch_eg_impl(int x) 
{ 
    unsigned xi = x - 100; 
    int result = x; 

    if (xi > 6) 
	goto loc_def; 

    /* Next goto is not legal C */ 
    goto jt[xi]; 

 loc_A:      /* Case 100 */ 
    result *= 13; 
    goto done; 

 loc_B:      /* Case 102 */ 
    result += 10; 
    /* Fall through */ 
    
 loc_C:    /* Case 103 */ 
    result += 11; 
    goto done; 

 loc_D:    /* Cases 104, 106 */ 
    result *= result; 
    goto done; 

 loc_def:  /* Default case*/ 
    result = 0; 

 done: 
    return result; 
} 

看上面的代码就很清楚了，它会对传进来的值与100进行一个减法，然后再将这个值传进switch语句.
而真实的汇编代码是怎么样的呢，我们可以看看：

switch_eg:
	pushl	%ebp
	movl	%esp, %ebp
	movl	8(%ebp), %eax   //这边得到传进来的参数
	leal	-100(%eax), %edx //这边将得到的参数和100做差
	cmpl	$6, %edx //这边和6比较，如果大于6说明下面的条件没有满足的所以默认进入default
	jbe	.L11
.L2:
	popl	%ebp
	xorl	%eax, %eax
	ret
	.p2align 4,,7
.L11:
	jmp	*.L7(,%edx,4)       //这边也就是我们上面伪码所描述的那个jt[xi]
	.section	.rodata
	.align 4
	.align 4
.L7:                    //这边就是所构造的跳转表.
	.long	.L3
	.long	.L2
	.long	.L4
	.long	.L5
	.long	.L6
	.long	.L2
	.long	.L6
	.text
.L6:                         // loc_D
	imull	%eax, %eax  
	popl	%ebp
	.p2align 4,,6
	ret
.L5:                             //loc_c
	popl	%ebp
	movl	$114, %eax
	.p2align 4,,6
	ret
.L4:                          //loc_B
	popl	%ebp
	movl	$123, %eax
	.p2align 4,,4
	ret
.L3:                          //loc_A
	popl	%ebp
	movl	$1300, %eax
	.p2align 4,,4
	ret

评论

2 楼 mryufeng 2009-09-21  

gcc可以对标号取地址 这个特性很有用。

1 楼 dennis_zane 2007-12-08  

skip list?一直不大明白这个结构