| // RUN: clspv %s -o %t.spv |
| // RUN: spirv-dis -o %t2.spvasm %t.spv |
| // RUN: FileCheck %s < %t2.spvasm |
| // RUN: spirv-val --target-env vulkan1.0 %t.spv |
| |
| // CHECK-DAG: %[[UINT_TYPE_ID:[a-zA-Z0-9_]*]] = OpTypeInt 32 0 |
| // CHECK-DAG: %[[BOOL_TYPE_ID:[a-zA-Z0-9_]*]] = OpTypeBool |
| // CHECK-DAG: %[[CONSTANT_0_ID:[a-zA-Z0-9_]*]] = OpConstant %[[UINT_TYPE_ID]] 0 |
| // CHECK-DAG: %[[CONSTANT_42_ID:[a-zA-Z0-9_]*]] = OpConstant %[[UINT_TYPE_ID]] 42 |
| // CHECK-DAG: %[[CONSTANT_5_ID:[a-zA-Z0-9_]*]] = OpConstant %[[UINT_TYPE_ID]] 5 |
| // CHECK-DAG: %[[CONSTANT_FALSE_ID:[a-zA-Z0-9_]*]] = OpConstantFalse %[[BOOL_TYPE_ID]] |
| // CHECK-DAG: %[[CONSTANT_TRUE_ID:[a-zA-Z0-9_]*]] = OpConstantTrue %[[BOOL_TYPE_ID]] |
| // CHECK-DAG: %[[CONSTANT_13_ID:[a-zA-Z0-9_]*]] = OpConstant %[[UINT_TYPE_ID]] 13 |
| // CHECK: %[[LABEL_ID:[a-zA-Z0-9_]*]] = OpLabel |
| // CHECK: %[[LOAD_ID:[a-zA-Z0-9_]*]] = OpLoad %[[UINT_TYPE_ID]] |
| // CHECK: %[[CMP_ID:[a-zA-Z0-9_]*]] = OpUGreaterThan %[[BOOL_TYPE_ID]] %[[LOAD_ID]] %[[CONSTANT_42_ID]] |
| // CHECK: %[[NOT_CMP_ID:[a-zA-Z0-9_]*]] = OpLogicalNot %[[BOOL_TYPE_ID]] %[[CMP_ID]] |
| // CHECK: OpSelectionMerge %[[MERGE0_LABEL_ID:[a-zA-Z0-9_]*]] None |
| // CHECK: OpBranchConditional %[[NOT_CMP_ID]] %[[ELSE_LABEL_ID:[a-zA-Z0-9_]*]] %[[MERGE0_LABEL_ID]] |
| |
| // CHECK: %[[ELSE_LABEL_ID]] = OpLabel |
| // CHECK: OpStore {{.*}} %[[CONSTANT_5_ID]] |
| // CHECK: OpBranch %[[MERGE0_LABEL_ID]] |
| |
| // CHECK: %[[MERGE0_LABEL_ID]] = OpLabel |
| // CHECK: %[[PHI_ID:[a-zA-Z0-9_]*]] = OpPhi %[[BOOL_TYPE_ID]] %[[CONSTANT_FALSE_ID]] %[[ELSE_LABEL_ID]] %[[CONSTANT_TRUE_ID]] %[[LABEL_ID]] |
| // CHECK: OpSelectionMerge %[[MERGE1_LABEL_ID:[a-zA-Z0-9_]*]] None |
| // CHECK: OpBranchConditional %[[PHI_ID]] %[[IF_LABEL_ID:[a-zA-Z0-9_]*]] %[[MERGE1_LABEL_ID]] |
| |
| // CHECK: %[[IF_LABEL_ID]] = OpLabel |
| // CHECK: OpStore {{.*}} %[[CONSTANT_13_ID]] |
| // CHECK: OpBranch %[[MERGE1_LABEL_ID]] |
| |
| // CHECK: %[[MERGE1_LABEL_ID]] = OpLabel |
| // CHECK: OpReturn |
| |
| void kernel __attribute__((reqd_work_group_size(1, 1, 1))) foo(global uint* a, global uint* b) |
| { |
| uint aLoad = *a; |
| |
| const bool c = (aLoad > 42); |
| |
| if (c) |
| { |
| *a = 13; |
| } |
| else |
| { |
| *b = 5; |
| } |
| } |