Struct naga::valid::analyzer::FunctionInfo

pub struct FunctionInfo {
    flags: ValidationFlags,
    pub available_stages: ShaderStages,
    pub uniformity: Uniformity,
    pub may_kill: bool,
    pub sampling_set: FastHashSet<SamplingKey>,
    global_uses: Box<[GlobalUse]>,
    expressions: Box<[ExpressionInfo]>,
    sampling: FastHashSet<Sampling>,
    pub dual_source_blending: bool,
}

Fields

flags: ValidationFlags

Validation flags.

available_stages: ShaderStages

Set of shader stages where calling this function is valid.

uniformity: Uniformity

Uniformity characteristics.

may_kill: bool

Function may kill the invocation.

sampling_set: FastHashSet<SamplingKey>

All pairs of (texture, sampler) globals that may be used together in sampling operations by this function and its callees. This includes pairings that arise when this function passes textures and samplers as arguments to its callees.

This table does not include uses of textures and samplers passed as arguments to this function itself, since we do not know which globals those will be. However, this table is exhaustive when computed for an entry point function: entry points never receive textures or samplers as arguments, so all an entry point’s sampling can be reported in terms of globals.

The GLSL back end uses this table to construct reflection info that clients need to construct texture-combined sampler values.

global_uses: Box<[GlobalUse]>

How this function and its callees use this module’s globals.

This is indexed by Handle<GlobalVariable> indices. However, FunctionInfo implements std::ops::Index<Handle<GlobalVariable>>, so you can simply index this struct with a global handle to retrieve its usage information.

expressions: Box<[ExpressionInfo]>

Information about each expression in this function’s body.

This is indexed by Handle<Expression> indices. However, FunctionInfo implements std::ops::Index<Handle<Expression>>, so you can simply index this struct with an expression handle to retrieve its ExpressionInfo.

sampling: FastHashSet<Sampling>

All (texture, sampler) pairs that may be used together in sampling operations by this function and its callees, whether they are accessed as globals or passed as arguments.

Participants are represented by GlobalVariable handles whenever possible, and otherwise by indices of this function’s arguments.

When analyzing a function call, we combine this data about the callee with the actual arguments being passed to produce the callers’ own sampling_set and sampling tables.

dual_source_blending: bool

Indicates that the function is using dual source blending.

Implementations

impl FunctionInfo

pub const fn global_variable_count(&self) -> usize

pub const fn expression_count(&self) -> usize

pub fn dominates_global_use(&self, other: &Self) -> bool

impl FunctionInfo

fn add_ref_impl( &mut self, handle: Handle<Expression>, global_use: GlobalUse ) -> Option<Handle<Expression>>

Adds a value-type reference to an expression.

fn add_ref(&mut self, handle: Handle<Expression>) -> Option<Handle<Expression>>

Adds a value-type reference to an expression.

fn add_assignable_ref( &mut self, handle: Handle<Expression>, assignable_global: &mut Option<Handle<GlobalVariable>> ) -> Option<Handle<Expression>>

Adds a potentially assignable reference to an expression. These are destinations for Store and ImageStore statements, which can transit through Access and AccessIndex.

fn process_call( &mut self, callee: &Self, arguments: &[Handle<Expression>], expression_arena: &Arena<Expression> ) -> Result<FunctionUniformity, WithSpan<FunctionError>>

Inherit information from a called function.

fn process_expression( &mut self, handle: Handle<Expression>, expression_arena: &Arena<Expression>, other_functions: &[FunctionInfo], resolve_context: &ResolveContext<'_>, capabilities: Capabilities ) -> Result<(), ExpressionError>

Compute the ExpressionInfo for handle.

Replace the dummy entry in self.expressions for handle with a real ExpressionInfo value describing that expression.

This function is called as part of a forward sweep through the arena, so we can assume that all earlier expressions in the arena already have valid info. Since expressions only depend on earlier expressions, this includes all our subexpressions.

Adjust the reference counts on all expressions we use.

Also populate the sampling_set, sampling and global_uses fields of self.

fn process_block( &mut self, statements: &Block, other_functions: &[FunctionInfo], disruptor: Option<UniformityDisruptor>, expression_arena: &Arena<Expression> ) -> Result<FunctionUniformity, WithSpan<FunctionError>>

Analyzes the uniformity requirements of a block (as a sequence of statements). Returns the uniformity characteristics at the function level, i.e. whether or not the function requires to be called in uniform control flow, and whether the produced result is not disrupting the control flow.

The parent control flow is uniform if disruptor.is_none().

Returns a NonUniformControlFlow error if any of the expressions in the block require uniformity, but the current flow is non-uniform.

Trait Implementations

impl Debug for FunctionInfo

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for FunctionInfo

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Index<Handle<Expression>> for FunctionInfo

type Output = ExpressionInfo

The returned type after indexing.

fn index(&self, handle: Handle<Expression>) -> &ExpressionInfo

Performs the indexing (container[index]) operation.

impl Index<Handle<GlobalVariable>> for FunctionInfo

type Output = GlobalUse

The returned type after indexing.

fn index(&self, handle: Handle<GlobalVariable>) -> &GlobalUse

Performs the indexing (container[index]) operation.

impl Serialize for FunctionInfo

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

Serialize this value into the given Serde serializer.