1*f46b0e6dSSergei Barannikov// RUN: %clang_cc1 %s -finclude-default-header -fdeclare-opencl-builtins -cl-std=clc++ -fblocks -O0 -emit-llvm -o - -triple "spir-unknown-unknown" | FileCheck %s 206d9d070SMarco Antognini 306d9d070SMarco Antogninivoid testBranchingOnEnqueueKernel(queue_t default_queue, unsigned flags, ndrange_t ndrange) { 406d9d070SMarco Antognini // Ensure `enqueue_kernel` can be branched upon. 506d9d070SMarco Antognini 606d9d070SMarco Antognini if (enqueue_kernel(default_queue, flags, ndrange, ^(void) {})) 706d9d070SMarco Antognini (void)0; 8320af6b1SMelanie Blower // CHECK: [[P:%[0-9]+]] = call spir_func i32 @__enqueue_kernel 906d9d070SMarco Antognini // CHECK-NEXT: [[Q:%[a-z0-9]+]] = icmp ne i32 [[P]], 0 1006d9d070SMarco Antognini // CHECK-NEXT: br i1 [[Q]] 1106d9d070SMarco Antognini 1206d9d070SMarco Antognini if (get_kernel_work_group_size(^(void) {})) 1306d9d070SMarco Antognini (void)0; 14320af6b1SMelanie Blower // CHECK: [[P:%[0-9]+]] = call spir_func i32 @__get_kernel_work_group_size 1506d9d070SMarco Antognini // CHECK-NEXT: [[Q:%[a-z0-9]+]] = icmp ne i32 [[P]], 0 1606d9d070SMarco Antognini // CHECK-NEXT: br i1 [[Q]] 1706d9d070SMarco Antognini 1806d9d070SMarco Antognini if (get_kernel_preferred_work_group_size_multiple(^(void) {})) 1906d9d070SMarco Antognini (void)0; 20320af6b1SMelanie Blower // CHECK: [[P:%[0-9]+]] = call spir_func i32 @__get_kernel_preferred_work_group_size_multiple_impl 2106d9d070SMarco Antognini // CHECK-NEXT: [[Q:%[a-z0-9]+]] = icmp ne i32 [[P]], 0 2206d9d070SMarco Antognini // CHECK-NEXT: br i1 [[Q]] 2306d9d070SMarco Antognini} 2406d9d070SMarco Antognini 2506d9d070SMarco Antogninivoid testBranchinOnPipeOperations(read_only pipe int r, write_only pipe int w, global int* ptr) { 2606d9d070SMarco Antognini // Verify that return type is correctly casted to i1 value. 2706d9d070SMarco Antognini 2806d9d070SMarco Antognini if (read_pipe(r, ptr)) 2906d9d070SMarco Antognini (void)0; 30320af6b1SMelanie Blower // CHECK: [[R:%[0-9]+]] = call spir_func i32 @__read_pipe_2 3106d9d070SMarco Antognini // CHECK-NEXT: icmp ne i32 [[R]], 0 3206d9d070SMarco Antognini 3306d9d070SMarco Antognini if (write_pipe(w, ptr)) 3406d9d070SMarco Antognini (void)0; 35320af6b1SMelanie Blower // CHECK: [[R:%[0-9]+]] = call spir_func i32 @__write_pipe_2 3606d9d070SMarco Antognini // CHECK-NEXT: icmp ne i32 [[R]], 0 3706d9d070SMarco Antognini 3806d9d070SMarco Antognini if (get_pipe_num_packets(r)) 3906d9d070SMarco Antognini (void)0; 40320af6b1SMelanie Blower // CHECK: [[R:%[0-9]+]] = call spir_func i32 @__get_pipe_num_packets_ro 4106d9d070SMarco Antognini // CHECK-NEXT: icmp ne i32 [[R]], 0 4206d9d070SMarco Antognini 4306d9d070SMarco Antognini if (get_pipe_num_packets(w)) 4406d9d070SMarco Antognini (void)0; 45320af6b1SMelanie Blower // CHECK: [[R:%[0-9]+]] = call spir_func i32 @__get_pipe_num_packets_wo 4606d9d070SMarco Antognini // CHECK-NEXT: icmp ne i32 [[R]], 0 4706d9d070SMarco Antognini 4806d9d070SMarco Antognini if (get_pipe_max_packets(r)) 4906d9d070SMarco Antognini (void)0; 50320af6b1SMelanie Blower // CHECK: [[R:%[0-9]+]] = call spir_func i32 @__get_pipe_max_packets_ro 5106d9d070SMarco Antognini // CHECK-NEXT: icmp ne i32 [[R]], 0 5206d9d070SMarco Antognini 5306d9d070SMarco Antognini if (get_pipe_max_packets(w)) 5406d9d070SMarco Antognini (void)0; 55320af6b1SMelanie Blower // CHECK: [[R:%[0-9]+]] = call spir_func i32 @__get_pipe_max_packets_wo 5606d9d070SMarco Antognini // CHECK-NEXT: icmp ne i32 [[R]], 0 5706d9d070SMarco Antognini} 5806d9d070SMarco Antognini 5906d9d070SMarco Antogninivoid testBranchingOnAddressSpaceCast(generic long* ptr) { 6006d9d070SMarco Antognini // Verify that pointer types are properly casted, respecting address spaces. 6106d9d070SMarco Antognini 6206d9d070SMarco Antognini if (to_global(ptr)) 6306d9d070SMarco Antognini (void)0; 64*f46b0e6dSSergei Barannikov // CHECK: [[P:%[0-9]+]] = call spir_func [[GLOBAL_VOID:ptr addrspace\(1\)]] @__to_global([[GENERIC_VOID:ptr addrspace\(4\)]] {{%[0-9]+}}) 65*f46b0e6dSSergei Barannikov // CHECK-NEXT: [[BOOL:%[a-z0-9]+]] = icmp ne ptr addrspace(1) [[P]], null 6606d9d070SMarco Antognini // CHECK-NEXT: br i1 [[BOOL]] 6706d9d070SMarco Antognini 6806d9d070SMarco Antognini if (to_local(ptr)) 6906d9d070SMarco Antognini (void)0; 70*f46b0e6dSSergei Barannikov // CHECK: [[P:%[0-9]+]] = call spir_func [[LOCAL_VOID:ptr addrspace\(3\)]] @__to_local([[GENERIC_VOID]] {{%[0-9]+}}) 71*f46b0e6dSSergei Barannikov // CHECK-NEXT: [[BOOL:%[a-z0-9]+]] = icmp ne ptr addrspace(3) [[P]], null 7206d9d070SMarco Antognini // CHECK-NEXT: br i1 [[BOOL]] 7306d9d070SMarco Antognini 7406d9d070SMarco Antognini if (to_private(ptr)) 7506d9d070SMarco Antognini (void)0; 76*f46b0e6dSSergei Barannikov // CHECK: [[P:%[0-9]+]] = call spir_func [[PRIVATE_VOID:ptr]] @__to_private([[GENERIC_VOID]] {{%[0-9]+}}) 77*f46b0e6dSSergei Barannikov // CHECK-NEXT: [[BOOL:%[a-z0-9]+]] = icmp ne ptr [[P]], null 7806d9d070SMarco Antognini // CHECK-NEXT: br i1 [[BOOL]] 7906d9d070SMarco Antognini} 8006d9d070SMarco Antognini 81