abi layout: add some compiletests

Author: Firestar99

tests/compiletests/ui/glam/invalid_vector_type.rs

@@ -0,0 +1,47 @@
+// build-fail
+
+use core::num::NonZeroU32;
+use spirv_std::glam::Vec2;
+use spirv_std::spirv;
+
+#[rust_gpu::vector::v1]
+pub struct FewerFields {
+    _v: f32,
+}
+
+#[rust_gpu::vector::v1]
+pub struct TooManyFields {
+    _x: f32,
+    _y: f32,
+    _z: f32,
+    _w: f32,
+    _v: f32,
+}
+
+#[rust_gpu::vector::v1]
+pub struct NotVectorField {
+    _x: Vec2,
+    _y: Vec2,
+}
+
+#[rust_gpu::vector::v1]
+pub struct NotVectorField2 {
+    _x: NonZeroU32,
+    _y: NonZeroU32,
+}
+
+#[rust_gpu::vector::v1]
+pub struct DifferentTypes {
+    _x: f32,
+    _y: u32,
+}
+
+#[spirv(fragment)]
+pub fn entry(
+    _: FewerFields,
+    _: TooManyFields,
+    _: NotVectorField,
+    #[spirv(flat)] _: NotVectorField2,
+    #[spirv(flat)] _: DifferentTypes,
+) {
+}

tests/compiletests/ui/glam/invalid_vector_type.stderr

@@ -0,0 +1,28 @@
+error: `#[spirv(vector)]` must have 2, 3 or 4 members
+ --> $DIR/invalid_vector_type.rs:8:1
+  |
+8 | pub struct FewerFields {
+  | ^^^^^^^^^^^^^^^^^^^^^^
+
+error: `#[spirv(vector)]` must have 2, 3 or 4 members
+  --> $DIR/invalid_vector_type.rs:13:1
+   |
+13 | pub struct TooManyFields {
+   | ^^^^^^^^^^^^^^^^^^^^^^^^
+
+error: `#[spirv(vector)]` type fields must all be floats, integers or bools
+  --> $DIR/invalid_vector_type.rs:22:1
+   |
+22 | pub struct NotVectorField {
+   | ^^^^^^^^^^^^^^^^^^^^^^^^^
+   |
+   = note: field type is f32x2
+
+error: `#[spirv(vector)]` member types must all be the same
+  --> $DIR/invalid_vector_type.rs:34:1
+   |
+34 | pub struct DifferentTypes {
+   | ^^^^^^^^^^^^^^^^^^^^^^^^^
+
+error: aborting due to 4 previous errors
+

tests/compiletests/ui/glam/offsets_vec3_vec3a.rs

@@ -0,0 +1,57 @@
+// build-pass
+// compile-flags: -C llvm-args=--disassemble
+// normalize-stderr-test "OpSource .*\n" -> ""
+// normalize-stderr-test "OpLine .*\n" -> ""
+// normalize-stderr-test "%\d+ = OpString .*\n" -> ""
+// normalize-stderr-test "; .*\n" -> ""
+// normalize-stderr-test "OpCapability VulkanMemoryModel\n" -> ""
+// normalize-stderr-test "OpMemoryModel Logical Vulkan" -> "OpMemoryModel Logical Simple"
+// ignore-vulkan1.0
+// ignore-vulkan1.1
+
+use spirv_std::arch::subgroup_shuffle_up;
+use spirv_std::spirv;
+
+#[repr(C)]
+#[derive(Copy, Clone, Default)]
+#[rust_gpu::vector::v1]
+pub struct Vec3 {
+    x: f32,
+    y: f32,
+    z: f32,
+}
+
+#[repr(C, align(16))]
+#[derive(Copy, Clone, Default)]
+#[rust_gpu::vector::v1]
+pub struct Vec3A {
+    x: f32,
+    y: f32,
+    z: f32,
+}
+
+#[repr(C)]
+#[derive(Copy, Clone, Default)]
+pub struct Data<T> {
+    t: T,
+    // this should generate two distinct structs where this member has different offsets
+    value: f32,
+}
+
+impl Vec3 {
+    pub fn to_vec3a(&self) -> Vec3A {
+        Vec3A {
+            x: self.x,
+            y: self.y,
+            z: self.z,
+        }
+    }
+}
+
+#[spirv(fragment)]
+pub fn main(input: Data<Vec3>, output: &mut Data<Vec3A>) {
+    *output = Data {
+        t: input.t.to_vec3a(),
+        value: input.value,
+    };
+}

tests/compiletests/ui/glam/offsets_vec3_vec3a.stderr

@@ -0,0 +1,41 @@
+OpCapability Shader
+OpMemoryModel Logical Simple
+OpEntryPoint Fragment %1 "main" %2 %3
+OpExecutionMode %1 OriginUpperLeft
+OpName %5 "Data<Vec3>"
+OpMemberName %5 0 "t"
+OpMemberName %5 1 "value"
+OpName %6 "Data<Vec3A>"
+OpMemberName %6 0 "t"
+OpMemberName %6 1 "value"
+OpName %2 "input"
+OpName %3 "output"
+OpMemberDecorate %5 0 Offset 0
+OpMemberDecorate %5 1 Offset 12
+OpMemberDecorate %6 0 Offset 0
+OpMemberDecorate %6 1 Offset 16
+OpDecorate %2 Location 0
+OpDecorate %3 Location 0
+%7 = OpTypeFloat 32
+%8 = OpTypeVector %7 3
+%5 = OpTypeStruct %8 %7
+%9 = OpTypePointer Input %5
+%6 = OpTypeStruct %8 %7
+%10 = OpTypePointer Output %6
+%11 = OpTypeVoid
+%12 = OpTypeFunction %11
+%2 = OpVariable  %9  Input
+%3 = OpVariable  %10  Output
+%1 = OpFunction  %11  None %12
+%13 = OpLabel
+%14 = OpLoad  %5  %2
+%15 = OpCompositeExtract  %7  %14 0 0
+%16 = OpCompositeExtract  %7  %14 0 1
+%17 = OpCompositeExtract  %7  %14 0 2
+%18 = OpCompositeConstruct  %8  %15 %16 %17
+%19 = OpCompositeExtract  %7  %14 1
+%20 = OpCompositeConstruct  %6  %18 %19
+OpStore %3 %20
+OpNoLine
+OpReturn
+OpFunctionEnd