[spirv] Generate IR expectations.
This CL generates the expectations for the SPIR-V IR backend.
Bug: 354711610
Change-Id: I70b32c31e9c99637f20abc3299874cec49cb1d0e
Reviewed-on: https://dawn-review.googlesource.com/c/dawn/+/201274
Reviewed-by: Antonio Maiorano <amaiorano@google.com>
Commit-Queue: dan sinclair <dsinclair@chromium.org>
diff --git a/test/tint/builtins/gen/var/reverseBits/222177.wgsl.expected.ir.spvasm b/test/tint/builtins/gen/var/reverseBits/222177.wgsl.expected.ir.spvasm
new file mode 100644
index 0000000..b8981e9
--- /dev/null
+++ b/test/tint/builtins/gen/var/reverseBits/222177.wgsl.expected.ir.spvasm
@@ -0,0 +1,114 @@
+; SPIR-V
+; Version: 1.3
+; Generator: Google Tint Compiler; 1
+; Bound: 58
+; Schema: 0
+ OpCapability Shader
+ OpMemoryModel Logical GLSL450
+ OpEntryPoint Fragment %fragment_main "fragment_main"
+ OpEntryPoint GLCompute %compute_main "compute_main"
+ OpEntryPoint Vertex %vertex_main "vertex_main" %vertex_main_position_Output %vertex_main_loc0_Output %vertex_main___point_size_Output
+ OpExecutionMode %fragment_main OriginUpperLeft
+ OpExecutionMode %compute_main LocalSize 1 1 1
+ OpMemberName %tint_symbol_1 0 "tint_symbol"
+ OpName %tint_symbol_1 "tint_symbol_1"
+ OpName %vertex_main_position_Output "vertex_main_position_Output"
+ OpName %vertex_main_loc0_Output "vertex_main_loc0_Output"
+ OpName %vertex_main___point_size_Output "vertex_main___point_size_Output"
+ OpName %reverseBits_222177 "reverseBits_222177"
+ OpName %arg_0 "arg_0"
+ OpName %res "res"
+ OpName %fragment_main "fragment_main"
+ OpName %compute_main "compute_main"
+ OpName %vertex_main_inner "vertex_main_inner"
+ OpMemberName %VertexOutput 0 "pos"
+ OpMemberName %VertexOutput 1 "prevent_dce"
+ OpName %VertexOutput "VertexOutput"
+ OpName %out "out"
+ OpName %vertex_main "vertex_main"
+ OpMemberDecorate %tint_symbol_1 0 Offset 0
+ OpDecorate %tint_symbol_1 Block
+ OpDecorate %1 DescriptorSet 0
+ OpDecorate %1 Binding 0
+ OpDecorate %vertex_main_position_Output BuiltIn Position
+ OpDecorate %vertex_main_loc0_Output Location 0
+ OpDecorate %vertex_main_loc0_Output Flat
+ OpDecorate %vertex_main___point_size_Output BuiltIn PointSize
+ OpMemberDecorate %VertexOutput 0 Offset 0
+ OpMemberDecorate %VertexOutput 1 Offset 16
+ %int = OpTypeInt 32 1
+ %v2int = OpTypeVector %int 2
+%tint_symbol_1 = OpTypeStruct %v2int
+%_ptr_StorageBuffer_tint_symbol_1 = OpTypePointer StorageBuffer %tint_symbol_1
+ %1 = OpVariable %_ptr_StorageBuffer_tint_symbol_1 StorageBuffer
+ %float = OpTypeFloat 32
+ %v4float = OpTypeVector %float 4
+%_ptr_Output_v4float = OpTypePointer Output %v4float
+%vertex_main_position_Output = OpVariable %_ptr_Output_v4float Output
+%_ptr_Output_v2int = OpTypePointer Output %v2int
+%vertex_main_loc0_Output = OpVariable %_ptr_Output_v2int Output
+%_ptr_Output_float = OpTypePointer Output %float
+%vertex_main___point_size_Output = OpVariable %_ptr_Output_float Output
+ %15 = OpTypeFunction %v2int
+%_ptr_Function_v2int = OpTypePointer Function %v2int
+ %int_1 = OpConstant %int 1
+ %19 = OpConstantComposite %v2int %int_1 %int_1
+ %void = OpTypeVoid
+ %27 = OpTypeFunction %void
+%_ptr_StorageBuffer_v2int = OpTypePointer StorageBuffer %v2int
+ %uint = OpTypeInt 32 0
+ %uint_0 = OpConstant %uint 0
+%VertexOutput = OpTypeStruct %v4float %v2int
+ %40 = OpTypeFunction %VertexOutput
+%_ptr_Function_VertexOutput = OpTypePointer Function %VertexOutput
+ %44 = OpConstantNull %VertexOutput
+%_ptr_Function_v4float = OpTypePointer Function %v4float
+ %47 = OpConstantNull %v4float
+ %uint_1 = OpConstant %uint 1
+ %float_1 = OpConstant %float 1
+%reverseBits_222177 = OpFunction %v2int None %15
+ %16 = OpLabel
+ %arg_0 = OpVariable %_ptr_Function_v2int Function
+ %res = OpVariable %_ptr_Function_v2int Function
+ OpStore %arg_0 %19
+ %21 = OpLoad %v2int %arg_0
+ %22 = OpBitReverse %v2int %21
+ OpStore %res %22
+ %24 = OpLoad %v2int %res
+ OpReturnValue %24
+ OpFunctionEnd
+%fragment_main = OpFunction %void None %27
+ %28 = OpLabel
+ %29 = OpFunctionCall %v2int %reverseBits_222177
+ %30 = OpAccessChain %_ptr_StorageBuffer_v2int %1 %uint_0
+ OpStore %30 %29
+ OpReturn
+ OpFunctionEnd
+%compute_main = OpFunction %void None %27
+ %35 = OpLabel
+ %36 = OpFunctionCall %v2int %reverseBits_222177
+ %37 = OpAccessChain %_ptr_StorageBuffer_v2int %1 %uint_0
+ OpStore %37 %36
+ OpReturn
+ OpFunctionEnd
+%vertex_main_inner = OpFunction %VertexOutput None %40
+ %41 = OpLabel
+ %out = OpVariable %_ptr_Function_VertexOutput Function %44
+ %45 = OpAccessChain %_ptr_Function_v4float %out %uint_0
+ OpStore %45 %47
+ %48 = OpAccessChain %_ptr_Function_v2int %out %uint_1
+ %50 = OpFunctionCall %v2int %reverseBits_222177
+ OpStore %48 %50
+ %51 = OpLoad %VertexOutput %out
+ OpReturnValue %51
+ OpFunctionEnd
+%vertex_main = OpFunction %void None %27
+ %53 = OpLabel
+ %54 = OpFunctionCall %VertexOutput %vertex_main_inner
+ %55 = OpCompositeExtract %v4float %54 0
+ OpStore %vertex_main_position_Output %55
+ %56 = OpCompositeExtract %v2int %54 1
+ OpStore %vertex_main_loc0_Output %56
+ OpStore %vertex_main___point_size_Output %float_1
+ OpReturn
+ OpFunctionEnd
diff --git a/test/tint/builtins/gen/var/reverseBits/35fea9.wgsl.expected.ir.spvasm b/test/tint/builtins/gen/var/reverseBits/35fea9.wgsl.expected.ir.spvasm
new file mode 100644
index 0000000..5e6ee12
--- /dev/null
+++ b/test/tint/builtins/gen/var/reverseBits/35fea9.wgsl.expected.ir.spvasm
@@ -0,0 +1,112 @@
+; SPIR-V
+; Version: 1.3
+; Generator: Google Tint Compiler; 1
+; Bound: 56
+; Schema: 0
+ OpCapability Shader
+ OpMemoryModel Logical GLSL450
+ OpEntryPoint Fragment %fragment_main "fragment_main"
+ OpEntryPoint GLCompute %compute_main "compute_main"
+ OpEntryPoint Vertex %vertex_main "vertex_main" %vertex_main_position_Output %vertex_main_loc0_Output %vertex_main___point_size_Output
+ OpExecutionMode %fragment_main OriginUpperLeft
+ OpExecutionMode %compute_main LocalSize 1 1 1
+ OpMemberName %tint_symbol_1 0 "tint_symbol"
+ OpName %tint_symbol_1 "tint_symbol_1"
+ OpName %vertex_main_position_Output "vertex_main_position_Output"
+ OpName %vertex_main_loc0_Output "vertex_main_loc0_Output"
+ OpName %vertex_main___point_size_Output "vertex_main___point_size_Output"
+ OpName %reverseBits_35fea9 "reverseBits_35fea9"
+ OpName %arg_0 "arg_0"
+ OpName %res "res"
+ OpName %fragment_main "fragment_main"
+ OpName %compute_main "compute_main"
+ OpName %vertex_main_inner "vertex_main_inner"
+ OpMemberName %VertexOutput 0 "pos"
+ OpMemberName %VertexOutput 1 "prevent_dce"
+ OpName %VertexOutput "VertexOutput"
+ OpName %out "out"
+ OpName %vertex_main "vertex_main"
+ OpMemberDecorate %tint_symbol_1 0 Offset 0
+ OpDecorate %tint_symbol_1 Block
+ OpDecorate %1 DescriptorSet 0
+ OpDecorate %1 Binding 0
+ OpDecorate %vertex_main_position_Output BuiltIn Position
+ OpDecorate %vertex_main_loc0_Output Location 0
+ OpDecorate %vertex_main_loc0_Output Flat
+ OpDecorate %vertex_main___point_size_Output BuiltIn PointSize
+ OpMemberDecorate %VertexOutput 0 Offset 0
+ OpMemberDecorate %VertexOutput 1 Offset 16
+ %uint = OpTypeInt 32 0
+ %v4uint = OpTypeVector %uint 4
+%tint_symbol_1 = OpTypeStruct %v4uint
+%_ptr_StorageBuffer_tint_symbol_1 = OpTypePointer StorageBuffer %tint_symbol_1
+ %1 = OpVariable %_ptr_StorageBuffer_tint_symbol_1 StorageBuffer
+ %float = OpTypeFloat 32
+ %v4float = OpTypeVector %float 4
+%_ptr_Output_v4float = OpTypePointer Output %v4float
+%vertex_main_position_Output = OpVariable %_ptr_Output_v4float Output
+%_ptr_Output_v4uint = OpTypePointer Output %v4uint
+%vertex_main_loc0_Output = OpVariable %_ptr_Output_v4uint Output
+%_ptr_Output_float = OpTypePointer Output %float
+%vertex_main___point_size_Output = OpVariable %_ptr_Output_float Output
+ %15 = OpTypeFunction %v4uint
+%_ptr_Function_v4uint = OpTypePointer Function %v4uint
+ %uint_1 = OpConstant %uint 1
+ %19 = OpConstantComposite %v4uint %uint_1 %uint_1 %uint_1 %uint_1
+ %void = OpTypeVoid
+ %27 = OpTypeFunction %void
+%_ptr_StorageBuffer_v4uint = OpTypePointer StorageBuffer %v4uint
+ %uint_0 = OpConstant %uint 0
+%VertexOutput = OpTypeStruct %v4float %v4uint
+ %39 = OpTypeFunction %VertexOutput
+%_ptr_Function_VertexOutput = OpTypePointer Function %VertexOutput
+ %43 = OpConstantNull %VertexOutput
+%_ptr_Function_v4float = OpTypePointer Function %v4float
+ %46 = OpConstantNull %v4float
+ %float_1 = OpConstant %float 1
+%reverseBits_35fea9 = OpFunction %v4uint None %15
+ %16 = OpLabel
+ %arg_0 = OpVariable %_ptr_Function_v4uint Function
+ %res = OpVariable %_ptr_Function_v4uint Function
+ OpStore %arg_0 %19
+ %21 = OpLoad %v4uint %arg_0
+ %22 = OpBitReverse %v4uint %21
+ OpStore %res %22
+ %24 = OpLoad %v4uint %res
+ OpReturnValue %24
+ OpFunctionEnd
+%fragment_main = OpFunction %void None %27
+ %28 = OpLabel
+ %29 = OpFunctionCall %v4uint %reverseBits_35fea9
+ %30 = OpAccessChain %_ptr_StorageBuffer_v4uint %1 %uint_0
+ OpStore %30 %29
+ OpReturn
+ OpFunctionEnd
+%compute_main = OpFunction %void None %27
+ %34 = OpLabel
+ %35 = OpFunctionCall %v4uint %reverseBits_35fea9
+ %36 = OpAccessChain %_ptr_StorageBuffer_v4uint %1 %uint_0
+ OpStore %36 %35
+ OpReturn
+ OpFunctionEnd
+%vertex_main_inner = OpFunction %VertexOutput None %39
+ %40 = OpLabel
+ %out = OpVariable %_ptr_Function_VertexOutput Function %43
+ %44 = OpAccessChain %_ptr_Function_v4float %out %uint_0
+ OpStore %44 %46
+ %47 = OpAccessChain %_ptr_Function_v4uint %out %uint_1
+ %48 = OpFunctionCall %v4uint %reverseBits_35fea9
+ OpStore %47 %48
+ %49 = OpLoad %VertexOutput %out
+ OpReturnValue %49
+ OpFunctionEnd
+%vertex_main = OpFunction %void None %27
+ %51 = OpLabel
+ %52 = OpFunctionCall %VertexOutput %vertex_main_inner
+ %53 = OpCompositeExtract %v4float %52 0
+ OpStore %vertex_main_position_Output %53
+ %54 = OpCompositeExtract %v4uint %52 1
+ OpStore %vertex_main_loc0_Output %54
+ OpStore %vertex_main___point_size_Output %float_1
+ OpReturn
+ OpFunctionEnd
diff --git a/test/tint/builtins/gen/var/reverseBits/4dbd6f.wgsl.expected.ir.spvasm b/test/tint/builtins/gen/var/reverseBits/4dbd6f.wgsl.expected.ir.spvasm
new file mode 100644
index 0000000..3650caf
--- /dev/null
+++ b/test/tint/builtins/gen/var/reverseBits/4dbd6f.wgsl.expected.ir.spvasm
@@ -0,0 +1,114 @@
+; SPIR-V
+; Version: 1.3
+; Generator: Google Tint Compiler; 1
+; Bound: 58
+; Schema: 0
+ OpCapability Shader
+ OpMemoryModel Logical GLSL450
+ OpEntryPoint Fragment %fragment_main "fragment_main"
+ OpEntryPoint GLCompute %compute_main "compute_main"
+ OpEntryPoint Vertex %vertex_main "vertex_main" %vertex_main_position_Output %vertex_main_loc0_Output %vertex_main___point_size_Output
+ OpExecutionMode %fragment_main OriginUpperLeft
+ OpExecutionMode %compute_main LocalSize 1 1 1
+ OpMemberName %tint_symbol_1 0 "tint_symbol"
+ OpName %tint_symbol_1 "tint_symbol_1"
+ OpName %vertex_main_position_Output "vertex_main_position_Output"
+ OpName %vertex_main_loc0_Output "vertex_main_loc0_Output"
+ OpName %vertex_main___point_size_Output "vertex_main___point_size_Output"
+ OpName %reverseBits_4dbd6f "reverseBits_4dbd6f"
+ OpName %arg_0 "arg_0"
+ OpName %res "res"
+ OpName %fragment_main "fragment_main"
+ OpName %compute_main "compute_main"
+ OpName %vertex_main_inner "vertex_main_inner"
+ OpMemberName %VertexOutput 0 "pos"
+ OpMemberName %VertexOutput 1 "prevent_dce"
+ OpName %VertexOutput "VertexOutput"
+ OpName %out "out"
+ OpName %vertex_main "vertex_main"
+ OpMemberDecorate %tint_symbol_1 0 Offset 0
+ OpDecorate %tint_symbol_1 Block
+ OpDecorate %1 DescriptorSet 0
+ OpDecorate %1 Binding 0
+ OpDecorate %vertex_main_position_Output BuiltIn Position
+ OpDecorate %vertex_main_loc0_Output Location 0
+ OpDecorate %vertex_main_loc0_Output Flat
+ OpDecorate %vertex_main___point_size_Output BuiltIn PointSize
+ OpMemberDecorate %VertexOutput 0 Offset 0
+ OpMemberDecorate %VertexOutput 1 Offset 16
+ %int = OpTypeInt 32 1
+ %v4int = OpTypeVector %int 4
+%tint_symbol_1 = OpTypeStruct %v4int
+%_ptr_StorageBuffer_tint_symbol_1 = OpTypePointer StorageBuffer %tint_symbol_1
+ %1 = OpVariable %_ptr_StorageBuffer_tint_symbol_1 StorageBuffer
+ %float = OpTypeFloat 32
+ %v4float = OpTypeVector %float 4
+%_ptr_Output_v4float = OpTypePointer Output %v4float
+%vertex_main_position_Output = OpVariable %_ptr_Output_v4float Output
+%_ptr_Output_v4int = OpTypePointer Output %v4int
+%vertex_main_loc0_Output = OpVariable %_ptr_Output_v4int Output
+%_ptr_Output_float = OpTypePointer Output %float
+%vertex_main___point_size_Output = OpVariable %_ptr_Output_float Output
+ %15 = OpTypeFunction %v4int
+%_ptr_Function_v4int = OpTypePointer Function %v4int
+ %int_1 = OpConstant %int 1
+ %19 = OpConstantComposite %v4int %int_1 %int_1 %int_1 %int_1
+ %void = OpTypeVoid
+ %27 = OpTypeFunction %void
+%_ptr_StorageBuffer_v4int = OpTypePointer StorageBuffer %v4int
+ %uint = OpTypeInt 32 0
+ %uint_0 = OpConstant %uint 0
+%VertexOutput = OpTypeStruct %v4float %v4int
+ %40 = OpTypeFunction %VertexOutput
+%_ptr_Function_VertexOutput = OpTypePointer Function %VertexOutput
+ %44 = OpConstantNull %VertexOutput
+%_ptr_Function_v4float = OpTypePointer Function %v4float
+ %47 = OpConstantNull %v4float
+ %uint_1 = OpConstant %uint 1
+ %float_1 = OpConstant %float 1
+%reverseBits_4dbd6f = OpFunction %v4int None %15
+ %16 = OpLabel
+ %arg_0 = OpVariable %_ptr_Function_v4int Function
+ %res = OpVariable %_ptr_Function_v4int Function
+ OpStore %arg_0 %19
+ %21 = OpLoad %v4int %arg_0
+ %22 = OpBitReverse %v4int %21
+ OpStore %res %22
+ %24 = OpLoad %v4int %res
+ OpReturnValue %24
+ OpFunctionEnd
+%fragment_main = OpFunction %void None %27
+ %28 = OpLabel
+ %29 = OpFunctionCall %v4int %reverseBits_4dbd6f
+ %30 = OpAccessChain %_ptr_StorageBuffer_v4int %1 %uint_0
+ OpStore %30 %29
+ OpReturn
+ OpFunctionEnd
+%compute_main = OpFunction %void None %27
+ %35 = OpLabel
+ %36 = OpFunctionCall %v4int %reverseBits_4dbd6f
+ %37 = OpAccessChain %_ptr_StorageBuffer_v4int %1 %uint_0
+ OpStore %37 %36
+ OpReturn
+ OpFunctionEnd
+%vertex_main_inner = OpFunction %VertexOutput None %40
+ %41 = OpLabel
+ %out = OpVariable %_ptr_Function_VertexOutput Function %44
+ %45 = OpAccessChain %_ptr_Function_v4float %out %uint_0
+ OpStore %45 %47
+ %48 = OpAccessChain %_ptr_Function_v4int %out %uint_1
+ %50 = OpFunctionCall %v4int %reverseBits_4dbd6f
+ OpStore %48 %50
+ %51 = OpLoad %VertexOutput %out
+ OpReturnValue %51
+ OpFunctionEnd
+%vertex_main = OpFunction %void None %27
+ %53 = OpLabel
+ %54 = OpFunctionCall %VertexOutput %vertex_main_inner
+ %55 = OpCompositeExtract %v4float %54 0
+ OpStore %vertex_main_position_Output %55
+ %56 = OpCompositeExtract %v4int %54 1
+ OpStore %vertex_main_loc0_Output %56
+ OpStore %vertex_main___point_size_Output %float_1
+ OpReturn
+ OpFunctionEnd
diff --git a/test/tint/builtins/gen/var/reverseBits/7c4269.wgsl.expected.ir.spvasm b/test/tint/builtins/gen/var/reverseBits/7c4269.wgsl.expected.ir.spvasm
new file mode 100644
index 0000000..5e98ac4
--- /dev/null
+++ b/test/tint/builtins/gen/var/reverseBits/7c4269.wgsl.expected.ir.spvasm
@@ -0,0 +1,112 @@
+; SPIR-V
+; Version: 1.3
+; Generator: Google Tint Compiler; 1
+; Bound: 56
+; Schema: 0
+ OpCapability Shader
+ OpMemoryModel Logical GLSL450
+ OpEntryPoint Fragment %fragment_main "fragment_main"
+ OpEntryPoint GLCompute %compute_main "compute_main"
+ OpEntryPoint Vertex %vertex_main "vertex_main" %vertex_main_position_Output %vertex_main_loc0_Output %vertex_main___point_size_Output
+ OpExecutionMode %fragment_main OriginUpperLeft
+ OpExecutionMode %compute_main LocalSize 1 1 1
+ OpMemberName %tint_symbol_1 0 "tint_symbol"
+ OpName %tint_symbol_1 "tint_symbol_1"
+ OpName %vertex_main_position_Output "vertex_main_position_Output"
+ OpName %vertex_main_loc0_Output "vertex_main_loc0_Output"
+ OpName %vertex_main___point_size_Output "vertex_main___point_size_Output"
+ OpName %reverseBits_7c4269 "reverseBits_7c4269"
+ OpName %arg_0 "arg_0"
+ OpName %res "res"
+ OpName %fragment_main "fragment_main"
+ OpName %compute_main "compute_main"
+ OpName %vertex_main_inner "vertex_main_inner"
+ OpMemberName %VertexOutput 0 "pos"
+ OpMemberName %VertexOutput 1 "prevent_dce"
+ OpName %VertexOutput "VertexOutput"
+ OpName %out "out"
+ OpName %vertex_main "vertex_main"
+ OpMemberDecorate %tint_symbol_1 0 Offset 0
+ OpDecorate %tint_symbol_1 Block
+ OpDecorate %1 DescriptorSet 0
+ OpDecorate %1 Binding 0
+ OpDecorate %vertex_main_position_Output BuiltIn Position
+ OpDecorate %vertex_main_loc0_Output Location 0
+ OpDecorate %vertex_main_loc0_Output Flat
+ OpDecorate %vertex_main___point_size_Output BuiltIn PointSize
+ OpMemberDecorate %VertexOutput 0 Offset 0
+ OpMemberDecorate %VertexOutput 1 Offset 16
+ %int = OpTypeInt 32 1
+%tint_symbol_1 = OpTypeStruct %int
+%_ptr_StorageBuffer_tint_symbol_1 = OpTypePointer StorageBuffer %tint_symbol_1
+ %1 = OpVariable %_ptr_StorageBuffer_tint_symbol_1 StorageBuffer
+ %float = OpTypeFloat 32
+ %v4float = OpTypeVector %float 4
+%_ptr_Output_v4float = OpTypePointer Output %v4float
+%vertex_main_position_Output = OpVariable %_ptr_Output_v4float Output
+%_ptr_Output_int = OpTypePointer Output %int
+%vertex_main_loc0_Output = OpVariable %_ptr_Output_int Output
+%_ptr_Output_float = OpTypePointer Output %float
+%vertex_main___point_size_Output = OpVariable %_ptr_Output_float Output
+ %14 = OpTypeFunction %int
+%_ptr_Function_int = OpTypePointer Function %int
+ %int_1 = OpConstant %int 1
+ %void = OpTypeVoid
+ %25 = OpTypeFunction %void
+%_ptr_StorageBuffer_int = OpTypePointer StorageBuffer %int
+ %uint = OpTypeInt 32 0
+ %uint_0 = OpConstant %uint 0
+%VertexOutput = OpTypeStruct %v4float %int
+ %38 = OpTypeFunction %VertexOutput
+%_ptr_Function_VertexOutput = OpTypePointer Function %VertexOutput
+ %42 = OpConstantNull %VertexOutput
+%_ptr_Function_v4float = OpTypePointer Function %v4float
+ %45 = OpConstantNull %v4float
+ %uint_1 = OpConstant %uint 1
+ %float_1 = OpConstant %float 1
+%reverseBits_7c4269 = OpFunction %int None %14
+ %15 = OpLabel
+ %arg_0 = OpVariable %_ptr_Function_int Function
+ %res = OpVariable %_ptr_Function_int Function
+ OpStore %arg_0 %int_1
+ %19 = OpLoad %int %arg_0
+ %20 = OpBitReverse %int %19
+ OpStore %res %20
+ %22 = OpLoad %int %res
+ OpReturnValue %22
+ OpFunctionEnd
+%fragment_main = OpFunction %void None %25
+ %26 = OpLabel
+ %27 = OpFunctionCall %int %reverseBits_7c4269
+ %28 = OpAccessChain %_ptr_StorageBuffer_int %1 %uint_0
+ OpStore %28 %27
+ OpReturn
+ OpFunctionEnd
+%compute_main = OpFunction %void None %25
+ %33 = OpLabel
+ %34 = OpFunctionCall %int %reverseBits_7c4269
+ %35 = OpAccessChain %_ptr_StorageBuffer_int %1 %uint_0
+ OpStore %35 %34
+ OpReturn
+ OpFunctionEnd
+%vertex_main_inner = OpFunction %VertexOutput None %38
+ %39 = OpLabel
+ %out = OpVariable %_ptr_Function_VertexOutput Function %42
+ %43 = OpAccessChain %_ptr_Function_v4float %out %uint_0
+ OpStore %43 %45
+ %46 = OpAccessChain %_ptr_Function_int %out %uint_1
+ %48 = OpFunctionCall %int %reverseBits_7c4269
+ OpStore %46 %48
+ %49 = OpLoad %VertexOutput %out
+ OpReturnValue %49
+ OpFunctionEnd
+%vertex_main = OpFunction %void None %25
+ %51 = OpLabel
+ %52 = OpFunctionCall %VertexOutput %vertex_main_inner
+ %53 = OpCompositeExtract %v4float %52 0
+ OpStore %vertex_main_position_Output %53
+ %54 = OpCompositeExtract %int %52 1
+ OpStore %vertex_main_loc0_Output %54
+ OpStore %vertex_main___point_size_Output %float_1
+ OpReturn
+ OpFunctionEnd
diff --git a/test/tint/builtins/gen/var/reverseBits/a6ccd4.wgsl.expected.ir.spvasm b/test/tint/builtins/gen/var/reverseBits/a6ccd4.wgsl.expected.ir.spvasm
new file mode 100644
index 0000000..59be880
--- /dev/null
+++ b/test/tint/builtins/gen/var/reverseBits/a6ccd4.wgsl.expected.ir.spvasm
@@ -0,0 +1,112 @@
+; SPIR-V
+; Version: 1.3
+; Generator: Google Tint Compiler; 1
+; Bound: 56
+; Schema: 0
+ OpCapability Shader
+ OpMemoryModel Logical GLSL450
+ OpEntryPoint Fragment %fragment_main "fragment_main"
+ OpEntryPoint GLCompute %compute_main "compute_main"
+ OpEntryPoint Vertex %vertex_main "vertex_main" %vertex_main_position_Output %vertex_main_loc0_Output %vertex_main___point_size_Output
+ OpExecutionMode %fragment_main OriginUpperLeft
+ OpExecutionMode %compute_main LocalSize 1 1 1
+ OpMemberName %tint_symbol_1 0 "tint_symbol"
+ OpName %tint_symbol_1 "tint_symbol_1"
+ OpName %vertex_main_position_Output "vertex_main_position_Output"
+ OpName %vertex_main_loc0_Output "vertex_main_loc0_Output"
+ OpName %vertex_main___point_size_Output "vertex_main___point_size_Output"
+ OpName %reverseBits_a6ccd4 "reverseBits_a6ccd4"
+ OpName %arg_0 "arg_0"
+ OpName %res "res"
+ OpName %fragment_main "fragment_main"
+ OpName %compute_main "compute_main"
+ OpName %vertex_main_inner "vertex_main_inner"
+ OpMemberName %VertexOutput 0 "pos"
+ OpMemberName %VertexOutput 1 "prevent_dce"
+ OpName %VertexOutput "VertexOutput"
+ OpName %out "out"
+ OpName %vertex_main "vertex_main"
+ OpMemberDecorate %tint_symbol_1 0 Offset 0
+ OpDecorate %tint_symbol_1 Block
+ OpDecorate %1 DescriptorSet 0
+ OpDecorate %1 Binding 0
+ OpDecorate %vertex_main_position_Output BuiltIn Position
+ OpDecorate %vertex_main_loc0_Output Location 0
+ OpDecorate %vertex_main_loc0_Output Flat
+ OpDecorate %vertex_main___point_size_Output BuiltIn PointSize
+ OpMemberDecorate %VertexOutput 0 Offset 0
+ OpMemberDecorate %VertexOutput 1 Offset 16
+ %uint = OpTypeInt 32 0
+ %v3uint = OpTypeVector %uint 3
+%tint_symbol_1 = OpTypeStruct %v3uint
+%_ptr_StorageBuffer_tint_symbol_1 = OpTypePointer StorageBuffer %tint_symbol_1
+ %1 = OpVariable %_ptr_StorageBuffer_tint_symbol_1 StorageBuffer
+ %float = OpTypeFloat 32
+ %v4float = OpTypeVector %float 4
+%_ptr_Output_v4float = OpTypePointer Output %v4float
+%vertex_main_position_Output = OpVariable %_ptr_Output_v4float Output
+%_ptr_Output_v3uint = OpTypePointer Output %v3uint
+%vertex_main_loc0_Output = OpVariable %_ptr_Output_v3uint Output
+%_ptr_Output_float = OpTypePointer Output %float
+%vertex_main___point_size_Output = OpVariable %_ptr_Output_float Output
+ %15 = OpTypeFunction %v3uint
+%_ptr_Function_v3uint = OpTypePointer Function %v3uint
+ %uint_1 = OpConstant %uint 1
+ %19 = OpConstantComposite %v3uint %uint_1 %uint_1 %uint_1
+ %void = OpTypeVoid
+ %27 = OpTypeFunction %void
+%_ptr_StorageBuffer_v3uint = OpTypePointer StorageBuffer %v3uint
+ %uint_0 = OpConstant %uint 0
+%VertexOutput = OpTypeStruct %v4float %v3uint
+ %39 = OpTypeFunction %VertexOutput
+%_ptr_Function_VertexOutput = OpTypePointer Function %VertexOutput
+ %43 = OpConstantNull %VertexOutput
+%_ptr_Function_v4float = OpTypePointer Function %v4float
+ %46 = OpConstantNull %v4float
+ %float_1 = OpConstant %float 1
+%reverseBits_a6ccd4 = OpFunction %v3uint None %15
+ %16 = OpLabel
+ %arg_0 = OpVariable %_ptr_Function_v3uint Function
+ %res = OpVariable %_ptr_Function_v3uint Function
+ OpStore %arg_0 %19
+ %21 = OpLoad %v3uint %arg_0
+ %22 = OpBitReverse %v3uint %21
+ OpStore %res %22
+ %24 = OpLoad %v3uint %res
+ OpReturnValue %24
+ OpFunctionEnd
+%fragment_main = OpFunction %void None %27
+ %28 = OpLabel
+ %29 = OpFunctionCall %v3uint %reverseBits_a6ccd4
+ %30 = OpAccessChain %_ptr_StorageBuffer_v3uint %1 %uint_0
+ OpStore %30 %29
+ OpReturn
+ OpFunctionEnd
+%compute_main = OpFunction %void None %27
+ %34 = OpLabel
+ %35 = OpFunctionCall %v3uint %reverseBits_a6ccd4
+ %36 = OpAccessChain %_ptr_StorageBuffer_v3uint %1 %uint_0
+ OpStore %36 %35
+ OpReturn
+ OpFunctionEnd
+%vertex_main_inner = OpFunction %VertexOutput None %39
+ %40 = OpLabel
+ %out = OpVariable %_ptr_Function_VertexOutput Function %43
+ %44 = OpAccessChain %_ptr_Function_v4float %out %uint_0
+ OpStore %44 %46
+ %47 = OpAccessChain %_ptr_Function_v3uint %out %uint_1
+ %48 = OpFunctionCall %v3uint %reverseBits_a6ccd4
+ OpStore %47 %48
+ %49 = OpLoad %VertexOutput %out
+ OpReturnValue %49
+ OpFunctionEnd
+%vertex_main = OpFunction %void None %27
+ %51 = OpLabel
+ %52 = OpFunctionCall %VertexOutput %vertex_main_inner
+ %53 = OpCompositeExtract %v4float %52 0
+ OpStore %vertex_main_position_Output %53
+ %54 = OpCompositeExtract %v3uint %52 1
+ OpStore %vertex_main_loc0_Output %54
+ OpStore %vertex_main___point_size_Output %float_1
+ OpReturn
+ OpFunctionEnd
diff --git a/test/tint/builtins/gen/var/reverseBits/c21bc1.wgsl.expected.ir.spvasm b/test/tint/builtins/gen/var/reverseBits/c21bc1.wgsl.expected.ir.spvasm
new file mode 100644
index 0000000..dff0136
--- /dev/null
+++ b/test/tint/builtins/gen/var/reverseBits/c21bc1.wgsl.expected.ir.spvasm
@@ -0,0 +1,114 @@
+; SPIR-V
+; Version: 1.3
+; Generator: Google Tint Compiler; 1
+; Bound: 58
+; Schema: 0
+ OpCapability Shader
+ OpMemoryModel Logical GLSL450
+ OpEntryPoint Fragment %fragment_main "fragment_main"
+ OpEntryPoint GLCompute %compute_main "compute_main"
+ OpEntryPoint Vertex %vertex_main "vertex_main" %vertex_main_position_Output %vertex_main_loc0_Output %vertex_main___point_size_Output
+ OpExecutionMode %fragment_main OriginUpperLeft
+ OpExecutionMode %compute_main LocalSize 1 1 1
+ OpMemberName %tint_symbol_1 0 "tint_symbol"
+ OpName %tint_symbol_1 "tint_symbol_1"
+ OpName %vertex_main_position_Output "vertex_main_position_Output"
+ OpName %vertex_main_loc0_Output "vertex_main_loc0_Output"
+ OpName %vertex_main___point_size_Output "vertex_main___point_size_Output"
+ OpName %reverseBits_c21bc1 "reverseBits_c21bc1"
+ OpName %arg_0 "arg_0"
+ OpName %res "res"
+ OpName %fragment_main "fragment_main"
+ OpName %compute_main "compute_main"
+ OpName %vertex_main_inner "vertex_main_inner"
+ OpMemberName %VertexOutput 0 "pos"
+ OpMemberName %VertexOutput 1 "prevent_dce"
+ OpName %VertexOutput "VertexOutput"
+ OpName %out "out"
+ OpName %vertex_main "vertex_main"
+ OpMemberDecorate %tint_symbol_1 0 Offset 0
+ OpDecorate %tint_symbol_1 Block
+ OpDecorate %1 DescriptorSet 0
+ OpDecorate %1 Binding 0
+ OpDecorate %vertex_main_position_Output BuiltIn Position
+ OpDecorate %vertex_main_loc0_Output Location 0
+ OpDecorate %vertex_main_loc0_Output Flat
+ OpDecorate %vertex_main___point_size_Output BuiltIn PointSize
+ OpMemberDecorate %VertexOutput 0 Offset 0
+ OpMemberDecorate %VertexOutput 1 Offset 16
+ %int = OpTypeInt 32 1
+ %v3int = OpTypeVector %int 3
+%tint_symbol_1 = OpTypeStruct %v3int
+%_ptr_StorageBuffer_tint_symbol_1 = OpTypePointer StorageBuffer %tint_symbol_1
+ %1 = OpVariable %_ptr_StorageBuffer_tint_symbol_1 StorageBuffer
+ %float = OpTypeFloat 32
+ %v4float = OpTypeVector %float 4
+%_ptr_Output_v4float = OpTypePointer Output %v4float
+%vertex_main_position_Output = OpVariable %_ptr_Output_v4float Output
+%_ptr_Output_v3int = OpTypePointer Output %v3int
+%vertex_main_loc0_Output = OpVariable %_ptr_Output_v3int Output
+%_ptr_Output_float = OpTypePointer Output %float
+%vertex_main___point_size_Output = OpVariable %_ptr_Output_float Output
+ %15 = OpTypeFunction %v3int
+%_ptr_Function_v3int = OpTypePointer Function %v3int
+ %int_1 = OpConstant %int 1
+ %19 = OpConstantComposite %v3int %int_1 %int_1 %int_1
+ %void = OpTypeVoid
+ %27 = OpTypeFunction %void
+%_ptr_StorageBuffer_v3int = OpTypePointer StorageBuffer %v3int
+ %uint = OpTypeInt 32 0
+ %uint_0 = OpConstant %uint 0
+%VertexOutput = OpTypeStruct %v4float %v3int
+ %40 = OpTypeFunction %VertexOutput
+%_ptr_Function_VertexOutput = OpTypePointer Function %VertexOutput
+ %44 = OpConstantNull %VertexOutput
+%_ptr_Function_v4float = OpTypePointer Function %v4float
+ %47 = OpConstantNull %v4float
+ %uint_1 = OpConstant %uint 1
+ %float_1 = OpConstant %float 1
+%reverseBits_c21bc1 = OpFunction %v3int None %15
+ %16 = OpLabel
+ %arg_0 = OpVariable %_ptr_Function_v3int Function
+ %res = OpVariable %_ptr_Function_v3int Function
+ OpStore %arg_0 %19
+ %21 = OpLoad %v3int %arg_0
+ %22 = OpBitReverse %v3int %21
+ OpStore %res %22
+ %24 = OpLoad %v3int %res
+ OpReturnValue %24
+ OpFunctionEnd
+%fragment_main = OpFunction %void None %27
+ %28 = OpLabel
+ %29 = OpFunctionCall %v3int %reverseBits_c21bc1
+ %30 = OpAccessChain %_ptr_StorageBuffer_v3int %1 %uint_0
+ OpStore %30 %29
+ OpReturn
+ OpFunctionEnd
+%compute_main = OpFunction %void None %27
+ %35 = OpLabel
+ %36 = OpFunctionCall %v3int %reverseBits_c21bc1
+ %37 = OpAccessChain %_ptr_StorageBuffer_v3int %1 %uint_0
+ OpStore %37 %36
+ OpReturn
+ OpFunctionEnd
+%vertex_main_inner = OpFunction %VertexOutput None %40
+ %41 = OpLabel
+ %out = OpVariable %_ptr_Function_VertexOutput Function %44
+ %45 = OpAccessChain %_ptr_Function_v4float %out %uint_0
+ OpStore %45 %47
+ %48 = OpAccessChain %_ptr_Function_v3int %out %uint_1
+ %50 = OpFunctionCall %v3int %reverseBits_c21bc1
+ OpStore %48 %50
+ %51 = OpLoad %VertexOutput %out
+ OpReturnValue %51
+ OpFunctionEnd
+%vertex_main = OpFunction %void None %27
+ %53 = OpLabel
+ %54 = OpFunctionCall %VertexOutput %vertex_main_inner
+ %55 = OpCompositeExtract %v4float %54 0
+ OpStore %vertex_main_position_Output %55
+ %56 = OpCompositeExtract %v3int %54 1
+ OpStore %vertex_main_loc0_Output %56
+ OpStore %vertex_main___point_size_Output %float_1
+ OpReturn
+ OpFunctionEnd
diff --git a/test/tint/builtins/gen/var/reverseBits/e1f4c1.wgsl.expected.ir.spvasm b/test/tint/builtins/gen/var/reverseBits/e1f4c1.wgsl.expected.ir.spvasm
new file mode 100644
index 0000000..977fba9
--- /dev/null
+++ b/test/tint/builtins/gen/var/reverseBits/e1f4c1.wgsl.expected.ir.spvasm
@@ -0,0 +1,112 @@
+; SPIR-V
+; Version: 1.3
+; Generator: Google Tint Compiler; 1
+; Bound: 56
+; Schema: 0
+ OpCapability Shader
+ OpMemoryModel Logical GLSL450
+ OpEntryPoint Fragment %fragment_main "fragment_main"
+ OpEntryPoint GLCompute %compute_main "compute_main"
+ OpEntryPoint Vertex %vertex_main "vertex_main" %vertex_main_position_Output %vertex_main_loc0_Output %vertex_main___point_size_Output
+ OpExecutionMode %fragment_main OriginUpperLeft
+ OpExecutionMode %compute_main LocalSize 1 1 1
+ OpMemberName %tint_symbol_1 0 "tint_symbol"
+ OpName %tint_symbol_1 "tint_symbol_1"
+ OpName %vertex_main_position_Output "vertex_main_position_Output"
+ OpName %vertex_main_loc0_Output "vertex_main_loc0_Output"
+ OpName %vertex_main___point_size_Output "vertex_main___point_size_Output"
+ OpName %reverseBits_e1f4c1 "reverseBits_e1f4c1"
+ OpName %arg_0 "arg_0"
+ OpName %res "res"
+ OpName %fragment_main "fragment_main"
+ OpName %compute_main "compute_main"
+ OpName %vertex_main_inner "vertex_main_inner"
+ OpMemberName %VertexOutput 0 "pos"
+ OpMemberName %VertexOutput 1 "prevent_dce"
+ OpName %VertexOutput "VertexOutput"
+ OpName %out "out"
+ OpName %vertex_main "vertex_main"
+ OpMemberDecorate %tint_symbol_1 0 Offset 0
+ OpDecorate %tint_symbol_1 Block
+ OpDecorate %1 DescriptorSet 0
+ OpDecorate %1 Binding 0
+ OpDecorate %vertex_main_position_Output BuiltIn Position
+ OpDecorate %vertex_main_loc0_Output Location 0
+ OpDecorate %vertex_main_loc0_Output Flat
+ OpDecorate %vertex_main___point_size_Output BuiltIn PointSize
+ OpMemberDecorate %VertexOutput 0 Offset 0
+ OpMemberDecorate %VertexOutput 1 Offset 16
+ %uint = OpTypeInt 32 0
+ %v2uint = OpTypeVector %uint 2
+%tint_symbol_1 = OpTypeStruct %v2uint
+%_ptr_StorageBuffer_tint_symbol_1 = OpTypePointer StorageBuffer %tint_symbol_1
+ %1 = OpVariable %_ptr_StorageBuffer_tint_symbol_1 StorageBuffer
+ %float = OpTypeFloat 32
+ %v4float = OpTypeVector %float 4
+%_ptr_Output_v4float = OpTypePointer Output %v4float
+%vertex_main_position_Output = OpVariable %_ptr_Output_v4float Output
+%_ptr_Output_v2uint = OpTypePointer Output %v2uint
+%vertex_main_loc0_Output = OpVariable %_ptr_Output_v2uint Output
+%_ptr_Output_float = OpTypePointer Output %float
+%vertex_main___point_size_Output = OpVariable %_ptr_Output_float Output
+ %15 = OpTypeFunction %v2uint
+%_ptr_Function_v2uint = OpTypePointer Function %v2uint
+ %uint_1 = OpConstant %uint 1
+ %19 = OpConstantComposite %v2uint %uint_1 %uint_1
+ %void = OpTypeVoid
+ %27 = OpTypeFunction %void
+%_ptr_StorageBuffer_v2uint = OpTypePointer StorageBuffer %v2uint
+ %uint_0 = OpConstant %uint 0
+%VertexOutput = OpTypeStruct %v4float %v2uint
+ %39 = OpTypeFunction %VertexOutput
+%_ptr_Function_VertexOutput = OpTypePointer Function %VertexOutput
+ %43 = OpConstantNull %VertexOutput
+%_ptr_Function_v4float = OpTypePointer Function %v4float
+ %46 = OpConstantNull %v4float
+ %float_1 = OpConstant %float 1
+%reverseBits_e1f4c1 = OpFunction %v2uint None %15
+ %16 = OpLabel
+ %arg_0 = OpVariable %_ptr_Function_v2uint Function
+ %res = OpVariable %_ptr_Function_v2uint Function
+ OpStore %arg_0 %19
+ %21 = OpLoad %v2uint %arg_0
+ %22 = OpBitReverse %v2uint %21
+ OpStore %res %22
+ %24 = OpLoad %v2uint %res
+ OpReturnValue %24
+ OpFunctionEnd
+%fragment_main = OpFunction %void None %27
+ %28 = OpLabel
+ %29 = OpFunctionCall %v2uint %reverseBits_e1f4c1
+ %30 = OpAccessChain %_ptr_StorageBuffer_v2uint %1 %uint_0
+ OpStore %30 %29
+ OpReturn
+ OpFunctionEnd
+%compute_main = OpFunction %void None %27
+ %34 = OpLabel
+ %35 = OpFunctionCall %v2uint %reverseBits_e1f4c1
+ %36 = OpAccessChain %_ptr_StorageBuffer_v2uint %1 %uint_0
+ OpStore %36 %35
+ OpReturn
+ OpFunctionEnd
+%vertex_main_inner = OpFunction %VertexOutput None %39
+ %40 = OpLabel
+ %out = OpVariable %_ptr_Function_VertexOutput Function %43
+ %44 = OpAccessChain %_ptr_Function_v4float %out %uint_0
+ OpStore %44 %46
+ %47 = OpAccessChain %_ptr_Function_v2uint %out %uint_1
+ %48 = OpFunctionCall %v2uint %reverseBits_e1f4c1
+ OpStore %47 %48
+ %49 = OpLoad %VertexOutput %out
+ OpReturnValue %49
+ OpFunctionEnd
+%vertex_main = OpFunction %void None %27
+ %51 = OpLabel
+ %52 = OpFunctionCall %VertexOutput %vertex_main_inner
+ %53 = OpCompositeExtract %v4float %52 0
+ OpStore %vertex_main_position_Output %53
+ %54 = OpCompositeExtract %v2uint %52 1
+ OpStore %vertex_main_loc0_Output %54
+ OpStore %vertex_main___point_size_Output %float_1
+ OpReturn
+ OpFunctionEnd
diff --git a/test/tint/builtins/gen/var/reverseBits/e31adf.wgsl.expected.ir.spvasm b/test/tint/builtins/gen/var/reverseBits/e31adf.wgsl.expected.ir.spvasm
new file mode 100644
index 0000000..061edc9
--- /dev/null
+++ b/test/tint/builtins/gen/var/reverseBits/e31adf.wgsl.expected.ir.spvasm
@@ -0,0 +1,110 @@
+; SPIR-V
+; Version: 1.3
+; Generator: Google Tint Compiler; 1
+; Bound: 54
+; Schema: 0
+ OpCapability Shader
+ OpMemoryModel Logical GLSL450
+ OpEntryPoint Fragment %fragment_main "fragment_main"
+ OpEntryPoint GLCompute %compute_main "compute_main"
+ OpEntryPoint Vertex %vertex_main "vertex_main" %vertex_main_position_Output %vertex_main_loc0_Output %vertex_main___point_size_Output
+ OpExecutionMode %fragment_main OriginUpperLeft
+ OpExecutionMode %compute_main LocalSize 1 1 1
+ OpMemberName %tint_symbol_1 0 "tint_symbol"
+ OpName %tint_symbol_1 "tint_symbol_1"
+ OpName %vertex_main_position_Output "vertex_main_position_Output"
+ OpName %vertex_main_loc0_Output "vertex_main_loc0_Output"
+ OpName %vertex_main___point_size_Output "vertex_main___point_size_Output"
+ OpName %reverseBits_e31adf "reverseBits_e31adf"
+ OpName %arg_0 "arg_0"
+ OpName %res "res"
+ OpName %fragment_main "fragment_main"
+ OpName %compute_main "compute_main"
+ OpName %vertex_main_inner "vertex_main_inner"
+ OpMemberName %VertexOutput 0 "pos"
+ OpMemberName %VertexOutput 1 "prevent_dce"
+ OpName %VertexOutput "VertexOutput"
+ OpName %out "out"
+ OpName %vertex_main "vertex_main"
+ OpMemberDecorate %tint_symbol_1 0 Offset 0
+ OpDecorate %tint_symbol_1 Block
+ OpDecorate %1 DescriptorSet 0
+ OpDecorate %1 Binding 0
+ OpDecorate %vertex_main_position_Output BuiltIn Position
+ OpDecorate %vertex_main_loc0_Output Location 0
+ OpDecorate %vertex_main_loc0_Output Flat
+ OpDecorate %vertex_main___point_size_Output BuiltIn PointSize
+ OpMemberDecorate %VertexOutput 0 Offset 0
+ OpMemberDecorate %VertexOutput 1 Offset 16
+ %uint = OpTypeInt 32 0
+%tint_symbol_1 = OpTypeStruct %uint
+%_ptr_StorageBuffer_tint_symbol_1 = OpTypePointer StorageBuffer %tint_symbol_1
+ %1 = OpVariable %_ptr_StorageBuffer_tint_symbol_1 StorageBuffer
+ %float = OpTypeFloat 32
+ %v4float = OpTypeVector %float 4
+%_ptr_Output_v4float = OpTypePointer Output %v4float
+%vertex_main_position_Output = OpVariable %_ptr_Output_v4float Output
+%_ptr_Output_uint = OpTypePointer Output %uint
+%vertex_main_loc0_Output = OpVariable %_ptr_Output_uint Output
+%_ptr_Output_float = OpTypePointer Output %float
+%vertex_main___point_size_Output = OpVariable %_ptr_Output_float Output
+ %14 = OpTypeFunction %uint
+%_ptr_Function_uint = OpTypePointer Function %uint
+ %uint_1 = OpConstant %uint 1
+ %void = OpTypeVoid
+ %25 = OpTypeFunction %void
+%_ptr_StorageBuffer_uint = OpTypePointer StorageBuffer %uint
+ %uint_0 = OpConstant %uint 0
+%VertexOutput = OpTypeStruct %v4float %uint
+ %37 = OpTypeFunction %VertexOutput
+%_ptr_Function_VertexOutput = OpTypePointer Function %VertexOutput
+ %41 = OpConstantNull %VertexOutput
+%_ptr_Function_v4float = OpTypePointer Function %v4float
+ %44 = OpConstantNull %v4float
+ %float_1 = OpConstant %float 1
+%reverseBits_e31adf = OpFunction %uint None %14
+ %15 = OpLabel
+ %arg_0 = OpVariable %_ptr_Function_uint Function
+ %res = OpVariable %_ptr_Function_uint Function
+ OpStore %arg_0 %uint_1
+ %19 = OpLoad %uint %arg_0
+ %20 = OpBitReverse %uint %19
+ OpStore %res %20
+ %22 = OpLoad %uint %res
+ OpReturnValue %22
+ OpFunctionEnd
+%fragment_main = OpFunction %void None %25
+ %26 = OpLabel
+ %27 = OpFunctionCall %uint %reverseBits_e31adf
+ %28 = OpAccessChain %_ptr_StorageBuffer_uint %1 %uint_0
+ OpStore %28 %27
+ OpReturn
+ OpFunctionEnd
+%compute_main = OpFunction %void None %25
+ %32 = OpLabel
+ %33 = OpFunctionCall %uint %reverseBits_e31adf
+ %34 = OpAccessChain %_ptr_StorageBuffer_uint %1 %uint_0
+ OpStore %34 %33
+ OpReturn
+ OpFunctionEnd
+%vertex_main_inner = OpFunction %VertexOutput None %37
+ %38 = OpLabel
+ %out = OpVariable %_ptr_Function_VertexOutput Function %41
+ %42 = OpAccessChain %_ptr_Function_v4float %out %uint_0
+ OpStore %42 %44
+ %45 = OpAccessChain %_ptr_Function_uint %out %uint_1
+ %46 = OpFunctionCall %uint %reverseBits_e31adf
+ OpStore %45 %46
+ %47 = OpLoad %VertexOutput %out
+ OpReturnValue %47
+ OpFunctionEnd
+%vertex_main = OpFunction %void None %25
+ %49 = OpLabel
+ %50 = OpFunctionCall %VertexOutput %vertex_main_inner
+ %51 = OpCompositeExtract %v4float %50 0
+ OpStore %vertex_main_position_Output %51
+ %52 = OpCompositeExtract %uint %50 1
+ OpStore %vertex_main_loc0_Output %52
+ OpStore %vertex_main___point_size_Output %float_1
+ OpReturn
+ OpFunctionEnd