Remove Clone() from sem::Types

These should always be generated by the resolver, not manually constructed by transforms.

This also fixes duplicate intrinsic output from DecomposeStorageAccess.

Bug: tint:724
Change-Id: I979d55f7b141f38c0504dc72cc3c63e8353ac14f
Reviewed-on: https://dawn-review.googlesource.com/c/tint/+/49881
Commit-Queue: Ben Clayton <bclayton@google.com>
Reviewed-by: James Price <jrprice@google.com>
diff --git a/src/sem/access_control_type.cc b/src/sem/access_control_type.cc
index 03bfbc0..8e94d60 100644
--- a/src/sem/access_control_type.cc
+++ b/src/sem/access_control_type.cc
@@ -66,11 +66,5 @@
   return out.str();
 }
 
-AccessControl* AccessControl::Clone(CloneContext* ctx) const {
-  // Clone arguments outside of create() call to have deterministic ordering
-  auto* ty = ctx->Clone(type());
-  return ctx->dst->create<AccessControl>(access_, ty);
-}
-
 }  // namespace sem
 }  // namespace tint
diff --git a/src/sem/access_control_type.h b/src/sem/access_control_type.h
index bf0db33..8f49ee0 100644
--- a/src/sem/access_control_type.h
+++ b/src/sem/access_control_type.h
@@ -54,11 +54,6 @@
   /// declared in WGSL.
   std::string FriendlyName(const SymbolTable& symbols) const override;
 
-  /// Clones this type and all transitive types using the `CloneContext` `ctx`.
-  /// @param ctx the clone context
-  /// @return the newly cloned type
-  AccessControl* Clone(CloneContext* ctx) const override;
-
  private:
   ast::AccessControl::Access const access_;
   const Type* const subtype_;
diff --git a/src/sem/alias_type.cc b/src/sem/alias_type.cc
index 8e5e750..26b05c0 100644
--- a/src/sem/alias_type.cc
+++ b/src/sem/alias_type.cc
@@ -40,12 +40,5 @@
   return symbols.NameFor(symbol_);
 }
 
-Alias* Alias::Clone(CloneContext* ctx) const {
-  // Clone arguments outside of create() call to have deterministic ordering
-  auto sym = ctx->Clone(symbol());
-  auto* ty = ctx->Clone(type());
-  return ctx->dst->create<Alias>(sym, ty);
-}
-
 }  // namespace sem
 }  // namespace tint
diff --git a/src/sem/alias_type.h b/src/sem/alias_type.h
index 75ffe0a..927234a 100644
--- a/src/sem/alias_type.h
+++ b/src/sem/alias_type.h
@@ -18,6 +18,7 @@
 #include <string>
 
 #include "src/sem/type.h"
+#include "src/symbol.h"
 
 namespace tint {
 namespace sem {
@@ -47,11 +48,6 @@
   /// declared in WGSL.
   std::string FriendlyName(const SymbolTable& symbols) const override;
 
-  /// Clones this type and all transitive types using the `CloneContext` `ctx`.
-  /// @param ctx the clone context
-  /// @return the newly cloned type
-  Alias* Clone(CloneContext* ctx) const override;
-
  private:
   Symbol const symbol_;
   Type const* const subtype_;
diff --git a/src/sem/array_type.cc b/src/sem/array_type.cc
index ebac7c2..f0846e4 100644
--- a/src/sem/array_type.cc
+++ b/src/sem/array_type.cc
@@ -63,12 +63,5 @@
   return out.str();
 }
 
-ArrayType* ArrayType::Clone(CloneContext* ctx) const {
-  // Clone arguments outside of create() call to have deterministic ordering
-  auto* ty = ctx->Clone(type());
-  auto decos = ctx->Clone(decorations());
-  return ctx->dst->create<ArrayType>(ty, size_, decos);
-}
-
 }  // namespace sem
 }  // namespace tint
diff --git a/src/sem/array_type.h b/src/sem/array_type.h
index 6ddad88..77fe676 100644
--- a/src/sem/array_type.h
+++ b/src/sem/array_type.h
@@ -58,11 +58,6 @@
   /// declared in WGSL.
   std::string FriendlyName(const SymbolTable& symbols) const override;
 
-  /// Clones this type and all transitive types using the `CloneContext` `ctx`.
-  /// @param ctx the clone context
-  /// @return the newly cloned type
-  ArrayType* Clone(CloneContext* ctx) const override;
-
  private:
   Type* const subtype_;
   uint32_t const size_;
diff --git a/src/sem/bool_type.cc b/src/sem/bool_type.cc
index b828742..817693f 100644
--- a/src/sem/bool_type.cc
+++ b/src/sem/bool_type.cc
@@ -35,9 +35,5 @@
   return "bool";
 }
 
-Bool* Bool::Clone(CloneContext* ctx) const {
-  return ctx->dst->create<Bool>();
-}
-
 }  // namespace sem
 }  // namespace tint
diff --git a/src/sem/bool_type.h b/src/sem/bool_type.h
index c42213e..af2a21c 100644
--- a/src/sem/bool_type.h
+++ b/src/sem/bool_type.h
@@ -44,11 +44,6 @@
   /// @returns the name for this type that closely resembles how it would be
   /// declared in WGSL.
   std::string FriendlyName(const SymbolTable& symbols) const override;
-
-  /// Clones this type and all transitive types using the `CloneContext` `ctx`.
-  /// @param ctx the clone context
-  /// @return the newly cloned type
-  Bool* Clone(CloneContext* ctx) const override;
 };
 
 }  // namespace sem
diff --git a/src/sem/depth_texture_type.cc b/src/sem/depth_texture_type.cc
index 81ba2b8..d028d68 100644
--- a/src/sem/depth_texture_type.cc
+++ b/src/sem/depth_texture_type.cc
@@ -51,9 +51,5 @@
   return out.str();
 }
 
-DepthTexture* DepthTexture::Clone(CloneContext* ctx) const {
-  return ctx->dst->create<DepthTexture>(dim());
-}
-
 }  // namespace sem
 }  // namespace tint
diff --git a/src/sem/depth_texture_type.h b/src/sem/depth_texture_type.h
index 947223f..1704ad9 100644
--- a/src/sem/depth_texture_type.h
+++ b/src/sem/depth_texture_type.h
@@ -39,11 +39,6 @@
   /// @returns the name for this type that closely resembles how it would be
   /// declared in WGSL.
   std::string FriendlyName(const SymbolTable& symbols) const override;
-
-  /// Clones this type and all transitive types using the `CloneContext` `ctx`.
-  /// @param ctx the clone context
-  /// @return the newly cloned type
-  DepthTexture* Clone(CloneContext* ctx) const override;
 };
 
 }  // namespace sem
diff --git a/src/sem/external_texture_type.cc b/src/sem/external_texture_type.cc
index c101245..5152fc1 100644
--- a/src/sem/external_texture_type.cc
+++ b/src/sem/external_texture_type.cc
@@ -35,9 +35,5 @@
   return "texture_external";
 }
 
-ExternalTexture* ExternalTexture::Clone(CloneContext* ctx) const {
-  return ctx->dst->create<ExternalTexture>();
-}
-
 }  // namespace sem
 }  // namespace tint
diff --git a/src/sem/external_texture_type.h b/src/sem/external_texture_type.h
index e91cd00..9b2fbcc 100644
--- a/src/sem/external_texture_type.h
+++ b/src/sem/external_texture_type.h
@@ -39,11 +39,6 @@
   /// @returns the name for this type that closely resembles how it would be
   /// declared in WGSL.
   std::string FriendlyName(const SymbolTable& symbols) const override;
-
-  /// Clones this type and all transitive types using the `CloneContext` `ctx`.
-  /// @param ctx the clone context
-  /// @return the newly cloned type
-  ExternalTexture* Clone(CloneContext* ctx) const override;
 };
 
 }  // namespace sem
