1 | // RUN: %clang_cc1 %s -finclude-default-header -cl-std=CL2.0 -O0 -emit-llvm -o - -triple "spir-unknown-unknown" | FileCheck %s |
2 | |
3 | void 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 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 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 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 | |
25 | void 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 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 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 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 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 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 i32 @__get_pipe_max_packets_wo |
56 | // CHECK-NEXT: icmp ne i32 [[R]], 0 |
57 | } |
58 | |
59 | void 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 [[GLOBAL_VOID:i8 addrspace\(1\)\*]] @__to_global([[GENERIC_VOID:i8 addrspace\(4\)\*]] {{%[0-9]+}}) |
65 | // CHECK-NEXT: [[Q:%[0-9]+]] = bitcast [[GLOBAL_VOID]] [[P]] to [[GLOBAL_i64:i64 addrspace\(1\)\*]] |
66 | // CHECK-NEXT: [[BOOL:%[a-z0-9]+]] = icmp ne [[GLOBAL_i64]] [[Q]], null |
67 | // CHECK-NEXT: br i1 [[BOOL]] |
68 | |
69 | if (to_local(ptr)) |
70 | (void)0; |
71 | // CHECK: [[P:%[0-9]+]] = call [[LOCAL_VOID:i8 addrspace\(3\)\*]] @__to_local([[GENERIC_VOID]] {{%[0-9]+}}) |
72 | // CHECK-NEXT: [[Q:%[0-9]+]] = bitcast [[LOCAL_VOID]] [[P]] to [[LOCAL_i64:i64 addrspace\(3\)\*]] |
73 | // CHECK-NEXT: [[BOOL:%[a-z0-9]+]] = icmp ne [[LOCAL_i64]] [[Q]], null |
74 | // CHECK-NEXT: br i1 [[BOOL]] |
75 | |
76 | if (to_private(ptr)) |
77 | (void)0; |
78 | // CHECK: [[P:%[0-9]+]] = call [[PRIVATE_VOID:i8\*]] @__to_private([[GENERIC_VOID]] {{%[0-9]+}}) |
79 | // CHECK-NEXT: [[Q:%[0-9]+]] = bitcast [[PRIVATE_VOID]] [[P]] to [[PRIVATE_i64:i64\*]] |
80 | // CHECK-NEXT: [[BOOL:%[a-z0-9]+]] = icmp ne [[PRIVATE_i64]] [[Q]], null |
81 | // CHECK-NEXT: br i1 [[BOOL]] |
82 | } |
83 | |
84 | |