Golang汇编命令解读

2018-01-06 753

我们可以很容易将一个golang程序转变成汇编语言。

比如我写了一个main.go:

package main


func g(p int) int {
     return p+1;
}

func main() {
     c := g(4) + 1
     _ = c
}

使用命令：

GOOS=linux GOARCH=386 go tool compile -S main.go >> main.S

我们就获取了main.S是main.go的汇编版本。

"".g t=1 size=16 value=0 args=0x10 locals=0x0
     0x0000 00000 (main.go:4)     TEXT     "".g(SB), $0-16
     0x0000 00000 (main.go:4)     NOP
     0x0000 00000 (main.go:4)     NOP
     0x0000 00000 (main.go:4)     FUNCDATA     $0, gclocals·23e8278e2b69a3a75fa59b23c49ed6ad(SB)
     0x0000 00000 (main.go:4)     FUNCDATA     $1, gclocals·33cdeccccebe80329f1fdbee7f5874cb(SB)
     0x0000 00000 (main.go:5)     MOVQ     "".p+8(FP), BX
     0x0005 00005 (main.go:5)     INCQ     BX
     0x0008 00008 (main.go:5)     MOVQ     BX, "".~r1+16(FP)
     0x000d 00013 (main.go:5)     RET
     0x0000 48 8b 5c 24 08 48 ff c3 48 89 5c 24 10 c3        H.\$.H..H.\$..
"".main t=1 size=16 value=0 args=0x0 locals=0x0
     0x0000 00000 (main.go:8)     TEXT     "".main(SB), $0-0
     0x0000 00000 (main.go:8)     NOP
     0x0000 00000 (main.go:8)     NOP
     0x0000 00000 (main.go:8)     FUNCDATA     $0, gclocals·33cdeccccebe80329f1fdbee7f5874cb(SB)
     0x0000 00000 (main.go:8)     FUNCDATA     $1, gclocals·33cdeccccebe80329f1fdbee7f5874cb(SB)
     0x0000 00000 (main.go:9)     MOVQ     $4, BX
     0x0007 00007 (main.go:9)     INCQ     BX
     0x000a 00010 (main.go:9)     INCQ     BX
     0x000d 00013 (main.go:11)     RET
     0x0000 48 c7 c3 04 00 00 00 48 ff c3 48 ff c3 c3        H......H..H...
"".init t=1 size=80 value=0 args=0x0 locals=0x0
     0x0000 00000 (main.go:11)     TEXT     "".init(SB), $0-0
     0x0000 00000 (main.go:11)     MOVQ     (TLS), CX
     0x0009 00009 (main.go:11)     CMPQ     SP, 16(CX)
     0x000d 00013 (main.go:11)     JLS     62
     0x000f 00015 (main.go:11)     NOP
     0x000f 00015 (main.go:11)     NOP
     0x000f 00015 (main.go:11)     FUNCDATA     $0, gclocals·33cdeccccebe80329f1fdbee7f5874cb(SB)
     0x000f 00015 (main.go:11)     FUNCDATA     $1, gclocals·33cdeccccebe80329f1fdbee7f5874cb(SB)
     0x000f 00015 (main.go:11)     MOVBQZX     "".initdone·(SB), BX
     0x0016 00022 (main.go:11)     CMPB     BL, $0
     0x0019 00025 (main.go:11)     JEQ     47
     0x001b 00027 (main.go:11)     MOVBQZX     "".initdone·(SB), BX
     0x0022 00034 (main.go:11)     CMPB     BL, $2
     0x0025 00037 (main.go:11)     JNE     40
     0x0027 00039 (main.go:11)     RET
     0x0028 00040 (main.go:11)     PCDATA     $0, $0
     0x0028 00040 (main.go:11)     CALL     runtime.throwinit(SB)
     0x002d 00045 (main.go:11)     UNDEF
     0x002f 00047 (main.go:11)     MOVB     $1, "".initdone·(SB)
     0x0036 00054 (main.go:11)     MOVB     $2, "".initdone·(SB)
     0x003d 00061 (main.go:11)     RET
     0x003e 00062 (main.go:11)     CALL     runtime.morestack_noctxt(SB)
     0x0043 00067 (main.go:11)     JMP     0

首先这个程序根据TEXT是定义函数的，分为3个部分

0x0000 00000 (main.go:4)     TEXT     "".g(SB), $0-16 
0x0000 00000 (main.go:8)     TEXT     "".main(SB), $0-0
0x0000 00000 (main.go:11)     TEXT     "".init(SB), $0-0

