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

Copy Markdown View Source

Control-flow graph analysis: identifies basic-block boundaries and inlineable branch targets.

Summary

Functions

Returns block entries metadata for compiler analysis.

Returns block successors metadata for compiler analysis.

Returns block terminal metadata for compiler analysis.

Helper for control-flow graph analysis: identifies basic-block boundaries and inlineable branch targets.

Helper for control-flow graph analysis: identifies basic-block boundaries and inlineable branch targets.

Helper for control-flow graph analysis: identifies basic-block boundaries and inlineable branch targets.

Helper for control-flow graph analysis: identifies basic-block boundaries and inlineable branch targets.

Returns predecessor counts for compiler control-flow analysis.

Returns predecessor sources for compiler control-flow analysis.

Functions

block_entries(instructions)

Returns block entries metadata for compiler analysis.

block_successors(instructions, entries, start)

Returns block successors metadata for compiler analysis.

block_terminal(instructions, start, next_entry)

Returns block terminal metadata for compiler analysis.

inlineable_entries(instructions, entries)

Helper for control-flow graph analysis: identifies basic-block boundaries and inlineable branch targets.

matching_nip_catch(instructions, catch_idx)

Helper for control-flow graph analysis: identifies basic-block boundaries and inlineable branch targets.

next_entry(entries, start)

Helper for control-flow graph analysis: identifies basic-block boundaries and inlineable branch targets.

opcode_name(op)

Helper for control-flow graph analysis: identifies basic-block boundaries and inlineable branch targets.

predecessor_counts(instructions, entries)

Returns predecessor counts for compiler control-flow analysis.

predecessor_sources(instructions, entries)

Returns predecessor sources for compiler control-flow analysis.