Compilers, Intermediate Representation.

[tannal]

Variable/value/register types in the IR

1. integer (int8 int16 int32 int64 int128)
2. floating point (float32, float64, NAN)
3. vector

@1: ValueAdd(Int32:@10, Int32@5, Exits, bc#7, ExitValid)

function doMath(a) {
    return (a + 10.5) * (a + 20.5)
|

jump OSRExit(bc#7)

Real World IRs

• Cranelift IR
• Dart kernel
• Golang IR
• JavaScriptCore DFG IR
• LLVM IR
• GCC IR

[tannal]

Basic Block

InstructionBlock in v8

Code Scheduler Register Allocator