这个"". 代表的是这个函数的命名空间。
g(SB) 这里就有个SB的伪寄存器。全名未Static Base，代表g这个函数地址，0−16中的0代表局部变量字节数总和，0表示不存在局部变量。-16代表在0的地址基础上空出16的长度作为传入和返回对象。这个也就是golang如何实现函数的多返回值的方法了。它在定义函数的时候，开辟了一定空间存储传入和传出对象。

NOP命令是作为占位符使用，提供给编译器使用的。可以忽略不看。

下面是

     0x0000 00000 (main.go:4)     FUNCDATA     $0, gclocals·23e8278e2b69a3a75fa59b23c49ed6ad(SB)
     0x0000 00000 (main.go:4)     FUNCDATA     $1, gclocals·33cdeccccebe80329f1fdbee7f5874cb(SB)

这里的FUNCDATA是golang编译器自带的指令，plan9和x86的指令集都是没有的。它用来给gc收集进行提示。提示0和1是用于局部函数调用参数，需要进行回收。

下面是

     0x0000 00000 (main.go:5)     MOVQ     "".p+8(FP), BX
     0x0005 00005 (main.go:5)     INCQ     BX
     0x0008 00008 (main.go:5)     MOVQ     BX, "".~r1+16(FP)

这里有一个FP寄存器，FP是frame pointer，是指向栈底，SP是指向栈顶。BX是一个临时寄存器，那么上面的句子是代表把FP＋8这个位置的数据（参数p），保存到BX中。FP+8代表什么呢，按照上面的图，代表的是参数

INCQ是自增算法，BX里面的数自加1，然后把BX里面的数存储到FP+16，代表的是返回值。
下面就是RET，直接返回。

下面再看看main，我们会发现，main函数里面并没有call g函数，这是由于go汇编编译器会把一些短的函数变成内嵌函数，减少函数调用。

if

我们在main里面增加一个判断逻辑。代码为：

package main


func g(p int) int {
     return p+1;
}

func main() {
     c := g(4) + 1
     var d bool
     if (c > 4) {
          d = true
     } else {
          d = false
     }
     _ = d
     return
}

对应的main的汇编为：

     0x0000 00000 (main.go:8)     TEXT     "".main(SB), $0-0
     0x0000 00000 (main.go:8)     NOP
     0x0000 00000 (main.go:8)     NOP
     0x0000 00000 (main.go:8)     FUNCDATA     $0, gclocals·33cdeccccebe80329f1fdbee7f5874cb(SB)
     0x0000 00000 (main.go:8)     FUNCDATA     $1, gclocals·33cdeccccebe80329f1fdbee7f5874cb(SB)
     0x0000 00000 (main.go:9)     MOVQ     $4, BX
     0x0007 00007 (main.go:9)     INCQ     BX
     0x000a 00010 (main.go:9)     INCQ     BX
     0x000d 00013 (main.go:11)     CMPQ     BX, $4
     0x0011 00017 (main.go:11)     JLE     27
     0x0013 00019 (main.go:12)     MOVQ     $1, AX
     0x001a 00026 (main.go:17)     RET
     0x001b 00027 (main.go:14)     MOVQ     $0, AX
     0x001d 00029 (main.go:17)     JMP     26

可以看是试用CMPQ来进行比较的，JLE代表CMP比较之后的结果，如果BX小于等于4，那么就跳到27指令，就是MOVQ $0, AX，把AX赋值为0，就是false，否则赋值为1，true

这里的JLE是条件转移指令：http://baike.baidu.com/link?url=pdfEpBZ-c-owW0YJrAL71MUi1nIlEpBqljD3agfLtB5KrAaFembK6yKKUNycaSUWTTTyynKhNIfw2LXvGFx4euTIgyXQcVLz5HPxS4AO-kVT9wQxlL6_O-1ygTwfshEgas91S14FU3CRU7a1jImTSK

for

程序改为：

package main


func g(p int) int {
     var sum int
     for i := 0; i < p; i++ {
          sum = sum + i
     }
     return sum
}

func main() {
     c := g(4) + 1
     _ = c
}

这里面有一个for循环，产生的汇编为：

     0x0000 00000 (main.go:4)     TEXT     "".g(SB), $0-16
     0x0000 00000 (main.go:4)     NOP
     0x0000 00000 (main.go:4)     NOP
     0x0000 00000 (main.go:4)     MOVQ     "".p+8(FP), DX
     0x0005 00005 (main.go:4)     FUNCDATA     $0, gclocals·23e8278e2b69a3a75fa59b23c49ed6ad(SB)
     0x0005 00005 (main.go:4)     FUNCDATA     $1, gclocals·33cdeccccebe80329f1fdbee7f5874cb(SB)
     0x0005 00005 (main.go:5)     MOVQ     $0, CX
     0x0007 00007 (main.go:6)     MOVQ     $0, AX
     0x0009 00009 (main.go:6)     CMPQ     AX, DX
     0x000c 00012 (main.go:6)     JGE     $0, 25
     0x000e 00014 (main.go:7)     ADDQ     AX, CX
     0x0011 00017 (main.go:6)     INCQ     AX
     0x0014 00020 (main.go:6)     NOP
     0x0014 00020 (main.go:6)     CMPQ     AX, DX
     0x0017 00023 (main.go:6)     JLT     $0, 14
     0x0019 00025 (main.go:9)     MOVQ     CX, "".~r1+16(FP)
     0x001e 00030 (main.go:9)     RET

