Struct SpirVBackend 

pub struct SpirVBackend {
    pub module: SpirVModule,
    /* private fields */
}

The SPIR-V code generation backend for OxiLean.

Translates OxiLean expressions and declarations into SPIR-V modules targeting Vulkan compute or graphics shaders.

Fields

module: SpirVModule

The SPIR-V module being built

Implementations

impl SpirVBackend

pub fn new() -> Self

Create a new SPIR-V backend.

pub fn configure_for_vulkan(&mut self)

Enable the Shader capability and GLSL 450 memory model (typical Vulkan setup).

pub fn configure_for_opencl(&mut self)

Configure for OpenCL/compute kernels.

pub fn get_void_type(&mut self) -> u32

Declare or retrieve the void type.

pub fn declare_int_type(&mut self, width: u32, signed: bool) -> u32

Declare a scalar integer type.

pub fn declare_float_type(&mut self, width: u32) -> u32

Declare a scalar float type.

pub fn declare_vector_type(&mut self, element_type_id: u32, count: u32) -> u32

Declare a vector type.

pub fn declare_pointer_type( &mut self, storage_class: StorageClass, pointee_type_id: u32, ) -> u32

Declare a pointer type.

pub fn declare_function_type( &mut self, return_type_id: u32, param_type_ids: Vec<u32>, ) -> u32

Declare a function type.

pub fn declare_int_constant(&mut self, type_id: u32, value: u64) -> u32

Declare an integer constant.

pub fn declare_float_constant(&mut self, type_id: u32, value: f32) -> u32

Declare a float constant.

pub fn declare_bool_constant(&mut self, type_id: u32, value: bool) -> u32

Declare a bool constant.

pub fn declare_global_variable( &mut self, name: impl Into<String>, type_id: u32, storage_class: StorageClass, decorations: Vec<Decoration>, ) -> u32

Declare a global variable.

pub fn begin_function( &mut self, name: impl Into<String>, return_type_id: u32, param_type_ids: Vec<u32>, ) -> SpirVFunction

Begin building a new function.

pub fn finish_function(&mut self, func: SpirVFunction)

Finalize and add a function to the module.

pub fn emit_text(&self) -> String

Emit the module as SPIR-V assembly text.

pub fn emit_binary_header(&self) -> Vec<u32>

Emit a minimal valid SPIR-V binary header (magic + version + generator + bound + schema).

pub fn function_count(&self) -> usize

Get the number of functions in the module.

pub fn lookup_symbol(&self, name: &str) -> Option<u32>

Look up a symbol by name.

pub fn emit_compute_kernel( &mut self, kernel_name: impl Into<String>, local_size_x: u32, local_size_y: u32, local_size_z: u32, ) -> u32

Emit a compute shader skeleton for the given kernel name and local size.

Trait Implementations

impl Debug for SpirVBackend

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

Formats the value using the given formatter.

impl Default for SpirVBackend

fn default() -> Self

Returns the “default value” for a type.