reproduction

Author: Vecvec

naga/tests/in/wgsl/empty-if.toml

@@ -0,0 +1,2 @@
+[spv]
+version = [1, 6]

naga/tests/in/wgsl/empty-if.wgsl

@@ -0,0 +1,9 @@
+@workgroup_size(1)
+@compute
+fn comp(@builtin(global_invocation_id) id: vec3<u32>) {
+    if (id.x == 0) {
+
+    }
+    _ = 1+1;
+    return;
+}

naga/tests/out/glsl/wgsl-empty-if.comp.Compute.glsl

@@ -0,0 +1,15 @@
+#version 310 es
+
+precision highp float;
+precision highp int;
+
+layout(local_size_x = 1, local_size_y = 1, local_size_z = 1) in;
+
+
+void main() {
+    uvec3 id = gl_GlobalInvocationID;
+    if ((id.x == 0u)) {
+    }
+    return;
+}
+

naga/tests/out/hlsl/wgsl-empty-if.hlsl

@@ -0,0 +1,7 @@
+[numthreads(1, 1, 1)]
+void comp(uint3 id : SV_DispatchThreadID)
+{
+    if ((id.x == 0u)) {
+    }
+    return;
+}

naga/tests/out/hlsl/wgsl-empty-if.ron

@@ -0,0 +1,12 @@
+(
+    vertex:[
+    ],
+    fragment:[
+    ],
+    compute:[
+        (
+            entry_point:"comp",
+            target_profile:"cs_5_1",
+        ),
+    ],
+)

naga/tests/out/msl/wgsl-empty-if.msl

@@ -0,0 +1,16 @@
+// language: metal1.0
+#include <metal_stdlib>
+#include <simd/simd.h>
+
+using metal::uint;
+
+
+struct compInput {
+};
+kernel void comp(
+  metal::uint3 id [[thread_position_in_grid]]
+) {
+    if (id.x == 0u) {
+    }
+    return;
+}

naga/tests/out/spv/wgsl-empty-if.spvasm

@@ -0,0 +1,32 @@
+; SPIR-V
+; Version: 1.6
+; Generator: rspirv
+; Bound: 19
+OpCapability Shader
+%1 = OpExtInstImport "GLSL.std.450"
+OpMemoryModel Logical GLSL450
+OpEntryPoint GLCompute %9 "comp" %6
+OpExecutionMode %9 LocalSize 1 1 1
+OpDecorate %6 BuiltIn GlobalInvocationId
+%2 = OpTypeVoid
+%4 = OpTypeInt 32 0
+%3 = OpTypeVector %4 3
+%7 = OpTypePointer Input %3
+%6 = OpVariable  %7  Input
+%10 = OpTypeFunction %2
+%11 = OpConstant  %4  0
+%12 = OpTypeInt 32 1
+%13 = OpConstant  %12  2
+%16 = OpTypeBool
+%9 = OpFunction  %2  None %10
+%5 = OpLabel
+%8 = OpLoad  %3  %6
+OpBranch %14
+%14 = OpLabel
+%15 = OpCompositeExtract  %4  %8 0
+%17 = OpIEqual  %16  %15 %11
+OpSelectionMerge %18 None
+OpBranchConditional %17 %18 %18
+%18 = OpLabel
+OpReturn
+OpFunctionEnd

naga/tests/out/wgsl/wgsl-empty-if.wgsl

@@ -0,0 +1,6 @@
+@compute @workgroup_size(1, 1, 1) 
+fn comp(@builtin(global_invocation_id) id: vec3<u32>) {
+    if (id.x == 0u) {
+    }
+    return;
+}