README
U
Arm64BinFixups
U
Arm64BinModule
U
BSet
U
Blk
U
Class
U
Con
U
Dat
U
Fn
U
Ins
U
InterpValue
U
Jump
U
Op
U
Ref
U
Tmp
U
Typ
T
Target
V
arm64_function_signature
V
compile
V
compile_arm64
V
compile_arm64_bin
V
compile_arm64_bin_module
V
compile_arm64_bin_module_ex
V
compile_arm64_debug
V
compile_arm64_object
V
compile_debug
V
compile_ir_asm
V
compile_ir_bin_module
V
compile_ir_bin_module_ex
V
compile_ir_object
V
compile_la64
V
compile_la64_debug
V
compile_rv64
V
compile_rv64_debug
V
compile_target
V
compile_target_debug
V
compile_wasm
V
compile_wasm_debug
V
interpret

qbe

Download zip

Author

azhzx

Version

0.18.1

License

Apache-2.0

Last updated

28 days ago

Downloads

#Qbe.mbt

A QBE reimplementation in MoonBit — the upstream compiler plus a programmatic IR builder, an in-memory JIT, and LoongArch64/WASM backends

#Features

Byte-faithful QBE core: the optimizer pipeline and the amd64 / arm64 / rv64 backends, checked byte-for-byte against the pinned vendor/qbe reference (661ceb2) — every debug stage and the emitted assembly (406/406 per target)
Extra backends: LoongArch64 and WASM
Programmatic IR builder (ir_builder, C ABI ir_builder_capi, include/qbe_builder.h): construct QBE IL from MoonBit or C with no .ssa round-trip, print it back, or emit assembly text, a Mach-O arm64 object, or a JIT-ready code image
In-memory JIT for macOS/aarch64 (jit/): map and call arm64 machine code with no toolchain in the path, resolving libc via dlsym and host callbacks; usable from the C ABI or Rust
Rust glue layer (rust/, crate qbe-builder): Cranelift/inkwell-style Context / Module / FunctionBuilder / ins(), including Module::jit
Layered runtime: native/ (executable memory, symbol lookup, temp files, process spawn, dynamic linking) shared by jit/ and run_asm/

#Status

amd64 / arm64 / rv64 debug dumps and assembly are byte-identical to vendor/qbe; the self-contained arm64 object matches clang on all 336 compilable cases (python tools/check_route_b.py)
--jit FUNC[,ARG]... runs code in-process; --run-asm FUNC[,ARG] does the same through clang; --run-wasm FUNC[,ARG] runs the WASM backend under node; --emit obj writes a self-contained Mach-O arm64 .o

#Roadmap

(TODO) IR debugger

#Contributors

#Quick start

Clone and bootstrap on macOS or Linux:

git clone https://github.com/azhzx/qbe.mbt.git
cd qbe.mbt
./scripts/bootstrap.sh

If MoonBit is already installed, use --skip-install to avoid installation attempts while still running smoke checks:

./scripts/bootstrap.sh --skip-install

To allow automatic MoonBit installation when moon is missing:

./scripts/bootstrap.sh --install-moon

Documentation:

Arm64BinFixups

source

using @azhzx/qbe/target_arm64/emit { type Arm64BinFixups }

Arm64BinModule

source

using @azhzx/qbe/target_arm64/emit { type Arm64BinModule }

BSet

source

using @azhzx/qbe/types { type BSet }

Blk

source

using @azhzx/qbe/types { type Blk }

Class

source

using @azhzx/qbe/types { type Class }

Class - corresponds to enum Class in all.h

Con

source

using @azhzx/qbe/types { type Con }

Dat

source

using @azhzx/qbe/types { type Dat }

Fn

source

using @azhzx/qbe/types { type Fn }

Ins

source

using @azhzx/qbe/types { type Ins }

InterpValue

source

using @azhzx/qbe/interp { type InterpValue }

Jump

source

using @azhzx/qbe/types { type Jump }

Op

source

using @azhzx/qbe/types { type Op }

Ref

source

using @azhzx/qbe/types { type Ref }

ADT replacing C bit-field (uint type:3; uint val:29)

Tmp

source

using @azhzx/qbe/types { type Tmp }

Typ

source

using @azhzx/qbe/types { type Typ }

Target

source

pub(all) enum Target {
  Amd64Sysv
  Wasm32
  Rv64
  La64
  Arm64
}

arm64_function_signature

source

fn arm64_function_signature(text : String, name : String) -> (Array[Int], Int) raise

compile

source

fn compile(text : String, gas? : String) -> Result[String, @azhzx/qbe/util.QbeError
QbeError]

compile_arm64

source

fn compile_arm64(text : String, gas? : String) -> Result[String, @azhzx/qbe/util.QbeError
QbeError]

compile_arm64_bin

source

fn compile_arm64_bin(text : String) -> Array[Array[Int]] raise

compile_arm64_bin_module

source

fn compile_arm64_bin_module(text : String) -> @azhzx/qbe/target_arm64/emit.Arm64BinModule
Arm64BinModule raise

compile_arm64_bin_module_ex

source

fn compile_arm64_bin_module_ex(text : String) -> (@azhzx/qbe/target_arm64/emit.Arm64BinModule
Arm64BinModule, @azhzx/qbe/target_arm64/emit.Arm64BinFixups
Arm64BinFixups) raise

