spirv_std/
typed_buffer.rs#[cfg(target_arch = "spirv")]
use core::arch::asm;
use core::marker::PhantomData;
use core::ops::{Deref, DerefMut};
#[spirv(typed_buffer)]
#[repr(C)]
#[allow(dead_code)]
pub struct TypedBuffer<T: ?Sized> {
_anti_zst_padding: core::mem::MaybeUninit<u32>,
_phantom: PhantomData<T>,
}
impl<T> Deref for TypedBuffer<T> {
type Target = T;
#[spirv_std_macros::gpu_only]
fn deref(&self) -> &T {
unsafe {
let mut result_slot = core::mem::MaybeUninit::uninit();
asm! {
"%uint = OpTypeInt 32 0",
"%uint_0 = OpConstant %uint 0",
"%result = OpAccessChain _ {buffer} %uint_0",
"OpStore {result_slot} %result",
buffer = in(reg) self,
result_slot = in(reg) result_slot.as_mut_ptr(),
}
result_slot.assume_init()
}
}
}
impl<T> DerefMut for TypedBuffer<T> {
#[spirv_std_macros::gpu_only]
fn deref_mut(&mut self) -> &mut T {
unsafe {
let mut result_slot = core::mem::MaybeUninit::uninit();
asm! {
"%uint = OpTypeInt 32 0",
"%uint_0 = OpConstant %uint 0",
"%result = OpAccessChain _ {buffer} %uint_0",
"OpStore {result_slot} %result",
buffer = in(reg) self,
result_slot = in(reg) result_slot.as_mut_ptr(),
}
result_slot.assume_init()
}
}
}
impl<T> Deref for TypedBuffer<[T]> {
type Target = [T];
#[spirv_std_macros::gpu_only]
fn deref(&self) -> &[T] {
unsafe {
let mut result_slot = core::mem::MaybeUninit::uninit();
asm! {
"%uint = OpTypeInt 32 0",
"%uint_0 = OpConstant %uint 0",
"%inner_ptr = OpAccessChain _ {buffer} %uint_0",
"%inner_len = OpArrayLength %uint {buffer} 0",
"%result = OpCompositeConstruct typeof*{result_slot} %inner_ptr %inner_len",
"OpStore {result_slot} %result",
buffer = in(reg) self,
result_slot = in(reg) &mut result_slot,
}
result_slot.assume_init()
}
}
}
impl<T> DerefMut for TypedBuffer<[T]> {
#[spirv_std_macros::gpu_only]
fn deref_mut(&mut self) -> &mut Self::Target {
unsafe {
let mut result_slot = core::mem::MaybeUninit::uninit();
asm! {
"%uint = OpTypeInt 32 0",
"%uint_0 = OpConstant %uint 0",
"%inner_ptr = OpAccessChain _ {buffer} %uint_0",
"%inner_len = OpArrayLength %uint {buffer} 0",
"%result = OpCompositeConstruct typeof*{result_slot} %inner_ptr %inner_len",
"OpStore {result_slot} %result",
buffer = in(reg) self,
result_slot = in(reg) &mut result_slot,
}
result_slot.assume_init()
}
}
}