Skip to main content

compile_to_riscv

Function compile_to_riscv 

Source
pub fn compile_to_riscv(source: &str) -> Result<String, ParseError>
Expand description

Compile to RV64GC assembly text — the LOGOS → RISC-V AOT tier. Lowers from the SAME Oracle-optimized bytecode the VM/WASM tiers use (so DivPow2 / bounds-elim forms match), then crate::codegen_riscv::codegen_program_riscv emits the assembly. A RISC-V GCC assembles+links it; qemu-user runs it byte-for-byte identical to the VM. Returns a Custom ParseError when the program uses an op/shape outside the currently-lowered fragment (a sound refusal, never wrong code).