1// RUN: %clang_cc1 %s -finclude-default-header -fdeclare-opencl-builtins -cl-std=clc++ -fblocks -O0 -emit-llvm -o - -triple "spir-unknown-unknown" | FileCheck %s 2 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_kernel 9 // CHECK-NEXT: [[Q:%[a-z0-9]+]] = icmp ne i32 [[P]], 0 10 // 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_size 15 // CHECK-NEXT: [[Q:%[a-z0-9]+]] = icmp ne i32 [[P]], 0 16 // 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_impl 21 // CHECK-NEXT: [[Q:%[a-z0-9]+]] = icmp ne i32 [[P]], 0 22 // 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_2 31 // CHECK-NEXT: icmp ne i32 [[R]], 0 32 33 if (write_pipe(w, ptr)) 34 (void)0; 35 // CHECK: [[R:%[0-9]+]] = call spir_func i32 @__write_pipe_2 36 // CHECK-NEXT: icmp ne i32 [[R]], 0 37 38 if (get_pipe_num_packets(r)) 39 (void)0; 40 // CHECK: [[R:%[0-9]+]] = call spir_func i32 @__get_pipe_num_packets_ro 41 // CHECK-NEXT: icmp ne i32 [[R]], 0 42 43 if (get_pipe_num_packets(w)) 44 (void)0; 45 // CHECK: [[R:%[0-9]+]] = call spir_func i32 @__get_pipe_num_packets_wo 46 // CHECK-NEXT: icmp ne i32 [[R]], 0 47 48 if (get_pipe_max_packets(r)) 49 (void)0; 50 // CHECK: [[R:%[0-9]+]] = call spir_func i32 @__get_pipe_max_packets_ro 51 // CHECK-NEXT: icmp ne i32 [[R]], 0 52 53 if (get_pipe_max_packets(w)) 54 (void)0; 55 // CHECK: [[R:%[0-9]+]] = call spir_func i32 @__get_pipe_max_packets_wo 56 // CHECK-NEXT: icmp ne i32 [[R]], 0 57} 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]], null 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]], null 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]], null 78 // CHECK-NEXT: br i1 [[BOOL]] 79} 80 81