lightning-sys aims provides safe (as safe as a jit can be) rust bindings to GNU Lightning
use lightning_sys::{Jit, Reg, JitPointer, JitWord};
let jit = Jit::new();
let js = jit.new_state();
js.prolog();
let inarg = js.arg();
js.getarg(Reg::R(0), &inarg);
js.addi(Reg::R(0), Reg::R(0), 1);
js.retr(Reg::R(0));
let incr = unsafe { js.emit::<extern fn(JitWord) -> JitWord>() };
js.clear();
assert_eq!(incr(5), 6);
assert_eq!(incr(6), 7);
extern crate libc;
use std::ffi::CString;
use lightning_sys::{Jit, JitWord, Reg, JitPointer};
use std::convert::TryInto;
fn main() {
let jit = Jit::new();
let js = jit.new_state();
let cs = CString::new("generated %d bytes\n").unwrap();
let start = js.note(file!(), line!());
js.prolog();
let inarg = js.arg();
js.getarg(Reg::R(1), &inarg);
js.prepare();
js.pushargi(cs.as_ptr() as JitWord);
js.ellipsis();
js.pushargr(Reg::R(1));
js.finishi(libc::printf as JitPointer);
js.ret();
js.epilog();
let end = js.note(file!(), line!());
let my_function = unsafe{ js.emit::<extern fn(JitWord)>() };
my_function((js.address(&end) as u64 - js.address(&start) as u64).try_into().unwrap());
js.clear();
}
use lightning_sys::{Jit, JitWord, Reg, JitPointer, NULL};
fn main() {
let jit = Jit::new();
let js = jit.new_state();
let label = js.label();
js.prolog();
let inarg = js.arg();
js.getarg(Reg::R(0), &inarg);
let zero = js.beqi(Reg::R(0), 0);
js.movr(Reg::V(0), Reg::R(0));
js.movi(Reg::R(0), 1);
let refr = js.blei(Reg::V(0), 2);
js.subi(Reg::V(1), Reg::V(0), 1);
js.subi(Reg::V(2), Reg::V(0), 2);
js.prepare();
js.pushargr(Reg::V(1));
let call = js.finishi(NULL);
js.patch_at(&call, &label);
js.retval(Reg::V(1));
js.prepare();
js.pushargr(Reg::V(2));
let call2 = js.finishi(NULL);
js.patch_at(&call2, &label);
js.retval(Reg::R(1));
js.addr(Reg::R(0), Reg::R(0), Reg::V(1));
js.patch(&refr);
js.patch(&zero);
js.retr(Reg::R(0));
js.epilog();
let fib = unsafe{ js.emit::<extern fn(JitWord) -> JitWord>() };
js.clear();
println!("fib({})={}", 32, fib(32));
assert_eq!(0, fib(0));
assert_eq!(1, fib(1));
assert_eq!(1, fib(2));
assert_eq!(2178309, fib(32));
}