我们可以很容易将一个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来不断控制循环过程。

Golang汇编命令解读的更多相关文章

  1. 【转】Golang汇编命令解读

    原文: https://www.cnblogs.com/yjf512/p/6132868.html ------------------------------------------------- ...

  2. golang io中io.go解读

    目录 1. 整体大纲 2. 接口 读 写 关闭 寻址 3. 函数 读 写 复制 4. 结构体 SectionReader LimitedReader teeReader 5. 备注 根据golang ...

  3. golang微服务框架go-micro 入门笔记2.4 go-micro service解读

    本章节阐述go-micro 服务发现原理 go-micro架构 下图来自go-micro官方 阅读本文前你可能需要进行如下知识储备 golang分布式微服务框架go-micro 入门笔记1:搭建go- ...

  4. Golang 并发Groutine实例解读（二）

    go提供了sync包和channel机制来解决协程间的同步与通信. 一.sync.WaitGroup sync包中的WaitGroup实现了一个类似任务队列的结构,你可以向队列中加入任务,任务完成后就 ...

  5. Golang context包解读

    Context 通常被译作 上下文 ,一般理解为程序单元的一个运行状态.现场.快照,而翻译中 上下 又很好地诠释了其本质,上下上下则是存在上下层的传递, 上 会把内容传递给 下 . 在Go语言中,程序 ...

  6. golang slice 源码解读

    本文从源码角度学习 golang slice 的创建.扩容,深拷贝的实现. 内部数据结构 slice 仅有三个字段,其中array 是保存数据的部分,len 字段为长度,cap 为容量. type s ...

  7. golang中的标准库context解读

    简介 golang 中的创建一个新的 goroutine , 并不会返回像c语言类似的pid,所有我们不能从外部杀死某个goroutine,所有我就得让它自己结束,之前我们用 channel + se ...

  8. Golang 源码解读 01、深入解析 strings.Builder、strings.Join

    strings.Builder 源码解析. 存在意义. 实现原理. 常用方法. 写入方法. 扩容方法. String() 方法. 禁止复制. 线程不安全. io.Writer 接口. 代码. stri ...

  9. Golang 并发Groutine实例解读（一）

    Go语言的并发和并行 不知道你有没有注意到一个现象,还是这段代码,如果我跑在两个goroutines里面的话: var quit chan int = make(chan int) func loop ...

随机推荐

  1. Java初始化过程

    这篇文章主要讲解Java在创建对象的时候,初始化的顺序.主要从以下几个例子中讲解: 继承关系中初始化顺序 初始化块与构造器的顺序 已经加载过的类的初始化顺序 加载父类,会不会加载子类 创建子类对象会不 ...

  2. 一步一步教你用CSS画爱心

    今天小颖给大家分享一个用CSS画的爱心,底下有代码和制作过程,希望对大家有所帮助. 第一步: 先画一个正方形.如图: <!DOCTYPE html> <html> <he ...

  3. CSS 特殊属性介绍之 pointer-events

    首先看一下 MDN 上关于 pointer-events 的介绍: CSS属性 pointer-events 允许作者控制特定的图形元素在何时成为鼠标事件的 target.当未指定该属性时,SVG 内 ...

  4. iOS审核这些坑，腾讯游戏也踩过

    作者:Jamie,专项技术测试工程师,在iOS预审和ASO优化领域从事专项测试相关工作,为腾讯游戏近100个产品提供专项服务. WeTest 导读 在App上架苹果应用商店的过程中,相信大多数iOS开 ...

  5. EF6 对多个数据库，多个DBContext的情况 进行迁移的方法。

    参见: http://stackoverflow.com/questions/21537558/multiple-db-contexts-in-the-same-db-and-application- ...

  6. js学习之函数的参数传递

    我们都知道在 ECMAScript 中,数据类型分为原始类型(又称值类型/基本类型)和引用类型(又称对象类型):这里我将按照这两种类型分别对函数进行传参,看一下到底发生了什么. 参数的理解 首先,我们 ...

  7. Spark的StandAlone模式原理和安装、Spark-on-YARN的理解

    Spark是一个内存迭代式运算框架,通过RDD来描述数据从哪里来,数据用那个算子计算,计算完的数据保存到哪里,RDD之间的依赖关系.他只是一个运算框架,和storm一样只做运算,不做存储. Spark ...

  8. NYOJ 455

    1.应该交代清楚,参加宴会的人不知道一共有多少顶帽子.假如知道有n顶帽子的话,第一次开灯看见有n-1只,自然就知道自己是第n顶黑帽子,所以应该是这n个人在第一次关灯就打自己脸,不过这么一来就没意思了, ...

  9. 将css和js缓存到localStorage缓存，提高网页响应速度

    适用于小站点,这很极致,很快速~~ /** * Created by SevenNight on 2016/9/21 0021. * 插件功能:使用localStorage缓存js和css文件,减少h ...

  10. CSharpGL(34)以从零编写一个KleinBottle渲染器为例学习如何使用CSharpGL

    CSharpGL(34)以从零编写一个KleinBottle渲染器为例学习如何使用CSharpGL +BIT祝威+悄悄在此留下版了个权的信息说: 开始 本文用step by step的方式,讲述如何使 ...