README
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
compile
V
compile_arm64
V
compile_arm64_debug
V
compile_debug
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.8.0

License

Apache-2.0

Last updated

last month

Downloads

#Qbe.mbt

Rewrite Qbe in MoonBit with additional features

#What we implement (same as upstream Qbe)

IR optimizer
RISC-V 64 backend
amd64 (x86-64) backend
arm64 (AArch64) backend — byte-exact output compared against vendor/qbe/qbe -t arm64 (IR: 5684/5684, assembly: 406/406)

#Extended features

LoongArch64 backend
WASM backend
IR Interpreter

#Plan

(TODO) Add JIT interface (copy-and-patch approach)
(TODO) Add IR Debugger
(FIX) rv64 backend: data segment and floating-point constant rodata output, reference differential verification

#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:

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
}

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_debug

source

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

compile_debug

source

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

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) -> 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

#What we implement (same as upstream Qbe)

#Extended features

#Plan

#Contributors

#Quick start

#BSet

#Blk

#Class

#Con

#Dat

#Fn

#Ins

#InterpValue

#Jump

#Op

#Ref

#Tmp

#Typ

#Target

#compile

#compile_arm64

#compile_arm64_debug

#compile_debug

#compile_la64

#compile_la64_debug

#compile_rv64

#compile_rv64_debug

#compile_target

#compile_target_debug

#compile_wasm

#compile_wasm_debug

#interpret

Source Files

BSet

Blk

Class

Con

Dat

Fn

Ins

InterpValue

Jump

Op

Ref

Tmp

Typ

Target

compile

compile_arm64

compile_arm64_debug

compile_debug

compile_la64

compile_la64_debug

compile_rv64

compile_rv64_debug

compile_target

compile_target_debug

compile_wasm

compile_wasm_debug

interpret