Struct SimpleJIT 

pub struct SimpleJIT { /* private fields */ }

A convenience wrapper around LLVMLLJIT.

It takes ownership of the LLVMModule to be compiled and its owning LLVMContext.

Example

use pliron_llvm::llvm_sys::core::{LLVMContext, LLVMMemoryBuffer, LLVMModule};
use pliron_llvm::llvm_sys::lljit::SimpleJIT;

let context = LLVMContext::default();

let ir = r#"
  @sum_global = global i32 0

  define i32 @add(i32 %a, i32 %b) {
      %sum = add i32 %a, %b
      store i32 %sum, ptr @sum_global
      ret i32 %sum
  }"#;

let module = LLVMModule::from_ir_in_str(&context, ir, None).unwrap();

let jit = SimpleJIT::new(context, module).unwrap();
let adder = unsafe { jit.lookup_symbol::<fn(i32, i32) -> i32>("add").unwrap() };
assert_eq!(adder(2, 3), 5);

// The global is updated as a side effect of calling `add`, and can be
// looked up (as a pointer to its storage).
let sum_global = unsafe { jit.lookup_symbol::<*const i32>("sum_global").unwrap() };
assert_eq!(unsafe { **sum_global }, 5);

Implementations

impl SimpleJIT

pub fn new(context: LLVMContext, module: LLVMModule) -> Result<Self, String>

Create a JIT from module and the context that contains it.

See type documentation for examples.

pub unsafe fn lookup_symbol<'jit, T: Copy>( &'jit self, symbol_name: &str, ) -> Result<JitSymbol<'jit, T>, String>

Lookup a symbol in the JIT and interpret it to be of type F.

See type documentation for examples.

Safety

The type of the symbol must be correct.