谁能帮我解释一下这段汇编

goingstudy

这是C 代码：

1. #include <stdio.h>
   
2. 
   
3. int main()
   
4. {
   
5.         char str[16]= "";
   
6. 
   
7.         if ( str[0] != '\0')
   
8.                 printf("1\n");
   
9.         else
   
10.                 printf("2\n");
    
11. 
    
12.         return 0;
    
13. }
    

复制代码

gcc -S 对应的汇编：

1.         .file        "1.c"
   
2.         .section        .rodata
   
3. .LC1:
   
4.         .string        "1"
   
5. .LC2:
   
6.         .string        "2"
   
7. .LC0:
   
8.         .string        ""
   
9.         .zero        15
   
10.         .text
    
11. .globl main
    
12.         .type        main, @function
    
13. main:
    
14. .LFB2:
    
15.         pushq        %rbp
    
16. .LCFI0:
    
17.         movq        %rsp, %rbp
    
18. .LCFI1:
    
19.         subq        $16, %rsp
    
20. .LCFI2:
    
21.         movzbl        .LC0(%rip), %eax      ；这个是取.LC0处的一个字符放到eax中吗？
    
22.         movb        %al, -16(%rbp)         ；然后放到str[]数组的第1个元素
    
23.         movq        $0, -15(%rbp)          ；0->str的第2-9个元素
    
24.         movl                $0, -7(%rbp)            ；0->str的第10-13个元素
    
25.         movw        $0, -3(%rbp)           ；0->str的第14-15个元素
    
26.         movb        $0, -1(%rbp)           ；0->str的第16个元素
    
27.         movzbl        -16(%rbp), %eax    ；取str的第一个元素到eax中
    
28.         testb        %al, %al                         ；这个地方为什么这么测试？
    
29.         je        .L2
    
30.         movl        $.LC1, %edi
    
31.         call        puts
    
32.         jmp        .L4
    
33. .L2:
    
34.         movl        $.LC2, %edi
    
35.         call        puts
    
36. .L4:
    
37.         movl        $0, %eax
    
38.         leave
    
39.         ret
    
40. .LFE2:
    
41.         .size        main, .-main
    
42.         .section        .eh_frame,"a",@progbits
    
43. .Lframe1:
    
44.         .long        .LECIE1-.LSCIE1
    
45. .LSCIE1:
    
46.         .long        0x0
    
47.         .byte        0x1
    
48.         .string        "zR"
    
49.         .uleb128 0x1
    
50.         .sleb128 -8
    
51.         .byte        0x10
    
52.         .uleb128 0x1
    
53.         .byte        0x3
    
54.         .byte        0xc
    
55.         .uleb128 0x7
    
56.         .uleb128 0x8
    
57.         .byte        0x90
    
58.         .uleb128 0x1
    
59.         .align 8
    
60. .LECIE1:
    
61. .LSFDE1:
    
62.         .long        .LEFDE1-.LASFDE1
    
63. .LASFDE1:
    
64.         .long        .LASFDE1-.Lframe1
    
65.         .long        .LFB2
    
66.         .long        .LFE2-.LFB2
    
67.         .uleb128 0x0
    
68.         .byte        0x4
    
69.         .long        .LCFI0-.LFB2
    
70.         .byte        0xe
    
71.         .uleb128 0x10
    
72.         .byte        0x86
    
73.         .uleb128 0x2
    
74.         .byte        0x4
    
75.         .long        .LCFI1-.LCFI0
    
76.         .byte        0xd
    
77.         .uleb128 0x6
    
78.         .align 8
    
79. .LEFDE1:
    
80.         .ident        "GCC: (GNU) 4.1.2 20071124 (Red Hat 4.1.2-42)"
    
81.         .section        .note.GNU-stack,"",@progbits
    

复制代码

我上面的那段注释理解的正确吗？

hellioncu

movzbl  0扩展赋值
testb  对应你的 if

goingstudy

回复 2# hellioncu

0扩展我知道，但是testb为什么那样测试？
还有能帮我看一下上面的那段注释正确吗？
我是感觉还是有些地方说不通
   

hellioncu

goingstudy 发表于 2015-06-03 16:43
回复 2# hellioncu

0扩展我知道，但是testb为什么那样测试？

你认为应该怎样 testb？

goingstudy

回复 4# hellioncu

大哥不要调戏我啊，
我是比较 str[0] != "", testb %al，%al中，al是str[0]处的值？
   

hellioncu

goingstudy 发表于 2015-06-03 17:05
回复 4# hellioncu

大哥不要调戏我啊，

前面那句不是mov到eax了么，eax跟al啥关系你总知道吧

goingstudy

回复 6# hellioncu

我知道啊，eax的al是str的第一个元素，然后不应该是与.LC0处的东西去比较？
此处是gcc的优化还是什么？
还有就是对str数组的初始化为什么是那样，我是cahr str[16] = "",那初始化不应该是从.LC0处去读内容来初始化？
也是gcc的优化吗？

   

egmkang

如果跟.LC0+0偏移比较的话,就是相对寻址了,还没mov到eax里面去来的快


你这个还没开启优化吧,开启优化了,那个判断应该都会被干掉,只有一个printf