xref: /llvm-project/clang/test/CodeGenOpenCL/builtins.cl (revision f46b0e6d75fa84d2d2d9805e3d2be2c1e6c140f1)
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