Module spv

Frontend for SPIR-V (Standard Portable Intermediate Representation).

ID lookups

Our IR links to everything with Handle, while SPIR-V uses IDs. In order to keep track of the associations, the parser has many lookup tables. There map spv::Word into a specific IR handle, plus potentially a bit of extra info, such as the related SPIR-V type ID. TODO: would be nice to find ways that avoid looking up as much

Inputs/Outputs

We create a private variable for each input/output. The relevant inputs are populated at the start of an entry point. The outputs are saved at the end.

The function associated with an entry point is wrapped in another function, such that we can handle any Return statements without problems.

Row-major matrices

We don’t handle them natively, since the IR only expects column majority. Instead, we detect when such matrix is accessed in the OpAccessChain, and we generate a parallel expression that loads the value, but transposed. This value then gets used instead of OpLoad result later on.

Modules

• convert 🔒
• error 🔒
• function 🔒
• image 🔒
• null 🔒

Structs

• BlockContext 🔒
  Fragments of Naga IR, to be assembled into Statements once data flow is resolved.
• Body 🔒
  An intermediate representation of a Naga Block.
• Decoration 🔒
• DecorationFlags 🔒
• EntryPoint 🔒
• Frontend
• Instruction
• LookupConstant 🔒
• LookupExpression 🔒
  Information about SPIR-V result ids, stored in Frontend::lookup_expression.
• LookupFunction 🔒
• LookupFunctionType 🔒
• LookupMember 🔒
• LookupType 🔒
• LookupVariable 🔒
• Options
• PhiExpression 🔒

Enums

• BodyFragment 🔒
  An intermediate representation of a Naga Statement.
• Constant 🔒
• Error
• ExtendedClass 🔒
• LookupLoadOverride 🔒
• Majority 🔒
• MergeBlockInformation 🔒
• ModuleState
• SignAnchor 🔒
• Variable 🔒

Constants

• SUPPORTED_CAPABILITIES
• SUPPORTED_EXTENSIONS
• SUPPORTED_EXT_SETS

Traits

• LookupHelper 🔒

Functions

• is_parent 🔒
  Helper function to check if child is in the scope of parent
• make_index_literal 🔒
• parse_u8_slice
• resolve_constant 🔒

Type Aliases

• BodyIndex 🔒
  An index into the BlockContext::bodies table.
• MemberIndex 🔒