Struct spirt::qptr::lift::LiftToSpvPtrInstsInFunc

struct LiftToSpvPtrInstsInFunc<'a> {
    lifter: &'a LiftToSpvPtrs<'a>,
    global_vars: &'a EntityDefs<GlobalVar>,
    deferred_ptr_noops: IndexMap<DataInst, DeferredPtrNoop, BuildHasherDefault<FxHasher>>,
    data_inst_use_counts: EntityOrientedDenseMap<DataInst, NonZeroU32>,
    func_has_qptr_analysis_bug_diags: bool,
}

Fields

lifter: &'a LiftToSpvPtrs<'a>

global_vars: &'a EntityDefs<GlobalVar>

deferred_ptr_noops: IndexMap<DataInst, DeferredPtrNoop, BuildHasherDefault<FxHasher>>

Some QPtr->QPtr QPtrOps must be noops in SPIR-V, but because some of them have meaningful semantic differences in SPIR-T, replacement of their uses must be deferred until after try_lift_data_inst_def has had a chance to observe the distinction.

E.g. QPtrOp::BufferDatas cannot adjust the SPIR-V pointer type, due to interactions between the Block annotation and any potential trailing OpTypeRuntimeArrays (which cannot be nested in non-Block structs).

The QPtrOp itself is only removed after the entire function is lifted, (using data_inst_use_counts to determine whether they’re truly unused).

data_inst_use_counts: EntityOrientedDenseMap<DataInst, NonZeroU32>

func_has_qptr_analysis_bug_diags: bool

Implementations

impl LiftToSpvPtrInstsInFunc<'_>

fn try_lift_data_inst_def( &mut self, func_at_data_inst: FuncAtMut<'_, DataInst>, parent_block: ControlNode ) -> Result<Transformed<DataInstDef>, LiftError>

fn maybe_adjust_pointer_for_access( &self, ptr: Value, addr_space: AddrSpace, pointee_layout: TypeLayout, access_type: Type ) -> Result<Option<DataInstDef>, LiftError>

If necessary, construct an OpAccessChain instruction to turn ptr (pointing to a type with pointee_layout) into a pointer to access_type (which can then be used with e.g. OpLoad/OpStore).

fn resolve_deferred_ptr_noop_uses(&self, values: &mut [Value])

Apply rewrites implied by deferred_ptr_noops to values.

This does not update data_inst_use_counts - in order to do that, you must call self.remove_value_uses(values) beforehand, and then also call self.after_value_uses(values) afterwards.

fn add_value_uses(&mut self, values: &[Value])

fn remove_value_uses(&mut self, values: &[Value])

Trait Implementations

impl Transformer for LiftToSpvPtrInstsInFunc<'_>

fn transform_const_use(&mut self, ct: Const) -> Transformed<Const>

fn transform_value_use(&mut self, v: &Value) -> Transformed<Value>

fn in_place_transform_control_node_def( &mut self, func_at_control_node: FuncAtMut<'_, ControlNode> )

fn in_place_transform_func_decl(&mut self, func_decl: &mut FuncDecl)

fn transform_attr_set_use(&mut self, _attrs: AttrSet) -> Transformed<AttrSet>

fn transform_type_use(&mut self, _ty: Type) -> Transformed<Type>

fn transform_data_inst_form_use( &mut self, _data_inst_form: DataInstForm ) -> Transformed<DataInstForm>

fn transform_global_var_use(&mut self, _gv: GlobalVar) -> Transformed<GlobalVar>

fn transform_func_use(&mut self, _func: Func) -> Transformed<Func>

fn in_place_transform_spv_dialect(&mut self, _dialect: &mut Dialect)

fn in_place_transform_spv_module_debug_info( &mut self, _debug_info: &mut ModuleDebugInfo )

fn transform_attr_set_def( &mut self, attrs_def: &AttrSetDef ) -> Transformed<AttrSetDef>

fn transform_attr(&mut self, attr: &Attr) -> Transformed<Attr>

fn transform_type_def(&mut self, ty_def: &TypeDef) -> Transformed<TypeDef>

fn transform_const_def(&mut self, ct_def: &ConstDef) -> Transformed<ConstDef>

fn transform_data_inst_form_def( &mut self, data_inst_form_def: &DataInstFormDef ) -> Transformed<DataInstFormDef>

fn in_place_transform_module(&mut self, module: &mut Module)

fn in_place_transform_module_dialect(&mut self, dialect: &mut ModuleDialect)

fn in_place_transform_module_debug_info( &mut self, debug_info: &mut ModuleDebugInfo )

fn in_place_transform_global_var_decl(&mut self, gv_decl: &mut GlobalVarDecl)

fn in_place_transform_data_inst_def( &mut self, func_at_data_inst: FuncAtMut<'_, DataInst> )