abi layout compiletest: struct with Vec3 and Vec3A has distinct member offsets

Author: Firestar99

tests/compiletests/ui/glam/offsets_vec3_vec3a.rs

@@ -0,0 +1,52 @@
+// build-pass
+// compile-flags: -C llvm-args=--disassemble
+// normalize-stderr-test "OpSource .*\n" -> ""
+// normalize-stderr-test "OpLine .*\n" -> ""
+// normalize-stderr-test "%\d+ = OpString .*\n" -> ""
+
+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,46 @@
+; SPIR-V
+; Version: 1.5
+; Generator: rspirv
+; Bound: 21
+OpCapability Shader
+OpCapability VulkanMemoryModel
+OpMemoryModel Logical Vulkan
+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