Awesome
llgo - A Go compiler based on LLVM
LLGo is a Go compiler based on LLVM in order to better integrate Go with the C ecosystem including Python. It's a subproject of the Go+ project.
LLGo aims to expand the boundaries of Go/Go+, providing limitless possibilities such as:
- Game development
- AI and data science
- WebAssembly
- Embedded development
- ...
How can these be achieved?
LLGo := Go + C + Python
LLGo is compatible with C and Python through the language's Application Binary Interface (ABI), while LLGo is compatible with Go through its syntax (source code).
C/C++ standard libary support
You can import a C/C++ standard library in LLGo!
- c
- c/syscall
- c/sys
- c/os
- c/math
- c/math/cmplx
- c/math/rand
- c/pthread
- c/pthread/sync
- c/sync/atomic
- c/time
- c/net
- cpp/std
Here is a simple example:
<!-- embedme doc/_readme/llgo_simple/simple.go -->package main
import "github.com/goplus/llgo/c"
func main() {
c.Printf(c.Str("Hello world\n"))
}
This is a simple example of calling the C printf
function to print Hello world
. Here, c.Str
is not a function for converting a Go string to a C string, but a built-in instruction supported by llgo
for generating a C string constant.
The _demo
directory contains some C standard libary related demos (it start with _
to prevent the go
command from compiling it):
- hello: call C
printf
to printHello world
- concat: call C
fprintf
withstderr
- qsort: call C function with a callback (eg.
qsort
)
To run these demos (If you haven't installed llgo
yet, please refer to How to install):
cd <demo-directory> # eg. cd _demo/hello
llgo run .
How support C/C++ and Python
LLGo use go:linkname
to link an extern symbol througth its ABI:
import _ "unsafe" // for go:linkname
//go:linkname Sqrt C.sqrt
func Sqrt(x float64) float64
You can directly integrate it into your own code:
<!-- embedme doc/_readme/llgo_call_c/call_c.go -->package main
import _ "unsafe" // for go:linkname
//go:linkname Sqrt C.sqrt
func Sqrt(x float64) float64
func main() {
println("sqrt(2) =", Sqrt(2))
}
Or put it into a package (see c/math):
<!-- embedme doc/_readme/llgo_call_cmath/call_cmath.go -->package main
import "github.com/goplus/llgo/c/math"
func main() {
println("sqrt(2) =", math.Sqrt(2))
}
Python support
You can import a Python library in LLGo!
And you can import any Python library into llgo
through a program called llpyg
(see Development tools). The following libraries have been included in llgo
:
- py (abi)
- py/std (builtins)
- py/sys
- py/os
- py/math
- py/json
- py/inspect
- py/statistics
- py/numpy
- py/pandas
- py/torch
- py/matplotlib
Note: For third-party libraries (such as pandas and pytorch), you still need to install the library files.
Here is an example:
<!-- embedme doc/_readme/llgo_call_py/call_py.go -->package main
import (
"github.com/goplus/llgo/py"
"github.com/goplus/llgo/py/math"
"github.com/goplus/llgo/py/std"
)
func main() {
x := math.Sqrt(py.Float(2)) // x = sqrt(2)
std.Print(py.Str("sqrt(2) ="), x) // print("sqrt(2) =", x)
}
It is equivalent to the following Python code:
<!-- embedme doc/_readme/llgo_call_py/call_math.py -->import math
x = math.sqrt(2)
print("sqrt =", x)
Here, We call py.Float(2)
to create a Python number 2, and pass it to Python’s math.sqrt
to get x
. Then we call std.Print
to print the result.
Let's look at a slightly more complex example. For example, we use numpy
to calculate:
package main
import (
"github.com/goplus/llgo/py"
"github.com/goplus/llgo/py/numpy"
"github.com/goplus/llgo/py/std"
)
func main() {
a := py.List(
py.List(1.0, 2.0, 3.0),
py.List(4.0, 5.0, 6.0),
py.List(7.0, 8.0, 9.0),
)
b := py.List(
py.List(9.0, 8.0, 7.0),
py.List(6.0, 5.0, 4.0),
py.List(3.0, 2.0, 1.0),
)
x := numpy.Add(a, b)
std.Print(py.Str("a+b ="), x)
}
Here we define two 3x3 matrices a and b, add them to get x, and then print the result.
The _pydemo
directory contains some python related demos:
- callpy: call Python standard library function
math.sqrt
- pi: print python constants
math.pi
- statistics: define a python list and call
statistics.mean
to get the mean - matrix: a basic
numpy
demo
To run these demos (If you haven't installed llgo
yet, please refer to How to install):
cd <demo-directory> # eg. cd _pydemo/callpy
llgo run .
Other frequently used libraries
LLGo can easily import any libraries from the C ecosystem. Currently, this import process is still manual, but in the future, it will be automated similar to Python library imports.
The currently supported libraries include:
- c/bdwgc
- c/cjson
- c/clang
- c/libuv
- c/llama2
- c/lua
- c/neco
- c/openssl
- c/raylib
- c/sqlite
- c/zlib
- cpp/inih
- cpp/llvm
Here are some examples related to them:
- llama2-c: inference Llama 2 (It's the first llgo AI example)
- mkjson: create a json object and print it
- sqlitedemo: a basic sqlite demo
- tetris: a tetris game based on raylib
Go syntax support
All Go syntax (not including cgo
) is already supported. Here are some examples:
- concat: define a variadic function
- genints: various forms of closure usage (including C function, recv.method and anonymous function)
- errors: demo to implement error interface
- defer: defer demo
- goroutine: goroutine demo
Defer
LLGo defer
does not support usage in loops. This is not a bug but a feature, because we think that using defer
in a loop is a very unrecommended practice.
Garbage Collection (GC)
By default, LLGo implements gc
based on bdwgc (also known as libgc).
However, you can disable gc by specifying the nogc
tag. For example:
llgo run -tags nogc .
Go packages support
Here are the Go packages that can be imported correctly:
- unsafe
- unicode
- unicode/utf8
- unicode/utf16
- math
- math/big (partially)
- math/bits
- math/cmplx
- math/rand
- net/url
- errors
- context
- io
- io/fs
- io/ioutil
- log
- flag
- sort
- bytes
- bufio
- strings
- strconv
- path
- path/filepath
- sync/atomic
- sync (partially)
- syscall (partially)
- runtime (partially)
- os (partially)
- os/exec (partially)
- fmt (partially)
- reflect (partially)
- time (partially)
- encoding
- encoding/binary
- encoding/hex
- encoding/base32
- encoding/base64
- encoding/csv
- net/textproto
- hash
- hash/adler32
- hash/crc32 (partially)
- hash/crc64
- crypto
- crypto/md5
- crypto/sha1
- crypto/sha256
- crypto/sha512 (partially)
- crypto/hmac (partially)
- crypto/rand (partially)
- crypto/subtle (partially)
- regexp
- regexp/syntax
- go/token
- go/scanner
Dependencies
- Go 1.20+
- LLVM 18
- LLD 18
- Clang 18
- pkg-config 0.29+
- bdwgc/libgc 8.0+
- OpenSSL 3.0+
- zlib 1.2+
- Python 3.12+ (optional, for github.com/goplus/llgo/py)
How to install
Follow these steps to generate the llgo
command (its usage is the same as the go
command):
on macOS
<!-- embedme doc/_readme/scripts/install_macos.sh#L2-L1000 -->brew update
brew install llvm@18 pkg-config bdw-gc openssl cjson
brew install python@3.12 # optional
go install -v github.com/goplus/llgo/cmd/llgo@latest
on Linux (Debian/Ubuntu)
<!-- embedme doc/_readme/scripts/install_ubuntu.sh#L2-L1000 -->echo "deb http://apt.llvm.org/$(lsb_release -cs)/ llvm-toolchain-$(lsb_release -cs)-18 main" | sudo tee /etc/apt/sources.list.d/llvm.list
wget -O - https://apt.llvm.org/llvm-snapshot.gpg.key | sudo apt-key add -
sudo apt-get update
sudo apt-get install -y llvm-18-dev clang-18 libclang-18-dev lld-18 pkg-config libgc-dev libssl-dev zlib1g-dev libcjson-dev python3.12-dev
sudo apt-get install -y python3.12-dev # optional
go install -v github.com/goplus/llgo/cmd/llgo@latest
on Windows
TODO
Development tools
- pydump: It's the first program compiled by
llgo
(NOTgo
) in a production environment. It outputs symbol information (functions, variables, and constants) from a Python library in JSON format, preparing for the generation of corresponding packages inllgo
. - pysigfetch: It generates symbol information by extracting information from Python's documentation site. This tool is not part of the
llgo
project, but we depend on it. - llpyg: It is used to automatically convert Python libraries into Go packages that
llgo
can import. It depends onpydump
andpysigfetch
to accomplish the task. - llgen: It is used to compile Go packages into LLVM IR files (*.ll).
- ssadump: It is a Go SSA builder and interpreter.
How do I generate these tools?
<!-- embedme doc/_readme/scripts/install_llgo.sh#L2-L1000 -->git clone https://github.com/goplus/llgo.git
cd llgo
go install -v ./cmd/...
go install -v ./chore/... # compile all tools except pydump
cd chore/_xtool
llgo install ./... # compile pydump
go install github.com/goplus/hdq/chore/pysigfetch@v0.8.1 # compile pysigfetch
Key modules
Below are the key modules for understanding the implementation principles of llgo
:
- llgo/ssa: It generates LLVM IR files (LLVM SSA) using the semantics (interfaces) of Go SSA. Although
LLVM SSA
andGo SSA
are both IR languages, they work at completely different levels.LLVM SSA
is closer to machine code, which abstracts different instruction sets. WhileGo SSA
is closer to a high-level language. We can think of it as the instruction set of theGo computer
.llgo/ssa
is not just limited to thellgo
compiler. If we view it as the high-level expressive power ofLLVM
, you'll find it very useful. Prior tollgo/ssa
, you had to operateLLVM
using machine code semantics. But now, with the advanced SSA form (in the semantics of Go SSA), you can conveniently utilizeLLVM
. - llgo/cl: It is the core of the llgo compiler. It converts a Go package into LLVM IR files. It depends on
llgo/ssa
. - llgo/internal/build: It strings together the entire compilation process of
llgo
. It depends onllgo/ssa
andllgo/cl
.