Module aggregate

Structs

AggregateLayout 🔒

EnumLayout 🔒

EnumVariantLayout 🔒

FieldLayout 🔒

Enums

CollectionLayout 🔒

Collection storage layout used by the backend runtime model.

Functions

aggregate_field_index 🔒

Return one aggregate field index by tuple index or struct declaration order.

aggregate_field_layout 🔒

aggregate_field_offset 🔒

Return one aggregate field byte offset in payload layout order.

aggregate_field_ty 🔒

Return the type of one aggregate field.

aggregate_field_types 🔒

aggregate_layout 🔒

aggregate_payload_bytes 🔒

Return total aggregate payload bytes (excluding backend header space).

align_to 🔒

collection_layout 🔒

Resolve the backend layout used for collection-like values.

emit_aggregate_base_ptr 🔒

Load the current aggregate pointer used as the root for a field access or assignment.

emit_array_alloc 🔒

Allocate heap bytes and write array header with len/cap.

emit_array_store 🔒

Store a runtime local in an array slot with widening when required.

emit_read_aggregate_field_ptr 🔒

Read one aggregate field and leave the resulting pointer-like value on the stack.

emit_struct_base_ptr 🔒

Load the current struct pointer used as the root for a field assignment.

emit_tuple_base_ptr 🔒

Load the current tuple pointer used as the root for a tuple field access.

emit_write_aggregate_field 🔒

Write one aggregate field from a runtime local.

enum_field_layout 🔒

enum_layout 🔒

enum_payload_bytes 🔒

is_inline_aggregate_ty 🔒

is_tuple_base_ty 🔒

Return whether a local type can act as a tuple field base.

layout_from_field_tys 🔒

mir_type_expr_to_ty 🔒

Convert a concrete MIR field type back into checker type form.

root_aggregate_ty 🔒

Return the aggregate type reachable through a direct local or reference local.

scalar_layout 🔒

struct_field_index_by_name 🔒

Return one struct field index in declaration order.

value_layout 🔒