| ; SPIR-V |
| ; Version: 1.3 |
| ; Generator: Google Tint Compiler; 0 |
| ; Bound: 20 |
| ; Schema: 0 |
| OpCapability Shader |
| OpMemoryModel Logical GLSL450 |
| OpEntryPoint Fragment %f "f" |
| OpExecutionMode %f OriginUpperLeft |
| OpName %tint_discarded "tint_discarded" |
| OpName %call_discard "call_discard" |
| OpName %f "f" |
| OpName %v "v" |
| OpName %also_unreachable "also_unreachable" |
| %bool = OpTypeBool |
| %2 = OpConstantNull %bool |
| %_ptr_Private_bool = OpTypePointer Private %bool |
| %tint_discarded = OpVariable %_ptr_Private_bool Private %2 |
| %5 = OpTypeFunction %bool |
| %true = OpConstantTrue %bool |
| %void = OpTypeVoid |
| %9 = OpTypeFunction %void |
| %_ptr_Function_bool = OpTypePointer Function %bool |
| %call_discard = OpFunction %bool None %5 |
| %7 = OpLabel |
| OpStore %tint_discarded %true |
| OpReturnValue %true |
| OpFunctionEnd |
| %f = OpFunction %void None %9 |
| %12 = OpLabel |
| %v = OpVariable %_ptr_Function_bool Function %2 |
| %also_unreachable = OpVariable %_ptr_Function_bool Function %2 |
| %13 = OpFunctionCall %bool %call_discard |
| OpStore %v %13 |
| %17 = OpLoad %bool %tint_discarded |
| OpSelectionMerge %18 None |
| OpBranchConditional %17 %19 %18 |
| %19 = OpLabel |
| OpKill |
| %18 = OpLabel |
| OpReturn |
| OpFunctionEnd |