LC

Add a Wasm JIT Using Your Knowledge from Track 2

hard6/7

Implement Wasm Validation: Type-Check a Module Before Execution Run Wasm Outside the Browser Using WASI

Language

Compiler

2.0s Limit 256MB

Implementation

Write a C program that documents Wasm-to-native JIT compilation and shows how instructions map to x86-64.

Requirements:

Define a struct for JIT compiler state
Show the mapping from Wasm opcodes to x86-64 instructions
Document register usage (EAX, EBX, RBP, RSP)
Document how control flow is handled
Document how memory access is compiled
Print example native code for a simple add function
Include the terms: JIT, native, Wasm, compile

Why This Matters

Mapping i32.add and local.get directly to x86-64 instructions is precisely what V8's Liftoff baseline compiler does to get Wasm running fast within milliseconds of a page load, before TurboFan's more optimizing tier kicks in for hot functions. Wasmtime's Cranelift backend performs the same register-allocation and jump-patching steps you're documenting here, just with far more sophisticated optimization passes.

Hints

0 / 3 revealed

Validation Suite

main.c

Workspace 1.0