81 lines · plain
1// RUN: %clang_cc1 %s -finclude-default-header -fdeclare-opencl-builtins -cl-std=clc++ -fblocks -O0 -emit-llvm -o - -triple "spir-unknown-unknown" | FileCheck %s2 3void testBranchingOnEnqueueKernel(queue_t default_queue, unsigned flags, ndrange_t ndrange) {4 // Ensure `enqueue_kernel` can be branched upon.5 6 if (enqueue_kernel(default_queue, flags, ndrange, ^(void) {}))7 (void)0;8 // CHECK: [[P:%[0-9]+]] = call spir_func i32 @__enqueue_kernel9 // CHECK-NEXT: [[Q:%[a-z0-9]+]] = icmp ne i32 [[P]], 010 // CHECK-NEXT: br i1 [[Q]]11 12 if (get_kernel_work_group_size(^(void) {}))13 (void)0;14 // CHECK: [[P:%[0-9]+]] = call spir_func i32 @__get_kernel_work_group_size15 // CHECK-NEXT: [[Q:%[a-z0-9]+]] = icmp ne i32 [[P]], 016 // CHECK-NEXT: br i1 [[Q]]17 18 if (get_kernel_preferred_work_group_size_multiple(^(void) {}))19 (void)0;20 // CHECK: [[P:%[0-9]+]] = call spir_func i32 @__get_kernel_preferred_work_group_size_multiple_impl21 // CHECK-NEXT: [[Q:%[a-z0-9]+]] = icmp ne i32 [[P]], 022 // CHECK-NEXT: br i1 [[Q]]23}24 25void testBranchinOnPipeOperations(read_only pipe int r, write_only pipe int w, global int* ptr) {26 // Verify that return type is correctly casted to i1 value.27 28 if (read_pipe(r, ptr))29 (void)0;30 // CHECK: [[R:%[0-9]+]] = call spir_func i32 @__read_pipe_231 // CHECK-NEXT: icmp ne i32 [[R]], 032 33 if (write_pipe(w, ptr))34 (void)0;35 // CHECK: [[R:%[0-9]+]] = call spir_func i32 @__write_pipe_236 // CHECK-NEXT: icmp ne i32 [[R]], 037 38 if (get_pipe_num_packets(r))39 (void)0;40 // CHECK: [[R:%[0-9]+]] = call spir_func i32 @__get_pipe_num_packets_ro41 // CHECK-NEXT: icmp ne i32 [[R]], 042 43 if (get_pipe_num_packets(w))44 (void)0;45 // CHECK: [[R:%[0-9]+]] = call spir_func i32 @__get_pipe_num_packets_wo46 // CHECK-NEXT: icmp ne i32 [[R]], 047 48 if (get_pipe_max_packets(r))49 (void)0;50 // CHECK: [[R:%[0-9]+]] = call spir_func i32 @__get_pipe_max_packets_ro51 // CHECK-NEXT: icmp ne i32 [[R]], 052 53 if (get_pipe_max_packets(w))54 (void)0;55 // CHECK: [[R:%[0-9]+]] = call spir_func i32 @__get_pipe_max_packets_wo56 // CHECK-NEXT: icmp ne i32 [[R]], 057}58 59void testBranchingOnAddressSpaceCast(generic long* ptr) {60 // Verify that pointer types are properly casted, respecting address spaces.61 62 if (to_global(ptr))63 (void)0;64 // CHECK: [[P:%[0-9]+]] = call spir_func [[GLOBAL_VOID:ptr addrspace\(1\)]] @__to_global([[GENERIC_VOID:ptr addrspace\(4\)]] {{%[0-9]+}})65 // CHECK-NEXT: [[BOOL:%[a-z0-9]+]] = icmp ne ptr addrspace(1) [[P]], addrspacecast (ptr addrspace(4) null to ptr addrspace(1))66 // CHECK-NEXT: br i1 [[BOOL]]67 68 if (to_local(ptr))69 (void)0;70 // CHECK: [[P:%[0-9]+]] = call spir_func [[LOCAL_VOID:ptr addrspace\(3\)]] @__to_local([[GENERIC_VOID]] {{%[0-9]+}})71 // CHECK-NEXT: [[BOOL:%[a-z0-9]+]] = icmp ne ptr addrspace(3) [[P]], addrspacecast (ptr addrspace(4) null to ptr addrspace(3))72 // CHECK-NEXT: br i1 [[BOOL]]73 74 if (to_private(ptr))75 (void)0;76 // CHECK: [[P:%[0-9]+]] = call spir_func [[PRIVATE_VOID:ptr]] @__to_private([[GENERIC_VOID]] {{%[0-9]+}})77 // CHECK-NEXT: [[BOOL:%[a-z0-9]+]] = icmp ne ptr [[P]], addrspacecast (ptr addrspace(4) null to ptr)78 // CHECK-NEXT: br i1 [[BOOL]]79}80 81