Module sway_ir::analysis::memory_utils

An analysis to compute symbols that escape out from a function. This could be into another function, or via ptr_to_int etc. Any transformations involving such symbols are unsafe.

Enums

• Symbol

Constants

• ESCAPED_SYMBOLS_NAME

Functions

• combine_indices
  Combine a series of GEPs into one.
• compute_escaped_symbols
• compute_escaped_symbols_pass
• create_escaped_symbols_pass
• get_loaded_ptr_values
  Pointers that may possibly be loaded from.
• get_loaded_symbols
  Symbols that may possibly be loaded from.
• get_memory_offsets
  Given a memory pointer instruction, compute the offset of indexed element, for each symbol that this may alias to.
• get_stored_ptr_values
  Pointers that may possibly be stored to.
• get_stored_symbols
  Symbols that may possibly be stored to.
• get_symbol
• get_symbols
• may_alias
  Can memory ranges [val1, val1+len1] and [val2, val2+len2] overlap? Conservatively returns true if cannot statically determine.
• must_alias
  Are memory ranges [val1, val1+len1] and [val2, val2+len2] exactly the same? Conservatively returns false if cannot statically determine.
• pointee_size
  For a pointer argument ptr_val, what’s the size of its pointee.

Type Aliases

• EscapedSymbols