Struct Air 

pub struct Air { /* private fields */ }

The complete AIR for a function.

Implementations

impl Air

pub fn new(return_type: Type) -> Self

Create a new empty AIR.

pub fn record_spawn_target( &mut self, air_ref: AirRef, worker_fn: Spur, arg_type: Type, return_type: Type, )

ADR-0084: record codegen bookkeeping for a @spawn site.

pub fn spawn_target(&self, air_ref: AirRef) -> Option<&SpawnTarget>

Look up the bookkeeping recorded for a @spawn site, if any.

pub fn set_comptime_value_args( &mut self, inst_index: u32, value_args: Vec<ConstValue>, )

Record the comptime value arguments captured at a CallGeneric site. Indexed by the CallGeneric instruction’s index in instructions.

pub fn comptime_value_args(&self, inst_index: u32) -> &[ConstValue]

Retrieve the comptime value arguments captured at the given CallGeneric site, or an empty slice if none were recorded.

pub fn add_inst(&mut self, inst: AirInst) -> AirRef

Add an instruction and return its reference.

pub fn get(&self, inst_ref: AirRef) -> &AirInst

Get an instruction by reference.

pub fn return_type(&self) -> Type

The return type of this function.

pub fn len(&self) -> usize

The number of instructions.

pub fn is_empty(&self) -> bool

Whether there are no instructions.

pub fn iter(&self) -> impl Iterator<Item = (AirRef, &AirInst)>

Iterate over all instructions with their references.

pub fn add_extra(&mut self, data: &[u32]) -> u32

Add extra data and return the start index.

pub fn get_extra(&self, start: u32, len: u32) -> &[u32]

Get extra data slice by start index and length.

pub fn get_air_refs( &self, start: u32, len: u32, ) -> impl Iterator<Item = AirRef> + '_

Get AirRefs from extra array (for blocks, array elements, intrinsic args, etc.).

pub fn get_call_args( &self, start: u32, len: u32, ) -> impl Iterator<Item = AirCallArg> + '_

Get call arguments from extra array. Each call arg is encoded as 2 u32s: (air_ref, mode).

pub fn get_match_arms( &self, start: u32, len: u32, ) -> impl Iterator<Item = (AirPattern, AirRef)> + '_

Get match arms from extra array. Each match arm is encoded based on pattern type plus the body AirRef.

pub fn get_struct_init( &self, fields_start: u32, fields_len: u32, source_order_start: u32, ) -> (impl Iterator<Item = AirRef> + '_, impl Iterator<Item = usize> + '_)

Get struct init data from extra array. Returns (field_refs_iterator, source_order_iterator).

pub fn remap_string_ids<F>(&mut self, map_fn: F)

where F: Fn(u32) -> u32,

Remap string constant IDs using the provided mapping function.

This is used after parallel function analysis to convert local string IDs (per-function) to global string IDs (across all functions). The mapping function takes a local string ID and returns the global string ID.

pub fn remap_bytes_ids<F>(&mut self, map_fn: F)

where F: Fn(u32) -> u32,

Remap byte-blob IDs after merging per-function bytes pools into a single global pool (mirrors remap_string_ids).

pub fn instructions(&self) -> &[AirInst]

Get a reference to all instructions.

pub fn rewrite_inst_data(&mut self, index: usize, new_data: AirInstData)

Rewrite the data of an instruction at a given index.

This is used by the specialization pass to rewrite CallGeneric to Call. The type and span are preserved.

pub fn push_projections( &mut self, projs: impl IntoIterator<Item = AirProjection>, ) -> (u32, u32)

Add projections to the projections array and return (start, len).

Used for PlaceRead and PlaceWrite instructions.

pub fn get_projections(&self, start: u32, len: u32) -> &[AirProjection]

Get a slice from the projections array.

pub fn get_place_projections(&self, place: &AirPlace) -> &[AirProjection]

Get projections for a place.

pub fn make_place( &mut self, base: AirPlaceBase, projs: impl IntoIterator<Item = AirProjection>, ) -> AirPlaceRef

Create a place with the given base and projections.

This adds the projections to the projections array and returns a PlaceRef that references the place.

pub fn get_place(&self, place_ref: AirPlaceRef) -> &AirPlace

Get a place by reference.

pub fn places(&self) -> &[AirPlace]

Get all places.

pub fn projections(&self) -> &[AirProjection]

Get all projections.

Trait Implementations

impl Clone for Air

fn clone(&self) -> Air

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Air

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for Air

fn default() -> Air

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Air

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for Air

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Serialize for Air

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.