compile_arm64_debug

source

fn compile_arm64_debug(text : String, flags : String) -> Result[String, @azhzx/qbe/util.QbeError
QbeError]

compile_arm64_object

source

fn compile_arm64_object(text : String) -> Bytes raise

compile_debug

source

fn compile_debug(text : String, flags : String) -> Result[String, @azhzx/qbe/util.QbeError
QbeError]

compile_ir_asm

source

fn compile_ir_asm(funcs : Array[@azhzx/qbe/types.Fn
Fn], datas : Array[@azhzx/qbe/types.Dat
Dat], order : Array[String], typs : Array[@azhzx/qbe/types.Typ
Typ], interner : @azhzx/qbe/util.Interner
Interner, gas? : String) -> String raise

compile_ir_bin_module

source

fn compile_ir_bin_module(funcs : Array[@azhzx/qbe/types.Fn
Fn], datas : Array[@azhzx/qbe/types.Dat
Dat], typs : Array[@azhzx/qbe/types.Typ
Typ], interner : @azhzx/qbe/util.Interner
Interner) -> @azhzx/qbe/target_arm64/emit.Arm64BinModule
Arm64BinModule raise

compile_ir_bin_module_ex

source

fn compile_ir_bin_module_ex(funcs : Array[@azhzx/qbe/types.Fn
Fn], datas : Array[@azhzx/qbe/types.Dat
Dat], typs : Array[@azhzx/qbe/types.Typ
Typ], interner : @azhzx/qbe/util.Interner
Interner) -> (@azhzx/qbe/target_arm64/emit.Arm64BinModule
Arm64BinModule, @azhzx/qbe/target_arm64/emit.Arm64BinFixups
Arm64BinFixups) raise

compile_ir_object

source

fn compile_ir_object(funcs : Array[@azhzx/qbe/types.Fn
Fn], datas : Array[@azhzx/qbe/types.Dat
Dat], typs : Array[@azhzx/qbe/types.Typ
Typ], interner : @azhzx/qbe/util.Interner
Interner) -> Bytes raise

compile_la64

source

fn compile_la64(text : String, gas? : String) -> Result[String, @azhzx/qbe/util.QbeError
QbeError]

compile_la64_debug

source

fn compile_la64_debug(text : String, flags : String) -> Result[String, @azhzx/qbe/util.QbeError
QbeError]

compile_rv64

source

fn compile_rv64(text : String, gas? : String) -> Result[String, @azhzx/qbe/util.QbeError
QbeError]

compile_rv64_debug

source

fn compile_rv64_debug(text : String, flags : String) -> Result[String, @azhzx/qbe/util.QbeError
QbeError]

compile_target

source

fn compile_target(text : String, target : Target, gas? : String) -> Result[String, @azhzx/qbe/util.QbeError
QbeError]

compile_target_debug

source

fn compile_target_debug(text : String, target : Target, flags : String) -> Result[String, @azhzx/qbe/util.QbeError
QbeError]

compile_wasm

source

fn compile_wasm(text : String) -> Result[String, @azhzx/qbe/util.QbeError
QbeError]

compile_wasm_debug

source

fn compile_wasm_debug(text : String, flags : String) -> Result[String, @azhzx/qbe/util.QbeError
QbeError]

interpret

source

fn interpret(src : String, entry? : String, args? : Array[@azhzx/qbe/interp.InterpValue
InterpValue], max_steps? : Int, max_depth? : Int, hook? : (String, Array[@azhzx/qbe/interp.InterpValue
InterpValue]) -> @azhzx/qbe/interp.InterpValue
InterpValue??) -> Result[(@azhzx/qbe/interp.InterpValue
InterpValue, String), @azhzx/qbe/util.QbeError
QbeError]

Source Files

Site source Report issue Packages Build queue Skills Statistics

qbe

#Qbe.mbt

#Features

#Status

#Roadmap

#Contributors

#Quick start

#Arm64BinFixups

#Arm64BinModule

#BSet

#Blk

#Class

#Con

#Dat

#Fn

#Ins

#InterpValue

#Jump

#Op

#Ref

#Tmp

#Typ

#Target

#arm64_function_signature

#compile

#compile_arm64

#compile_arm64_bin

#compile_arm64_bin_module

#compile_arm64_bin_module_ex

#compile_arm64_debug

#compile_arm64_object

#compile_debug

#compile_ir_asm

#compile_ir_bin_module

#compile_ir_bin_module_ex

#compile_ir_object

#compile_la64

#compile_la64_debug

#compile_rv64

#compile_rv64_debug

#compile_target

#compile_target_debug

#compile_wasm

#compile_wasm_debug

#interpret

Source Files

Arm64BinFixups

Arm64BinModule

BSet

Blk

Class

Con

Dat

Fn

Ins

InterpValue

Jump

Op

Ref

Tmp

Typ

Target

arm64_function_signature

compile

compile_arm64

compile_arm64_bin

compile_arm64_bin_module

compile_arm64_bin_module_ex

compile_arm64_debug

compile_arm64_object

compile_debug

compile_ir_asm

compile_ir_bin_module

compile_ir_bin_module_ex

compile_ir_object

compile_la64

compile_la64_debug

compile_rv64

compile_rv64_debug

compile_target

compile_target_debug

compile_wasm

compile_wasm_debug

interpret