writer/wgsl: Emit atomic types

Bug: tint:892
Change-Id: Ie483167bcf669e5f2d6b5489a915584fc3678183
Reviewed-on: https://dawn-review.googlesource.com/c/tint/+/54649
Kokoro: Kokoro <noreply+kokoro@google.com>
Reviewed-by: David Neto <dneto@google.com>

src/writer/wgsl/generator_impl.cc

@@ -20,6 +20,7 @@
 #include "src/ast/access.h"
 #include "src/ast/alias.h"
 #include "src/ast/array.h"
+#include "src/ast/atomic.h"
 #include "src/ast/bool.h"
 #include "src/ast/bool_literal.h"
 #include "src/ast/call_statement.h"
@@ -409,6 +410,12 @@ bool GeneratorImpl::EmitType(const ast::Type* ty) {
       return false;
     }
     out_ << ">";
+  } else if (auto* atomic = ty->As<ast::Atomic>()) {
+    out_ << "atomic<";
+    if (!EmitType(atomic->type())) {
+      return false;
+    }
+    out_ << ">";
   } else if (auto* sampler = ty->As<ast::Sampler>()) {
     out_ << "sampler";
 

test/intrinsics/gen/atomicAdd/794055.wgsl.expected.hlsl

@@ -1,5 +1,15 @@
 SKIP: FAILED
 
 
-var<workgroup> arg_0 : 
+var<workgroup> arg_0 : atomic<i32>;
+
+fn atomicAdd_794055() {
+  var res : i32 = atomicAdd(&(arg_0), 1);
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicAdd_794055();
+}
+
 Failed to generate: error: unknown type in EmitType

test/intrinsics/gen/atomicAdd/794055.wgsl.expected.spvasm

@@ -1,5 +1,15 @@
 SKIP: FAILED
 
 
-var<workgroup> arg_0 : 
+var<workgroup> arg_0 : atomic<i32>;
+
+fn atomicAdd_794055() {
+  var res : i32 = atomicAdd(&(arg_0), 1);
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicAdd_794055();
+}
+
 Failed to generate: unable to convert type: __atomic__i32

test/intrinsics/gen/atomicAdd/794055.wgsl.expected.wgsl

@@ -1,5 +1,10 @@
-SKIP: FAILED
+var<workgroup> arg_0 : atomic<i32>;
 
+fn atomicAdd_794055() {
+  var res : i32 = atomicAdd(&(arg_0), 1);
+}
 
-var<workgroup> arg_0 : 
-Failed to generate: error: unknown type in EmitType: __atomic__i32
+[[stage(compute)]]
+fn compute_main() {
+  atomicAdd_794055();
+}

test/intrinsics/gen/atomicAdd/8a199a.wgsl.expected.msl

@@ -3,5 +3,23 @@ SKIP: FAILED
 
 [[block]]
 struct SB_RW {
-  arg_0 : 
+  arg_0 : atomic<u32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicAdd_8a199a() {
+  var res : u32 = atomicAdd(&(sb_rw.arg_0), 1u);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicAdd_8a199a();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicAdd_8a199a();
+}
+
 Failed to generate: error: unknown type in EmitType: __atomic__u32

test/intrinsics/gen/atomicAdd/8a199a.wgsl.expected.spvasm

@@ -3,5 +3,23 @@ SKIP: FAILED
 
 [[block]]
 struct SB_RW {
-  arg_0 : 
+  arg_0 : atomic<u32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicAdd_8a199a() {
+  var res : u32 = atomicAdd(&(sb_rw.arg_0), 1u);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicAdd_8a199a();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicAdd_8a199a();
+}
+
 Failed to generate: unable to convert type: __atomic__u32

test/intrinsics/gen/atomicAdd/8a199a.wgsl.expected.wgsl

@@ -1,7 +1,20 @@
-SKIP: FAILED
-
-
 [[block]]
 struct SB_RW {
-  arg_0 : 
-Failed to generate: error: unknown type in EmitType: __atomic__u32
+  arg_0 : atomic<u32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicAdd_8a199a() {
+  var res : u32 = atomicAdd(&(sb_rw.arg_0), 1u);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicAdd_8a199a();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicAdd_8a199a();
+}

test/intrinsics/gen/atomicAdd/d32fe4.wgsl.expected.msl

@@ -3,5 +3,23 @@ SKIP: FAILED
 
 [[block]]
 struct SB_RW {
-  arg_0 : 
+  arg_0 : atomic<i32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicAdd_d32fe4() {
+  var res : i32 = atomicAdd(&(sb_rw.arg_0), 1);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicAdd_d32fe4();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicAdd_d32fe4();
+}
+
 Failed to generate: error: unknown type in EmitType: __atomic__i32

test/intrinsics/gen/atomicAdd/d32fe4.wgsl.expected.spvasm

@@ -3,5 +3,23 @@ SKIP: FAILED
 
 [[block]]
 struct SB_RW {
-  arg_0 : 
+  arg_0 : atomic<i32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicAdd_d32fe4() {
+  var res : i32 = atomicAdd(&(sb_rw.arg_0), 1);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicAdd_d32fe4();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicAdd_d32fe4();
+}
+
 Failed to generate: unable to convert type: __atomic__i32

test/intrinsics/gen/atomicAdd/d32fe4.wgsl.expected.wgsl

@@ -1,7 +1,20 @@
-SKIP: FAILED
-
-
 [[block]]
 struct SB_RW {
-  arg_0 : 
-Failed to generate: error: unknown type in EmitType: __atomic__i32
+  arg_0 : atomic<i32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicAdd_d32fe4() {
+  var res : i32 = atomicAdd(&(sb_rw.arg_0), 1);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicAdd_d32fe4();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicAdd_d32fe4();
+}

test/intrinsics/gen/atomicAdd/d5db1d.wgsl.expected.hlsl

@@ -1,5 +1,15 @@
 SKIP: FAILED
 
 
-var<workgroup> arg_0 : 
+var<workgroup> arg_0 : atomic<u32>;
+
+fn atomicAdd_d5db1d() {
+  var res : u32 = atomicAdd(&(arg_0), 1u);
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicAdd_d5db1d();
+}
+
 Failed to generate: error: unknown type in EmitType

test/intrinsics/gen/atomicAdd/d5db1d.wgsl.expected.spvasm

@@ -1,5 +1,15 @@
 SKIP: FAILED
 
 
-var<workgroup> arg_0 : 
+var<workgroup> arg_0 : atomic<u32>;
+
+fn atomicAdd_d5db1d() {
+  var res : u32 = atomicAdd(&(arg_0), 1u);
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicAdd_d5db1d();
+}
+
 Failed to generate: unable to convert type: __atomic__u32

test/intrinsics/gen/atomicAdd/d5db1d.wgsl.expected.wgsl

@@ -1,5 +1,10 @@
-SKIP: FAILED
+var<workgroup> arg_0 : atomic<u32>;
 
+fn atomicAdd_d5db1d() {
+  var res : u32 = atomicAdd(&(arg_0), 1u);
+}
 
-var<workgroup> arg_0 : 
-Failed to generate: error: unknown type in EmitType: __atomic__u32
+[[stage(compute)]]
+fn compute_main() {
+  atomicAdd_d5db1d();
+}

test/intrinsics/gen/atomicAnd/152966.wgsl.expected.msl

@@ -3,5 +3,23 @@ SKIP: FAILED
 
 [[block]]
 struct SB_RW {
-  arg_0 : 
+  arg_0 : atomic<i32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicAnd_152966() {
+  var res : i32 = atomicAnd(&(sb_rw.arg_0), 1);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicAnd_152966();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicAnd_152966();
+}
+
 Failed to generate: error: unknown type in EmitType: __atomic__i32

test/intrinsics/gen/atomicAnd/152966.wgsl.expected.spvasm

@@ -3,5 +3,23 @@ SKIP: FAILED
 
 [[block]]
 struct SB_RW {
-  arg_0 : 
+  arg_0 : atomic<i32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicAnd_152966() {
+  var res : i32 = atomicAnd(&(sb_rw.arg_0), 1);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicAnd_152966();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicAnd_152966();
+}
+
 Failed to generate: unable to convert type: __atomic__i32

test/intrinsics/gen/atomicAnd/152966.wgsl.expected.wgsl

@@ -1,7 +1,20 @@
-SKIP: FAILED
-
-
 [[block]]
 struct SB_RW {
-  arg_0 : 
-Failed to generate: error: unknown type in EmitType: __atomic__i32
+  arg_0 : atomic<i32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicAnd_152966() {
+  var res : i32 = atomicAnd(&(sb_rw.arg_0), 1);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicAnd_152966();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicAnd_152966();
+}

test/intrinsics/gen/atomicAnd/34edd3.wgsl.expected.hlsl

@@ -1,5 +1,15 @@
 SKIP: FAILED
 
 
-var<workgroup> arg_0 : 
+var<workgroup> arg_0 : atomic<u32>;
+
+fn atomicAnd_34edd3() {
+  var res : u32 = atomicAnd(&(arg_0), 1u);
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicAnd_34edd3();
+}
+
 Failed to generate: error: unknown type in EmitType

test/intrinsics/gen/atomicAnd/34edd3.wgsl.expected.spvasm

@@ -1,5 +1,15 @@
 SKIP: FAILED
 
 
-var<workgroup> arg_0 : 
+var<workgroup> arg_0 : atomic<u32>;
+
+fn atomicAnd_34edd3() {
+  var res : u32 = atomicAnd(&(arg_0), 1u);
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicAnd_34edd3();
+}
+
 Failed to generate: unable to convert type: __atomic__u32

test/intrinsics/gen/atomicAnd/34edd3.wgsl.expected.wgsl

@@ -1,5 +1,10 @@
-SKIP: FAILED
+var<workgroup> arg_0 : atomic<u32>;
 
+fn atomicAnd_34edd3() {
+  var res : u32 = atomicAnd(&(arg_0), 1u);
+}
 
-var<workgroup> arg_0 : 
-Failed to generate: error: unknown type in EmitType: __atomic__u32
+[[stage(compute)]]
+fn compute_main() {
+  atomicAnd_34edd3();
+}

test/intrinsics/gen/atomicAnd/45a819.wgsl.expected.hlsl

@@ -1,5 +1,15 @@
 SKIP: FAILED
 
 
-var<workgroup> arg_0 : 
+var<workgroup> arg_0 : atomic<i32>;
+
+fn atomicAnd_45a819() {
+  var res : i32 = atomicAnd(&(arg_0), 1);
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicAnd_45a819();
+}
+
 Failed to generate: error: unknown type in EmitType

test/intrinsics/gen/atomicAnd/45a819.wgsl.expected.spvasm

@@ -1,5 +1,15 @@
 SKIP: FAILED
 
 
-var<workgroup> arg_0 : 
+var<workgroup> arg_0 : atomic<i32>;
+
+fn atomicAnd_45a819() {
+  var res : i32 = atomicAnd(&(arg_0), 1);
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicAnd_45a819();
+}
+
 Failed to generate: unable to convert type: __atomic__i32

test/intrinsics/gen/atomicAnd/45a819.wgsl.expected.wgsl

@@ -1,5 +1,10 @@
-SKIP: FAILED
+var<workgroup> arg_0 : atomic<i32>;
 
+fn atomicAnd_45a819() {
+  var res : i32 = atomicAnd(&(arg_0), 1);
+}
 
-var<workgroup> arg_0 : 
-Failed to generate: error: unknown type in EmitType: __atomic__i32
+[[stage(compute)]]
+fn compute_main() {
+  atomicAnd_45a819();
+}

test/intrinsics/gen/atomicAnd/85a8d9.wgsl.expected.msl

@@ -3,5 +3,23 @@ SKIP: FAILED
 
 [[block]]
 struct SB_RW {
-  arg_0 : 
+  arg_0 : atomic<u32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicAnd_85a8d9() {
+  var res : u32 = atomicAnd(&(sb_rw.arg_0), 1u);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicAnd_85a8d9();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicAnd_85a8d9();
+}
+
 Failed to generate: error: unknown type in EmitType: __atomic__u32

test/intrinsics/gen/atomicAnd/85a8d9.wgsl.expected.spvasm

@@ -3,5 +3,23 @@ SKIP: FAILED
 
 [[block]]
 struct SB_RW {
-  arg_0 : 
+  arg_0 : atomic<u32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicAnd_85a8d9() {
+  var res : u32 = atomicAnd(&(sb_rw.arg_0), 1u);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicAnd_85a8d9();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicAnd_85a8d9();
+}
+
 Failed to generate: unable to convert type: __atomic__u32

test/intrinsics/gen/atomicAnd/85a8d9.wgsl.expected.wgsl

@@ -1,7 +1,20 @@
-SKIP: FAILED
-
-
 [[block]]
 struct SB_RW {
-  arg_0 : 
-Failed to generate: error: unknown type in EmitType: __atomic__u32
+  arg_0 : atomic<u32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicAnd_85a8d9() {
+  var res : u32 = atomicAnd(&(sb_rw.arg_0), 1u);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicAnd_85a8d9();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicAnd_85a8d9();
+}

test/intrinsics/gen/atomicCompareExchangeWeak/12871c.wgsl.expected.msl

@@ -3,5 +3,23 @@ SKIP: FAILED
 
 [[block]]
 struct SB_RW {
-  arg_0 : 
+  arg_0 : atomic<i32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicCompareExchangeWeak_12871c() {
+  var res : vec2<i32> = atomicCompareExchangeWeak(&(sb_rw.arg_0), 1, 1);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicCompareExchangeWeak_12871c();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicCompareExchangeWeak_12871c();
+}
+
 Failed to generate: error: unknown type in EmitType: __atomic__i32

test/intrinsics/gen/atomicCompareExchangeWeak/12871c.wgsl.expected.spvasm

@@ -3,5 +3,23 @@ SKIP: FAILED
 
 [[block]]
 struct SB_RW {
-  arg_0 : 
+  arg_0 : atomic<i32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicCompareExchangeWeak_12871c() {
+  var res : vec2<i32> = atomicCompareExchangeWeak(&(sb_rw.arg_0), 1, 1);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicCompareExchangeWeak_12871c();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicCompareExchangeWeak_12871c();
+}
+
 Failed to generate: unable to convert type: __atomic__i32

test/intrinsics/gen/atomicCompareExchangeWeak/12871c.wgsl.expected.wgsl

@@ -1,7 +1,20 @@
-SKIP: FAILED
-
-
 [[block]]
 struct SB_RW {
-  arg_0 : 
-Failed to generate: error: unknown type in EmitType: __atomic__i32
+  arg_0 : atomic<i32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicCompareExchangeWeak_12871c() {
+  var res : vec2<i32> = atomicCompareExchangeWeak(&(sb_rw.arg_0), 1, 1);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicCompareExchangeWeak_12871c();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicCompareExchangeWeak_12871c();
+}

test/intrinsics/gen/atomicCompareExchangeWeak/6673da.wgsl.expected.msl

@@ -3,5 +3,23 @@ SKIP: FAILED
 
 [[block]]
 struct SB_RW {
-  arg_0 : 
+  arg_0 : atomic<u32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicCompareExchangeWeak_6673da() {
+  var res : vec2<u32> = atomicCompareExchangeWeak(&(sb_rw.arg_0), 1u, 1u);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicCompareExchangeWeak_6673da();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicCompareExchangeWeak_6673da();
+}
+
 Failed to generate: error: unknown type in EmitType: __atomic__u32

test/intrinsics/gen/atomicCompareExchangeWeak/6673da.wgsl.expected.spvasm

@@ -3,5 +3,23 @@ SKIP: FAILED
 
 [[block]]
 struct SB_RW {
-  arg_0 : 
+  arg_0 : atomic<u32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicCompareExchangeWeak_6673da() {
+  var res : vec2<u32> = atomicCompareExchangeWeak(&(sb_rw.arg_0), 1u, 1u);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicCompareExchangeWeak_6673da();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicCompareExchangeWeak_6673da();
+}
+
 Failed to generate: unable to convert type: __atomic__u32

test/intrinsics/gen/atomicCompareExchangeWeak/6673da.wgsl.expected.wgsl

@@ -1,7 +1,20 @@
-SKIP: FAILED
-
-
 [[block]]
 struct SB_RW {
-  arg_0 : 
-Failed to generate: error: unknown type in EmitType: __atomic__u32
+  arg_0 : atomic<u32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicCompareExchangeWeak_6673da() {
+  var res : vec2<u32> = atomicCompareExchangeWeak(&(sb_rw.arg_0), 1u, 1u);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicCompareExchangeWeak_6673da();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicCompareExchangeWeak_6673da();
+}

test/intrinsics/gen/atomicCompareExchangeWeak/89ea3b.wgsl.expected.hlsl

@@ -1,5 +1,15 @@
 SKIP: FAILED
 
 
-var<workgroup> arg_0 : 
+var<workgroup> arg_0 : atomic<i32>;
+
+fn atomicCompareExchangeWeak_89ea3b() {
+  var res : vec2<i32> = atomicCompareExchangeWeak(&(arg_0), 1, 1);
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicCompareExchangeWeak_89ea3b();
+}
+
 Failed to generate: error: unknown type in EmitType

test/intrinsics/gen/atomicCompareExchangeWeak/89ea3b.wgsl.expected.spvasm

@@ -1,5 +1,15 @@
 SKIP: FAILED
 
 
-var<workgroup> arg_0 : 
+var<workgroup> arg_0 : atomic<i32>;
+
+fn atomicCompareExchangeWeak_89ea3b() {
+  var res : vec2<i32> = atomicCompareExchangeWeak(&(arg_0), 1, 1);
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicCompareExchangeWeak_89ea3b();
+}
+
 Failed to generate: unable to convert type: __atomic__i32

test/intrinsics/gen/atomicCompareExchangeWeak/89ea3b.wgsl.expected.wgsl

@@ -1,5 +1,10 @@
-SKIP: FAILED
+var<workgroup> arg_0 : atomic<i32>;
 
+fn atomicCompareExchangeWeak_89ea3b() {
+  var res : vec2<i32> = atomicCompareExchangeWeak(&(arg_0), 1, 1);
+}
 
-var<workgroup> arg_0 : 
-Failed to generate: error: unknown type in EmitType: __atomic__i32
+[[stage(compute)]]
+fn compute_main() {
+  atomicCompareExchangeWeak_89ea3b();
+}

test/intrinsics/gen/atomicCompareExchangeWeak/b2ab2c.wgsl.expected.hlsl

@@ -1,5 +1,15 @@
 SKIP: FAILED
 
 
-var<workgroup> arg_0 : 
+var<workgroup> arg_0 : atomic<u32>;
+
+fn atomicCompareExchangeWeak_b2ab2c() {
+  var res : vec2<u32> = atomicCompareExchangeWeak(&(arg_0), 1u, 1u);
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicCompareExchangeWeak_b2ab2c();
+}
+
 Failed to generate: error: unknown type in EmitType

test/intrinsics/gen/atomicCompareExchangeWeak/b2ab2c.wgsl.expected.spvasm

@@ -1,5 +1,15 @@
 SKIP: FAILED
 
 
-var<workgroup> arg_0 : 
+var<workgroup> arg_0 : atomic<u32>;
+
+fn atomicCompareExchangeWeak_b2ab2c() {
+  var res : vec2<u32> = atomicCompareExchangeWeak(&(arg_0), 1u, 1u);
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicCompareExchangeWeak_b2ab2c();
+}
+
 Failed to generate: unable to convert type: __atomic__u32

test/intrinsics/gen/atomicCompareExchangeWeak/b2ab2c.wgsl.expected.wgsl

@@ -1,5 +1,10 @@
-SKIP: FAILED
+var<workgroup> arg_0 : atomic<u32>;
 
+fn atomicCompareExchangeWeak_b2ab2c() {
+  var res : vec2<u32> = atomicCompareExchangeWeak(&(arg_0), 1u, 1u);
+}
 
-var<workgroup> arg_0 : 
-Failed to generate: error: unknown type in EmitType: __atomic__u32
+[[stage(compute)]]
+fn compute_main() {
+  atomicCompareExchangeWeak_b2ab2c();
+}

test/intrinsics/gen/atomicExchange/0a5dca.wgsl.expected.hlsl

@@ -1,5 +1,15 @@
 SKIP: FAILED
 
 
-var<workgroup> arg_0 : 
+var<workgroup> arg_0 : atomic<u32>;
+
+fn atomicExchange_0a5dca() {
+  var res : u32 = atomicExchange(&(arg_0), 1u);
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicExchange_0a5dca();
+}
+
 Failed to generate: error: unknown type in EmitType

test/intrinsics/gen/atomicExchange/0a5dca.wgsl.expected.spvasm

@@ -1,5 +1,15 @@
 SKIP: FAILED
 
 
-var<workgroup> arg_0 : 
+var<workgroup> arg_0 : atomic<u32>;
+
+fn atomicExchange_0a5dca() {
+  var res : u32 = atomicExchange(&(arg_0), 1u);
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicExchange_0a5dca();
+}
+
 Failed to generate: unable to convert type: __atomic__u32

test/intrinsics/gen/atomicExchange/0a5dca.wgsl.expected.wgsl

@@ -1,5 +1,10 @@
-SKIP: FAILED
+var<workgroup> arg_0 : atomic<u32>;
 
+fn atomicExchange_0a5dca() {
+  var res : u32 = atomicExchange(&(arg_0), 1u);
+}
 
-var<workgroup> arg_0 : 
-Failed to generate: error: unknown type in EmitType: __atomic__u32
+[[stage(compute)]]
+fn compute_main() {
+  atomicExchange_0a5dca();
+}

test/intrinsics/gen/atomicExchange/d59712.wgsl.expected.msl

@@ -3,5 +3,23 @@ SKIP: FAILED
 
 [[block]]
 struct SB_RW {
-  arg_0 : 
+  arg_0 : atomic<u32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicExchange_d59712() {
+  var res : u32 = atomicExchange(&(sb_rw.arg_0), 1u);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicExchange_d59712();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicExchange_d59712();
+}
+
 Failed to generate: error: unknown type in EmitType: __atomic__u32

test/intrinsics/gen/atomicExchange/d59712.wgsl.expected.spvasm

@@ -3,5 +3,23 @@ SKIP: FAILED
 
 [[block]]
 struct SB_RW {
-  arg_0 : 
+  arg_0 : atomic<u32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicExchange_d59712() {
+  var res : u32 = atomicExchange(&(sb_rw.arg_0), 1u);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicExchange_d59712();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicExchange_d59712();
+}
+
 Failed to generate: unable to convert type: __atomic__u32

test/intrinsics/gen/atomicExchange/d59712.wgsl.expected.wgsl

@@ -1,7 +1,20 @@
-SKIP: FAILED
-
-
 [[block]]
 struct SB_RW {
-  arg_0 : 
-Failed to generate: error: unknown type in EmitType: __atomic__u32
+  arg_0 : atomic<u32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicExchange_d59712() {
+  var res : u32 = atomicExchange(&(sb_rw.arg_0), 1u);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicExchange_d59712();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicExchange_d59712();
+}

test/intrinsics/gen/atomicExchange/e114ba.wgsl.expected.hlsl

@@ -1,5 +1,15 @@
 SKIP: FAILED
 
 
-var<workgroup> arg_0 : 
+var<workgroup> arg_0 : atomic<i32>;
+
+fn atomicExchange_e114ba() {
+  var res : i32 = atomicExchange(&(arg_0), 1);
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicExchange_e114ba();
+}
+
 Failed to generate: error: unknown type in EmitType

test/intrinsics/gen/atomicExchange/e114ba.wgsl.expected.spvasm

@@ -1,5 +1,15 @@
 SKIP: FAILED
 
 
-var<workgroup> arg_0 : 
+var<workgroup> arg_0 : atomic<i32>;
+
+fn atomicExchange_e114ba() {
+  var res : i32 = atomicExchange(&(arg_0), 1);
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicExchange_e114ba();
+}
+
 Failed to generate: unable to convert type: __atomic__i32

test/intrinsics/gen/atomicExchange/e114ba.wgsl.expected.wgsl

@@ -1,5 +1,10 @@
-SKIP: FAILED
+var<workgroup> arg_0 : atomic<i32>;
 
+fn atomicExchange_e114ba() {
+  var res : i32 = atomicExchange(&(arg_0), 1);
+}
 
-var<workgroup> arg_0 : 
-Failed to generate: error: unknown type in EmitType: __atomic__i32
+[[stage(compute)]]
+fn compute_main() {
+  atomicExchange_e114ba();
+}

test/intrinsics/gen/atomicExchange/f2e22f.wgsl.expected.msl

@@ -3,5 +3,23 @@ SKIP: FAILED
 
 [[block]]
 struct SB_RW {
-  arg_0 : 
+  arg_0 : atomic<i32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicExchange_f2e22f() {
+  var res : i32 = atomicExchange(&(sb_rw.arg_0), 1);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicExchange_f2e22f();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicExchange_f2e22f();
+}
+
 Failed to generate: error: unknown type in EmitType: __atomic__i32

test/intrinsics/gen/atomicExchange/f2e22f.wgsl.expected.spvasm

@@ -3,5 +3,23 @@ SKIP: FAILED
 
 [[block]]
 struct SB_RW {
-  arg_0 : 
+  arg_0 : atomic<i32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicExchange_f2e22f() {
+  var res : i32 = atomicExchange(&(sb_rw.arg_0), 1);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicExchange_f2e22f();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicExchange_f2e22f();
+}
+
 Failed to generate: unable to convert type: __atomic__i32

test/intrinsics/gen/atomicExchange/f2e22f.wgsl.expected.wgsl

@@ -1,7 +1,20 @@
-SKIP: FAILED
-
-
 [[block]]
 struct SB_RW {
-  arg_0 : 
-Failed to generate: error: unknown type in EmitType: __atomic__i32
+  arg_0 : atomic<i32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicExchange_f2e22f() {
+  var res : i32 = atomicExchange(&(sb_rw.arg_0), 1);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicExchange_f2e22f();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicExchange_f2e22f();
+}

test/intrinsics/gen/atomicLoad/0806ad.wgsl.expected.msl

@@ -3,5 +3,23 @@ SKIP: FAILED
 
 [[block]]
 struct SB_RW {
-  arg_0 : 
+  arg_0 : atomic<i32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicLoad_0806ad() {
+  var res : i32 = atomicLoad(&(sb_rw.arg_0));
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicLoad_0806ad();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicLoad_0806ad();
+}
+
 Failed to generate: error: unknown type in EmitType: __atomic__i32

test/intrinsics/gen/atomicLoad/0806ad.wgsl.expected.spvasm

@@ -3,5 +3,23 @@ SKIP: FAILED
 
 [[block]]
 struct SB_RW {
-  arg_0 : 
+  arg_0 : atomic<i32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicLoad_0806ad() {
+  var res : i32 = atomicLoad(&(sb_rw.arg_0));
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicLoad_0806ad();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicLoad_0806ad();
+}
+
 Failed to generate: unable to convert type: __atomic__i32

test/intrinsics/gen/atomicLoad/0806ad.wgsl.expected.wgsl

@@ -1,7 +1,20 @@
-SKIP: FAILED
-
-
 [[block]]
 struct SB_RW {
-  arg_0 : 
-Failed to generate: error: unknown type in EmitType: __atomic__i32
+  arg_0 : atomic<i32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicLoad_0806ad() {
+  var res : i32 = atomicLoad(&(sb_rw.arg_0));
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicLoad_0806ad();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicLoad_0806ad();
+}

test/intrinsics/gen/atomicLoad/361bf1.wgsl.expected.hlsl

@@ -1,5 +1,15 @@
 SKIP: FAILED
 
 
-var<workgroup> arg_0 : 
+var<workgroup> arg_0 : atomic<u32>;
+
+fn atomicLoad_361bf1() {
+  var res : u32 = atomicLoad(&(arg_0));
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicLoad_361bf1();
+}
+
 Failed to generate: error: unknown type in EmitType

test/intrinsics/gen/atomicLoad/361bf1.wgsl.expected.spvasm

@@ -1,5 +1,15 @@
 SKIP: FAILED
 
 
-var<workgroup> arg_0 : 
+var<workgroup> arg_0 : atomic<u32>;
+
+fn atomicLoad_361bf1() {
+  var res : u32 = atomicLoad(&(arg_0));
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicLoad_361bf1();
+}
+
 Failed to generate: unable to convert type: __atomic__u32

test/intrinsics/gen/atomicLoad/361bf1.wgsl.expected.wgsl

@@ -1,5 +1,10 @@
-SKIP: FAILED
+var<workgroup> arg_0 : atomic<u32>;
 
+fn atomicLoad_361bf1() {
+  var res : u32 = atomicLoad(&(arg_0));
+}
 
-var<workgroup> arg_0 : 
-Failed to generate: error: unknown type in EmitType: __atomic__u32
+[[stage(compute)]]
+fn compute_main() {
+  atomicLoad_361bf1();
+}

test/intrinsics/gen/atomicLoad/afcc03.wgsl.expected.hlsl

@@ -1,5 +1,15 @@
 SKIP: FAILED
 
 
-var<workgroup> arg_0 : 
+var<workgroup> arg_0 : atomic<i32>;
+
+fn atomicLoad_afcc03() {
+  var res : i32 = atomicLoad(&(arg_0));
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicLoad_afcc03();
+}
+
 Failed to generate: error: unknown type in EmitType

test/intrinsics/gen/atomicLoad/afcc03.wgsl.expected.spvasm

@@ -1,5 +1,15 @@
 SKIP: FAILED
 
 
-var<workgroup> arg_0 : 
+var<workgroup> arg_0 : atomic<i32>;
+
+fn atomicLoad_afcc03() {
+  var res : i32 = atomicLoad(&(arg_0));
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicLoad_afcc03();
+}
+
 Failed to generate: unable to convert type: __atomic__i32

test/intrinsics/gen/atomicLoad/afcc03.wgsl.expected.wgsl

@@ -1,5 +1,10 @@
-SKIP: FAILED
+var<workgroup> arg_0 : atomic<i32>;
 
+fn atomicLoad_afcc03() {
+  var res : i32 = atomicLoad(&(arg_0));
+}
 
-var<workgroup> arg_0 : 
-Failed to generate: error: unknown type in EmitType: __atomic__i32
+[[stage(compute)]]
+fn compute_main() {
+  atomicLoad_afcc03();
+}

test/intrinsics/gen/atomicLoad/fe6cc3.wgsl.expected.msl

@@ -3,5 +3,23 @@ SKIP: FAILED
 
 [[block]]
 struct SB_RW {
-  arg_0 : 
+  arg_0 : atomic<u32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicLoad_fe6cc3() {
+  var res : u32 = atomicLoad(&(sb_rw.arg_0));
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicLoad_fe6cc3();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicLoad_fe6cc3();
+}
+
 Failed to generate: error: unknown type in EmitType: __atomic__u32

test/intrinsics/gen/atomicLoad/fe6cc3.wgsl.expected.spvasm

@@ -3,5 +3,23 @@ SKIP: FAILED
 
 [[block]]
 struct SB_RW {
-  arg_0 : 
+  arg_0 : atomic<u32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicLoad_fe6cc3() {
+  var res : u32 = atomicLoad(&(sb_rw.arg_0));
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicLoad_fe6cc3();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicLoad_fe6cc3();
+}
+
 Failed to generate: unable to convert type: __atomic__u32

test/intrinsics/gen/atomicLoad/fe6cc3.wgsl.expected.wgsl

@@ -1,7 +1,20 @@
-SKIP: FAILED
-
-
 [[block]]
 struct SB_RW {
-  arg_0 : 
-Failed to generate: error: unknown type in EmitType: __atomic__u32
+  arg_0 : atomic<u32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicLoad_fe6cc3() {
+  var res : u32 = atomicLoad(&(sb_rw.arg_0));
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicLoad_fe6cc3();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicLoad_fe6cc3();
+}

test/intrinsics/gen/atomicMax/51b9be.wgsl.expected.msl

@@ -3,5 +3,23 @@ SKIP: FAILED
 
 [[block]]
 struct SB_RW {
-  arg_0 : 
+  arg_0 : atomic<u32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicMax_51b9be() {
+  var res : u32 = atomicMax(&(sb_rw.arg_0), 1u);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicMax_51b9be();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicMax_51b9be();
+}
+
 Failed to generate: error: unknown type in EmitType: __atomic__u32

test/intrinsics/gen/atomicMax/51b9be.wgsl.expected.spvasm

@@ -3,5 +3,23 @@ SKIP: FAILED
 
 [[block]]
 struct SB_RW {
-  arg_0 : 
+  arg_0 : atomic<u32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicMax_51b9be() {
+  var res : u32 = atomicMax(&(sb_rw.arg_0), 1u);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicMax_51b9be();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicMax_51b9be();
+}
+
 Failed to generate: unable to convert type: __atomic__u32

test/intrinsics/gen/atomicMax/51b9be.wgsl.expected.wgsl

@@ -1,7 +1,20 @@
-SKIP: FAILED
-
-
 [[block]]
 struct SB_RW {
-  arg_0 : 
-Failed to generate: error: unknown type in EmitType: __atomic__u32
+  arg_0 : atomic<u32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicMax_51b9be() {
+  var res : u32 = atomicMax(&(sb_rw.arg_0), 1u);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicMax_51b9be();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicMax_51b9be();
+}

test/intrinsics/gen/atomicMax/92aa72.wgsl.expected.msl

@@ -3,5 +3,23 @@ SKIP: FAILED
 
 [[block]]
 struct SB_RW {
-  arg_0 : 
+  arg_0 : atomic<i32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicMax_92aa72() {
+  var res : i32 = atomicMax(&(sb_rw.arg_0), 1);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicMax_92aa72();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicMax_92aa72();
+}
+
 Failed to generate: error: unknown type in EmitType: __atomic__i32

test/intrinsics/gen/atomicMax/92aa72.wgsl.expected.spvasm

@@ -3,5 +3,23 @@ SKIP: FAILED
 
 [[block]]
 struct SB_RW {
-  arg_0 : 
+  arg_0 : atomic<i32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicMax_92aa72() {
+  var res : i32 = atomicMax(&(sb_rw.arg_0), 1);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicMax_92aa72();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicMax_92aa72();
+}
+
 Failed to generate: unable to convert type: __atomic__i32

test/intrinsics/gen/atomicMax/92aa72.wgsl.expected.wgsl

@@ -1,7 +1,20 @@
-SKIP: FAILED
-
-
 [[block]]
 struct SB_RW {
-  arg_0 : 
-Failed to generate: error: unknown type in EmitType: __atomic__i32
+  arg_0 : atomic<i32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicMax_92aa72() {
+  var res : i32 = atomicMax(&(sb_rw.arg_0), 1);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicMax_92aa72();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicMax_92aa72();
+}

test/intrinsics/gen/atomicMax/a89cc3.wgsl.expected.hlsl

@@ -1,5 +1,15 @@
 SKIP: FAILED
 
 
-var<workgroup> arg_0 : 
+var<workgroup> arg_0 : atomic<i32>;
+
+fn atomicMax_a89cc3() {
+  var res : i32 = atomicMax(&(arg_0), 1);
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicMax_a89cc3();
+}
+
 Failed to generate: error: unknown type in EmitType

test/intrinsics/gen/atomicMax/a89cc3.wgsl.expected.spvasm

@@ -1,5 +1,15 @@
 SKIP: FAILED
 
 
-var<workgroup> arg_0 : 
+var<workgroup> arg_0 : atomic<i32>;
+
+fn atomicMax_a89cc3() {
+  var res : i32 = atomicMax(&(arg_0), 1);
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicMax_a89cc3();
+}
+
 Failed to generate: unable to convert type: __atomic__i32

test/intrinsics/gen/atomicMax/a89cc3.wgsl.expected.wgsl

@@ -1,5 +1,10 @@
-SKIP: FAILED
+var<workgroup> arg_0 : atomic<i32>;
 
+fn atomicMax_a89cc3() {
+  var res : i32 = atomicMax(&(arg_0), 1);
+}
 
-var<workgroup> arg_0 : 
-Failed to generate: error: unknown type in EmitType: __atomic__i32
+[[stage(compute)]]
+fn compute_main() {
+  atomicMax_a89cc3();
+}

test/intrinsics/gen/atomicMax/beccfc.wgsl.expected.hlsl

@@ -1,5 +1,15 @@
 SKIP: FAILED
 
 
-var<workgroup> arg_0 : 
+var<workgroup> arg_0 : atomic<u32>;
+
+fn atomicMax_beccfc() {
+  var res : u32 = atomicMax(&(arg_0), 1u);
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicMax_beccfc();
+}
+
 Failed to generate: error: unknown type in EmitType

test/intrinsics/gen/atomicMax/beccfc.wgsl.expected.spvasm

@@ -1,5 +1,15 @@
 SKIP: FAILED
 
 
-var<workgroup> arg_0 : 
+var<workgroup> arg_0 : atomic<u32>;
+
+fn atomicMax_beccfc() {
+  var res : u32 = atomicMax(&(arg_0), 1u);
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicMax_beccfc();
+}
+
 Failed to generate: unable to convert type: __atomic__u32

test/intrinsics/gen/atomicMax/beccfc.wgsl.expected.wgsl

@@ -1,5 +1,10 @@
-SKIP: FAILED
+var<workgroup> arg_0 : atomic<u32>;
 
+fn atomicMax_beccfc() {
+  var res : u32 = atomicMax(&(arg_0), 1u);
+}
 
-var<workgroup> arg_0 : 
-Failed to generate: error: unknown type in EmitType: __atomic__u32
+[[stage(compute)]]
+fn compute_main() {
+  atomicMax_beccfc();
+}

test/intrinsics/gen/atomicMin/278235.wgsl.expected.hlsl

@@ -1,5 +1,15 @@
 SKIP: FAILED
 
 
-var<workgroup> arg_0 : 
+var<workgroup> arg_0 : atomic<i32>;
+
+fn atomicMin_278235() {
+  var res : i32 = atomicMin(&(arg_0), 1);
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicMin_278235();
+}
+
 Failed to generate: error: unknown type in EmitType

test/intrinsics/gen/atomicMin/278235.wgsl.expected.spvasm

@@ -1,5 +1,15 @@
 SKIP: FAILED
 
 
-var<workgroup> arg_0 : 
+var<workgroup> arg_0 : atomic<i32>;
+
+fn atomicMin_278235() {
+  var res : i32 = atomicMin(&(arg_0), 1);
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicMin_278235();
+}
+
 Failed to generate: unable to convert type: __atomic__i32

test/intrinsics/gen/atomicMin/278235.wgsl.expected.wgsl

@@ -1,5 +1,10 @@
-SKIP: FAILED
+var<workgroup> arg_0 : atomic<i32>;
 
+fn atomicMin_278235() {
+  var res : i32 = atomicMin(&(arg_0), 1);
+}
 
-var<workgroup> arg_0 : 
-Failed to generate: error: unknown type in EmitType: __atomic__i32
+[[stage(compute)]]
+fn compute_main() {
+  atomicMin_278235();
+}

test/intrinsics/gen/atomicMin/69d383.wgsl.expected.hlsl

@@ -1,5 +1,15 @@
 SKIP: FAILED
 
 
-var<workgroup> arg_0 : 
+var<workgroup> arg_0 : atomic<u32>;
+
+fn atomicMin_69d383() {
+  var res : u32 = atomicMin(&(arg_0), 1u);
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicMin_69d383();
+}
+
 Failed to generate: error: unknown type in EmitType

test/intrinsics/gen/atomicMin/69d383.wgsl.expected.spvasm

@@ -1,5 +1,15 @@
 SKIP: FAILED
 
 
-var<workgroup> arg_0 : 
+var<workgroup> arg_0 : atomic<u32>;
+
+fn atomicMin_69d383() {
+  var res : u32 = atomicMin(&(arg_0), 1u);
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicMin_69d383();
+}
+
 Failed to generate: unable to convert type: __atomic__u32

test/intrinsics/gen/atomicMin/69d383.wgsl.expected.wgsl

@@ -1,5 +1,10 @@
-SKIP: FAILED
+var<workgroup> arg_0 : atomic<u32>;
 
+fn atomicMin_69d383() {
+  var res : u32 = atomicMin(&(arg_0), 1u);
+}
 
-var<workgroup> arg_0 : 
-Failed to generate: error: unknown type in EmitType: __atomic__u32
+[[stage(compute)]]
+fn compute_main() {
+  atomicMin_69d383();
+}

test/intrinsics/gen/atomicMin/8e38dc.wgsl.expected.msl

@@ -3,5 +3,23 @@ SKIP: FAILED
 
 [[block]]
 struct SB_RW {
-  arg_0 : 
+  arg_0 : atomic<i32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicMin_8e38dc() {
+  var res : i32 = atomicMin(&(sb_rw.arg_0), 1);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicMin_8e38dc();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicMin_8e38dc();
+}
+
 Failed to generate: error: unknown type in EmitType: __atomic__i32

test/intrinsics/gen/atomicMin/8e38dc.wgsl.expected.spvasm

@@ -3,5 +3,23 @@ SKIP: FAILED
 
 [[block]]
 struct SB_RW {
-  arg_0 : 
+  arg_0 : atomic<i32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicMin_8e38dc() {
+  var res : i32 = atomicMin(&(sb_rw.arg_0), 1);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicMin_8e38dc();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicMin_8e38dc();
+}
+
 Failed to generate: unable to convert type: __atomic__i32

test/intrinsics/gen/atomicMin/8e38dc.wgsl.expected.wgsl

@@ -1,7 +1,20 @@
-SKIP: FAILED
-
-
 [[block]]
 struct SB_RW {
-  arg_0 : 
-Failed to generate: error: unknown type in EmitType: __atomic__i32
+  arg_0 : atomic<i32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicMin_8e38dc() {
+  var res : i32 = atomicMin(&(sb_rw.arg_0), 1);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicMin_8e38dc();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicMin_8e38dc();
+}

test/intrinsics/gen/atomicMin/c67a74.wgsl.expected.msl

@@ -3,5 +3,23 @@ SKIP: FAILED
 
 [[block]]
 struct SB_RW {
-  arg_0 : 
+  arg_0 : atomic<u32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicMin_c67a74() {
+  var res : u32 = atomicMin(&(sb_rw.arg_0), 1u);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicMin_c67a74();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicMin_c67a74();
+}
+
 Failed to generate: error: unknown type in EmitType: __atomic__u32

test/intrinsics/gen/atomicMin/c67a74.wgsl.expected.spvasm

@@ -3,5 +3,23 @@ SKIP: FAILED
 
 [[block]]
 struct SB_RW {
-  arg_0 : 
+  arg_0 : atomic<u32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicMin_c67a74() {
+  var res : u32 = atomicMin(&(sb_rw.arg_0), 1u);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicMin_c67a74();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicMin_c67a74();
+}
+
 Failed to generate: unable to convert type: __atomic__u32

test/intrinsics/gen/atomicMin/c67a74.wgsl.expected.wgsl

@@ -1,7 +1,20 @@
-SKIP: FAILED
-
-
 [[block]]
 struct SB_RW {
-  arg_0 : 
-Failed to generate: error: unknown type in EmitType: __atomic__u32
+  arg_0 : atomic<u32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicMin_c67a74() {
+  var res : u32 = atomicMin(&(sb_rw.arg_0), 1u);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicMin_c67a74();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicMin_c67a74();
+}

test/intrinsics/gen/atomicOr/5e3d61.wgsl.expected.hlsl

@@ -1,5 +1,15 @@
 SKIP: FAILED
 
 
-var<workgroup> arg_0 : 
+var<workgroup> arg_0 : atomic<u32>;
+
+fn atomicOr_5e3d61() {
+  var res : u32 = atomicOr(&(arg_0), 1u);
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicOr_5e3d61();
+}
+
 Failed to generate: error: unknown type in EmitType

test/intrinsics/gen/atomicOr/5e3d61.wgsl.expected.spvasm

@@ -1,5 +1,15 @@
 SKIP: FAILED
 
 
-var<workgroup> arg_0 : 
+var<workgroup> arg_0 : atomic<u32>;
+
+fn atomicOr_5e3d61() {
+  var res : u32 = atomicOr(&(arg_0), 1u);
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicOr_5e3d61();
+}
+
 Failed to generate: unable to convert type: __atomic__u32

test/intrinsics/gen/atomicOr/5e3d61.wgsl.expected.wgsl

@@ -1,5 +1,10 @@
-SKIP: FAILED
+var<workgroup> arg_0 : atomic<u32>;
 
+fn atomicOr_5e3d61() {
+  var res : u32 = atomicOr(&(arg_0), 1u);
+}
 
-var<workgroup> arg_0 : 
-Failed to generate: error: unknown type in EmitType: __atomic__u32
+[[stage(compute)]]
+fn compute_main() {
+  atomicOr_5e3d61();
+}

test/intrinsics/gen/atomicOr/5e95d4.wgsl.expected.msl

@@ -3,5 +3,23 @@ SKIP: FAILED
 
 [[block]]
 struct SB_RW {
-  arg_0 : 
+  arg_0 : atomic<u32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicOr_5e95d4() {
+  var res : u32 = atomicOr(&(sb_rw.arg_0), 1u);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicOr_5e95d4();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicOr_5e95d4();
+}
+
 Failed to generate: error: unknown type in EmitType: __atomic__u32

test/intrinsics/gen/atomicOr/5e95d4.wgsl.expected.spvasm

@@ -3,5 +3,23 @@ SKIP: FAILED
 
 [[block]]
 struct SB_RW {
-  arg_0 : 
+  arg_0 : atomic<u32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicOr_5e95d4() {
+  var res : u32 = atomicOr(&(sb_rw.arg_0), 1u);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicOr_5e95d4();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicOr_5e95d4();
+}
+
 Failed to generate: unable to convert type: __atomic__u32

test/intrinsics/gen/atomicOr/5e95d4.wgsl.expected.wgsl

@@ -1,7 +1,20 @@
-SKIP: FAILED
-
-
 [[block]]
 struct SB_RW {
-  arg_0 : 
-Failed to generate: error: unknown type in EmitType: __atomic__u32
+  arg_0 : atomic<u32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicOr_5e95d4() {
+  var res : u32 = atomicOr(&(sb_rw.arg_0), 1u);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicOr_5e95d4();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicOr_5e95d4();
+}

test/intrinsics/gen/atomicOr/8d96a0.wgsl.expected.msl

@@ -3,5 +3,23 @@ SKIP: FAILED
 
 [[block]]
 struct SB_RW {
-  arg_0 : 
+  arg_0 : atomic<i32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicOr_8d96a0() {
+  var res : i32 = atomicOr(&(sb_rw.arg_0), 1);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicOr_8d96a0();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicOr_8d96a0();
+}
+
 Failed to generate: error: unknown type in EmitType: __atomic__i32

test/intrinsics/gen/atomicOr/8d96a0.wgsl.expected.spvasm

@@ -3,5 +3,23 @@ SKIP: FAILED
 
 [[block]]
 struct SB_RW {
-  arg_0 : 
+  arg_0 : atomic<i32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicOr_8d96a0() {
+  var res : i32 = atomicOr(&(sb_rw.arg_0), 1);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicOr_8d96a0();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicOr_8d96a0();
+}
+
 Failed to generate: unable to convert type: __atomic__i32

test/intrinsics/gen/atomicOr/8d96a0.wgsl.expected.wgsl

@@ -1,7 +1,20 @@
-SKIP: FAILED
-
-
 [[block]]
 struct SB_RW {
-  arg_0 : 
-Failed to generate: error: unknown type in EmitType: __atomic__i32
+  arg_0 : atomic<i32>;
+};
+
+[[group(0), binding(0)]] var<storage, read_write> sb_rw : SB_RW;
+
+fn atomicOr_8d96a0() {
+  var res : i32 = atomicOr(&(sb_rw.arg_0), 1);
+}
+
+[[stage(fragment)]]
+fn fragment_main() {
+  atomicOr_8d96a0();
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicOr_8d96a0();
+}

test/intrinsics/gen/atomicOr/d09248.wgsl.expected.hlsl

@@ -1,5 +1,15 @@
 SKIP: FAILED
 
 
-var<workgroup> arg_0 : 
+var<workgroup> arg_0 : atomic<i32>;
+
+fn atomicOr_d09248() {
+  var res : i32 = atomicOr(&(arg_0), 1);
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicOr_d09248();
+}
+
 Failed to generate: error: unknown type in EmitType

test/intrinsics/gen/atomicOr/d09248.wgsl.expected.spvasm

@@ -1,5 +1,15 @@
 SKIP: FAILED
 
 
-var<workgroup> arg_0 : 
+var<workgroup> arg_0 : atomic<i32>;
+
+fn atomicOr_d09248() {
+  var res : i32 = atomicOr(&(arg_0), 1);
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicOr_d09248();
+}
+
 Failed to generate: unable to convert type: __atomic__i32

test/intrinsics/gen/atomicOr/d09248.wgsl.expected.wgsl

@@ -1,5 +1,10 @@
-SKIP: FAILED
+var<workgroup> arg_0 : atomic<i32>;
 
+fn atomicOr_d09248() {
+  var res : i32 = atomicOr(&(arg_0), 1);
+}
 
-var<workgroup> arg_0 : 
-Failed to generate: error: unknown type in EmitType: __atomic__i32
+[[stage(compute)]]
+fn compute_main() {
+  atomicOr_d09248();
+}

test/intrinsics/gen/atomicStore/726882.wgsl.expected.hlsl

@@ -1,5 +1,15 @@
 SKIP: FAILED
 
 
-var<workgroup> arg_0 : 
+var<workgroup> arg_0 : atomic<u32>;
+
+fn atomicStore_726882() {
+  atomicStore(&(arg_0), 1u);
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicStore_726882();
+}
+
 Failed to generate: error: unknown type in EmitType

test/intrinsics/gen/atomicStore/726882.wgsl.expected.spvasm

@@ -1,5 +1,15 @@
 SKIP: FAILED
 
 
-var<workgroup> arg_0 : 
+var<workgroup> arg_0 : atomic<u32>;
+
+fn atomicStore_726882() {
+  atomicStore(&(arg_0), 1u);
+}
+
+[[stage(compute)]]
+fn compute_main() {
+  atomicStore_726882();
+}
+
 Failed to generate: unable to convert type: __atomic__u32

test/intrinsics/gen/atomicStore/726882.wgsl.expected.wgsl

@@ -1,5 +1,10 @@
-SKIP: FAILED
+var<workgroup> arg_0 : atomic<u32>;
 
+fn atomicStore_726882() {
+  atomicStore(&(arg_0), 1u);
+}
 
-var<workgroup> arg_0 : 
-Failed to generate: error: unknown type in EmitType: __atomic__u32
+[[stage(compute)]]
+fn compute_main() {
+  atomicStore_726882();
+}