一、CPU 基础知识
cpu 内部结构
cpu 内部主要是由寄存器、控制器、运算器和时钟四个部分组成。
寄存器：用来暂时存放指令、数据等对象。它是一个更快的内存。cpu 内部一般有 20 - 100 个寄存器。不同类型的cpu，它内部的寄存器数量、种类以及寄存器存储的数值范围都不相同。
控制器：它负责把内存上的指令、数据等读入寄存器，根据指令执行的结果来控制整个计算机。
运算器：它负责运算从内存读入寄存器的数据。
时钟：它负责发出 cpu 开始计时的时钟信号。时钟信号频率越高，cpu 的运行速度越快。
cpu 指令集
就是用机器语言规定了一系列的操作指令，这些指令用来对cpu进行操作，或者说cpu能够运行这些指令。
机器语言：它是由声明和指令组成。
用于算术运算，寻址或控制功能的特定寄存器
存储空间地址或偏移量
解释操作数的特定寻址模式
二、什么是汇编语言
维基百科解释：
一种汇编语言专用于某种计算机系统结构，而不像许多高级语言，可以在不同系统平台之间移植
那就从另外一个方面来理解下，汇编语言的来历。
预处理 -> 编译 -> 汇编 -> 链接 -> 可执行程序
最开始打孔编程时，程序员就是用这种用 0 和 1 组合方式来编写程序。想象一下，这种编程方式不仅编写速度慢，效率低下，更不容易阅读，且查找程序错误也非常困难。
但是我们仍然要为不同的 cpu 编写不同的汇编程序，因为每个 cpu 的机器指令集各不相同，汇编语言仍是一门低级语言。为了进一步提高效率，又发明了第一个正式推广的高级语言 FORTRAN。随后，各种高级语言不断出现。用各种高级语言编写程序符合人们思考事物、解决问题的习惯。
了解 cpu 运行情况。汇编语言最终会编译成机器语言。
比如：mov 和 add 分别是 move(数据的存储) 和 addition(相加) 的缩写。汇编语言和机器语言基本是一一对应的。
三、Go 汇编和寄存器简介
plan9 汇编简介
通过上面内容知道，CPU 内部的存储单元是寄存器，用于存放从内存读取而来的数据、指令和存储 CPU 运算的中间结果。怎么操作这些寄存器？用机器语言，但是机器语言程序编写耗时耗力，排错也很困难，为了解决这些问题，人们发明了汇编语言。
plan9 汇编，使用的是 GAS 汇编语法（），与 AT&T 汇编格式有很多相同之处，但也有不同之处。plan9 作者们是写 unix 操作系统的同一批人，大名鼎鼎的贝尔实验室开发的(Plan 9 From Bell Labs)，其实 plan9 是一个操作系统。
2 者指令和操作数位置是相反的：
GAS: MOVL AX BX // 将 AX 寄存器的值复制到 BX 寄存器中（复制也就是移动，移动数据）
Intel: MOV EBX EAX // 将 EAX 寄存器的值复制到 EBX 寄存器中还有一些命令也不同，比如在 GAS 中，操作数的字长，movq 表示移动 8byte=64位 长度，movl 表示移动 4byte=32位 长度。在 intel 的汇编规则中则有不同,
GAS: MOVB $1 AL // 将 $1 的值复制到 AL 寄存器里
Intel-x64:
mov al, 0x44 // 1 byte
mov ah, 0x33 // 1 byte
mov rax, 0x1 // 8 bytes汇编一般有2大分类：Intel 汇编 和 AT&T 汇编
Intel 汇编：windows 系列的，因为有 win-intel 联盟，一般是 win 派系的 VC 编译器
AT&T 汇编：Unix、Linux 和 Max OS ，一般是 GCC 编译器
plan9 通用寄存器
AX BX CX DX DI SI BP SP R8 R9 R10 R11 R12 R13 R14 R15 PCBP : 基准指针寄存器。
AX, BX, CX, DX, DI, SI, R8~R15伪寄存器
Go 汇编中有 4 个伪寄存器，这个 4 个伪寄存器是编译器用来维护上下文、特殊标识等作用的。
FP, Frame Pointer, arguments and locals：帧指针，参数和本地 。指向当前 frame 起始位置
SP, Stack Pointer, top of stack: 指向栈顶
PC, Program Counter, jumps and branches: 程序计数器，跳转和分支
SB, Static Base, global symbols: 静态基指针, 全局符号
所有用户定义的符号(局部数据、参数名等)都作为偏移量写入伪寄存器 FP（局部数据、输入参数、返回值） 和 SB（全局数据）。
FP： 这个伪寄存器用来标识函数参数、返回值、局部数据。
symbol(符号) 表示参数变量名，offset 表示偏移量，相对于 FP 的偏移量， 比如：first_arg+0(FP) 表示函数第一个参数位置，偏移 0byte； second_arg+8(FP) 表示函数参数偏移 8byte 的另外参数。first_arg 只是一个标记，在汇编中first_arg 是不存在的。
前面知道 movq 命令是移动 8byte 长度的数据。这个命令意思：移动 8byte 长度的数据到 BX 寄存器，这个数据（arg+8(FP)）偏移 FP 8byte。
SB：用来声明全局变量或声明函数
package main
func add() {}上面的函数用命令编译后：
go tool compile -S -N -l .\demo1.go
"".add STEXT nosplit size=1 args=0x0 locals=0x0
0x0000 00000 (.\demo1.go:3) TEXT "".add(SB), NOSPLIT|ABIInternal, $0-0
... 其余的省略 ...这里声明了一个 add 函数。后面在详解。
PC：程序计数器，程序运行的下一个指令地址。
SP：plan9 中的 SP 指向当前栈帧的局部变量的开始位置。
伪寄存器和硬件寄存器区别：
symbol+offset(SP) 则表示伪寄存器 SP。
offset(SP) 则表示硬件寄存器 SP。
把函数栈分成了很多小块 Frame , FP 就是指向这些小块 Frame 的指针。
四、进程的虚拟内存布局
有一张图表示了进程在 linux 32位中的虚拟内存布局。根据这张图在画一个稍微简略点的内存模型图，
stack，编译器自动维护的内存空间，向下增长。heap，用户手动分配的内存空间，向上增长，比如 c 语言里 malloc 函数分配的内存空间就位于 heap 里。
前文提到的 FP、SP，没有关于 golang 调用栈的基础知识，一头包，很难理解，这里再进一步加强理解。
FP, Frame Pointer, 指向当前 frame 起始位置
SP, Stack Pointer, 指向栈顶，top of stack
五、Go 函数调用栈
在官方 stack.go 程序中的 Stack frame layout 图：
// Stack frame layout
//
// (x86)
// +------------------+
// | args from caller |
// +------------------+ <- frame->argp
// | return address |
// +------------------+
// | caller's BP (*) | (*) if framepointer_enabled && varp < sp
// +------------------+ <- frame->varp
// | locals |
// +------------------+
// | args to callee |
// +------------------+ <- frame->sp
//
// (arm)
// +------------------+
// | args from caller |
// +------------------+ <- frame->argp
// | caller's retaddr |
// +------------------+ <- frame->varp
// | locals |
// +------------------+
// | args to callee |
// +------------------+
// | return address |
// +------------------+ <- frame->sp六、Go 汇编例子学习
Go 编译器会输出一种抽象可移植的汇编代码，这种汇编代码并不对应某种真实的硬件架构。Go 的汇编器会使用这些伪汇编，再为目标硬件生成具体的机器指令。
第一个汇编例子
编写一个 go 文件，demo1.go，例子来自《Go语言高级编程》：
package main
var Id = 9876然后编译成 go 汇编语言， go1.15.13 windows/amd64
$ go tool compile -S .\demo1.go
go.cuinfo.packagename. SDWARFINFO dupok size=0
0x0000 6d 61 69 6e main
""..inittask SNOPTRDATA size=24
0x0000 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................
0x0010 00 00 00 00 00 00 00 00 ........
"".Id SNOPTRDATA size=8
0x0000 94 26 00 00 00 00 00 00 .&......：调用 go 语言提供的底层命令工具， 参数，表示输出汇编格式。
在来看看汇编，前面的内容可以先不管，主要看最后一段：
"".Id SNOPTRDATA size=8
0x0000 94 26 00 00 00 00 00 00 .&......"".Id：对应 Id 变量符号
SNOPTRDATA：相关标识，其中 NOPTR 表示不包含指针数据
// 还可以加上 -N -l 禁止内联优化
go tool compile -S -N -l demo1.go第二个例子
写个复杂点的程序，demo2.go。
package pkg
func add(a, b int) int {
return a + b
}go1.15.13 windows/amd64 下编译。
1 "".add STEXT nosplit size=25 args=0x18 locals=0x0
2 0x0000 00000 (demo2.go:3) TEXT "".add(SB), NOSPLIT|ABIInternal, $0-24
3 0x0000 00000 (demo2.go:3) FUNCDATA $0, gclocals·33cdeccccebe80329f1fdbee7f5874cb(SB)
4 0x0000 00000 (demo2.go:3) FUNCDATA $1, gclocals·33cdeccccebe80329f1fdbee7f5874cb(SB)
5 0x0000 00000 (demo2.go:3) MOVQ $0, "".~r2+24(SP)
6 0x0009 00009 (demo2.go:4) MOVQ "".a+8(SP), AX
7 0x000e 00014 (demo2.go:4) ADDQ "".b+16(SP), AX
8 0x0013 00019 (demo2.go:4) MOVQ AX, "".~r2+24(SP)
9 0x0018 00024 (demo2.go:4) RET
0x0000 48 c7 44 24 18 00 00 00 00 48 8b 44 24 08 48 03 H.D$.....H.D$.H.
0x0010 44 24 10 48 89 44 24 18 c3 D$.H.D$..
go.cuinfo.packagename. SDWARFINFO dupok size=0
0x0000 70 6b 67 pkg
gclocals·33cdeccccebe80329f1fdbee7f5874cb SRODATA dupok size=8
0x0000 01 00 00 00 00 00 00 00第2行：TEXT "".add(SB), NOSPLIT|ABIInternal, $0-24
TEXT "".add(SB)：
《深入理解Go语言(07)：内存分配原理》中有进程的内存布局说明。
SB，它是一个虚拟寄存器，保存了静态基地址指针，即是程序地址空间开始的地址。
NOSPLIT|ABIInternal：
看这里
$0-24:
$0 代表将要分配的栈帧大小；24 代表调用方传入的参数大小。
第 5 行：MOVQ $0, "".~r2+24(SP)
go1.15.13 windows/amd64
package main
func calculate(val1, val2 int) (sumret int, subret int) {
res1 := val1 + val2
res2 := val1 - val2
return res1, res2
}
func main() {
calculate(32, 53)
}编译：
1 "".calculate STEXT nosplit size=90 args=0x20 locals=0x18
2 0x0000 00000 (func_cal.go:3) TEXT "".calculate(SB), NOSPLIT|ABIInternal, $24-32
3 0x0000 00000 (func_cal.go:3) SUBQ $24, SP
4 0x0004 00004 (func_cal.go:3) MOVQ BP, 16(SP)
0x0009 00009 (func_cal.go:3) LEAQ 16(SP), BP
0x000e 00014 (func_cal.go:3) FUNCDATA $0, gclocals·33cdeccccebe80329f1fdbee7f5874cb(SB)
0x000e 00014 (func_cal.go:3) FUNCDATA $1, gclocals·33cdeccccebe80329f1fdbee7f5874cb(SB)
0x000e 00014 (func_cal.go:3) MOVQ $0, "".sumret+48(SP)
0x0017 00023 (func_cal.go:3) MOVQ $0, "".subret+56(SP)
0x0020 00032 (func_cal.go:4) MOVQ "".val1+32(SP), AX
0x0025 00037 (func_cal.go:4) ADDQ "".val2+40(SP), AX
0x002a 00042 (func_cal.go:4) MOVQ AX, "".res1+8(SP)
0x002f 00047 (func_cal.go:5) MOVQ "".val1+32(SP), AX
0x0034 00052 (func_cal.go:5) SUBQ "".val2+40(SP), AX
0x0039 00057 (func_cal.go:5) MOVQ AX, "".res2(SP)
0x003d 00061 (func_cal.go:6) MOVQ "".res1+8(SP), AX
0x0042 00066 (func_cal.go:6) MOVQ AX, "".sumret+48(SP)
0x0047 00071 (func_cal.go:6) MOVQ "".res2(SP), AX
0x004b 00075 (func_cal.go:6) MOVQ AX, "".subret+56(SP)
0x0050 00080 (func_cal.go:6) MOVQ 16(SP), BP
0x0055 00085 (func_cal.go:6) ADDQ $24, SP
0x0059 00089 (func_cal.go:6) RET第2行：TEXT "".calculate(SB), NOSPLIT|ABIInternal, $24-32
"".calculate(SB)：""，这个地方应该是包名，这里省略了，用 表示。calculate 函数名。calculate(SB) 表示函数名相对于 SB 伪寄存器的偏移量，二者组合就可以表示函数的具体位置。
看这里
第3行：SUBQ $24, SP
plan9 中操有 push 和 pop，但一般生成的代码中是没有的，它是通过 SUB 和 ADD 调整栈大小，是通过对硬件 SP 寄存器进行运算来实现的。
把 Go 程序编译成汇编语言的命令：
go build -gcflags "-N -l" -ldflags=-compressdwarf=false -o main.out main.go
go tool objdump -s "main.main" main.out > main.S
// or
go tool compile -S main.go
// or
go build -gcflags -S main.go汇编怎么定义变量
汇编代码中用来表示用户定义的符号(变量)时，可以用寄存器和偏移量还有变量名的组合来表示。
比如：x-8(SP)，因为 SP 指向的是栈顶，所以偏移值都是负的，x则表示变量名
七、定义整型变量
package pkg
var Id = 9527用下面的命令查看Go的语言程序对应的伪汇编代码：
$ go tool compile -S pkg.go # or: go build -gcflags -S pkg.go
"".Id SNOPTRDATA size=8
0x0000 37 25 00 00 00 00 00 00 '.......其中 命令用于调用Go语言提供的底层命令工具，其中参数表示输出汇编格式。
是相关的标志，其中表示数据中不包含指针数据。
https://golang.org/doc/asm 。
DATA 命令用于初始化包变量
DATA symbol+offset(SB)/width, valuesymbol 为变量在汇编语言中对应的标识符，
offset 是符号相对于SB的偏移量，
width 是要初始化内存的宽度大小，
value 是要初始化的值，
其中当前包中Go语言定义的符号symbol，在汇编代码中对应，其中“·”中点符号为一个特殊的unicode符号。
DATA ·Id+0(SB)/1, $0x37
DATA ·Id+1(SB)/1, $0x25声明：本文由用户投稿上传，本站不保证内容的真实与正确性，并且不承担相关法律责任，如有侵权请提供版权资料并联系删除！
编程学习分享 » Golang 汇编asm语言，7点基础学习