y的字节码转换为控制流图（Control Flow Graph），这个结构令其他语言使用的最佳化技术可被使用在JavaScript，其中包含形态的特殊化（type specialization）、行内函式（Inline function）、线性扫描的暂存器配置（linear scan register allocator）、死码删除（Dead code elimination）以及尽可能将程序移出回圈外（Loop-Invariant Code Motion）。该编译器可以在ARM、X86及X86-64上