diff --git a/src/sem/f32_type.cc b/src/sem/f32_type.cc
index f2d2043..12f5c1e 100644
--- a/src/sem/f32_type.cc
+++ b/src/sem/f32_type.cc
@@ -35,9 +35,5 @@
   return "f32";
 }
 
-F32* F32::Clone(CloneContext* ctx) const {
-  return ctx->dst->create<F32>();
-}
-
 }  // namespace sem
 }  // namespace tint
diff --git a/src/sem/f32_type.h b/src/sem/f32_type.h
index e26bba9..54dc1cd 100644
--- a/src/sem/f32_type.h
+++ b/src/sem/f32_type.h
@@ -38,11 +38,6 @@
   /// @returns the name for this type that closely resembles how it would be
   /// declared in WGSL.
   std::string FriendlyName(const SymbolTable& symbols) const override;
-
-  /// Clones this type and all transitive types using the `CloneContext` `ctx`.
-  /// @param ctx the clone context
-  /// @return the newly cloned type
-  F32* Clone(CloneContext* ctx) const override;
 };
 
 }  // namespace sem
diff --git a/src/sem/i32_type.cc b/src/sem/i32_type.cc
index 495180c..dcc6a78 100644
--- a/src/sem/i32_type.cc
+++ b/src/sem/i32_type.cc
@@ -35,9 +35,5 @@
   return "i32";
 }
 
-I32* I32::Clone(CloneContext* ctx) const {
-  return ctx->dst->create<I32>();
-}
-
 }  // namespace sem
 }  // namespace tint
diff --git a/src/sem/i32_type.h b/src/sem/i32_type.h
index 5d96fcf..27bd3bb 100644
--- a/src/sem/i32_type.h
+++ b/src/sem/i32_type.h
@@ -38,11 +38,6 @@
   /// @returns the name for this type that closely resembles how it would be
   /// declared in WGSL.
   std::string FriendlyName(const SymbolTable& symbols) const override;
-
-  /// Clones this type and all transitive types using the `CloneContext` `ctx`.
-  /// @param ctx the clone context
-  /// @return the newly cloned type
-  I32* Clone(CloneContext* ctx) const override;
 };
 
 }  // namespace sem
diff --git a/src/sem/matrix_type.cc b/src/sem/matrix_type.cc
index b8b965c..06e392e 100644
--- a/src/sem/matrix_type.cc
+++ b/src/sem/matrix_type.cc
@@ -49,11 +49,5 @@
   return out.str();
 }
 
-Matrix* Matrix::Clone(CloneContext* ctx) const {
-  // Clone arguments outside of create() call to have deterministic ordering
-  auto* column_type = ctx->Clone(ColumnType());
-  return ctx->dst->create<Matrix>(column_type, columns_);
-}
-
 }  // namespace sem
 }  // namespace tint
diff --git a/src/sem/matrix_type.h b/src/sem/matrix_type.h
index 4a4be0f..d91ded0 100644
--- a/src/sem/matrix_type.h
+++ b/src/sem/matrix_type.h
@@ -54,11 +54,6 @@
   /// declared in WGSL.
   std::string FriendlyName(const SymbolTable& symbols) const override;
 
-  /// Clones this type and all transitive types using the `CloneContext` `ctx`.
-  /// @param ctx the clone context
-  /// @return the newly cloned type
-  Matrix* Clone(CloneContext* ctx) const override;
-
  private:
   Type* const subtype_;
   Vector* const column_type_;
diff --git a/src/sem/multisampled_texture_type.cc b/src/sem/multisampled_texture_type.cc
index d0c01c3..ad84dc7 100644
--- a/src/sem/multisampled_texture_type.cc
+++ b/src/sem/multisampled_texture_type.cc
@@ -45,11 +45,5 @@
   return out.str();
 }
 
-MultisampledTexture* MultisampledTexture::Clone(CloneContext* ctx) const {
-  // Clone arguments outside of create() call to have deterministic ordering
-  auto* ty = ctx->Clone(type());
-  return ctx->dst->create<MultisampledTexture>(dim(), ty);
-}
-
 }  // namespace sem
 }  // namespace tint
diff --git a/src/sem/multisampled_texture_type.h b/src/sem/multisampled_texture_type.h
index 5b3064f..715d6aa 100644
--- a/src/sem/multisampled_texture_type.h
+++ b/src/sem/multisampled_texture_type.h
@@ -44,11 +44,6 @@
   /// declared in WGSL.
   std::string FriendlyName(const SymbolTable& symbols) const override;
 
-  /// Clones this type and all transitive types using the `CloneContext` `ctx`.
-  /// @param ctx the clone context
-  /// @return the newly cloned type
-  MultisampledTexture* Clone(CloneContext* ctx) const override;
-
  private:
   const Type* const type_;
 };
diff --git a/src/sem/pointer_type.cc b/src/sem/pointer_type.cc
index 8ca1703..1bb9c12 100644
--- a/src/sem/pointer_type.cc
+++ b/src/sem/pointer_type.cc
@@ -44,11 +44,5 @@
 
 Pointer::~Pointer() = default;
 
-Pointer* Pointer::Clone(CloneContext* ctx) const {
-  // Clone arguments outside of create() call to have deterministic ordering
-  auto* ty = ctx->Clone(type());
-  return ctx->dst->create<Pointer>(ty, storage_class_);
-}
-
 }  // namespace sem
 }  // namespace tint
diff --git a/src/sem/pointer_type.h b/src/sem/pointer_type.h
index cdc73f2..843167b 100644
--- a/src/sem/pointer_type.h
+++ b/src/sem/pointer_type.h
@@ -47,11 +47,6 @@
   /// declared in WGSL.
   std::string FriendlyName(const SymbolTable& symbols) const override;
 
-  /// Clones this type and all transitive types using the `CloneContext` `ctx`.
-  /// @param ctx the clone context
-  /// @return the newly cloned type
-  Pointer* Clone(CloneContext* ctx) const override;
-
  private:
   Type* const subtype_;
   ast::StorageClass const storage_class_;
diff --git a/src/sem/sampled_texture_type.cc b/src/sem/sampled_texture_type.cc
index 8f8ee77..c54ef1b 100644
--- a/src/sem/sampled_texture_type.cc
+++ b/src/sem/sampled_texture_type.cc
@@ -42,11 +42,5 @@
   return out.str();
 }
 
-SampledTexture* SampledTexture::Clone(CloneContext* ctx) const {
-  // Clone arguments outside of create() call to have deterministic ordering
-  auto* ty = ctx->Clone(type());
-  return ctx->dst->create<SampledTexture>(dim(), ty);
-}
-
 }  // namespace sem
 }  // namespace tint
diff --git a/src/sem/sampled_texture_type.h b/src/sem/sampled_texture_type.h
index 605de68..32c36b9 100644
--- a/src/sem/sampled_texture_type.h
+++ b/src/sem/sampled_texture_type.h
@@ -44,11 +44,6 @@
   /// declared in WGSL.
   std::string FriendlyName(const SymbolTable& symbols) const override;
 
-  /// Clones this type and all transitive types using the `CloneContext` `ctx`.
-  /// @param ctx the clone context
-  /// @return the newly cloned type
-  SampledTexture* Clone(CloneContext* ctx) const override;
-
  private:
   const Type* const type_;
 };
diff --git a/src/sem/sampler_type.cc b/src/sem/sampler_type.cc
index cc71125..7af21e4 100644
--- a/src/sem/sampler_type.cc
+++ b/src/sem/sampler_type.cc
@@ -36,9 +36,5 @@
   return kind_ == ast::SamplerKind::kSampler ? "sampler" : "sampler_comparison";
 }
 
-Sampler* Sampler::Clone(CloneContext* ctx) const {
-  return ctx->dst->create<Sampler>(kind_);
-}
-
 }  // namespace sem
 }  // namespace tint