AX存的是变量i，DX存的是参数p，CX存的是变量sum，下面的几个命令：

0x0009 00009 (main.go:6)     CMPQ     AX, DX
     0x000c 00012 (main.go:6)     JGE     $0, 25
     0x000e 00014 (main.go:7)     ADDQ     AX, CX
     0x0011 00017 (main.go:6)     INCQ     AX
     0x0014 00020 (main.go:6)     NOP
     0x0014 00020 (main.go:6)     CMPQ     AX, DX
     0x0017 00023 (main.go:6)     JLT     $0, 14

实际上是使用CMP，JGE，JLT来不断控制循环过程。

本文转自轩脉刃博客园博客，原文链接：http://www.cnblogs.com/yjf512/p/6132868.html，如需转载请自行联系原作者

微信关注我们

原文链接：https://yq.aliyun.com/articles/336382

转载内容版权归作者及来源网站所有！

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

《Core Java 2》读书笔记（一）

1，一个线程可以调用interrupt方法来请求终止另一个线程的运行，也就是说线程的 run方法应该不时检查一下它是否应该退出。线程不应该连续不断地工作，应该偶尔进入睡眠或等待状态，以便其他线程由机会得以执行。但当一个线程进入睡眠状态时，它就无法检查自己是否应该终止运行。当另一个线程对当前被中断运行的线程对象调用interrupt方法时，中断调用(sleep或wait)将被InterruptedException终止。但还有种情况要考虑，若线程并未处于睡眠或等待状态，则另一个线程对其调用interrupt方法，则不会产生InterruptedException，对于此，线程应该在下一轮工作之前通过interrupted方法来确认它最近是否被其他线程给请求终止了。整体的框架如下：复制代码 public void run() { while (!interrupted()) { try { …… sleep(50); } catch(InterruptedException ex) { Thread.c...

2018-01-06

618

这里阅读的php版本为PHP-7.1.0 RC3，阅读代码的平台为linux。我们研究下反射这个扩展。反射这个扩展目录是存在在：ext/reflection。其实里面的代码很简单。一个.h文件，一个 .c文件。我们先看下.c文件中，会看到很多ZEND_METHOD ZEND_METHOD(reflection_function, getReturnType) { ... } 对应的宏： #define ZEND_METHOD(classname, name) ZEND_NAMED_FUNCTION(ZEND_MN(classname##_##name)) #define ZEND_NAMED_FUNCTION(name) void name(INTERNAL_FUNCTION_PARAMETERS) #define ZEND_MN(name) zim_##name #define INTERNAL_FUNCTION_PARAMETERS zend_execute_data *execute_data, zval *return_value 这里的##代表的是连接，展开实际上就是：...

2018-01-06

724

资源下载

更多资源

Mario

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长，特征是大鼻子、头戴帽子、身穿背带裤，还留着胡子。与他的双胞胎兄弟路易基一起，长年担任任天堂的招牌角色。

Spring

Spring框架（Spring Framework）是由Rod Johnson于2002年提出的开源Java企业级应用框架，旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念，提供核心容器、应用上下文、数据访问集成等模块，支持整合Hibernate、Struts等第三方框架，其适用范围不仅限于服务器端开发，绝大多数Java应用均可从中受益。

Rocky Linux

Rocky Linux（中文名：洛基）是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版，作为CentOS稳定版停止维护后与RHEL（Red Hat Enterprise Linux）完全兼容的开源替代方案，由社区拥有并管理，支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性，采用模块化包装和SELinux安全架构，默认包含GNOME桌面环境及XFS文件系统，支持十年生命周期更新。

WebStorm

WebStorm 是jetbrains公司旗下一款JavaScript 开发工具。目前已经被广大中国JS开发者誉为“Web前端开发神器”、“最强大的HTML5编辑器”、“最智能的JavaScript IDE”等。与IntelliJ IDEA同源，继承了IntelliJ IDEA强大的JS部分的功能。

Golang汇编命令解读

if

for

《Core Java 2》读书笔记（一）

php内核分析（七）－扩展

相关文章

发表评论

资源下载

Mario

Spring

Rocky Linux

WebStorm

欢迎您来访！