C程序的机器级表示-5

/*********************************************\
 TEXT: C程序的机器级表示
 AUTHOR: arden chao
 DATE: 2006-10-17
 EMAIL:  
 VERSION:1.0.0
\*********************************************/

////////////////////////////////
//2006-11-07 过程控制switch
////////////////////////////////

switch和ifelse的组合是不同的，不仅仅是代码看上去更清晰。

///////////////   C CODE   /////////////////
// filename:asm05.c

/*show the switch*/
void fun_switch(int x)
{
     int a;
     switch(x)
     {
         case 10:
              a=x;
              break;
         case 12:
              a=x-2;
              break;
         case 16:  
              a=x-10;
         case 18:
              a--;
              break;
         case 19:
         case 20:
              a=10;
         break;
         default:
              a=0;                                      
     }
}

///////////////   ASM CODE   ////////////////
// command : gcc -S asm06.c

 .file "asm06.c"
 .text
.globl _fun_switch
 .def _fun_switch; .scl 2; .type 32; .endef
_fun_switch:
 pushl %ebp
 movl %esp, %ebp
 subl $8, %esp
 movl 8(%ebp), %eax
 subl $10, %eax
 movl %eax, -8(%ebp)
 cmpl $10, -8(%ebp)
 ja L9
 movl -8(%ebp), %edx
 movl L10(,%edx,4), %eax
 jmp *%eax
 .section .rdata,"dr"
 .align 4
L10:
 .long L3
 .long L9
 .long L4
 .long L9
 .long L9
 .long L9
 .long L5
 .long L9
 .long L6
 .long L8
 .long L8
 .text
L3:
 movl 8(%ebp), %eax
 movl %eax, -4(%ebp)
 jmp L1
L4:
 movl 8(%ebp), %eax
 subl $2, %eax
 movl %eax, -4(%ebp)
 jmp L1
L5:
 movl 8(%ebp), %eax
 subl $10, %eax
 movl %eax, -4(%ebp)
L6:
 leal -4(%ebp), %eax
 decl (%eax)
 jmp L1
L8:
 movl $10, -4(%ebp)
 jmp L1
L9:
 movl $0, -4(%ebp)
L1:
 leave
 ret

上面的汇编表示中有这样一段语句：
 .section .rdata,"dr"
 .align 4
L10:
 .long L3 ;case 10
 .long L9 ;default
 .long L4 ;case 12
 .long L9 ;default
 .long L9 ;default
 .long L9 ;default
 .long L5 ;case 16
 .long L9 ;default
 .long L6 ;case 18
 .long L8 ;case 19
 .long L8 ;case 20
 .text
这就是我们所谓的跳转表，它表示了一个相对的偏移，我们的最大值-最小值+default=11。

 cmpl $10, -8(%ebp)
 ja L9
 movl -8(%ebp), %edx
 movl L10(,%edx,4), %eax

这里我们拿x和10的差与偏移数(10)做比较，并按照跳转表中的表示，跳转到相应的位置去。所以它的执行效率

比较高。
当然，也不是总是这么理想化，我们对于switch的值如果比较紧凑可以很好的利用switch的优势，但是如果数

值跨度比较大，那么switch就不会使用跳转表了，比如我们把asm06.c中的最后一个条件case 20:改为case

2000: 那么，编译器会把它编译成为类似ifelse组合的形式：

///////////////   ASM CODE   ////////////////
// command : gcc -S asm06.c

 .file "asm06.c"
 .text
.globl _fun_switch
 .def _fun_switch; .scl 2; .type 32; .endef
_fun_switch:
 pushl %ebp
 movl %esp, %ebp
 subl $8, %esp
 movl 8(%ebp), %eax
 movl %eax, -8(%ebp)
 cmpl $16, -8(%ebp)
 je L5
 cmpl $16, -8(%ebp)
 jg L10
 cmpl $10, -8(%ebp)
 je L3
 cmpl $12, -8(%ebp)
 je L4
 jmp L9
L10:
 cmpl $19, -8(%ebp)
 je L8
 cmpl $19, -8(%ebp)
 jg L11
 cmpl $18, -8(%ebp)
 je L6
 jmp L9
L11:
 cmpl $2000, -8(%ebp)
 je L8
 jmp L9
L3:
 movl 8(%ebp), %eax
 movl %eax, -4(%ebp)
 jmp L1
L4:
 movl 8(%ebp), %eax
 subl $2, %eax
 movl %eax, -4(%ebp)
 jmp L1
L5:
 movl 8(%ebp), %eax
 subl $10, %eax
 movl %eax, -4(%ebp)
L6:
 leal -4(%ebp), %eax
 decl (%eax)
 jmp L1
L8:
 movl $10, -4(%ebp)
 jmp L1
L9:
 movl $0, -4(%ebp)
L1:
 leave
 ret

////////////////////////////////
//2006-11-07 继续充电
////////////////////////////////
发现我也只能说到这里，再深入，还需要我继续修炼...希望能给初学C语言的朋友一些引导性的信息。没准儿

等我修炼好了还会继续写呵呵。我的目标是那天某一大学能让我当他们的C语言老师,我在为此做着努力。