diff --git a/src/sem/sampler_type.h b/src/sem/sampler_type.h
index fc93b17..19e5a6b 100644
--- a/src/sem/sampler_type.h
+++ b/src/sem/sampler_type.h
@@ -49,11 +49,6 @@
   /// declared in WGSL.
   std::string FriendlyName(const SymbolTable& symbols) const override;
 
-  /// Clones this type and all transitive types using the `CloneContext` `ctx`.
-  /// @param ctx the clone context
-  /// @return the newly cloned type
-  Sampler* Clone(CloneContext* ctx) const override;
-
  private:
   ast::SamplerKind const kind_;
 };
diff --git a/src/sem/storage_texture_type.cc b/src/sem/storage_texture_type.cc
index 231758b..c99f932 100644
--- a/src/sem/storage_texture_type.cc
+++ b/src/sem/storage_texture_type.cc
@@ -42,12 +42,6 @@
   return out.str();
 }
 
-StorageTexture* StorageTexture::Clone(CloneContext* ctx) const {
-  // Clone arguments outside of create() call to have deterministic ordering
-  auto* ty = ctx->Clone(type());
-  return ctx->dst->create<StorageTexture>(dim(), image_format_, ty);
-}
-
 sem::Type* StorageTexture::SubtypeFor(ast::ImageFormat format,
                                       sem::Manager& type_mgr) {
   switch (format) {
diff --git a/src/sem/storage_texture_type.h b/src/sem/storage_texture_type.h
index 8162974..5ca3206 100644
--- a/src/sem/storage_texture_type.h
+++ b/src/sem/storage_texture_type.h
@@ -54,11 +54,6 @@
   /// declared in WGSL.
   std::string FriendlyName(const SymbolTable& symbols) const override;
 
-  /// Clones this type and all transitive types using the `CloneContext` `ctx`.
-  /// @param ctx the clone context
-  /// @return the newly cloned type
-  StorageTexture* Clone(CloneContext* ctx) const override;
-
   /// @param format the storage texture image format
   /// @param type_mgr the sem::Manager used to build the returned type
   /// @returns the storage texture subtype for the given ImageFormat
diff --git a/src/sem/struct_type.cc b/src/sem/struct_type.cc
index 403d421..21ea67e 100644
--- a/src/sem/struct_type.cc
+++ b/src/sem/struct_type.cc
@@ -37,11 +37,5 @@
   return impl()->FriendlyName(symbols);
 }
 
-StructType* StructType::Clone(CloneContext* ctx) const {
-  // Clone arguments outside of create() call to have deterministic ordering
-  auto* str = ctx->Clone(impl());
-  return ctx->dst->create<StructType>(str);
-}
-
 }  // namespace sem
 }  // namespace tint
diff --git a/src/sem/struct_type.h b/src/sem/struct_type.h
index 6165b5e..e39010a 100644
--- a/src/sem/struct_type.h
+++ b/src/sem/struct_type.h
@@ -47,11 +47,6 @@
   /// declared in WGSL.
   std::string FriendlyName(const SymbolTable& symbols) const override;
 
-  /// Clones this type and all transitive types using the `CloneContext` `ctx`.
-  /// @param ctx the clone context
-  /// @return the newly cloned type
-  StructType* Clone(CloneContext* ctx) const override;
-
  private:
   ast::Struct* const struct_;
 
diff --git a/src/sem/type.h b/src/sem/type.h
index 186cf97..c5a35c2 100644
--- a/src/sem/type.h
+++ b/src/sem/type.h
@@ -17,7 +17,7 @@
 
 #include <string>
 
-#include "src/clone_context.h"
+#include "src/castable.h"
 
 namespace tint {
 
@@ -31,7 +31,7 @@
 enum class MemoryLayout { kUniformBuffer, kStorageBuffer };
 
 /// Base class for a type in the system
-class Type : public Castable<Type, ShareableCloneable> {
+class Type : public Castable<Type> {
  public:
   /// Move constructor
   Type(Type&&);
@@ -132,13 +132,6 @@
   Type();
 };
 
-/// @returns the ProgramID of the given type.
-inline ProgramID ProgramIDOf(const Type*) {
-  /// TODO(crbug.com/tint/724): Actually implement this once we split the `type`
-  /// namespace into ast::Type and sem::Type.
-  return ProgramID();
-}
-
 }  // namespace sem
 }  // namespace tint
 
diff --git a/src/sem/u32_type.cc b/src/sem/u32_type.cc
index d4e0145..8dced5f 100644
--- a/src/sem/u32_type.cc
+++ b/src/sem/u32_type.cc
@@ -35,9 +35,5 @@
   return "u32";
 }
 
-U32* U32::Clone(CloneContext* ctx) const {
-  return ctx->dst->create<U32>();
-}
-
 }  // namespace sem
 }  // namespace tint
diff --git a/src/sem/u32_type.h b/src/sem/u32_type.h
index eb1937d..b530b79 100644
--- a/src/sem/u32_type.h
+++ b/src/sem/u32_type.h
@@ -38,11 +38,6 @@
   /// @returns the name for this type that closely resembles how it would be
   /// declared in WGSL.
   std::string FriendlyName(const SymbolTable& symbols) const override;
-
-  /// Clones this type and all transitive types using the `CloneContext` `ctx`.
-  /// @param ctx the clone context
-  /// @return the newly cloned type
-  U32* Clone(CloneContext* ctx) const override;
 };
 
 }  // namespace sem
diff --git a/src/sem/vector_type.cc b/src/sem/vector_type.cc
index caa43c4..9b4ef83 100644
--- a/src/sem/vector_type.cc
+++ b/src/sem/vector_type.cc
@@ -41,11 +41,5 @@
   return out.str();
 }
 
-Vector* Vector::Clone(CloneContext* ctx) const {
-  // Clone arguments outside of create() call to have deterministic ordering
-  auto* ty = ctx->Clone(type());
-  return ctx->dst->create<Vector>(ty, size_);
-}
-
 }  // namespace sem
 }  // namespace tint
diff --git a/src/sem/vector_type.h b/src/sem/vector_type.h
index 0c9cae7..5f8d319 100644
--- a/src/sem/vector_type.h
+++ b/src/sem/vector_type.h
@@ -46,11 +46,6 @@
   /// declared in WGSL.
   std::string FriendlyName(const SymbolTable& symbols) const override;
 
-  /// Clones this type and all transitive types using the `CloneContext` `ctx`.
-  /// @param ctx the clone context
-  /// @return the newly cloned type
-  Vector* Clone(CloneContext* ctx) const override;
-
  private:
   Type const* const subtype_;
   uint32_t const size_;
diff --git a/src/sem/void_type.cc b/src/sem/void_type.cc
index fbdd3b3..7792f92 100644
--- a/src/sem/void_type.cc
+++ b/src/sem/void_type.cc
@@ -35,9 +35,5 @@
   return "void";
 }
 
-Void* Void::Clone(CloneContext* ctx) const {
-  return ctx->dst->create<Void>();
-}
-
 }  // namespace sem
 }  // namespace tint
diff --git a/src/sem/void_type.h b/src/sem/void_type.h
index f32cb47..02fc754 100644
--- a/src/sem/void_type.h
+++ b/src/sem/void_type.h
@@ -38,11 +38,6 @@
   /// @returns the name for this type that closely resembles how it would be
   /// declared in WGSL.
   std::string FriendlyName(const SymbolTable& symbols) const override;
-
-  /// Clones this type and all transitive types using the `CloneContext` `ctx`.
-  /// @param ctx the clone context
-  /// @return the newly cloned type
-  Void* Clone(CloneContext* ctx) const override;
 };
 
 }  // namespace sem
