| ; SPIR-V |
| ; Version: 1.3 |
| ; Generator: Google Tint Compiler; 1 |
| ; Bound: 48 |
| ; Schema: 0 |
| OpCapability Shader |
| OpMemoryModel Logical GLSL450 |
| OpEntryPoint Fragment %foo "foo" %foo_loc0_Output |
| OpExecutionMode %foo OriginUpperLeft |
| OpMemberName %a_block 0 "inner" |
| OpName %a_block "a_block" |
| OpName %continue_execution "continue_execution" |
| OpName %foo_loc0_Output "foo_loc0_Output" |
| OpName %foo_inner "foo_inner" |
| OpName %x "x" |
| OpMemberName %__atomic_compare_exchange_result_i32 0 "old_value" |
| OpMemberName %__atomic_compare_exchange_result_i32 1 "exchanged" |
| OpName %__atomic_compare_exchange_result_i32 "__atomic_compare_exchange_result_i32" |
| OpName %result "result" |
| OpName %foo "foo" |
| OpMemberDecorate %a_block 0 Offset 0 |
| OpDecorate %a_block Block |
| OpDecorate %1 DescriptorSet 0 |
| OpDecorate %1 Binding 0 |
| OpDecorate %1 Coherent |
| OpDecorate %foo_loc0_Output Location 0 |
| OpMemberDecorate %__atomic_compare_exchange_result_i32 0 Offset 0 |
| OpMemberDecorate %__atomic_compare_exchange_result_i32 1 Offset 4 |
| %int = OpTypeInt 32 1 |
| %a_block = OpTypeStruct %int |
| %_ptr_StorageBuffer_a_block = OpTypePointer StorageBuffer %a_block |
| %1 = OpVariable %_ptr_StorageBuffer_a_block StorageBuffer |
| %bool = OpTypeBool |
| %_ptr_Private_bool = OpTypePointer Private %bool |
| %true = OpConstantTrue %bool |
| %continue_execution = OpVariable %_ptr_Private_bool Private %true |
| %_ptr_Output_int = OpTypePointer Output %int |
| %foo_loc0_Output = OpVariable %_ptr_Output_int Output |
| %12 = OpTypeFunction %int |
| %false = OpConstantFalse %bool |
| %_ptr_Function_int = OpTypePointer Function %int |
| %int_0 = OpConstant %int 0 |
| %_ptr_StorageBuffer_int = OpTypePointer StorageBuffer %int |
| %uint = OpTypeInt 32 0 |
| %uint_0 = OpConstant %uint 0 |
| %uint_1 = OpConstant %uint 1 |
| %int_1 = OpConstant %int 1 |
| %__atomic_compare_exchange_result_i32 = OpTypeStruct %int %bool |
| %33 = OpUndef %__atomic_compare_exchange_result_i32 |
| %void = OpTypeVoid |
| %45 = OpTypeFunction %void |
| %foo_inner = OpFunction %int None %12 |
| %13 = OpLabel |
| %x = OpVariable %_ptr_Function_int Function |
| OpStore %continue_execution %false None |
| OpStore %x %int_0 |
| %18 = OpAccessChain %_ptr_StorageBuffer_int %1 %uint_0 |
| %22 = OpLoad %bool %continue_execution None |
| OpSelectionMerge %23 None |
| OpBranchConditional %22 %24 %25 |
| %24 = OpLabel |
| %26 = OpAtomicCompareExchange %int %18 %uint_1 %uint_0 %uint_0 %int_1 %int_0 |
| %29 = OpIEqual %bool %26 %int_0 |
| %31 = OpCompositeConstruct %__atomic_compare_exchange_result_i32 %26 %29 |
| OpBranch %23 |
| %25 = OpLabel |
| OpBranch %23 |
| %23 = OpLabel |
| %result = OpPhi %__atomic_compare_exchange_result_i32 %31 %24 %33 %25 |
| %34 = OpCompositeExtract %bool %result 1 |
| OpSelectionMerge %35 None |
| OpBranchConditional %34 %36 %35 |
| %36 = OpLabel |
| %37 = OpCompositeExtract %int %result 0 |
| OpStore %x %37 None |
| OpBranch %35 |
| %35 = OpLabel |
| %38 = OpLoad %int %x None |
| %39 = OpLoad %bool %continue_execution None |
| %40 = OpLogicalNot %bool %39 |
| OpSelectionMerge %41 None |
| OpBranchConditional %40 %42 %41 |
| %42 = OpLabel |
| OpKill |
| %41 = OpLabel |
| OpReturnValue %38 |
| OpFunctionEnd |
| %foo = OpFunction %void None %45 |
| %46 = OpLabel |
| %47 = OpFunctionCall %int %foo_inner |
| OpStore %foo_loc0_Output %47 None |
| OpReturn |
| OpFunctionEnd |