Struct UpgradeState

struct UpgradeState<'a> {
    padding: Padding,
    module: &'a mut Module,
    upgraded_types: FastHashMap<Handle<Type>, Handle<Type>>,
}

Fields

padding: Padding

module: &'a mut Module

upgraded_types: FastHashMap<Handle<Type>, Handle<Type>>

A map from old types to their upgraded versions.

This ensures we never try to rebuild a type more than once.

Implementations

impl UpgradeState<'_>

fn inc_padding(&self) -> Padding

fn upgrade_type( &mut self, ty: Handle<Type>, upgrades: &Upgrades, ) -> Result<Handle<Type>, Error>

Get a type equivalent to ty, but with Scalar leaves upgraded to Atomic scalars.

If such a type already exists in self.module.types, return its handle. Otherwise, construct a new one and return that handle.

If ty is a Pointer, Array, BindingArray, recurse into the type and upgrade its leaf types.

If ty is a Struct, recurse into it and upgrade only those fields whose indices appear in field_indices.

The existing type is not affected.

fn upgrade_all(&mut self, upgrades: &Upgrades) -> Result<(), Error>