diff --git a/src/transform/decompose_storage_access.cc b/src/transform/decompose_storage_access.cc
index c9f9ebf..c3f2893 100644
--- a/src/transform/decompose_storage_access.cc
+++ b/src/transform/decompose_storage_access.cc
@@ -444,8 +444,7 @@
       } else {
         ast::ExpressionList values;
         if (auto* mat_ty = el_ty->As<sem::Matrix>()) {
-          auto* vec_ty = ctx.dst->create<sem::Vector>(ctx.Clone(mat_ty->type()),
-                                                      mat_ty->rows());
+          auto* vec_ty = mat_ty->ColumnType();
           Symbol load = LoadFunc(ctx, insert_after, buf_ty, vec_ty);
           for (uint32_t i = 0; i < mat_ty->columns(); i++) {
             auto* offset =
@@ -517,8 +516,7 @@
       } else {
         ast::StatementList body;
         if (auto* mat_ty = el_ty->As<sem::Matrix>()) {
-          auto* vec_ty = ctx.dst->create<sem::Vector>(ctx.Clone(mat_ty->type()),
-                                                      mat_ty->rows());
+          auto* vec_ty = mat_ty->ColumnType();
           Symbol store = StoreFunc(ctx, insert_after, buf_ty, vec_ty);
           for (uint32_t i = 0; i < mat_ty->columns(); i++) {
             auto* offset =
@@ -719,13 +717,11 @@
         }
         if (auto* mat_ty = access.type->As<sem::Matrix>()) {
           auto offset = Mul(MatrixColumnStride(mat_ty), accessor->idx_expr());
-          auto* vec_ty = ctx.dst->create<sem::Vector>(
-              ctx.Clone(mat_ty->type()->UnwrapAll()), mat_ty->rows());
           state.AddAccess(accessor,
                           {
                               access.var,
                               Add(std::move(access.offset), std::move(offset)),
-                              vec_ty,
+                              mat_ty->ColumnType(),
                           });
           continue;
         }
diff --git a/src/transform/decompose_storage_access_test.cc b/src/transform/decompose_storage_access_test.cc
index 683b699..dadf24c 100644
--- a/src/transform/decompose_storage_access_test.cc
+++ b/src/transform/decompose_storage_access_test.cc
@@ -142,52 +142,43 @@
 [[internal(intrinsic_load_vec4_f32)]]
 fn tint_symbol_11(buffer : [[access(read_write)]] SB, offset : u32) -> vec4<f32>
 
-[[internal(intrinsic_load_vec2_f32)]]
-fn tint_symbol_12(buffer : [[access(read_write)]] SB, offset : u32) -> vec2<f32>
-
-fn tint_symbol_13(buffer : [[access(read_write)]] SB, offset : u32) -> mat2x2<f32> {
-  return mat2x2<f32>(tint_symbol_12(buffer, (offset + 0u)), tint_symbol_12(buffer, (offset + 8u)));
+fn tint_symbol_12(buffer : [[access(read_write)]] SB, offset : u32) -> mat2x2<f32> {
+  return mat2x2<f32>(tint_symbol_5(buffer, (offset + 0u)), tint_symbol_5(buffer, (offset + 8u)));
 }
 
-[[internal(intrinsic_load_vec3_f32)]]
-fn tint_symbol_14(buffer : [[access(read_write)]] SB, offset : u32) -> vec3<f32>
-
-fn tint_symbol_15(buffer : [[access(read_write)]] SB, offset : u32) -> mat2x3<f32> {
-  return mat2x3<f32>(tint_symbol_14(buffer, (offset + 0u)), tint_symbol_14(buffer, (offset + 16u)));
+fn tint_symbol_13(buffer : [[access(read_write)]] SB, offset : u32) -> mat2x3<f32> {
+  return mat2x3<f32>(tint_symbol_8(buffer, (offset + 0u)), tint_symbol_8(buffer, (offset + 16u)));
 }
 
-[[internal(intrinsic_load_vec4_f32)]]
-fn tint_symbol_16(buffer : [[access(read_write)]] SB, offset : u32) -> vec4<f32>
-
-fn tint_symbol_17(buffer : [[access(read_write)]] SB, offset : u32) -> mat2x4<f32> {
-  return mat2x4<f32>(tint_symbol_16(buffer, (offset + 0u)), tint_symbol_16(buffer, (offset + 16u)));
+fn tint_symbol_14(buffer : [[access(read_write)]] SB, offset : u32) -> mat2x4<f32> {
+  return mat2x4<f32>(tint_symbol_11(buffer, (offset + 0u)), tint_symbol_11(buffer, (offset + 16u)));
 }
 
-fn tint_symbol_18(buffer : [[access(read_write)]] SB, offset : u32) -> mat3x2<f32> {
-  return mat3x2<f32>(tint_symbol_12(buffer, (offset + 0u)), tint_symbol_12(buffer, (offset + 8u)), tint_symbol_12(buffer, (offset + 16u)));
+fn tint_symbol_15(buffer : [[access(read_write)]] SB, offset : u32) -> mat3x2<f32> {
+  return mat3x2<f32>(tint_symbol_5(buffer, (offset + 0u)), tint_symbol_5(buffer, (offset + 8u)), tint_symbol_5(buffer, (offset + 16u)));
 }
 
-fn tint_symbol_19(buffer : [[access(read_write)]] SB, offset : u32) -> mat3x3<f32> {
-  return mat3x3<f32>(tint_symbol_14(buffer, (offset + 0u)), tint_symbol_14(buffer, (offset + 16u)), tint_symbol_14(buffer, (offset + 32u)));
+fn tint_symbol_16(buffer : [[access(read_write)]] SB, offset : u32) -> mat3x3<f32> {
+  return mat3x3<f32>(tint_symbol_8(buffer, (offset + 0u)), tint_symbol_8(buffer, (offset + 16u)), tint_symbol_8(buffer, (offset + 32u)));
 }
 
-fn tint_symbol_20(buffer : [[access(read_write)]] SB, offset : u32) -> mat3x4<f32> {
-  return mat3x4<f32>(tint_symbol_16(buffer, (offset + 0u)), tint_symbol_16(buffer, (offset + 16u)), tint_symbol_16(buffer, (offset + 32u)));
+fn tint_symbol_17(buffer : [[access(read_write)]] SB, offset : u32) -> mat3x4<f32> {
+  return mat3x4<f32>(tint_symbol_11(buffer, (offset + 0u)), tint_symbol_11(buffer, (offset + 16u)), tint_symbol_11(buffer, (offset + 32u)));
 }
 
-fn tint_symbol_21(buffer : [[access(read_write)]] SB, offset : u32) -> mat4x2<f32> {
-  return mat4x2<f32>(tint_symbol_12(buffer, (offset + 0u)), tint_symbol_12(buffer, (offset + 8u)), tint_symbol_12(buffer, (offset + 16u)), tint_symbol_12(buffer, (offset + 24u)));
+fn tint_symbol_18(buffer : [[access(read_write)]] SB, offset : u32) -> mat4x2<f32> {
+  return mat4x2<f32>(tint_symbol_5(buffer, (offset + 0u)), tint_symbol_5(buffer, (offset + 8u)), tint_symbol_5(buffer, (offset + 16u)), tint_symbol_5(buffer, (offset + 24u)));
 }
 
-fn tint_symbol_22(buffer : [[access(read_write)]] SB, offset : u32) -> mat4x3<f32> {
-  return mat4x3<f32>(tint_symbol_14(buffer, (offset + 0u)), tint_symbol_14(buffer, (offset + 16u)), tint_symbol_14(buffer, (offset + 32u)), tint_symbol_14(buffer, (offset + 48u)));
+fn tint_symbol_19(buffer : [[access(read_write)]] SB, offset : u32) -> mat4x3<f32> {
+  return mat4x3<f32>(tint_symbol_8(buffer, (offset + 0u)), tint_symbol_8(buffer, (offset + 16u)), tint_symbol_8(buffer, (offset + 32u)), tint_symbol_8(buffer, (offset + 48u)));
 }
 
-fn tint_symbol_23(buffer : [[access(read_write)]] SB, offset : u32) -> mat4x4<f32> {
-  return mat4x4<f32>(tint_symbol_16(buffer, (offset + 0u)), tint_symbol_16(buffer, (offset + 16u)), tint_symbol_16(buffer, (offset + 32u)), tint_symbol_16(buffer, (offset + 48u)));
+fn tint_symbol_20(buffer : [[access(read_write)]] SB, offset : u32) -> mat4x4<f32> {
+  return mat4x4<f32>(tint_symbol_11(buffer, (offset + 0u)), tint_symbol_11(buffer, (offset + 16u)), tint_symbol_11(buffer, (offset + 32u)), tint_symbol_11(buffer, (offset + 48u)));
 }
 
-fn tint_symbol_24(buffer : [[access(read_write)]] SB, offset : u32) -> array<vec3<f32>, 2> {
+fn tint_symbol_21(buffer : [[access(read_write)]] SB, offset : u32) -> array<vec3<f32>, 2> {
   return array<vec3<f32>, 2>(tint_symbol_8(buffer, (offset + 0u)), tint_symbol_8(buffer, (offset + 16u)));
 }
 
@@ -207,16 +198,16 @@
   var j : vec4<i32> = tint_symbol_9(sb, 96u);
   var k : vec4<u32> = tint_symbol_10(sb, 112u);
   var l : vec4<f32> = tint_symbol_11(sb, 128u);
-  var m : mat2x2<f32> = tint_symbol_13(sb, 144u);
-  var n : mat2x3<f32> = tint_symbol_15(sb, 160u);
-  var o : mat2x4<f32> = tint_symbol_17(sb, 192u);
-  var p : mat3x2<f32> = tint_symbol_18(sb, 224u);
-  var q : mat3x3<f32> = tint_symbol_19(sb, 256u);
-  var r : mat3x4<f32> = tint_symbol_20(sb, 304u);
-  var s : mat4x2<f32> = tint_symbol_21(sb, 352u);
-  var t : mat4x3<f32> = tint_symbol_22(sb, 384u);
-  var u : mat4x4<f32> = tint_symbol_23(sb, 448u);
-  var v : array<vec3<f32>, 2> = tint_symbol_24(sb, 512u);
+  var m : mat2x2<f32> = tint_symbol_12(sb, 144u);
+  var n : mat2x3<f32> = tint_symbol_13(sb, 160u);
+  var o : mat2x4<f32> = tint_symbol_14(sb, 192u);
+  var p : mat3x2<f32> = tint_symbol_15(sb, 224u);
+  var q : mat3x3<f32> = tint_symbol_16(sb, 256u);
+  var r : mat3x4<f32> = tint_symbol_17(sb, 304u);
+  var s : mat4x2<f32> = tint_symbol_18(sb, 352u);
+  var t : mat4x3<f32> = tint_symbol_19(sb, 384u);
+  var u : mat4x4<f32> = tint_symbol_20(sb, 448u);
+  var v : array<vec3<f32>, 2> = tint_symbol_21(sb, 512u);
 }
 )";
 
@@ -345,70 +336,61 @@
 [[internal(intrinsic_store_vec4_i32)]]
 fn tint_symbol_11(buffer : [[access(read_write)]] SB, offset : u32, value : vec4<f32>)
 
-[[internal(intrinsic_store_vec2_i32)]]
-fn tint_symbol_12(buffer : [[access(read_write)]] SB, offset : u32, value : vec2<f32>)
-
-fn tint_symbol_13(buffer : [[access(read_write)]] SB, offset : u32, value : mat2x2<f32>) {
-  tint_symbol_12(buffer, (offset + 0u), value[0u]);
-  tint_symbol_12(buffer, (offset + 8u), value[1u]);
+fn tint_symbol_12(buffer : [[access(read_write)]] SB, offset : u32, value : mat2x2<f32>) {
+  tint_symbol_5(buffer, (offset + 0u), value[0u]);
+  tint_symbol_5(buffer, (offset + 8u), value[1u]);
 }
 
-[[internal(intrinsic_store_vec3_i32)]]
-fn tint_symbol_14(buffer : [[access(read_write)]] SB, offset : u32, value : vec3<f32>)
-
-fn tint_symbol_15(buffer : [[access(read_write)]] SB, offset : u32, value : mat2x3<f32>) {
-  tint_symbol_14(buffer, (offset + 0u), value[0u]);
-  tint_symbol_14(buffer, (offset + 16u), value[1u]);
+fn tint_symbol_13(buffer : [[access(read_write)]] SB, offset : u32, value : mat2x3<f32>) {
+  tint_symbol_8(buffer, (offset + 0u), value[0u]);
+  tint_symbol_8(buffer, (offset + 16u), value[1u]);
 }
 
-[[internal(intrinsic_store_vec4_i32)]]
-fn tint_symbol_16(buffer : [[access(read_write)]] SB, offset : u32, value : vec4<f32>)
-
-fn tint_symbol_17(buffer : [[access(read_write)]] SB, offset : u32, value : mat2x4<f32>) {
-  tint_symbol_16(buffer, (offset + 0u), value[0u]);
-  tint_symbol_16(buffer, (offset + 16u), value[1u]);
+fn tint_symbol_14(buffer : [[access(read_write)]] SB, offset : u32, value : mat2x4<f32>) {
+  tint_symbol_11(buffer, (offset + 0u), value[0u]);
+  tint_symbol_11(buffer, (offset + 16u), value[1u]);
 }
 
-fn tint_symbol_18(buffer : [[access(read_write)]] SB, offset : u32, value : mat3x2<f32>) {
-  tint_symbol_12(buffer, (offset + 0u), value[0u]);
-  tint_symbol_12(buffer, (offset + 8u), value[1u]);
-  tint_symbol_12(buffer, (offset + 16u), value[2u]);
+fn tint_symbol_15(buffer : [[access(read_write)]] SB, offset : u32, value : mat3x2<f32>) {
+  tint_symbol_5(buffer, (offset + 0u), value[0u]);
+  tint_symbol_5(buffer, (offset + 8u), value[1u]);
+  tint_symbol_5(buffer, (offset + 16u), value[2u]);
 }
 
-fn tint_symbol_19(buffer : [[access(read_write)]] SB, offset : u32, value : mat3x3<f32>) {
-  tint_symbol_14(buffer, (offset + 0u), value[0u]);
-  tint_symbol_14(buffer, (offset + 16u), value[1u]);
-  tint_symbol_14(buffer, (offset + 32u), value[2u]);
+fn tint_symbol_16(buffer : [[access(read_write)]] SB, offset : u32, value : mat3x3<f32>) {
+  tint_symbol_8(buffer, (offset + 0u), value[0u]);
+  tint_symbol_8(buffer, (offset + 16u), value[1u]);
+  tint_symbol_8(buffer, (offset + 32u), value[2u]);
 }
 
-fn tint_symbol_20(buffer : [[access(read_write)]] SB, offset : u32, value : mat3x4<f32>) {
-  tint_symbol_16(buffer, (offset + 0u), value[0u]);
-  tint_symbol_16(buffer, (offset + 16u), value[1u]);
-  tint_symbol_16(buffer, (offset + 32u), value[2u]);
+fn tint_symbol_17(buffer : [[access(read_write)]] SB, offset : u32, value : mat3x4<f32>) {
+  tint_symbol_11(buffer, (offset + 0u), value[0u]);
+  tint_symbol_11(buffer, (offset + 16u), value[1u]);
+  tint_symbol_11(buffer, (offset + 32u), value[2u]);
 }
 
-fn tint_symbol_21(buffer : [[access(read_write)]] SB, offset : u32, value : mat4x2<f32>) {
-  tint_symbol_12(buffer, (offset + 0u), value[0u]);
-  tint_symbol_12(buffer, (offset + 8u), value[1u]);
-  tint_symbol_12(buffer, (offset + 16u), value[2u]);
-  tint_symbol_12(buffer, (offset + 24u), value[3u]);
+fn tint_symbol_18(buffer : [[access(read_write)]] SB, offset : u32, value : mat4x2<f32>) {
+  tint_symbol_5(buffer, (offset + 0u), value[0u]);
+  tint_symbol_5(buffer, (offset + 8u), value[1u]);
+  tint_symbol_5(buffer, (offset + 16u), value[2u]);
+  tint_symbol_5(buffer, (offset + 24u), value[3u]);
 }
 
-fn tint_symbol_22(buffer : [[access(read_write)]] SB, offset : u32, value : mat4x3<f32>) {
-  tint_symbol_14(buffer, (offset + 0u), value[0u]);
-  tint_symbol_14(buffer, (offset + 16u), value[1u]);
-  tint_symbol_14(buffer, (offset + 32u), value[2u]);
-  tint_symbol_14(buffer, (offset + 48u), value[3u]);
+fn tint_symbol_19(buffer : [[access(read_write)]] SB, offset : u32, value : mat4x3<f32>) {
+  tint_symbol_8(buffer, (offset + 0u), value[0u]);
+  tint_symbol_8(buffer, (offset + 16u), value[1u]);
+  tint_symbol_8(buffer, (offset + 32u), value[2u]);
+  tint_symbol_8(buffer, (offset + 48u), value[3u]);
 }
 
-fn tint_symbol_23(buffer : [[access(read_write)]] SB, offset : u32, value : mat4x4<f32>) {
-  tint_symbol_16(buffer, (offset + 0u), value[0u]);
-  tint_symbol_16(buffer, (offset + 16u), value[1u]);
-  tint_symbol_16(buffer, (offset + 32u), value[2u]);
-  tint_symbol_16(buffer, (offset + 48u), value[3u]);
+fn tint_symbol_20(buffer : [[access(read_write)]] SB, offset : u32, value : mat4x4<f32>) {
+  tint_symbol_11(buffer, (offset + 0u), value[0u]);
+  tint_symbol_11(buffer, (offset + 16u), value[1u]);
+  tint_symbol_11(buffer, (offset + 32u), value[2u]);
+  tint_symbol_11(buffer, (offset + 48u), value[3u]);
 }
 
-fn tint_symbol_24(buffer : [[access(read_write)]] SB, offset : u32, value : array<vec3<f32>, 2>) {
+fn tint_symbol_21(buffer : [[access(read_write)]] SB, offset : u32, value : array<vec3<f32>, 2>) {
   tint_symbol_8(buffer, (offset + 0u), value[0u]);
   tint_symbol_8(buffer, (offset + 16u), value[1u]);
 }
@@ -429,16 +411,16 @@
   tint_symbol_9(sb, 96u, vec4<i32>());
   tint_symbol_10(sb, 112u, vec4<u32>());
   tint_symbol_11(sb, 128u, vec4<f32>());
-  tint_symbol_13(sb, 144u, mat2x2<f32>());
-  tint_symbol_15(sb, 160u, mat2x3<f32>());
-  tint_symbol_17(sb, 192u, mat2x4<f32>());
-  tint_symbol_18(sb, 224u, mat3x2<f32>());
-  tint_symbol_19(sb, 256u, mat3x3<f32>());
-  tint_symbol_20(sb, 304u, mat3x4<f32>());
-  tint_symbol_21(sb, 352u, mat4x2<f32>());
-  tint_symbol_22(sb, 384u, mat4x3<f32>());
-  tint_symbol_23(sb, 448u, mat4x4<f32>());
-  tint_symbol_24(sb, 512u, array<vec3<f32>, 2>());
+  tint_symbol_12(sb, 144u, mat2x2<f32>());
+  tint_symbol_13(sb, 160u, mat2x3<f32>());
+  tint_symbol_14(sb, 192u, mat2x4<f32>());
+  tint_symbol_15(sb, 224u, mat3x2<f32>());
+  tint_symbol_16(sb, 256u, mat3x3<f32>());
+  tint_symbol_17(sb, 304u, mat3x4<f32>());
+  tint_symbol_18(sb, 352u, mat4x2<f32>());
+  tint_symbol_19(sb, 384u, mat4x3<f32>());
+  tint_symbol_20(sb, 448u, mat4x4<f32>());
+  tint_symbol_21(sb, 512u, array<vec3<f32>, 2>());
 }
 )";
 
@@ -546,64 +528,55 @@
 [[internal(intrinsic_load_vec4_f32)]]
 fn tint_symbol_11(buffer : [[access(read_write)]] SB, offset : u32) -> vec4<f32>
 
-[[internal(intrinsic_load_vec2_f32)]]
-fn tint_symbol_12(buffer : [[access(read_write)]] SB, offset : u32) -> vec2<f32>
-
-fn tint_symbol_13(buffer : [[access(read_write)]] SB, offset : u32) -> mat2x2<f32> {
-  return mat2x2<f32>(tint_symbol_12(buffer, (offset + 0u)), tint_symbol_12(buffer, (offset + 8u)));
+fn tint_symbol_12(buffer : [[access(read_write)]] SB, offset : u32) -> mat2x2<f32> {
+  return mat2x2<f32>(tint_symbol_5(buffer, (offset + 0u)), tint_symbol_5(buffer, (offset + 8u)));
 }
 
-[[internal(intrinsic_load_vec3_f32)]]
-fn tint_symbol_14(buffer : [[access(read_write)]] SB, offset : u32) -> vec3<f32>
-
-fn tint_symbol_15(buffer : [[access(read_write)]] SB, offset : u32) -> mat2x3<f32> {
-  return mat2x3<f32>(tint_symbol_14(buffer, (offset + 0u)), tint_symbol_14(buffer, (offset + 16u)));
+fn tint_symbol_13(buffer : [[access(read_write)]] SB, offset : u32) -> mat2x3<f32> {
+  return mat2x3<f32>(tint_symbol_8(buffer, (offset + 0u)), tint_symbol_8(buffer, (offset + 16u)));
 }
 
-[[internal(intrinsic_load_vec4_f32)]]
-fn tint_symbol_16(buffer : [[access(read_write)]] SB, offset : u32) -> vec4<f32>
-
-fn tint_symbol_17(buffer : [[access(read_write)]] SB, offset : u32) -> mat2x4<f32> {
-  return mat2x4<f32>(tint_symbol_16(buffer, (offset + 0u)), tint_symbol_16(buffer, (offset + 16u)));
+fn tint_symbol_14(buffer : [[access(read_write)]] SB, offset : u32) -> mat2x4<f32> {
+  return mat2x4<f32>(tint_symbol_11(buffer, (offset + 0u)), tint_symbol_11(buffer, (offset + 16u)));
 }
 
-fn tint_symbol_18(buffer : [[access(read_write)]] SB, offset : u32) -> mat3x2<f32> {
-  return mat3x2<f32>(tint_symbol_12(buffer, (offset + 0u)), tint_symbol_12(buffer, (offset + 8u)), tint_symbol_12(buffer, (offset + 16u)));
+fn tint_symbol_15(buffer : [[access(read_write)]] SB, offset : u32) -> mat3x2<f32> {
+  return mat3x2<f32>(tint_symbol_5(buffer, (offset + 0u)), tint_symbol_5(buffer, (offset + 8u)), tint_symbol_5(buffer, (offset + 16u)));
 }
 
-fn tint_symbol_19(buffer : [[access(read_write)]] SB, offset : u32) -> mat3x3<f32> {
-  return mat3x3<f32>(tint_symbol_14(buffer, (offset + 0u)), tint_symbol_14(buffer, (offset + 16u)), tint_symbol_14(buffer, (offset + 32u)));
+fn tint_symbol_16(buffer : [[access(read_write)]] SB, offset : u32) -> mat3x3<f32> {
+  return mat3x3<f32>(tint_symbol_8(buffer, (offset + 0u)), tint_symbol_8(buffer, (offset + 16u)), tint_symbol_8(buffer, (offset + 32u)));
 }
 
-fn tint_symbol_20(buffer : [[access(read_write)]] SB, offset : u32) -> mat3x4<f32> {
-  return mat3x4<f32>(tint_symbol_16(buffer, (offset + 0u)), tint_symbol_16(buffer, (offset + 16u)), tint_symbol_16(buffer, (offset + 32u)));
+fn tint_symbol_17(buffer : [[access(read_write)]] SB, offset : u32) -> mat3x4<f32> {
+  return mat3x4<f32>(tint_symbol_11(buffer, (offset + 0u)), tint_symbol_11(buffer, (offset + 16u)), tint_symbol_11(buffer, (offset + 32u)));
 }
 
-fn tint_symbol_21(buffer : [[access(read_write)]] SB, offset : u32) -> mat4x2<f32> {
-  return mat4x2<f32>(tint_symbol_12(buffer, (offset + 0u)), tint_symbol_12(buffer, (offset + 8u)), tint_symbol_12(buffer, (offset + 16u)), tint_symbol_12(buffer, (offset + 24u)));
+fn tint_symbol_18(buffer : [[access(read_write)]] SB, offset : u32) -> mat4x2<f32> {
+  return mat4x2<f32>(tint_symbol_5(buffer, (offset + 0u)), tint_symbol_5(buffer, (offset + 8u)), tint_symbol_5(buffer, (offset + 16u)), tint_symbol_5(buffer, (offset + 24u)));
 }
 
-fn tint_symbol_22(buffer : [[access(read_write)]] SB, offset : u32) -> mat4x3<f32> {
-  return mat4x3<f32>(tint_symbol_14(buffer, (offset + 0u)), tint_symbol_14(buffer, (offset + 16u)), tint_symbol_14(buffer, (offset + 32u)), tint_symbol_14(buffer, (offset + 48u)));
+fn tint_symbol_19(buffer : [[access(read_write)]] SB, offset : u32) -> mat4x3<f32> {
+  return mat4x3<f32>(tint_symbol_8(buffer, (offset + 0u)), tint_symbol_8(buffer, (offset + 16u)), tint_symbol_8(buffer, (offset + 32u)), tint_symbol_8(buffer, (offset + 48u)));
 }
 
-fn tint_symbol_23(buffer : [[access(read_write)]] SB, offset : u32) -> mat4x4<f32> {
-  return mat4x4<f32>(tint_symbol_16(buffer, (offset + 0u)), tint_symbol_16(buffer, (offset + 16u)), tint_symbol_16(buffer, (offset + 32u)), tint_symbol_16(buffer, (offset + 48u)));
+fn tint_symbol_20(buffer : [[access(read_write)]] SB, offset : u32) -> mat4x4<f32> {
+  return mat4x4<f32>(tint_symbol_11(buffer, (offset + 0u)), tint_symbol_11(buffer, (offset + 16u)), tint_symbol_11(buffer, (offset + 32u)), tint_symbol_11(buffer, (offset + 48u)));
 }
 
-fn tint_symbol_24(buffer : [[access(read_write)]] SB, offset : u32) -> array<vec3<f32>, 2> {
+fn tint_symbol_21(buffer : [[access(read_write)]] SB, offset : u32) -> array<vec3<f32>, 2> {
   return array<vec3<f32>, 2>(tint_symbol_8(buffer, (offset + 0u)), tint_symbol_8(buffer, (offset + 16u)));
 }
 
-fn tint_symbol_25(buffer : [[access(read_write)]] SB, offset : u32) -> SB {
-  return SB(tint_symbol(buffer, (offset + 0u)), tint_symbol_1(buffer, (offset + 4u)), tint_symbol_2(buffer, (offset + 8u)), tint_symbol_3(buffer, (offset + 16u)), tint_symbol_4(buffer, (offset + 24u)), tint_symbol_5(buffer, (offset + 32u)), tint_symbol_6(buffer, (offset + 48u)), tint_symbol_7(buffer, (offset + 64u)), tint_symbol_8(buffer, (offset + 80u)), tint_symbol_9(buffer, (offset + 96u)), tint_symbol_10(buffer, (offset + 112u)), tint_symbol_11(buffer, (offset + 128u)), tint_symbol_13(buffer, (offset + 144u)), tint_symbol_15(buffer, (offset + 160u)), tint_symbol_17(buffer, (offset + 192u)), tint_symbol_18(buffer, (offset + 224u)), tint_symbol_19(buffer, (offset + 256u)), tint_symbol_20(buffer, (offset + 304u)), tint_symbol_21(buffer, (offset + 352u)), tint_symbol_22(buffer, (offset + 384u)), tint_symbol_23(buffer, (offset + 448u)), tint_symbol_24(buffer, (offset + 512u)));
+fn tint_symbol_22(buffer : [[access(read_write)]] SB, offset : u32) -> SB {
+  return SB(tint_symbol(buffer, (offset + 0u)), tint_symbol_1(buffer, (offset + 4u)), tint_symbol_2(buffer, (offset + 8u)), tint_symbol_3(buffer, (offset + 16u)), tint_symbol_4(buffer, (offset + 24u)), tint_symbol_5(buffer, (offset + 32u)), tint_symbol_6(buffer, (offset + 48u)), tint_symbol_7(buffer, (offset + 64u)), tint_symbol_8(buffer, (offset + 80u)), tint_symbol_9(buffer, (offset + 96u)), tint_symbol_10(buffer, (offset + 112u)), tint_symbol_11(buffer, (offset + 128u)), tint_symbol_12(buffer, (offset + 144u)), tint_symbol_13(buffer, (offset + 160u)), tint_symbol_14(buffer, (offset + 192u)), tint_symbol_15(buffer, (offset + 224u)), tint_symbol_16(buffer, (offset + 256u)), tint_symbol_17(buffer, (offset + 304u)), tint_symbol_18(buffer, (offset + 352u)), tint_symbol_19(buffer, (offset + 384u)), tint_symbol_20(buffer, (offset + 448u)), tint_symbol_21(buffer, (offset + 512u)));
 }
 
 var<storage> sb : [[access(read_write)]] SB;
 
 [[stage(compute)]]
 fn main() {
-  var x : SB = tint_symbol_25(sb, 0u);
+  var x : SB = tint_symbol_22(sb, 0u);
 }
 )";
 
@@ -711,75 +684,66 @@
 [[internal(intrinsic_store_vec4_i32)]]
 fn tint_symbol_11(buffer : [[access(read_write)]] SB, offset : u32, value : vec4<f32>)
 
-[[internal(intrinsic_store_vec2_i32)]]
-fn tint_symbol_12(buffer : [[access(read_write)]] SB, offset : u32, value : vec2<f32>)
-
-fn tint_symbol_13(buffer : [[access(read_write)]] SB, offset : u32, value : mat2x2<f32>) {
-  tint_symbol_12(buffer, (offset + 0u), value[0u]);
-  tint_symbol_12(buffer, (offset + 8u), value[1u]);
+fn tint_symbol_12(buffer : [[access(read_write)]] SB, offset : u32, value : mat2x2<f32>) {
+  tint_symbol_5(buffer, (offset + 0u), value[0u]);
+  tint_symbol_5(buffer, (offset + 8u), value[1u]);
 }
 
-[[internal(intrinsic_store_vec3_i32)]]
-fn tint_symbol_14(buffer : [[access(read_write)]] SB, offset : u32, value : vec3<f32>)
-
-fn tint_symbol_15(buffer : [[access(read_write)]] SB, offset : u32, value : mat2x3<f32>) {
-  tint_symbol_14(buffer, (offset + 0u), value[0u]);
-  tint_symbol_14(buffer, (offset + 16u), value[1u]);
-}
-
-[[internal(intrinsic_store_vec4_i32)]]
-fn tint_symbol_16(buffer : [[access(read_write)]] SB, offset : u32, value : vec4<f32>)
-
-fn tint_symbol_17(buffer : [[access(read_write)]] SB, offset : u32, value : mat2x4<f32>) {
-  tint_symbol_16(buffer, (offset + 0u), value[0u]);
-  tint_symbol_16(buffer, (offset + 16u), value[1u]);
-}
-
-fn tint_symbol_18(buffer : [[access(read_write)]] SB, offset : u32, value : mat3x2<f32>) {
-  tint_symbol_12(buffer, (offset + 0u), value[0u]);
-  tint_symbol_12(buffer, (offset + 8u), value[1u]);
-  tint_symbol_12(buffer, (offset + 16u), value[2u]);
-}
-
-fn tint_symbol_19(buffer : [[access(read_write)]] SB, offset : u32, value : mat3x3<f32>) {
-  tint_symbol_14(buffer, (offset + 0u), value[0u]);
-  tint_symbol_14(buffer, (offset + 16u), value[1u]);
-  tint_symbol_14(buffer, (offset + 32u), value[2u]);
-}
-
-fn tint_symbol_20(buffer : [[access(read_write)]] SB, offset : u32, value : mat3x4<f32>) {
-  tint_symbol_16(buffer, (offset + 0u), value[0u]);
-  tint_symbol_16(buffer, (offset + 16u), value[1u]);
-  tint_symbol_16(buffer, (offset + 32u), value[2u]);
-}
-
-fn tint_symbol_21(buffer : [[access(read_write)]] SB, offset : u32, value : mat4x2<f32>) {
-  tint_symbol_12(buffer, (offset + 0u), value[0u]);
-  tint_symbol_12(buffer, (offset + 8u), value[1u]);
-  tint_symbol_12(buffer, (offset + 16u), value[2u]);
-  tint_symbol_12(buffer, (offset + 24u), value[3u]);
-}
-
-fn tint_symbol_22(buffer : [[access(read_write)]] SB, offset : u32, value : mat4x3<f32>) {
-  tint_symbol_14(buffer, (offset + 0u), value[0u]);
-  tint_symbol_14(buffer, (offset + 16u), value[1u]);
-  tint_symbol_14(buffer, (offset + 32u), value[2u]);
-  tint_symbol_14(buffer, (offset + 48u), value[3u]);
-}
-
-fn tint_symbol_23(buffer : [[access(read_write)]] SB, offset : u32, value : mat4x4<f32>) {
-  tint_symbol_16(buffer, (offset + 0u), value[0u]);
-  tint_symbol_16(buffer, (offset + 16u), value[1u]);
-  tint_symbol_16(buffer, (offset + 32u), value[2u]);
-  tint_symbol_16(buffer, (offset + 48u), value[3u]);
-}
-
-fn tint_symbol_24(buffer : [[access(read_write)]] SB, offset : u32, value : array<vec3<f32>, 2>) {
+fn tint_symbol_13(buffer : [[access(read_write)]] SB, offset : u32, value : mat2x3<f32>) {
   tint_symbol_8(buffer, (offset + 0u), value[0u]);
   tint_symbol_8(buffer, (offset + 16u), value[1u]);
 }
 
-fn tint_symbol_25(buffer : [[access(read_write)]] SB, offset : u32, value : SB) {
+fn tint_symbol_14(buffer : [[access(read_write)]] SB, offset : u32, value : mat2x4<f32>) {
+  tint_symbol_11(buffer, (offset + 0u), value[0u]);
+  tint_symbol_11(buffer, (offset + 16u), value[1u]);
+}
+
+fn tint_symbol_15(buffer : [[access(read_write)]] SB, offset : u32, value : mat3x2<f32>) {
+  tint_symbol_5(buffer, (offset + 0u), value[0u]);
+  tint_symbol_5(buffer, (offset + 8u), value[1u]);
+  tint_symbol_5(buffer, (offset + 16u), value[2u]);
+}
+
+fn tint_symbol_16(buffer : [[access(read_write)]] SB, offset : u32, value : mat3x3<f32>) {
+  tint_symbol_8(buffer, (offset + 0u), value[0u]);
+  tint_symbol_8(buffer, (offset + 16u), value[1u]);
+  tint_symbol_8(buffer, (offset + 32u), value[2u]);
+}
+
+fn tint_symbol_17(buffer : [[access(read_write)]] SB, offset : u32, value : mat3x4<f32>) {
+  tint_symbol_11(buffer, (offset + 0u), value[0u]);
+  tint_symbol_11(buffer, (offset + 16u), value[1u]);
+  tint_symbol_11(buffer, (offset + 32u), value[2u]);
+}
+
+fn tint_symbol_18(buffer : [[access(read_write)]] SB, offset : u32, value : mat4x2<f32>) {
+  tint_symbol_5(buffer, (offset + 0u), value[0u]);
+  tint_symbol_5(buffer, (offset + 8u), value[1u]);
+  tint_symbol_5(buffer, (offset + 16u), value[2u]);
+  tint_symbol_5(buffer, (offset + 24u), value[3u]);
+}
+
+fn tint_symbol_19(buffer : [[access(read_write)]] SB, offset : u32, value : mat4x3<f32>) {
+  tint_symbol_8(buffer, (offset + 0u), value[0u]);
+  tint_symbol_8(buffer, (offset + 16u), value[1u]);
+  tint_symbol_8(buffer, (offset + 32u), value[2u]);
+  tint_symbol_8(buffer, (offset + 48u), value[3u]);
+}
+
+fn tint_symbol_20(buffer : [[access(read_write)]] SB, offset : u32, value : mat4x4<f32>) {
+  tint_symbol_11(buffer, (offset + 0u), value[0u]);
+  tint_symbol_11(buffer, (offset + 16u), value[1u]);
+  tint_symbol_11(buffer, (offset + 32u), value[2u]);
+  tint_symbol_11(buffer, (offset + 48u), value[3u]);
+}
+
+fn tint_symbol_21(buffer : [[access(read_write)]] SB, offset : u32, value : array<vec3<f32>, 2>) {
+  tint_symbol_8(buffer, (offset + 0u), value[0u]);
+  tint_symbol_8(buffer, (offset + 16u), value[1u]);
+}
+
+fn tint_symbol_22(buffer : [[access(read_write)]] SB, offset : u32, value : SB) {
   tint_symbol(buffer, (offset + 0u), value.a);
   tint_symbol_1(buffer, (offset + 4u), value.b);
   tint_symbol_2(buffer, (offset + 8u), value.c);
@@ -792,23 +756,23 @@
   tint_symbol_9(buffer, (offset + 96u), value.j);
   tint_symbol_10(buffer, (offset + 112u), value.k);
   tint_symbol_11(buffer, (offset + 128u), value.l);
-  tint_symbol_13(buffer, (offset + 144u), value.m);
-  tint_symbol_15(buffer, (offset + 160u), value.n);
-  tint_symbol_17(buffer, (offset + 192u), value.o);
-  tint_symbol_18(buffer, (offset + 224u), value.p);
-  tint_symbol_19(buffer, (offset + 256u), value.q);
-  tint_symbol_20(buffer, (offset + 304u), value.r);
-  tint_symbol_21(buffer, (offset + 352u), value.s);
-  tint_symbol_22(buffer, (offset + 384u), value.t);
-  tint_symbol_23(buffer, (offset + 448u), value.u);
-  tint_symbol_24(buffer, (offset + 512u), value.v);
+  tint_symbol_12(buffer, (offset + 144u), value.m);
+  tint_symbol_13(buffer, (offset + 160u), value.n);
+  tint_symbol_14(buffer, (offset + 192u), value.o);
+  tint_symbol_15(buffer, (offset + 224u), value.p);
+  tint_symbol_16(buffer, (offset + 256u), value.q);
+  tint_symbol_17(buffer, (offset + 304u), value.r);
+  tint_symbol_18(buffer, (offset + 352u), value.s);
+  tint_symbol_19(buffer, (offset + 384u), value.t);
+  tint_symbol_20(buffer, (offset + 448u), value.u);
+  tint_symbol_21(buffer, (offset + 512u), value.v);
 }
 
 var<storage> sb : [[access(read_write)]] SB;
 
 [[stage(compute)]]
 fn main() {
-  tint_symbol_25(sb, 0u, SB());
+  tint_symbol_22(sb, 0u, SB());
 }
 )";