是否可以在 Go 代码中包含内联汇编?
这篇博客文章展示了将 Go 编译到一个单独的.s
文件并对其进行编辑,但不像许多 C 编译器支持的那样,将内联asm 作为 Go 函数的一部分。
是否可以在 Go 代码中包含内联汇编?
这篇博客文章展示了将 Go 编译到一个单独的.s
文件并对其进行编辑,但不像许多 C 编译器支持的那样,将内联asm 作为 Go 函数的一部分。
不支持内联汇编,但您可以通过 C 与用汇编编写的代码链接,使用 cgo 编译并使用import "C"
,就像在gmp.go中一样。您也可以使用与 Go 直接兼容的汇编风格编写,例如asm_linux_amd64.s,要求函数名称以“·”开头。
或者,您可以使用 nasm 和 gccgo,这是我目前最喜欢的方式。(请注意,Nasm 似乎不支持以“·”开头的函数)。
这是一个有效的“hello world”示例:
你好.asm:
; Based on hello.asm from nasm
SECTION .data ; data section
msg: db "Hello World",10 ; the string to print, 10=cr
len: equ $-msg ; "$" means "here"
; len is a value, not an address
SECTION .text ; code section
global go.main.hello ; make label available to linker (Go)
go.main.hello:
; --- setup stack frame
push rbp ; save old base pointer
mov rbp,rsp ; use stack pointer as new base pointer
; --- print message
mov edx,len ; arg3, length of string to print
mov ecx,msg ; arg2, pointer to string
mov ebx,1 ; arg1, where to write, screen
mov eax,4 ; write sysout command to int 80 hex
int 0x80 ; interrupt 80 hex, call kernel
; --- takedown stack frame
mov rsp,rbp ; use base pointer as new stack pointer
pop rbp ; get the old base pointer
; --- return
mov rax,0 ; error code 0, normal, no error
ret ; return
main.go:
package main
func hello();
func main() {
hello()
hello()
}
还有一个方便的 Makefile:
main: main.go hello.o
gccgo hello.o main.go -o main
hello.o: hello.asm
nasm -f elf64 -o hello.o hello.asm
clean:
rm -rf _obj *.o *~ *.6 *.gch a.out main
我hello()
在 main.go 中调用了两次,只是为了仔细检查 hello() 是否正确返回。
请注意,在 Linux 上直接调用中断 80h 不被认为是好的风格,调用用 C 编写的函数更“面向未来”。另请注意,这是专门针对 64 位 Linux 的程序集,并且在任何方式、形状或形式上都与平台无关。
我知道这不是您问题的直接答案,但它是我所知道的将汇编与 Go 结合使用的最简单的方法,没有内联。如果您真的需要内联,可以编写一个脚本,从源文件中提取内联程序集并按照上述模式进行准备。足够近?:)
Go、C 和 Nasm 的快速示例:gonasm.tgz
更新:更高版本的 gccgo 需要 -g 标志,并且只需要“main.hello”而不是“go.main.hello”。这是 Go、C 和 Yasm 的更新示例:goyasm.tgz
不,你不能,但是使用 go 编译器很容易提供一个函数的汇编实现。无需使用“Import C”来使用汇编。
看看数学库中的一个例子:
http://golang.org/src/pkg/math/abs.go:在这个 go 文件中声明了 Abs 函数。(在这个文件中还有一个 abs 的实现,但是它没有被导出,因为它有一个小写的名字。)
package math
// Abs returns the absolute value of x.
//
// Special cases are:
// Abs(±Inf) = +Inf
// Abs(NaN) = NaN
func Abs(x float64) float64
然后,在http://golang.org/src/pkg/math/abs_amd64.s中,此文件中的 Intel 64 位实现了 Abs:
#include "textflag.h"
// func Abs(x float64) float64
TEXT ·Abs(SB),NOSPLIT,$0
MOVQ $(1<<63), BX
MOVQ BX, X0 // movsd $(-0.0), x0
MOVSD x+0(FP), X1
ANDNPD X1, X0
MOVSD X0, ret+8(FP)
RET
像这样的汇编函数的一个问题是它们没有被 go 编译器内联,所以如果你多次调用一个小函数,你可以获得多少性能是有限度的。在 go 库的汇编中不再实现 abs 函数。我会说 go 编译器已经改进,因此在最近的 go 版本中,通过内联它可以更快地编译没有汇编的 abs 函数。
标准 Go 编译器(即:8g+8l,不是 gccgo)中的优化传递基本上是使用二进制形式的原始指令。编译器目前无法(未实现)区分编译器生成的程序集与用户提供的内联汇编代码 -这是 Go 编译器不允许内联汇编的主要原因。换句话说,由于编译器架构的原因,编译器不支持内联汇编。
当然,Go 语言本身没有任何东西会阻止其他 Go 语言实现(即:其他 Go 编译器)支持内联汇编。内联汇编是特定于编译器的决定——它与 Go 语言本身几乎没有关系。
在任何一种情况下,内联汇编都是不安全的,因为 Go 的类型系统无法检查它的正确性。似乎最好用 C 语言实现任何需要使用内联汇编的函数,并从 Go 调用 C 函数。