QuickBEAM.VM.Compiler.Analysis.Types (QuickBEAM v0.10.9)

Copy Markdown View Source

Abstract type inference: propagates JS value types through basic blocks to enable guard elision.

Summary

Functions

function_type(fun)

Helper for abstract type inference: propagates js value types through basic blocks to enable guard elision.

infer_block_entry_types(fun, instructions, entries, stack_depths)

Helper for abstract type inference: propagates js value types through basic blocks to enable guard elision.

Functions

function_type(fun)

Helper for abstract type inference: propagates js value types through basic blocks to enable guard elision.

infer_block_entry_types(fun, instructions, entries, stack_depths)

Helper for abstract type inference: propagates js value types through basic blocks to enable guard elision.