Add invalid swizzle assignment validation (#4598)

Author: sudonatalie

src/webgpu/listing_meta.json

@@ -2979,10 +2979,13 @@
   "webgpu:shader,validation,statement,switch:condition_type:*": { "subcaseMS": 5.402 },
   "webgpu:shader,validation,statement,switch:condition_type_match_case_type:*": { "subcaseMS": 3.750 },
   "webgpu:shader,validation,statement,switch:parse:*": { "subcaseMS": 16.068 },
+  "webgpu:shader,validation,statement,swizzle_assignment:invalid_address_of_swizzle_view:*": { "subcaseMS": 0.794 },
   "webgpu:shader,validation,statement,swizzle_assignment:invalid_component_mismatch:*": { "subcaseMS": 1.246 },
   "webgpu:shader,validation,statement,swizzle_assignment:invalid_component_oob:*": { "subcaseMS": 1.297 },
   "webgpu:shader,validation,statement,swizzle_assignment:invalid_duplicate_components:*": { "subcaseMS": 1.005 },
+  "webgpu:shader,validation,statement,swizzle_assignment:invalid_index_into_swizzle_view:*": { "subcaseMS": 0.692 },
   "webgpu:shader,validation,statement,swizzle_assignment:invalid_lhs_not_reference:*": { "subcaseMS": 3.222 },
+  "webgpu:shader,validation,statement,swizzle_assignment:invalid_mixed_letter_schemes:*": { "subcaseMS": 0.792 },
   "webgpu:shader,validation,statement,swizzle_assignment:invalid_type_mismatch:*": { "subcaseMS": 1.086 },
   "webgpu:shader,validation,statement,swizzle_assignment:valid:*": { "subcaseMS": 138.201 },
   "webgpu:shader,validation,statement,while:condition_type:*": { "subcaseMS": 5.328 },

src/webgpu/shader/validation/statement/swizzle_assignment.spec.ts

@@ -103,3 +103,44 @@ fn main() {
 `;
     t.expectCompileResult(false, code);
   });
+
+g.test('invalid_mixed_letter_schemes')
+  .desc('Invalid swizzle assignment with mixed letter schemes (xyzw vs. rgba)')
+  .fn(t => {
+    t.skipIfLanguageFeatureNotSupported('swizzle_assignment');
+    const code = `
+@fragment
+fn main() {
+  var v = vec4f();
+  v.xr = vec2i();
+}
+`;
+    t.expectCompileResult(false, code);
+  });
+
+g.test('invalid_address_of_swizzle_view')
+  .desc('Invalid to take the address of a swizzle view')
+  .fn(t => {
+    t.skipIfLanguageFeatureNotSupported('swizzle_assignment');
+    const code = `
+@fragment
+fn main() {
+  var v = vec4f();
+  let p = &v.xy;
+}
+`;
+    t.expectCompileResult(false, code);
+  });
+
+g.test('invalid_index_into_swizzle_view')
+  .desc('Invalid to index into a swizzle view on the lhs')
+  .fn(t => {
+    t.skipIfLanguageFeatureNotSupported('swizzle_assignment');
+    const code = `
+@fragment
+fn main() {
+  var v = vec2u();
+  v.xy[0] = 1;
+`;
+    t.expectCompileResult(false, code);
+  });