Struct spirt::qptr::lift::LiftToSpvPtrs

pub struct LiftToSpvPtrs<'a> {
    cx: Rc<Context>,
    wk: &'static WellKnown,
    layout_cache: LayoutCache<'a>,
    cached_u32_type: Cell<Option<Type>>,
}

Context for lifting QPtrs to SPIR-V OpTypePointers.

See also passes::qptr::lift_to_spv_ptrs (which drives this).

Fields

cx: Rc<Context>

wk: &'static WellKnown

layout_cache: LayoutCache<'a>

cached_u32_type: Cell<Option<Type>>

Implementations

impl<'a> LiftToSpvPtrs<'a>

pub fn new(cx: Rc<Context>, layout_config: &'a LayoutConfig) -> Self

pub fn lift_global_var(&self, global_var_decl: &mut GlobalVarDecl)

pub fn lift_all_funcs( &self, module: &mut Module, funcs: impl IntoIterator<Item = Func> )

fn find_qptr_usage_attr(&self, attrs: AttrSet) -> Result<&QPtrUsage, LiftError>

fn strip_qptr_usage_attr(&self, attrs: AttrSet) -> AttrSet

fn spv_ptr_type_and_addr_space_for_global_var( &self, global_var_decl: &GlobalVarDecl ) -> Result<(Type, AddrSpace), LiftError>

fn as_spv_ptr_type(&self, ty: Type) -> Option<(AddrSpace, Type)>

Returns Some iff ty is a SPIR-V OpTypePointer.

fn spv_ptr_type(&self, addr_space: AddrSpace, pointee_type: Type) -> Type

fn pointee_type_for_usage(&self, usage: &QPtrUsage) -> Result<Type, LiftError>

fn pointee_type_for_mem_usage( &self, usage: &QPtrMemUsage ) -> Result<Type, LiftError>

fn spv_op_type_array( &self, element_type: Type, fixed_len: Option<u32>, stride: Option<NonZeroU32> ) -> Result<Type, LiftError>

fn spv_op_type_struct( &self, field_offsets_and_types: impl IntoIterator<Item = Result<(u32, Type), LiftError>>, extra_attrs: impl IntoIterator<Item = Attr> ) -> Result<Type, LiftError>

fn u32_type(&self) -> Type

Get the (likely cached) u32 type.

fn const_u32(&self, x: u32) -> Const

fn layout_of(&self, ty: Type) -> Result<TypeLayout, LiftError>

Attempt to compute a TypeLayout for a given (SPIR-V) Type.