Module translate 

EVM to IR translation.

Modules

peephole 🔒

Peephole optimizations applied during translation.

pf 🔒

vstack 🔒

Section-local virtual stack that tracks EVM stack values as SSA values.

Macros

format_printf 🔒

Structs

FcxConfig 🔒

FunctionCx 🔒

Constants

STACK_CAP 🔒

Functions

effective_stack_diff 🔒

Computes the effective stack diff for an instruction, matching the codegen semantics.

get_field 🔒

Type Aliases

Incoming 🔒

A list of incoming values for a block. Represents a phi node.

SwitchTargets 🔒

A list of switch targets.