image texel write: compiletests with explicit formats, fails for scalar formats

Author: Firestar99

tests/compiletests/ui/image/write_format_scalar.rs

@@ -0,0 +1,16 @@
+// Test `OpImageWrite`
+// build-pass
+
+use spirv_std::glam::*;
+use spirv_std::spirv;
+use spirv_std::{Image, arch};
+
+#[spirv(fragment)]
+pub fn main(
+    texels: f32,
+    #[spirv(descriptor_set = 0, binding = 0)] image: &Image!(2D, format = r32f, sampled = false),
+) {
+    unsafe {
+        image.write(UVec2::new(0, 1), texels);
+    }
+}

tests/compiletests/ui/image/write_format_scalar.stderr

@@ -0,0 +1,30 @@
+error[E0277]: the trait bound `f32: Vector<f32, _>` is not satisfied
+  --> $DIR/write_format_scalar.rs:14:39
+   |
+LL |         image.write(UVec2::new(0, 1), texels);
+   |               -----                   ^^^^^^ the trait `Vector<f32, _>` is not implemented for `f32`
+   |               |
+   |               required by a bound introduced by this call
+   |
+   = help: the following other types implement trait `Vector<T, N>`:
+             `BVec2` implements `Vector<bool, 2>`
+             `BVec3` implements `Vector<bool, 3>`
+             `BVec4` implements `Vector<bool, 4>`
+             `DVec2` implements `Vector<f64, 2>`
+             `DVec3` implements `Vector<f64, 3>`
+             `DVec4` implements `Vector<f64, 4>`
+             `IVec2` implements `Vector<i32, 2>`
+             `IVec3` implements `Vector<i32, 3>`
+           and 8 others
+note: required by a bound in `Image::<SampledType, DIM, DEPTH, ARRAYED, MULTISAMPLED, spirv_std::::image::{impl#3}::{constant#0}, FORMAT, COMPONENTS>::write`
+  --> /home/firestar99/workspace/rust-gpu/crates/spirv-std/src/image.rs:805:22
+   |
+LL |     pub unsafe fn write<I, const N: usize>(
+   |                   ----- required by a bound in this associated function
+...
+LL |         texels: impl Vector<SampledType, N>,
+   |                      ^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `Image::<SampledType, DIM, DEPTH, ARRAYED, MULTISAMPLED, spirv_std::::image::{impl#3}::{constant#0}, FORMAT, COMPONENTS>::write`
+
+error: aborting due to 1 previous error
+
+For more information about this error, try `rustc --explain E0277`.

tests/compiletests/ui/image/write_format_vec2.rs

@@ -0,0 +1,17 @@
+// Test `OpImageWrite`
+// build-pass
+// compile-flags: -C target-feature=+StorageImageExtendedFormats
+
+use spirv_std::glam::*;
+use spirv_std::spirv;
+use spirv_std::{Image, arch};
+
+#[spirv(fragment)]
+pub fn main(
+    texels: Vec2,
+    #[spirv(descriptor_set = 0, binding = 0)] image: &Image!(2D, format = rg32f, sampled = false),
+) {
+    unsafe {
+        image.write(UVec2::new(0, 1), texels);
+    }
+}

tests/compiletests/ui/image/write_format_vec4.rs

@@ -0,0 +1,16 @@
+// Test `OpImageWrite`
+// build-pass
+
+use spirv_std::glam::*;
+use spirv_std::spirv;
+use spirv_std::{Image, arch};
+
+#[spirv(fragment)]
+pub fn main(
+    texels: Vec4,
+    #[spirv(descriptor_set = 0, binding = 0)] image: &Image!(2D, format = rgba32f, sampled = false),
+) {
+    unsafe {
+        image.write(UVec2::new(0, 1), texels);
+    }
+}